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.
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.