Does APL Need a Type System? by Aaron W Hsu at #FnConf18
Why it was recommended
which argues that APL already provides the development ergonomics that are typically acribed to type systems.
Recommendationxelxebar · Original
What it covers
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. It is for someone who wants the derivation, proof, or implementation detail.
Video details
- Channel
- ConfEngine
- Length
- 54 min 31 sec
- Year
- 2019