The Algebra of Algebraic Data Types

推荐理由

Real types are numbers that obey type algebra, which C/Java/Go have no idea exists.

引用innguest · 原文2015年4月

说明

这是2012年由London Haskell发布的一部演讲，主题归在Functional programming。它讲的是algebraic data types这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：A London Haskell talk on the algebra of algebraic data types, showing how sum and product types behave like arithmetic. It frames types as numbers obeying algebraic laws.这些读者给出的理由，核心是：Cited as the author's own talk and a way to go deeper on type algebra, with a note that the audio is rough at the start.讲法不绑某一条新闻，过几年仍然可以当材料看。从2013年到2015年，有0位不同的读者在0个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把algebraic data types变成能跟着复述的例子。

视频信息

频道

London Haskell

时长

1 小时 4 分

发布年份

2012

同主题更多

• 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