A functional programming language

learn more… | top users | synonyms

30
votes
4answers
1k views

“A proof is a program; the formula it proves is a type for the program”

This might be a philosophical kind of question, but I believe that there is an objective answer to it. If you read the wikipedia article about Haskell, you can find the following: The language is ...
4
votes
5answers
342 views

What Haskell interesting topics, tips, and examples I should not miss on my presentation?

I have to make a presentation about Haskell, and I'm looking for interesting Haskell examples, tips, and topics in general I should not miss in my presentation. The purpose of the presentation is to ...
12
votes
3answers
2k views

Ur/Web new purely functional language for web programming?

I came across the Ur/Web project during my search for web frameworks for Haskell-like languages. It looks like a very interesting project done by one person. Basically, it is a domain-specific purely ...
14
votes
2answers
1k views

Suggestions for a GUI library in Haskell [closed]

As the Haskell Wiki itself states: There is a large number of GUI libraries for Haskell. Unfortunately there is no standard one and all are more or less incomplete. In general, low-level veneers ...
9
votes
1answer
307 views

Software Transactional Memory - Composability Example

One of the major advantages of software transactional memory that always gets mentioned is composability and modularity. Different fragments can be combined to produce larger components. In ...
19
votes
2answers
2k views

Haskell web frameworks survey

There are several web frameworks for Haskell like Happstack, Snap, and Yesod, and probably a few more. In what aspects do they differ from each other? For example: features (e.g. server only, or ...
21
votes
3answers
9k views

Haskell vs Erlang for web services

I am looking to start an experimental project using a functional language and am trying to decide beween Erlang and Haskell, and both have some points that I really like. I like Haskell's strong ...
0
votes
2answers
475 views

Have you read “Free Software Programmed in Haskell”? What did you think? [closed]

Does anyone know anything about this book? There are no reviews and it doesn't look like it's still in print or something?