Skip to main content

Stack Exchange

chi

top accounts reputation activity subscriptions
Top Questions
Top Answers
139
Equal (=) Vs left arrow (<-) symbols in haskell
stackoverflow.com

105
Why are some programming languages "faster" or "slower" than others?
cs.stackexchange.com

71
Why are some programming languages Turing complete but lack some abilities of other languages?
cs.stackexchange.com

71
Why is `2 + x = 7` valid Haskell?
stackoverflow.com

64
Turning A => M[B] into M[A => B]
stackoverflow.com

62
Why is the number of ways of choosing $0$ items from $n$ items $1$?
math.stackexchange.com

50
How do we overcome the compile time and runtime gap when programming in a Dependently Typed Language?
stackoverflow.com

49
C++ syntax understanding issue for 'using'
stackoverflow.com

46
Why does integer division round down in many scripting languages?
stackoverflow.com

45
What does an escaped ampersand mean in Haskell?
stackoverflow.com

45
Is there a task that is solvable in polynomial time but not verifiable in polynomial time?
cs.stackexchange.com

41
How to reduce code duplication when dealing with recursive sum types
stackoverflow.com

37
What is spine strictness
stackoverflow.com

33
"Naturally occurring" non-Hausdorff spaces?
math.stackexchange.com

27
How to create ADT in Haskell?
stackoverflow.com

26
How to flatten a list of lists of lists in haskell
stackoverflow.com

25
What is indexed monad?
stackoverflow.com

25
When are type signatures necessary in Haskell?
stackoverflow.com

25
Iterate over all pair combinations without repetition in Haskell
stackoverflow.com

24
Elegant way to combine multiple filtering functions in Haskell
stackoverflow.com

24
Lambda Calculus Generator
cs.stackexchange.com

24
Automatic Downcasting by Inferring the Type
cs.stackexchange.com

24
Trouble understanding the type of sequence [Just, Just]
stackoverflow.com

23
How is Data.Void.absurd different from ⊥?
stackoverflow.com

23
How to apply higher order function to an effectful function in Haskell?
stackoverflow.com

23
Can 'all' be applied to a list of Maybe?
stackoverflow.com

23
What does it mean to rely on the consistency of a coercion language?
stackoverflow.com

22
How to make illegal values unrepresentable?
stackoverflow.com

22
Haskell version of Idris !-notation (bang notation)
stackoverflow.com

21
Code unexpectedly accepted by GHC/GHCi
stackoverflow.com

1 2 3 4 5 … 10