Sign up to save your podcasts
Or
Share #LispyGopherClimate on #programming #types #typetheory #commonlisp
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
#LispyGopherClimate on #programming #types #typetheory #commonlisp
Fun distillation of a lot of perspectives and commentary on using types in programs with historically significant live contributors. Well, /I/ enjoyed it.
Types
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
https://mastodon.sdf.org/@screwtape/114463597204644331
https://mastodon.sdf.org/@screwtape/114460277936990270
bonkwave music (socool remixing ccirco)
https://bonkwave.org/music/not-bonk-what-i-call-wave-remixes/1/
Shizamura: https://sarilho.net/en/
View all episodes
By Fun distillation of a lot of perspectives and commentary on using types in programs with historically significant live contributors. Well, /I/ enjoyed it.
Types
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
https://mastodon.sdf.org/@screwtape/114463597204644331
https://mastodon.sdf.org/@screwtape/114460277936990270
bonkwave music (socool remixing ccirco)
https://bonkwave.org/music/not-bonk-what-i-call-wave-remixes/1/
Shizamura: https://sarilho.net/en/