Prism: An Impure Functional Language With Typed Effects
Summary
Prism is a toy-ish functional language that experiments with typed effects, algebraic effect handlers, and zero-cost abstractions. The post discusses how Prism models effects, streams, lenses, and memory management, with runtime details and a WASM playground. It's a deep dive suitable for language designers and advanced programmers.