Type Driven Domain Modelling, Part 2: Evolving Models with F#

Re:Type Driven Domain Modelling, Part 2: Evolving Models wit... by lucasmreis on Saturday February 04, 2017 @08:38AM (#13566916)

From my research and experiments, I think that ML languages help a lot "getting the specs right". That means that you have more confidence that the code does what you want it to do.

I can see a lot of value for that in non-tech companies that correctness is crucial, like finance, insurance, health...

[ Parent | on HN ]

Re:Type Driven Domain Modelling, Part 2: Evolving Models wit... by pjmlp on Saturday February 04, 2017 @11:07AM (#13567409)

I love ML languages, my first was Caml Light, OCaml wasn't yet born.

Also share your opinion, and go even further, for me personally IT projects should be accountable just like in many industries.

However my experience in enterprise consulting, with applications written in Excel, or languages that allow for "replaceable programmers", is that business doesn't care if software is the same quality of 1 € shop items, as long it generates the desired output.

[ Parent | on HN ]