Petr Pudlák

Czech Republic

petr.pudlak.name

top accounts reputation activity favorites subscriptions

Critique of the IO monad being viewed as a state monad operating on the world

functional-programming haskell io monad asked Aug 20 '12 at 7:33

programmers.stackexchange.com

30 votes

A simple example showing that IO doesn't satisfy the monad laws?

haskell io functional-programming monads asked Sep 27 '12 at 8:59

stackoverflow.com

27 votes

Examples where compiler-optimized functional code performs better than imperative code

performance haskell optimization functional-programming imperative-programming asked Jan 16 at 11:57

stackoverflow.com

26 votes

Can using UndecidableInstances pragma locally have global consequences on compilation termination?

haskell compilation ghc language-extension asked Jan 23 at 9:25

stackoverflow.com

22 votes

Are there any advantages of using Rank2Types in favor of RankNTypes?

haskell ghc type-inference higher-rank-types asked Feb 22 at 9:07

stackoverflow.com

21 votes

How to concisely express function iteration?

scala haskell functional-programming iteration asked Apr 15 at 8:29

stackoverflow.com

21 votes

Why does it take up to several minutes to clean a listening TCP port after a program dies?

networking tcp resources asked Mar 18 at 10:38

unix.stackexchange.com

20 votes

Constructing efficient monad instances on `Set` (and other containers with constraints) using the continuation monad

haskell complexity monads continuations curry-howard asked Aug 29 '12 at 17:49

stackoverflow.com

18 votes

Under what circumstances are monadic computations tail-recursive?

haskell monads tail-recursion asked Nov 14 '12 at 12:44

stackoverflow.com

17 votes

Is it possible to make GHC optimize (deforest) generic functions such as catamorphisms?

optimization haskell ghc fusion catamorphism asked Oct 27 '12 at 10:12

stackoverflow.com

Top Answers

Concrete example showing that monads are not closed under composition (with proof)?

stackoverflow.com

Way to check if two Collections contain the same elements, independent of order?

stackoverflow.com

When does (x == x+2)?

codegolf.stackexchange.com

Benefit of avoiding multiple list traversals

stackoverflow.com

Crash your favorite compiler

codegolf.stackexchange.com

Different ways to see a monad

programmers.stackexchange.com

In what programming language did “let” first appear?

programmers.stackexchange.com

Haskell/GHC UndecidableInstances - example for non-terminating type check?

stackoverflow.com

Why can't (Set -> Set) have type Set?

stackoverflow.com

Restricting the number of elements a data constructor can have

stackoverflow.com

Why can applicative functors have side effects, but functors can't?

stackoverflow.com

Has any previously unknown result been proven by an automated theorem prover?

math.stackexchange.com

Calling functions prefix vs. infix in Haskell

stackoverflow.com

Understanding Sequencing in Functional Programming

stackoverflow.com

The performance of (++) with lazy evaluation

stackoverflow.com

Why is ListT monad transformer considered buggy - what monad laws it breaks?

stackoverflow.com

Working with Maybe a, IO a, and MaybeT IO a

stackoverflow.com

Understanding Polytypes in Hindley-Milner Type Inference

stackoverflow.com

Ackermann very inefficient with Haskell/GHC

stackoverflow.com

Lambda Calculus simplification

cs.stackexchange.com

Why does Scalaz use complex symbols and no in-code documentation?

stackoverflow.com

foldl . foldr function composition - Haskell

stackoverflow.com

Is there a stricter Data.Sequence?

stackoverflow.com

How is this proof flawed?

math.stackexchange.com

Free variables of (λx.xy)x and bound variables of λxy.x

cs.stackexchange.com

Multiple flatMaps in Scala

stackoverflow.com

Why inductive datatypes forbid types like `data Bad a = C (Bad a -> a)` where the type recursion occurs in front of ->?

stackoverflow.com

What's the difference between Unit and Nothing?

stackoverflow.com

Haskell Invert Pair

stackoverflow.com

haskell - flip fix / fix

stackoverflow.com