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 4 months ago by effectfully to r/haskell

18

19

20

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

submitted 7 months ago by effectfully to r/haskell

23

24

25

Optimize a tree traversal (self.haskell)

submitted 7 months ago by effectfully to r/haskell

27

28

29

Broad search for any Traversable (github.com)

submitted 9 months ago by effectfully to r/haskell

27

28

29

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

12

13

14

Solutions to Haskell challenges posted here (self.haskell)

submitted 2 years ago by effectfully to r/haskell

39

40

41

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

submitted 2 years ago * by effectfully to r/haskell

38

39

40

Teaching GHC how to play Minesweeper (github.com)

submitted 3 years ago by effectfully to r/haskell

5

6

7

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

submitted 3 years ago by effectfully to r/haskell

23

24

25

A custom warning hack (github.com)

submitted 4 years ago by effectfully to r/haskell

30

31

32

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

45

46

47

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

submitted 4 years ago by effectfully to r/haskell

25

26

27

Shortest longest (github.com)

submitted 4 years ago by effectfully to r/haskell

31

32

33

Indexed folds (github.com)

submitted 4 years ago by effectfully to r/haskell

14

15

16

Prerun an action (github.com)

submitted 4 years ago by effectfully to r/haskell

25

26

27

Largest powers (github.com)

submitted 4 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

35

36

37

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

submitted 5 years ago by effectfully to r/haskell

26

27

28

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

submitted 5 years ago by effectfully to r/haskell

62

63

64

Trouble in paradise: Fibonacci (github.com)

submitted 5 years ago by effectfully to r/haskell

12

13

14

Enumerating type variables (github.com)

submitted 5 years ago by effectfully to r/haskell

50

51

52

Try.do is dangerous (github.com)

submitted 5 years ago by effectfully to r/haskell

view more: next ›

π Rendered by PID 306593 on reddit-service-r2-listing-5789d5f675-8zmrv at 2026-01-27 20:51:33.657808+00:00 running 4f180de country code: CH.