Re:Why Does Everyone Hate Haskell, Jazz, and Pure Math?
by techhazard on Monday August 05, 2024 @02:20PM
(#41163877)
> I've noticed with untyped code that at some point HOFs start becoming hard to write because the layers of abstraction get confusing […]
I have the same with Nix (from NixOS).
It’s a really nice idea to have a functional language that compiles to a working linux installation, but those abstract functions can get really complicated, especially when I return to something I wrote six months ago.
It makes me really miss Rust’s type system…
That said, to really squeeze the most out of HOFs the language probably needs a well developed type system. I've noticed with untyped code that at some point HOFs start becoming hard to write because the layers of abstraction get confusing in a way that static analysis would be helpful with. Although my lesson there is to not go overboard with HOFs - if I need static analysis to write working code it is probably too clever to understand by reading it! The Haskell community might succeed in proving that view wrong, but until then...