typecase

    2熱度

    1回答

    的類型匹配也許這是基本的,但我不明白,爲什麼下面的功能FNC納特解答1,也爲FNC整數,這甚至沒有包括作爲一種模式。 fnc : Type -> Integer fnc Bool = 1 fnc Nat = 2