News for hackers. Stuff that matters.

A comment on “Mostly functional” programming does not work (2014). Parent comment

Re:“Mostly functional” programming does not work (2014) by TazeTSchnitzel on Monday June 22, 2015 @08:58AM (#9757932)
How does "pure" work? How does the D compiler know the functions it calls do not have side effects?

More importantly, however, D's type system is not as expressive as Haskell's.

[ Parent | on HN ]
Re:“Mostly functional” programming does not work (2014) by qznc on Monday June 22, 2015 @09:03AM (#9757954)
Pure functions can only call pure functions.

Details: http://dlang.org/function.html#pure-functions

And Haskell's type system is not as expressive as D's. E.g. records.

[ Parent | on HN ]
Re:“Mostly functional” programming does not work (2014) by egorl4r on Monday June 22, 2015 @10:35AM (#9758577)
I'm not very good at D, but if you are referring to row polymorphic records, Haskell can do that too (e.g. https://github.com/nikita-volkov/record-preprocessor/blob/ma...)
[ Parent | on HN ]
Re:“Mostly functional” programming does not work (2014) by marcosdumay on Monday June 22, 2015 @03:27PM (#9760626)
> And Haskell's type system is not as expressive as D's. E.g. records.

Please, don't go there. D lacks add types and anything that isn't a first order type. Its type derivation also isn't even remotely as powerful.

[ Parent | on HN ]