Skip to content
hackertubeai

Curry On!

Edwin Brady - Idris 2 - Type-driven Development of Idris

About this video

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.

Keep your curiosity going.

A few more ideas from the same corner of the archive.

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich

Confreaks

The spelled-out intro to neural networks and backpropagation: building micrograd

Andrej Karpathy

How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework

Видео с мероприятий {speach!

RailsConf 2014 - All the Little Things by Sandi Metz

Confreaks