Skip to main content
Noughtmare's user avatar
Noughtmare's user avatar
Noughtmare's user avatar
Noughtmare
  • Member for 5 years, 2 months
  • Last seen this week
  • Netherlands
Profile Activity

Stats

11,466
reputation
77k
reached
289
answers
3
questions
Communities
View all

Badges

View all badges
1
gold badge
19
silver badges
43
bronze badges

Top tags

View all tags
862
Score
288
Posts
99
Posts %
75
Score
21
Posts
7
Posts %
71
Score
29
Posts
10
Posts %
60
Score
20
Posts
7
Posts %
35
Score
10
Posts
3
Posts %
29
Score
11
Posts
4
Posts %

Top posts

View all questions, answers, and articles
19
Sequence-like function which reports all the errors
Jun 11, 2021
15
Law of naturality for list Traversable instance
Jul 20, 2022
14
Is there any typeclass that defines the function from `a -> m b` to `m (a -> b)`?
Apr 4, 2023
14
How is integer comparison implemented in GHC?
Nov 6, 2021
12
Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?
Oct 20, 2023
11
Will call to fmap be removed when newtype is a Functor?
Jun 21, 2021
10
When running 'sequence' on a list of Eithers, how does ghc know which argument to list-ify?
Jun 28, 2021
9
How does Haskell avoid never-ending recursion in boolean value definitions?
Jul 29, 2023
9
Why does the second version of this run in exponential time?
Sep 2, 2021
9
Multiple type synonyms in a class
Aug 23, 2021

Top network posts

View all network posts
7
Why is Agda's old coinduction (musical notation) deprecated?
6
Why use a polynomial to generate random numbers for Pollard's rho factorization algorithm?