Các loại vô hạn (hay còn gọi là loại đệ quy) không thể có trong F #?

Question

Tôi đã trò chuyện với Sadek Drobi trên twitter khi được đưa ra rằng F # dường như không hỗ trợ các loại vô hạn. Nó chỉ ra rằng trong C# bạn có thể làm một cái gì đó dọc theo những dòng:

delegate RecDelegate<T> RecDelegate<T>(T x); 

Tuy nhiên, sau một số thử nghiệm trên cả hai phần của chúng tôi, chúng tôi xác định rằng cùng trong F # dường như không thể cả hai ngầm và rõ ràng.

Explicit:

type 'a specialF = 'a->specialF<'a> 

lỗi FS0191: định nghĩa kiểu này liên quan đến một tài liệu tham khảo cyclic ngay qua viết tắt, struct lĩnh vực hoặc mối quan hệ thừa kế.

Ngầm định:

let rec specialF (x: 'a) = specialF 

Loại không phù hợp. Yêu cầu một 'b nhưng cho' a -> 'b. Kiểu kết quả sẽ là vô hạn khi hợp nhất '' b ' và' 'a ->' b '.

Tất nhiên, đây là những mẫu cố ý đơn giản.

Tôi đã tự hỏi liệu mình có nhầm lẫn hay không. Có lẽ tôi đã bỏ lỡ một số loại chú thích cần thiết?

Answer 1

Bạn cũng có thể làm điều gì đó như

type 'a RecType = RecType of ('a -> 'a RecType) 

để tạo ra một loại tên là thông qua đó để thực hiện đệ quy. Bây giờ công trình này:

let rec specialF = RecType (fun _ -> specialF) 

Answer 2

type d<'T> = delegate of 'T -> d<'T> //' 
let del : d<int> = null 
let anotherDel = del.Invoke(1).Invoke(2).Invoke(3) 

Tôi nghĩ bạn cần loại được đặt tên trực tiếp trong CLI để ngắt đệ quy, vì vậy trong F # điều này có nghĩa là bạn cũng cần loại đại biểu thực sự.

Answer 3

Loại bản ghi đệ quy cũng sẽ hoạt động.

type A = { A : A } 
let rec a : A = { A = a } 

Tôi muốn được quan tâm đến một ứng dụng thực tế. Hoặc thậm chí là không thực tế :)