This is by the same guy who was pressured to have his open source project taken down by replit, fwiw. Kalyn is incredible from both a technical and literary poi

This is by the same guy who was pressured to have his open source project taken down by replit, fwiw. Kalyn is incredible from both a technical and literary point of view, I seriously recommend you give it a look. What I like most about this write-up are the justifications for the design decisions made, for example, including state/IO monads, using a boxed memory model, or the representation of captured values in closures.