A First Futamura Projection via @abnv https://lobste.rs/s/uahccr #plt
https://blog.veitheller.de/A_First_Futamura_Projection.html
plt
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/
Integers - how ought they work? via @fanf https://lobste.rs/s/ldgwcn #plt
https://futhark-lang.org/blog/2026-10-21-integers-how-ought-they-work.html
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/
Do not let your type system reason about aliasing in your programming language via @fanf https://lobste.rs/s/huj44r #plt
https://futhark-lang.org/blog/2026-09-22-aliasing.html
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
Typeclasses vs Modules via @abnv https://lobste.rs/s/crlwst #haskell #ml #plt
https://sm2n.ca/articles/typeclasses-vs-modules/
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
A Simple Language With Flow Typing (2021) via @abnv https://lobste.rs/s/7k5jce #plt
https://ayazhafiz.com/articles/21/lang-narrow
The Goose Programming Language https://lobste.rs/s/dkoryq #plt
https://aardappel.github.io/goose/
Acid: A Debugger Built From A Language (1996) https://lobste.rs/s/nzzcn0 #pdf #debugging #plt
https://inferno-os.org/inferno/papers/acidpaper.pdf
writing about pratt parsing so I remember it https://lobste.rs/s/mu3xcd #c #plt
https://www.unix.dog/~yosh/blog/2026-10-25_pratt-parsing.html
What makes Lisp difficult to read? https://lobste.rs/s/fqype1 #plt
https://paultm.nl/paren-thesis
Cuis Smalltalk https://lobste.rs/s/vqlcdk #plt
https://cuis.st/
TypeScript and Haskell: Unions & Singletons (2024) via @abnv https://lobste.rs/s/adprro #haskell #plt
https://garciat.com/posts/haskell-union-types/
Full Haskell-like Type Class resolution in Java via @abnv https://lobste.rs/s/beiiil #haskell #java #plt
https://garciat.com/posts/java-type-classes/
Compile-Time Dependent Types via @PolyWolf https://lobste.rs/s/d09iy3 #ml #plt
https://thenumb.at/Syl-Intro/
Union Types and Option Types https://lobste.rs/s/mwqrct #plt
https://tibleiz.net/blog/2025-03-16-union-types-and-option-types.html