Haskell中的函数与类型系统.pptxVIP

Haskell中的类型与类型系统 编程语言分类 编程语言 Domain Specific Language (特定领域语言) General Purpose programming language (通用编程语言) SQL, HTML 命令式语言 C/C++, Java, Python, C# 混合范式型语言 Scala, OCaml, F# 函数型语言 Haskell, Coq, Agda, Lisp, Clojure, ML 什么是Haskell？ 一个强类型的、纯的、惰性的函数式编程语言 第一个编译器的版本于1990年4月发布 每年有相当多的博士在改进它，进化速度非常快 see 什么是Haskell？ 每个值都有严格的类型，不能任意转型， 也没有隐式转型。 对于纯函数只要输入确定结果必然确定， 与计算机当前的状态无关。 Haskell可以严格求值，7.10前需要我们 手动控制，但7.12中会有-XStrict扩展 演示 用SMT Solver解百鸡问题 公鸡每只5元，母鸡每只3元，小鸡3只1元，用100元钱 买100只鸡，求公鸡、母鸡、小鸡各有多少只。  函数反应式编程模拟小球下落 函数/运算符（位置、结合性、 优先级） 值