HackerTube

type-level programming

Commentary×Under 4 minutes×Play all on YouTube
No strong matches for “type-level programming”. Here are the closest videos.
Alan Watts - On Prickles and Goo2:36

Alan Watts - On Prickles and Goo

57K views • 13 years ago
Jamie Anderson
A short animated excerpt of Alan Watts describing 'prickles' (rigorous, scientific types) and 'goo' (soft, spiritual types). He argues the real division is between prickly goo and gooey prickles.