News for hackers. Stuff that matters.

A comment on Type Theory and Functional Programming (1999) [pdf]. Parent comment

Re:Type Theory and Functional Programming (1999) [pdf] by HelloNurse on Wednesday October 01, 2025 @11:51AM (#45439205)
Haskell is suitable for, and designed for, bleeding edge experiments, not for practical usage. Its low popularity says very little about the "market penetration" of better engineered functional languages.
[ Parent | on HN ]
Re:Type Theory and Functional Programming (1999) [pdf] by cubefox on Wednesday October 01, 2025 @02:29PM (#45441352)
There is no other popular functional language either. Except if you count imperative languages which let you, optionally, write functional code, except that in practice most code is imperative.
[ Parent | on HN ]
Re:Type Theory and Functional Programming (1999) [pdf] by instig007 on Wednesday October 01, 2025 @05:42PM (#45443888)
> Haskell is suitable for, and designed for, bleeding edge experiments, not for practical usage

The notion of practicality depends on what one wishes to practice. You, for instance, are practicing FUD spreading, it's practical for you to say these things without actually doing work with the tools provided.

[ Parent | on HN ]
Re:Type Theory and Functional Programming (1999) [pdf] by HelloNurse on Thursday October 02, 2025 @03:37AM (#45447172)
I tried to learn Haskell, and while the language has merits every library I attempted to use was a problem: at best not documented enough, but more often a half-baked proof of concept.
[ Parent | on HN ]