PickVidsDoes APL Need a Type System? by Aaron W Hsu at #FnConf18
推荐理由
which argues that APL already provides the development ergonomics that are typically acribed to type systems.
说明
这是2019年由ConfEngine发布的一部演讲，主题归在Programming language design。它讲的是array programming and type systems这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：Aaron Hsu's FnConf18 talk asks whether APL needs a static type system. He argues that APL's expressiveness and rapid iteration already deliver the benefits usually credited to types.这些读者给出的理由，核心是：HN points to it as the main argument from the array-language camp that types are unnecessary there, and as a nuanced take on typed versus untyped programming.讲法不绑某一条新闻，过几年仍然可以当材料看。从2019年到2025年，有3位不同的读者在3个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把array programming and type systems变成能跟着复述的例子。
视频信息
- 频道
- ConfEngine
- 时长
- 54 分 31 秒
- 发布年份
- 2019