OCaml

Question

'da bir tür döndürme İki liste eklemeyi denedim, ancak türlerini kullanmayı düşündüm.

type x = int list; 

let add (elem1 : int) (elem2 :int) = 
    elem1 + elem2;; 

let add2Lists (a : x) (b : x) = 
    List.map2 add a b;; 

Şaşırtıcı bir şekilde, add2Lists döndürür: x -> x -> int list. Bir int listesinin aslında tür ile aynı olduğunu biliyorum, ancak add2Lists'in x türünün değerlerini tam anlamıyla nasıl değerlendiririm? tiplerine bağlı olabilir belirli türde (onlar (ile değerlendirmek, aslında) dönmek işlevleri türlerini dönmek yok, Başvuru için değerleri

let add2Lists (a : x) (b : x) : x = 
    List.map2 add a b;; 

:

Answer 1

bir tür sınırlaması ekleyin argümanlar). Yani, sorunuzu "add2Lists türünü x türünün değerlerini nasıl değerlendiririm?" Satırlarında bir şey söylemiş olmalıydı. Veya daha da kesin olarak, "add2Lists bildirilen sonuç türünü tam anlamıyla x nasıl yapabilirim?"