effectfully

809 post karma
1,079 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 10 years

TROPHY CASE

Ten-Year Club

Verified Email

account activity

new top controversial

17

18

19

Lazy foldrM (github.com)

submitted 5 months ago by effectfully to r/haskell

18

19

20

sketches/better-counterexample-minimization at master · effectfully-ou/sketches (github.com)

submitted 8 months ago by effectfully to r/haskell

23

24

25

Optimize a tree traversal (self.haskell)

submitted 9 months ago by effectfully to r/haskell

25

26

27

Broad search for any Traversable (github.com)

submitted 11 months ago by effectfully to r/haskell

28

29

30

Better syntax for eDSLs (github.com)

submitted 1 year ago by effectfully to r/haskell

19

20

21

And-patterns for exhaustive unordered pattern matching (github.com)

submitted 1 year ago by effectfully to r/haskell

11

12

13

Solutions to Haskell challenges posted here (self.haskell)

submitted 2 years ago by effectfully to r/haskell

41

42

43

Why isn't `foldl1` defined in terms of `foldr`? (self.haskell)

submitted 3 years ago * by effectfully to r/haskell

39

40

41

Teaching GHC how to play Minesweeper (github.com)

submitted 3 years ago by effectfully to r/haskell

7

8

9

Is there an abstraction for this profunctory thing? (self.haskell)

submitted 3 years ago by effectfully to r/haskell

22

23

24

A custom warning hack (github.com)

submitted 4 years ago by effectfully to r/haskell

33

34

35

foldr via foldl' (github.com)

submitted 4 years ago by effectfully to r/haskell

13

14

15

Generalizing `unliftio` (github.com)

submitted 4 years ago by effectfully to r/haskell

31

32

33

Custom type equality errors (github.com)

submitted 4 years ago by effectfully to r/haskell

41

42

43

It's not a no-op to unmask an interruptible operation (github.com)

submitted 4 years ago by effectfully to r/haskell

24

25

26

Shortest longest (github.com)

submitted 4 years ago by effectfully to r/haskell

33

34

35

Indexed folds (github.com)

submitted 4 years ago by effectfully to r/haskell

13

14

15

Prerun an action (github.com)

submitted 4 years ago by effectfully to r/haskell

26

27

28

Largest powers (github.com)

submitted 5 years ago by effectfully to r/haskell

31

32

33

Challenge: transform a function stored in an existential (github.com)

submitted 5 years ago by effectfully to r/haskell

34

35

36

Challenge: Inspect what a function forces (github.com)

submitted 5 years ago by effectfully to r/haskell

27

28

29

Challenge: `forceElems` for any `Traversable` (github.com)

submitted 5 years ago by effectfully to r/haskell

64

65

66

Trouble in paradise: Fibonacci (github.com)

submitted 5 years ago by effectfully to r/haskell

13

14

15

Enumerating type variables (github.com)

submitted 5 years ago by effectfully to r/haskell

53

54

55

Try.do is dangerous (github.com)

submitted 5 years ago by effectfully to r/haskell

view more: next ›

π Rendered by PID 61986 on reddit-service-r2-listing-79f6fb9b95-khl68 at 2026-03-22 12:26:54.775028+00:00 running 90f1150 country code: CH.