QCon上海2015-Haskell中的函数与类型系统-张淞.pdfVIP

下载本文档

3
0
约7.79千字
约 29页
2018-05-05 发布于河南
举报
版权申诉

QCon上海2015-Haskell中的函数与类型系统-张淞.pdf

1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

QCon上海2015-Haskell中的函数与类型系统-张淞

Haskell中的类型与类型系统网易杭州研究院张淞 @阅千人而惜知己 2015-6-2 2015-6-2 编程语言分类 SQL, HTML Domain Specific Language 命令式语言 (特领域语言) C/C++, Java, Python, C# 编程语言混合范式型语言 General Purpose programming Scala, OCaml, F# language (通用编程语言) 函数型语言 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只鸡，求公鸡、母鸡、小鸡各有多少只。  函数反应式编程模拟小球下落 Haskell中的主要概念 Kind （多态kind、实体kind、data kind ）类型(多态类型、类型类限定类型、实体类型) 类型类函数/运算符（位置、结合性、值优先级） Haskell中的值 ‘1’, True 函数 not :: Bool - Bool id :: a - a show :: Show a = a - String 运算符只是有优先级的函数，它们可以相互转化 (+) 1 2与1 + 2相同 mod 19 7与19 `mod` 7相同 Haskell中的类型 基本类型：Int, Integer, Char, type String = [Char] 基于基本类型的函数 ord :: Char - Int chr :: Int - Char 多