Lmst

higher: Your favourite Haskell type classes for Rust (2023) https://lobste.rs/s/uhbeld #plt #rust
https://github.com/bodil/higher

Pallene Language https://lobste.rs/s/olfqe5 #lua #plt
https://github.com/pallene-lang/pallene

🐫 OxCaml’s extensions are meant to make OCaml a great language for performance engineering

｢ OxCaml’s primary design goals are:
to provide safe, convenient, predictable control over performance-critical aspects of program behavior
but only where you need it,
and…in OCaml! ｣

https://oxcaml.org/

#ocaml #oxcaml #plt

Reflection and open implementations (2006) via @jryans https://lobste.rs/s/zvnxst #pdf #java #lisp #plt
https://www.dcc.uchile.cl/~etanter/courses/cc71p/2006/reflection_oi.pdf

Hare 0.25.2 released via @RunxiYu https://lobste.rs/s/lwtxev #plt #release
https://harelang.org/blog/2025-06-21-hare-0.25.2-released/

Of Course ML Has Monads! (2011) https://lobste.rs/s/urjnnp #haskell #ml #plt
https://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/

Zig And Rust via @RunxiYu https://lobste.rs/s/hnfoam #plt #rust #zig
https://matklad.github.io/2023/03/26/zig-and-rust.html

Programming Considered Harmful https://lobste.rs/s/1xjwe5 #historical #plt
https://flownet.com/ron/papers/pch.html

The Less Humble Programmer (2023) https://lobste.rs/s/ofnqos #plt #programming
https://digitalhumanities.org/dhq/vol/17/2/000698/000698.html

Bibliography of Scheme-related Research (2012) https://lobste.rs/s/atxw9h #lisp #plt
https://web.archive.org/web/20180625085633/http://library.readscheme.org/

The Unreasonable Effectiveness of Fuzzing for Porting Programs https://lobste.rs/s/zgoytt #plt #rust #vibecoding
https://rjp.io/blog/2025-06-17-unreasonable-effectiveness-of-fuzzing

TIL about https://en.wikipedia.org/wiki/Corrado_B%C3%B6hm

there's so much unknown history in CS around the 50s ...

#lambdacalc #plt #normalform

For my next #compiler project, I want to write the optimization passes myself, but I don't want to deal with generating machine code for multiple platforms. So tell me #programminglanguages #plt #pldev #compilers fedi, what is an IR that I can target that has a non-optimizing compiler to machine code and supports multiple platforms? This rules out most popular IR like LLVM, C, QBE, Cranelift etc.

In short, I want something that does only instruction selection, register allocation and codegen for multiple platforms. I don't need optimization, so I expect this thing to be really small and lightweight, unlike LLVM, GCC etc.

really, apl is so appealing to me

https://pitr.ca/2025-06-14-queens

#apl #plt #concise #tiny