HackerTube

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

Code Sync201843:2319.9K views

Why it is in the catalog

Hacker News commenters linked this video 11 times between 2018 and 2024, from 5 different accounts. Its recommendation score is 4.

Open on YouTubeFind the HN threads

Tags

idristype-driven developmentdependent typesprogram synthesisfunctional programming

More from Software Engineering & Languages

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich53:22

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

Confreaks

2012Software Engineering & Languages20 HN mentions
How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework49:55

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

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

2016Software Engineering & Languages20 HN mentions
RailsConf 2014 - All the Little Things by Sandi Metz38:47

RailsConf 2014 - All the Little Things by Sandi Metz

Confreaks

2014Software Engineering & Languages20 HN mentions
The Soul of Erlang and Elixir • Sasa Juric • GOTO 201942:03

The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019

GOTO Conferences

2019Software Engineering & Languages20 HN mentions
"Simple Made Easy" - Rich Hickey (2011)1:01:39

"Simple Made Easy" - Rich Hickey (2011)

Strange Loop Conference

2021Software Engineering & Languages20 HN mentions
What the heck is the event loop anyway? | Philip Roberts | JSConf EU26:53

What the heck is the event loop anyway? | Philip Roberts | JSConf EU

JSConf

2014Software Engineering & Languages20 HN mentions
Rich Harris - Rethinking reactivity36:45

Rich Harris - Rethinking reactivity

You Gotta Love Frontend

2019Software Engineering & Languages20 HN mentions
"Making Impossible States Impossible" by Richard Feldman25:06

"Making Impossible States Impossible" by Richard Feldman

elm-conf

2016Software Engineering & Languages19 HN mentions