the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable
plt
Challenges when writing gren-format via @robinheghan https://lobste.rs/s/wyfiaq #plt
https://gilramir.github.io/gren-format-lib/grenFormatChallenges.html
The Wrong Question About Type Systems (2025) via @abnv https://lobste.rs/s/en1nxy #clojure #plt
https://furkanbayraktar.com/writing/the-wrong-question-about-type-systems
The Robot Framework language https://lobste.rs/s/e1pwba #plt
https://docs.robotframework.org/docs/getting_started/how_to_write_rf
Coherence and orphan instance rules via @abnv https://lobste.rs/s/vbu5ay #haskell #plt
https://osa1.net/posts/2026-08-29-coherence-and-orphans.html
Bluefin is a capability system via @abnv https://lobste.rs/s/v1wxh0 #haskell #plt
https://h2.jaguarpaw.co.uk/posts/bluefin-capability-system/
Dependent if expressions without dependent types https://lobste.rs/s/yomxcl #plt
https://haskellforall.com/2026/09/dependent-if-expressions
CTTI is Exponential, RTTI is Linear https://lobste.rs/s/mj9qti #compilers #plt
https://www.gingerbill.org/article/2026/09/02/ctti-is-exponential-rtti-is-linear/
A defense of object-orientated programming https://lobste.rs/s/krtqbk #plt
https://codeandcake.dev/posts/2025-05-28-a-defense-of-oop
jank reimagines C++ errors and gets an official native package repo https://lobste.rs/s/rhjedr #c++ #clojure #compilers #plt
https://jank-lang.org/blog/2026-09-04-better-and-better/
Rust: When Empty Isn't Bottom https://lobste.rs/s/lf3est #plt #rust
https://ettolrach.com/blog/rust_when_empty_isnt_bottom.html
PL Education in the Age of AI: Interview with Shriram Krishnamurthi https://lobste.rs/s/eoaw1h #audio #education #plt
https://www.typetheoryforall.com/episodes/pl-education-in-the-age-of-ai
Type inference has usability problems (2019) via @abnv https://lobste.rs/s/mfhss4 #plt
https://austinhenley.com/blog/typeinference.html
A Design Space Exploration of Async/Await https://lobste.rs/s/rghafd #plt
https://cel.cs.brown.edu/blog/design-space-async-await/
WebCorC: Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology https://lobste.rs/s/zvpelp #formalmethods #plt
https://github.com/KIT-TVA/WebCorC