pigworker

Glasgow

http://strictlypositive.org

I'm a lecturer at the University of Strathclyde.

top accounts reputation activity subscriptions

Can I constrain a type family?

haskell asked Jan 3, 2013 at 4:36

stackoverflow.com

22 votes

In what intensional type theories can absurdity be made definitionally proof irrelevant?

type-theory agda eta-equality asked Feb 24, 2022 at 13:25

proofassistants.stackexchange.com

19 votes

What happens to missing type variables in Church-style core?

haskell types asked Aug 16, 2011 at 10:03

stackoverflow.com

18 votes

Would error messages improve if we could disable features?

haskell types compiler-errors asked Sep 6, 2012 at 8:52

stackoverflow.com

18 votes

How can I make file I/O more transactional?

haskell io asked Aug 14, 2011 at 19:39

stackoverflow.com

13 votes

Can I disable control-C?

haskell io asked Jan 23, 2012 at 9:51

stackoverflow.com

9 votes

How has instance (Param B.ByteString) managed to vanish?

mysql haskell cabal asked Sep 2, 2016 at 13:26

stackoverflow.com

5 votes

Can I make readProcess drop the quotes?

haskell process io system asked Oct 31, 2013 at 10:37

stackoverflow.com

Top Answers

226

Why not be dependently typed?

stackoverflow.com

167

What is () in Haskell, exactly?

stackoverflow.com

129

What is indexed monad?

stackoverflow.com

125

Applicatives compose, monads don't

stackoverflow.com

116

Zipper Comonads, Generically

stackoverflow.com

114

What are paramorphisms?

stackoverflow.com

106

Monads with Join() instead of Bind()

stackoverflow.com

101

Splitting list into a list of possible tuples

stackoverflow.com

Good examples of Not a Functor/Functor/Applicative/Monad?

stackoverflow.com

Parsec: Applicatives vs Monads

stackoverflow.com

Why is the type system refusing my seemingly valid program?

stackoverflow.com

What are some motivating examples for Cofree CoMonad in Haskell?

stackoverflow.com

Is it possible to program and check invariants in Haskell?

stackoverflow.com

What's the absurd function in Data.Void useful for?

stackoverflow.com

Why is typecase a bad thing?

stackoverflow.com

What is the combinatory logic equivalent of intuitionistic type theory?

stackoverflow.com

Purely functional data structures for text editors

stackoverflow.com

Writing cojoin or cobind for n-dimensional grid type

stackoverflow.com

Using return vs. not using return in the list monad

stackoverflow.com

Algorithm for type checking ML-like pattern matching?

stackoverflow.com

Zip with default value instead of dropping values?

stackoverflow.com

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

stackoverflow.com

What is the logarithm or root operation in type-space?

cstheory.stackexchange.com

Translate from monad to applicative

stackoverflow.com

How to make a binary tree zipper an instance of Comonad?

stackoverflow.com

What does () mean in Haskell

stackoverflow.com

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

stackoverflow.com

Haskell singletons: What do we gain with SNat

stackoverflow.com

The Pause monad

stackoverflow.com

Are GHC's Type Famlies An Example of System F-omega?

stackoverflow.com