Skip to main content
The 2026 Annual Developer Survey is live— take the Survey today!
pigworker's user avatar
pigworker's user avatar
pigworker's user avatar
pigworker
  • Member for 15 years, 9 months
  • Last seen more than 1 year ago
Profile Activity

Profile

Stats

43,623
reputation
506k
reached
189
answers
9
questions
Communities
View all

About

I'm a lecturer at the University of Strathclyde.

Badges

View all badges
18
gold badges
124
silver badges
214
bronze badges

Top tags

View all tags
4,102
Score
189
Posts
95
Posts %
903
Score
22
Posts
11
Posts %
633
Score
20
Posts
10
Posts %
492
Score
15
Posts
8
Posts %
481
Score
15
Posts
8
Posts %
462
Score
16
Posts
8
Posts %

Top posts

View all questions, answers, and articles
answer
231
Why not be dependently typed?
Nov 5, 2012
answer
169
What is () in Haskell, exactly?
Jun 3, 2013
answer
133
What is indexed monad?
Feb 24, 2015
answer
126
Applicatives compose, monads don't
Aug 12, 2011
answer
119
Zipper Comonads, Generically
Aug 29, 2014
answer
116
What are paramorphisms?
Nov 9, 2012
answer
106
Monads with Join() instead of Bind()
Jun 28, 2012
answer
100
Splitting list into a list of possible tuples
Oct 13, 2012
answer
94
Good examples of Not a Functor/Functor/Applicative/Monad?
Aug 28, 2011
answer
74
Parsec: Applicatives vs Monads
Aug 2, 2016

Top network posts

View all network posts
40
What is the logarithm or root operation in type-space?
25
What is a brief but complete explanation of a pure/dependent type system?
22
In what intensional type theories can absurdity be made definitionally proof irrelevant?
18
Is there a non-trivial type which is equal to its own derivative?
17
Expressivity of mutual/nested inductives vs. regular inductives