Appears on
Articles3
The Psychological Impact of Lake Okeechobee's Shallow Depth
Opinion
PixiEditor 2.0 Launches as a Free and Open-Source Universal 2D Graphics Editor
News
Critique of Static Type Systems: Extending Beyond OOP to Functional Programming
The article critiques the limitations of static type systems, extending Casey Muratori's critique from OOP to functional programming. It discusses the 'correctness hierarchy' of type systems, with languages like Idris and Haskell at the top, and highlights the challenges in making 'illegal states unrepresentable.' The piece argues that this issue is pervasiv
Insight
danieltan.weblog.lol10mo ago

