BT

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

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

编写显然正确的代码
录制于:

| 作者 黄毅 关注 0 他的粉丝 发布于 2012年9月12日 | Google、Facebook、Pinterest、阿里、腾讯 等顶尖技术团队的上百个可供参考的架构实例!
46:44

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

个人简介

毕业于武汉大学,目前就职于众禄基金销售有限公司,任首席程序员。曾就职于腾讯QQ音乐部门,从事多年Web后端及前端开发,对前后端技术皆有较丰富的经验。 热爱开源,曾在python社区较为活跃。因对代码品质有较高要求,故多搜寻称心如意的语言工具,Haskell是目前遇到比较接近理想的一个。近期业余时间多投入haskell相关开源项目的开发和贡献以及实践。

QCon是由InfoQ主办的全球顶级技术盛会,每年在伦敦、北京、东京、纽约、圣保罗、杭州、旧金山召开。自2007年3月份首次举办以来,已经有包括传统制造、金融、电信、互联网、航空航天等领域的近万名架构师、项目经理、团队领导者和高级开发人员参加过QCon大会。秉承"促进软件开发领域知识与创新的传播"原则,QCon各项议题专为中高端技术人员设计,内容源于实践并面向社区。演讲嘉宾依据各重点和热点话题,分享技术趋势和最佳实践;作为主办方,InfoQ努力为参会者提供良好的学习和交流环境。

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


找回密码....

Follow

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

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

Like

内容自由定制

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

Notifications

获取更新

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

BT