中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
Neil Haskell
来自维基百科,自由的百科全书
Found in articles
Rust
它的型別系統直接地模仿了
Haskell
語言的类型类概念,並把它稱作「traits」,可以把它看成是一種特设多态。Rust的作法是透過在宣告型別變數(type variable)的時候,在上面加上限制條件。至於
Haskell
的高階型別變數(Higher-kinded polymorphism)則還未支援。
重写逻辑
热潮,其中Obj系列的项重写语言比较有名,而Maude是对Obj3的继承。基于项重写的程序语言的特点是匹配和替换(重写),因此,函数式编程语言
Haskell
也属于这一类。而且,函数式编程语言的理论基础——lambda演算和组合逻辑——本身就被认为是典型的项重写系统。其它基于项重写的语言或系统包括:Isabella
弗朗索瓦-诺埃尔·巴贝夫
(幫助) 巴贝夫主义 Ernest Belfort Bax, Last Episodes of the French Revolution,
Haskell
House Pub Ltd (1911; reprinted 1971), ISBN 0-8383-1282-9 Baynes, T.S.
李玖哲
李玖哲於加利福尼亞州出生及成長,曾就讀 Patricia Nixon Elementary School、
Haskell
(Pliny Fisk) Middle School 和 Cerritos High School,後於長堤市社區學院畢業。
演员模型
stevedekorte/ActorKit · GitHub. Github.com. [2016-02-25]. Cloud
Haskell
[失效連結] Commit History ·
haskell
-distributed/distributed-process · GitHub. Github.com. [2012-12-02]