Skip to main content
Filter by
Sorted by
Tagged with
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 (...
Roman A. Taycher's user avatar
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 ...
MathematicalOrchid's user avatar
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.
Rabarberski's user avatar
  • 24.7k
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 ...
Hyperboreus's user avatar
  • 32.3k
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 ...
Dan's user avatar
  • 5,763
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 ...
Sergio Tapia's user avatar
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'...
David's user avatar
  • 8,385
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. ...
cibercitizen1's user avatar
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 ...
crockeea's user avatar
  • 21.8k
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 ...
JUST MY correct OPINION's user avatar
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 ...
missingfaktor's user avatar
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 ...

15 30 50 per page
1
2 3 4 5
3433