#LispyGopherClimate on #programming #types #typetheory #commonlisp

time3 mo agoview22 views

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/

@screwtape@mastodon.sdf.org

Loading comments...