Compilers: Incrementally and Extensibly https://lobste.rs/s/sbuuzu #compilers #ml #plt
https://okmij.org/ftp/tagless-final/Compiler/index.html

A rough survey of compilation, recompilation, and compile-time evaluation https://lobste.rs/s/wn2ley #plt
https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/

Syntactic Musings on View Types https://lobste.rs/s/6rnhbq #plt #rust
https://blog.yoshuawuyts.com/syntactic-musings-on-view-types

This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.

--

Making OCaml Safe for Performance Engineering | Lobsters

https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance

How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure) https://lobste.rs/s/sirtt6 #java #plt
https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure

The Memory Safety Continuum https://lobste.rs/s/xpmufx #plt #security
https://memorysafety.openssf.org/memory-safety-continuum/

Total functions and beyond

https://ericnormand.substack.com/p/total-functions-and-beyond

Discussions: https://discu.eu/q/https://ericnormand.substack.com/p/total-functions-and-beyond

CoSy https://lobste.rs/s/ctzngb #apl #plt
https://cosy.com/

Roguetype: The first ever roguelike written in the OCaml type system https://lobste.rs/s/abunxs #ml #plt
https://github.com/Octachron/roguetype

Warren's Abstract Machine: A Tutorial Reconstruction (1999) https://lobste.rs/s/espq0p #pdf #plt
https://web.archive.org/web/20110403055600/http://wambook.sourceforge.net/

Interaction nets https://lobste.rs/s/gpvjlw #plt
https://wiki.xxiivv.com/site/interaction_nets.html

Total functions and beyond https://lobste.rs/s/7yz8sf #clojure #plt
https://ericnormand.substack.com/p/total-functions-and-beyond

Caelum, the hyper-functional programming language via @rwdf https://lobste.rs/s/ejszpl #video #plt #programming #python
https://www.youtube.com/watch?v=nvVbY6JSlHY

Can jank beat Clojure's error reporting?

https://jank-lang.org/blog/2025-03-28-error-reporting/

Discussions: https://discu.eu/q/https://jank-lang.org/blog/2025-03-28-error-reporting/

Can jank beat Clojure's error reporting? https://lobste.rs/s/uov26c #c++ #clojure #compilers #plt
https://jank-lang.org/blog/2025-03-28-error-reporting/

The problem with OOL is not the OO (2009) https://lobste.rs/s/zjrctq #plt #programming
https://www.rebol.com/article/0425.html

SpecTec has been adopted - WebAssembly

«...huge leap forward, because the practical state of language specifications is basically stuck in the 1960s: most language standards, even new ones, are still defined by some basic grammar notation for their syntax (and sometimes not even that), while their semantics is given by a combination of pretty prose, hidden assumptions, and wishful thinking.»

https://webassembly.org/news/2025-03-27-spectec/

SpecTec has been adopted https://lobste.rs/s/f8x4c6 #plt #wasm
https://webassembly.org/news/2025-03-27-spectec/

Pile of Eternal Rejections: The Cost of Garbage Collection for State Machine Replication – Aleksey Charapko https://lobste.rs/s/6ngygp #performance #plt
https://charap.co/pile-of-eternal-rejections-the-cost-of-garbage-collection-for-state-machine-replication/

Spade, a hardware description language inspired by modern software languages https://lobste.rs/s/2tfh34 #hardware #plt
https://spade-lang.org/