logoalt Hacker News

instig00711/09/20241 replyview on HN

> then they won't be compelled away from what actually matters – the engineering.

Maybe it is, to the extend that playing with lego blocks authorised by the lego corporation is considered engineering. That, of course, is a silly line to draw for defining the discipline.

> we all have way more fun diving deep into crafting the perfect type in Haskell

What Haskell allows you to do in practice is defining required and missing control flows (for solving your problems) as types[0], and constraining those types with rules that define your business domains the control flows must operate in. That is the actual engineering, as opposed to joining plastic bricks.

[0] https://hackage.haskell.org/package/foldl-1.4.17/docs/Contro...


Replies

randomdata11/09/2024

> What Haskell allows you to do in practice is defining required and missing control flows

It allows that in theory, at least, certainly. That's the whole reason for its existence. But in practice, developers become enamoured with the language and start to forget about the problem. If that weren't a problem we'd all be using Haskell, but back in the real world.

show 1 reply