BT

你的观点很重要! 快来参与InfoQ调研吧!

您现在处于全屏预览
关闭全屏预览

Haskell中的函数与类型系统
录制于:

| 作者 张淞 关注 0 他的粉丝 发布于 2016年2月29日 | ArchSummit社交架构图谱:Facebook、Snapchat、Tumblr等背后的核心技术
53:01

概要
Haskell中的主要概念其实都是围绕类型展开的,类型系统主要是为我们管理程序的抽象与保证程序的正确性而引入的。为了更好的复用代码,于是有了多态类型。某些类型有着共同的属性于是Haskell引入了类型类来管理它们。有一些类型是需要接受一个或者多个类型参数的,为了保证这一环节不会出错于是Haskell又引入了kind这一概念,同样出于复用代码的原因,Haskell又引入了kind多态。总之,抽象在一步一步加深,每加深一步就总结出更多公共的代码,为我们自动完成更多的事情,带来的问题就是会让人更加难以理解。所以了解Haskell的类型系统对于我们理解代码的复用、抽象非常有帮助。

个人简介

张淞,1989年1月出生于黑龙江省绥芬河市,酷爱数学、物理,进入大学后开始喜欢学习与研究各种编程语言,并成为了一名Haskell爱好者。2012年7月于英国诺丁汉大学获得计算机学士学位。2013年11月于英国牛津大学获得计算机硕士学位。目前喜欢研究λ演算、类型系统、抽象代数、范畴论、逻辑证明、组合数学等内容。虽然感兴趣的内容很多,但在学习上多半属于有心无力的人,因为需要学的实在太多,知道的东西多,精通的东西少。2014年有幸回到母校宁波诺丁汉大学教书,受到了学弟学妹们的爱戴与仰慕,想作为一座桥梁把函数式编程中的精华部分,无论是思想也好技术也罢,带给更多喜爱编程的人。著有《Haskell函数式编程入门》一书,由人民邮电出版社于2014年3月出版。于2015年4月加入网易杭州研究院。网易杭州研究院的研究范围涉猎广泛,为达到目的不限于任何的技术与语言,我在工作中也会使用Haskell写一些原型。

QCon是由InfoQ主办的全球顶级技术盛会,每年在伦敦、北京、东京、纽约、圣保罗、上海、旧金山召开。自2007年3月份首次举办以来,已经有超万名高级技术人员参加过QCon大会。QCon内容源于实践并面向社区,演讲嘉宾依据热点话题,面向5年以上的技术团队负责人、架构师、工程总监、高级开发人员分享技术创新和最佳实践。

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT