F＃類型信息

Question

這個簡單的功能

let s =
    function
    | [] -> [[]]
    | list -> []::list

具有類型（“列表列表->'列表列表”）。 因此，由於'a是通用的，因此它接受任意深度的列表作為參數。 我的問題是，我總是必須指定輸入列表的深度，否則F＃Interactive會抱怨。 例如

s []

一會兒將無法工作

s ([]: int List List)

將。 同樣，

s [[[]]]

不會工作，但是

s ([[[]]]:int List List List)

做。 因此，這僅是示例，是否有任何方法可以避免這種顯式鍵入？

謝謝

Answer 1

這是問題所在。 什么類型的

s [[[]]]

它不是't list list 。 由於一些基本的.NET限制，因此該值不存在。 你需要做't混凝土。

那里有很多關於F＃值限制的出色教程，最好的解決方案是稍后在同一文件中使用您的結果，或者提供其他推斷方法來提供具體類型。