BT

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

Haskell  在InfoQ上的内容 rss

文章所属 Haskell rss

语言 & 开发 关注 192 他的粉丝 理解Monad,一份monad的解惑指南 作者 Barry Burd 关注 0 他的粉丝 发布于 2017年12月8日 随着函数式编程的再次兴起,“monad” 这种函数式结构再次让初学者感到恐惧。在本文中,Introduction to Functional Programming的课程导师Dr. Barry Burd会对这个让人难以掌握的概念进行清楚的讲解。 3

他的粉丝 专访《Haskell函数式编程入门》作者张淞:浅谈Haskell的优点与启发 作者 臧秀涛 关注 0 他的粉丝 发布于 2015年8月21日 张淞,Haskell语言爱好者,著有《Haskell函数式编程入门》一书。目前就职于网易杭州研究院。在10月15日~17日的QCon上海2015上,他将分享《Haskell中的函数与类型系统》。在大会开始前,InfoQ采访了张淞,谈到了Haskell、编程语言选型等问题。 2

新闻所属 Haskell rss

他的粉丝 2017新兴技术企业大会:第二日回顾 作者 Michael Redlich 关注 8 他的粉丝 发布于 2017年5月11日 他的粉丝 回顾:在生产环境中使用Haskell 作者 Sergio De Simone 关注 7 他的粉丝 发布于 2016年8月30日 他的粉丝 Haskell现在能够默认进行严格求值 作者 Sergio De Simone 关注 7 他的粉丝 发布于 2015年12月4日
他的粉丝 微软提议在C# 7中为引用增加选项类型 作者 Sergio De Simone 关注 7 他的粉丝 发布于 2015年9月9日 他的粉丝 我不是来约架,我只是请他们说几句实话——QCon上海2015编程语言专题前瞻 作者 项征 关注 0 他的粉丝 发布于 2015年8月27日 他的粉丝 Facebook如何使用Haskell处理垃圾邮件 作者 谢丽 关注 8 他的粉丝 发布于 2015年8月11日 3
他的粉丝 Facebook引入Haskell升级Sigma防御系统 作者 张天雷 关注 4 他的粉丝 发布于 2015年7月7日 他的粉丝 QCon演讲速递:异步处理在分布式系统中的优化作用 作者 杨赛 关注 0 他的粉丝 发布于 2015年4月23日 20 他的粉丝 Microsoft开源跨平台的序列化库——Bond 作者 Boris Lublinsky 关注 0 他的粉丝 发布于 2015年2月12日
他的粉丝 使用Exercism.io提升编程技巧 作者 Ben Linders 关注 13 他的粉丝 发布于 2014年12月30日 他的粉丝 rest:Haskell的REST开源框架 作者 Roopesh Shenoy 关注 0 他的粉丝 发布于 2014年7月14日 1 他的粉丝 Facebook开源Haxl:使用Haskell进行隐式并发数据访问 作者 Roopesh Shenoy 关注 0 他的粉丝 发布于 2014年6月17日
他的粉丝 Haskell获得iOS支持,并做出多项语言和性能改进 作者 Roopesh Shenoy 关注 0 他的粉丝 发布于 2014年5月16日 他的粉丝 FP Complete 推出基于浏览器的Haskell IDE 作者 Mirko Stocker 关注 0 他的粉丝 发布于 2013年9月13日 他的粉丝 Haskell迁移至Git 作者 Alex Blewitt 关注 3 他的粉丝 发布于 2011年4月4日
他的粉丝 使用Haskell和Hubris加强Ruby 作者 Sebastien Auvray 关注 0 他的粉丝 发布于 2009年9月1日 他的粉丝 学习Haskell的现实意义 作者 Sadek Drobi 关注 0 他的粉丝 发布于 2009年2月11日 2 他的粉丝 编程语言:2008年回顾和2009年预测 作者 Sadek Drobi 关注 0 他的粉丝 发布于 2009年1月13日 1
他的粉丝 编程语言:功能越强自由越少? 作者 Sadek Drobi 关注 0 他的粉丝 发布于 2008年3月25日 他的粉丝 关于测试和恢复性的争论:面向对象vs.函数式编程 作者 Sadek Drobi 关注 0 他的粉丝 发布于 2008年3月7日 他的粉丝 为灵活性和健壮性而设计:异步消息模型、OOP和函数式编程 作者 Sadek Drobi 关注 0 他的粉丝 发布于 2007年11月18日 3

演讲所属 Haskell rss

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

他的粉丝 编写显然正确的代码 作者 黄毅 关注 0 他的粉丝 发布于 2012年9月12日 一个完美主义者,在对待其代码的时候,一要能尽可能接近自然语言的问题描述,二要具备暴露自然语言不严谨之处的能力。前者是对代码可读性的要求,后者是对代码安全性的要求。 达成第一个目的关键之处在于“抽象”。选择一个合适的,贴近问题描述的抽象,是让我们的代码描述贴紧自然语言描述的关键所在。另外便是抽象机制要有足够的表达能力和组合能力,在基本的原子的基础上,通过不断组合,表达复杂的问题。 纯函数本身就是相当好的抽象,不仅函数定义就可以表达所有计算,更重要的是具备优良的组合性质 除函数以外,Haskell的一个重要的抽象机制便是Monad。 计算机的严谨是它超越自然语言的一个重要方面,Haskell的表现之一在于其类型,并使用编译器进行静态类型检查。对于被普通静态类型系统阻碍表达的程序,Haskell的静态类型能够更多地表达出开发人员的目标,让程序重拾精确。 1

访谈所属 Haskell rss

他的粉丝 24:19

Haskell语言和Erlang语言实现P2P协议的对比 作者 Jesper Louis Andersen 关注 0 他的粉丝 发布于 2012年2月15日 3

他的粉丝 31:34

Paul Hudak谈Haskell 作者 Paul Hudak 关注 0 他的粉丝 发布于 2009年10月30日 4

他的粉丝 42:53

Simon探讨编程语言与研究工作 作者 Simon Peyton Jones 关注 0 他的粉丝 发布于 2009年7月17日

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT