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

Note Detail

Reply to @icedquinn@blob.cat
Blurry Moon@sun@shitposter.world (2026-07-31 11:02:30)
@icedquinn is koka good>?
---Reply---
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

---Replies---

Blurry Moon@sun@shitposter.world (2026-07-31 11:11:22)
@icedquinn super interesting!