Svag

I used to be a Haskell acolyte. I studied monads, GADTs, type families, and category theory. I knew the language cold, inside and out. I could make the type checker prove things nobody had asked it to prove. I shipped code using it. Rarely. I have attacked other languages with a similar intensity and depth. I tried OCaml. I tried Rust. Until recently, I even entertained the possibility that pragmatism had something to offer. Then I saw people writing Go and JavaScript. Happily calling it engineering. I now consider my former language fanaticism dangerously moderate. I don't want my agents to write arbitrary code in any of the thousands of languages out there. I want them to prove invariants, eliminate impossible states, and justify every function that isn’t total. I willl leave pragmatism to soys. What I need now is to understand every cog in the system. I want to see the types and the invariants. I need to inspect the cogs. I need to know whether the cogs compose. If I find an "any", I will interrogate my agents. I am not going to pretend to be a reasonable language enthusiast anymore. I have become a Haskell extremist. Haskellu Akbar.

We have used Bend2 for the last few weeks. Here is an honest review: Bend2 is what happens when an inbred type theory autist decides Haskell is for fucking casuals. No type inference. No type classes. No tactics. Want to prove something? Write the fucking proof yourself. Dependent types with absolutely none of the ergonomic bullshit. Also, affine types because apparently full linearity would be too much commitment. The ecosystem is nonexistent, the learning curve is a vertical cliff, and writing trivial programs feels like defending a PhD thesis. 9/10. Still too accessible to JavaScript developers.