Effective ML

推荐理由

I've found this to be the single most valuable programming technique I've learnt.

强烈推荐jasim · 原文2018年11月

说明

这是2016年由Jane Street发布的一部课堂讲座，主题归在Functional programming。它讲的是functional programming with types这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：Yaron Minsky of Jane Street gave this talk to Harvard's OCaml-based CS51 class in 2010. It collects advice on being an effective ML programmer in an industrial setting.这些读者给出的理由，核心是：It is the go-to source for the idea of making illegal states unrepresentable through types, with the key moment at 28:02.讲法不绑某一条新闻，过几年仍然可以当材料看。从2018年到2021年，有2位不同的读者在2个不同月份把它推荐出来，其中明确叫别人去看的有1次。节奏接近上课，可以暂停做笔记。它假设你愿意跟着一条推导走完。如果已经会了基本定义，就把注意力放在它怎么把functional programming with types变成能跟着复述的例子。

视频信息

频道

Jane Street

时长

1 小时 9 分

发布年份

2016

同主题更多

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
• "Simple Made Easy" - Rich Hickey (2011)
• "Making Impossible States Impossible" by Richard Feldman
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• The Value of Values with Rich Hickey