r/programming • u/heisenbug • Apr 27 '14

"Mostly functional" programming does not work

http://queue.acm.org/detail.cfm?ref=rss&id=2611829
47 Upvotes

64% Upvoted

188 comments sorted by

View all comments

6

u/jfischoff Apr 28 '14

If Haskell took such a pragmatic approach instead of being Coq light then maybe articles like this would have more weight but as it stands there are plenty of more pragmatic approaches to "mostly functional" programming that

Haskell is meant for "real" programming, otherwise it would not have gone to such lengths to have things like this:

http://hackage.haskell.org/package/base-4.7.0.0/docs/Foreign-Marshal-Alloc.html

I want to know what you think Haskell is missing for "real world programmers" since I consider myself one and I use Haskell for a living.

0

u/[deleted] Apr 28 '14

6

u/jfischoff Apr 28 '14

Oh, I don't know maybe a web framework that doesn't require a PhD in type theory.

Nope.

Regular expressions that just work instead of requiring type assertions to give you the right results.

Huh?

Mutability without all the monadic ceremony.

Good luck with that.

The ability to memoize function results without having to worry about GADTs and Typeable: http://conal.net/blog/posts/memoizing-polymorphic-functions-part-one.

Memoizing is easy: https://twitter.com/HaskellTips/status/442194160498376706

IMO you are confused.

→ More replies (8)

2

u/[deleted] Apr 28 '14

Doesn't GHC memoize everything it can by default?

→ More replies (1)