Love Haskell and all but that monad transformer stack juggling exception threading nonsense is exactly as enterprise architect-y as crummy Java code.
Conversation
Favlang is probably F# right now from a practical perspective, so combine mtls with lack of typeclasses/HKTs (i.e. boilerplate) and a generous dollop of C# shitheadery, probably some reflection to turn that boilerplate into runtime exceptions >__<
1
5
I'm excited about the possibility of discovering enterprise OO patterns in Idris some time in the next five years
3
8
The best thing is when you get OOP programmers calling free functions 'factory methods'!
1
1
"I will create a visitor over this sealed class" => "I will pattern match on this inductive datatype".
1
4
lol, like enterprise orgs ever seal classes 😅🔫
1
3
Yush, "we needeth the extensibility"! (They could have a point though - hoorah for the expression problem)