嗨我已經開始學習F＃，我在想你是否可以限制函數的輸入和輸出的類型。 我試着這樣做： main : unit
let main = printf "Hello World\n" |> (fun x -> printf "Goodbye World\n")
let _ = main
，我也試圖把letmain之前的第一道防線。都沒有工作。有沒有辦法在F＃中做這種事情？我認爲這是Haskell的
在ML語言 假設f(x,y,z)是一個函數。給出一個f的定義的例子，它會導致f的參數具有類型：a’ * a’ * int。 示例代碼 fun f1 (x,y,z) = z<5 ;
val f1 = fn : 'a * 'b * int -> bool
我如何改變這種VAL到a’ * a’ * int -> bool？
我已經找到一種方法來一個Nat轉換成Integer使用Proxy和natVal，你可以在下面的代碼中看到： {-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Main where
import Data.Proxy (Proxy)
import Data.Monoid ((<>))
impor