我想得到這樣的東西。這是可能的？
something :: String
something =
let
type FirstName = String
type LastName = String
fullName :: FirstName -> LastName -> String
fullName = a " " b
in
fullName "Haskell" "Curry"
我一直在嘗試找到可以做到這一點的語言擴展，但無濟于事。
uj5u.com熱心網友回復：
直接回答是否定的，型別定義只能在模塊級別上進行。
類似的事情是可能的：
let
fullName ::
(firstName ~ String, lastName ~ String) =>
firstName -> lastName -> String
fullName a b = a " " b
in
_
轉載請註明出處，本文鏈接：https://www.uj5u.com/qiye/528500.html
標籤：哈斯克尔类型句法
下一篇：簡單資料型別的未裝箱向量