News for hackers. Stuff that matters.

A comment on The sky is not falling – about the supposed end of dynamic languages. Parent comment

Re:The sky is not falling – about the supposed end of dynami... by tome on Sunday November 29, 2015 @09:27AM (#10644640)
Well, er, Haskell does have destructive update. You are misunderstanding Ben's point is somewhat. "We present a type based mutability, effect and data sharing analysis for reasoning about such programs [containing mutable data]".

https://hackage.haskell.org/package/base-4.8.1.0/docs/Data-I...

https://hackage.haskell.org/package/base-4.7.0.2/docs/Data-S...

[ Parent | on HN ]
Re:The sky is not falling – about the supposed end of dynami... by sanxiyn on Sunday November 29, 2015 @09:42AM (#10644673)
How am I misunderstanding? I am quoting exact words, after all. Re IORef and STRef, let's quote some more:

"Representing effects in value types is a double edged sword (p. 42). Haskell has fractured into monadic and non-monadic sub-languages (p. 44). Monad transformers produce a layered structure (p. 45)." These are section titles, be sure to read the entire sections which explain in details what the title means.

[ Parent | on HN ]
Re:The sky is not falling – about the supposed end of dynami... by RyanZAG on Sunday November 29, 2015 @10:48AM (#10644848)
I can't work out why you're being downvoted. Kneejerk reaction for anything that is critical of Haskell maybe? Unfortunately that does seem to be very common on HN.

Ben Lippmeier makes a very good point and is being quoted in full here. Haskell does have issues, and people are trying to fix those issues. If they can be resolved isn't known yet, and the resulting language may be different from Haskell. Haskell is a long way from some pinnacle of perfection, and it is very much not a silver bullet to solving problems. Not that anything in computer software is a silver bullet [1].

[1] https://www.youtube.com/watch?v=3wyd6J3yjcs

[ Parent | on HN ]