Stack Exchange

sacundim

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
50
What is the purpose of Rank2Types?
stackoverflow.com

38
Why is the concept of lazy evaluation useful?
programmers.stackexchange.com

30
What constitutes a fold for types other than list?
stackoverflow.com

23
Is my rewritten foldl function optimised?
stackoverflow.com

18
Do I need to use an interface when only one class will ever implement it?
programmers.stackexchange.com

13
Why is function definition for all types at once not allowed in Haskell?
stackoverflow.com

13
Does Haskell have return type overloading?
stackoverflow.com

13
Lazy Evaluation and Time Complexity
stackoverflow.com

12
Is this a reasonable view of Haskell IO?
stackoverflow.com

11
Are closures a violation of the functional programming paradigm?
stackoverflow.com

11
Why can't Existential Types use record syntax?
stackoverflow.com

11
Implementing Iota in Haskell
stackoverflow.com

11
How to decorate a Tree in Haskell
stackoverflow.com

11
What does the “world” mean in functional programming world?
stackoverflow.com

11
How would I write cycle as a lambda function?
stackoverflow.com

10
Is non-local type inference in Haskell or OCaml really useful?
stackoverflow.com

10
What are the practical differences between special forms and macros?
stackoverflow.com

10
Getting the head and tail of a custom List type Haskell
stackoverflow.com

9
What Haskell type system magic allows for the definition of join?
stackoverflow.com

9
Why discarded values are () instead of ⊥ in Haskell?
stackoverflow.com

9
What does uncurry ($) do?
stackoverflow.com

9
How to generate random, typed functions
stackoverflow.com

9
Why wouldn't my sieve terminate when I rewrote it as a foldl?
stackoverflow.com

8
Lists defined as Maybe in Haskell? Why not?
stackoverflow.com

8
A better way to map a function that requires IO over a list
stackoverflow.com

8
Haskell: How to put multiple instances in the same module?
stackoverflow.com

7
IO String and IO Data type
stackoverflow.com

7
Why is the type of this function (a -> a) -> a?
stackoverflow.com

7
Haskell: Difficulty embedding the context (Eq a) into a data declaration
stackoverflow.com

7
Type of list ranges: how can I make my function less polymorphic?
stackoverflow.com

1 2