BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

rss
53:01
他的粉丝

Haskell中的函数与类型系统

作者 张淞  发布于  2016年2月29日 作者 张淞 关注 0 他的粉丝  发布于  2016年2月29日

Haskell中的主要概念其实都是围绕类型展开的,类型系统主要是为我们管理程序的抽象与保证程序的正确性而引入的。为了更好的复用代码,于是有了多态类型。某些类型有着共同的属性于是Haskell引入了类型类来管理它们。

他的粉丝

编写显然正确的代码

作者 黄毅  发布于  2012年9月12日 1 作者 黄毅 关注 0 他的粉丝  发布于  2012年9月12日 1

一个完美主义者,在对待其代码的时候,一要能尽可能接近自然语言的问题描述,二要具备暴露自然语言不严谨之处的能力。达成第一个目的关键在于“抽象”。另外便是抽象机制要有足够的表达能力和组合能力。 纯函数本身就是相当好的抽象,除函数以外,Haskell的一个重要的抽象机制便是Monad。 对于被普通静态类型系统阻碍表达的程序,Haskell的静态类型能够更多地表达出开发人员的目标,让程序重拾精确。

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT