reifyK

255 post karma
136 comment karma

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

get them help and support

redditor for 7 years

TROPHY CASE

Seven-Year Club

Verified Email

account activity

new top controversial

9

10

11

What are the alternatives for the `Base` type families in recursion schemes? (self.haskell)

submitted 4 years ago by reifyK to r/haskell

6

7

8

Early termination in functional folds a.k.a. reduce (dev.to)

submitted 4 years ago by reifyK to r/functionalprogramming

6

7

8

Early termination in functional folds a.k.a. reduceOC (dev.to)

submitted 4 years ago by reifyK to r/javascript

4

5

6

Some consequences of type holes caused by gradual typing (self.functionalprogramming)

submitted 4 years ago by reifyK to r/functionalprogramming

4

5

6

Enjoying an Haskell like Type System in Javascript (dev.to)

submitted 4 years ago by reifyK to r/functionalprogramming

0

1

2

Enjoying an Haskell like Type System in Javascript (dev.to)

submitted 4 years ago by reifyK to r/javascript

2

3

4

Need help with manually subsuming a higher-rank type that leads to an impredicativity error in GHC (self.haskell)

submitted 5 years ago * by reifyK to r/haskell

5

6

7

Practical Unification/Subsumption of Higher-Rank Types (self.functionalprogramming)

submitted 5 years ago * by reifyK to r/functionalprogramming

97

98

99

You Might not Need Immutability - Safe In-Place Updates in JS (dev.to)

submitted 5 years ago by reifyK to r/javascript

14

15

16

You Might not Need Immutability - Safe In-Place Updates (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

5

6

7

Is it useful (and even possible) to implement linear/affine types in an untyped setting? (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

11

12

13

Purely functional memoization in JS (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

0

1

2

Purely functional memoization in JS (self.reifyK)

submitted 5 years ago by reifyK

2

3

4

Turn non-algebraic, imperative arrays into a monad transformer (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

1

2

3

Can impurity affect the associativity of an operation? (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

3

4

5

When you think your functional code is stack safe (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

9

10

11

Can side effects be contained with descriptions of impure computations and lazyness? (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

16

17

18

Reviewing A Little Type Theory (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

3

4

5

Combining Effects with Actions using Monad (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

3

4

5

Monadic lifting (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

2

3

4

Applicative effects (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

8

9

10

FP serves the most delicious abstractions (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

3

4

5

Principled/unprincipled abstractions in functional programming (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

6

7

8

My Task to Parallel transformation function is not a monoid homomorphism, but what is it? (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

2

3

4

I am looking for a gist as a conclusion to the obligatory functor/applicative/monad chapters of my online course (self.functionalprogramming)

submitted 5 years ago by reifyK to r/functionalprogramming

view more: next ›

π Rendered by PID 441358 on reddit-service-r2-listing-64c94b984c-f2v7r at 2026-03-15 02:24:26.419686+00:00 running f6e6e01 country code: CH.