Blurry Moon@sun@shitposter.world: @icedquinn is koka good>?

Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 11:02:02)
> microsoft research paper on upgrading ocaml's compiler with perseus (from koka)

:blobcatthinkOwO: that algorithm do be very neat
---Reply---
Blurry Moon@sun@shitposter.world (2026-07-31 11:02:30)
@icedquinn is koka good>?


---Replies---

Q.U.I.N.N.@icedquinn@blob.cat (2026-07-31 11:09:18)
@sun i dunno, but the perceus GC from it was aped for Lean 4 and there was an experiment using it on OCaml.

perceus itself is very good, the whole functional-in-place concept has basically put functional programming back on the map