PickVids

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
Open on YouTube

More in this topic

Hear about newly added videos?

Optional. We store this email and nothing else. It does not create an account.