51,485
questions
1695
votes
48
answers
336k
views
What is a monad?
Having briefly looked at Haskell recently, what would be a brief, succinct, practical explanation as to what a monad essentially is?
I have found most explanations I've come across to be fairly ...
940
votes
6
answers
253k
views
A monad is just a monoid in the category of endofunctors, what's the problem?
Who first said the following?
A monad is just a monoid in the
category of endofunctors, what's the
problem?
And on a less important note, is this true and if so could you give an explanation (...
931
votes
6
answers
98k
views
What part of Hindley-Milner do you not understand?
I swear there used to be a T-shirt for sale featuring the immortal words:
What part of
do you not understand?
In my case, the answer would be... all of it!
In particular, I often see notation like ...
806
votes
14
answers
217k
views
What is the difference between . (dot) and $ (dollar sign)?
What is the difference between the dot (.) and the dollar sign ($)?
As I understand it, they are both syntactic sugar for not needing to use parentheses.
754
votes
15
answers
275k
views
Getting started with Haskell
For a few days I've tried to wrap my head around the functional programming paradigm in Haskell. I've done this by reading tutorials and watching screencasts, but nothing really seems to stick.
Now, ...
742
votes
17
answers
161k
views
Speed comparison with Project Euler: C vs Python vs Erlang vs Haskell
I have taken Problem #12 from Project Euler as a programming exercise and to compare my (surely not optimal) implementations in C, Python, Erlang and Haskell. In order to get some higher execution ...
562
votes
8
answers
63k
views
Large-scale design in Haskell? [closed]
What is a good way to design/structure large functional programs, especially in Haskell?
I've been through a bunch of the tutorials (Write Yourself a Scheme being my favorite, with Real World Haskell ...
550
votes
10
answers
253k
views
What is Haskell used for in the real world? [closed]
There is a lot of hype around Haskell, however, it is hard to get information on how it is used in the real world applications. What are the most popular projects / usages of Haskell and why it excels ...
427
votes
7
answers
70k
views
What are free monads?
I've seen the term Free Monad pop up every now and then for some time, but everyone just seems to use/discuss them without giving an explanation of what they are. So: what are free monads? (I'd say I'...
418
votes
15
answers
80k
views
Is functional GUI programming possible? [closed]
I've recently caught the FP bug (trying to learn Haskell), and I've been really impressed with what I've seen so far (first-class functions, lazy evaluation, and all the other goodies). I'm no expert ...
410
votes
8
answers
61k
views
Why do we need monads?
In my humble opinion the answers to the famous question "What is a monad?", especially the most voted ones, try to explain what is a monad without clearly explaining why monads are really necessary. ...
394
votes
1
answer
22k
views
Transitivity of Auto-Specialization in GHC
From the docs for GHC 7.6:
[Y]ou often don't even need the SPECIALIZE pragma in the first place. When compiling a module M, GHC's optimiser (with -O) automatically considers each top-level ...
385
votes
8
answers
64k
views
What does the `forall` keyword in Haskell/GHC do?
I'm beginning to understand how the forall keyword is used in so-called "existential types" like this:
data ShowBox = forall s. Show s => SB s
This is only a subset, however, of how ...
357
votes
4
answers
30k
views
What does "coalgebra" mean in the context of programming?
I have heard the term "coalgebras" several times in functional programming and PLT circles, especially when the discussion is about objects, comonads, lenses, and such. Googling this term gives pages ...
352
votes
7
answers
42k
views
Good Haskell source to read and learn from [closed]
What are some open source programs that use Haskell and can be considered to be good quality modern Haskell? The larger the code base, the better.
I want to learn from their source code. I feel I'm ...