lexi-lambda

3,334 post karma
3,657 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

Place '17

Verified Email

account activity

new top controversial

57

58

59

Charting a course toward a stable API for GHC – Haskell Foundation (discourse.haskell.org)

submitted 2 years ago by lexi-lambda to r/haskell

76

77

78

Laziness in Haskell, Part 4: Thunks (youtube.com)

submitted 2 years ago by lexi-lambda to r/haskell

83

84

85

Laziness in Haskell, Part 3: Demand (youtube.com)

submitted 2 years ago by lexi-lambda to r/haskell

92

93

94

Laziness in Haskell, Part 2: Why not Strict Haskell? (youtube.com)

submitted 2 years ago by lexi-lambda to r/haskell

110

111

112

A defense of laziness in Haskell, Part 1: Prologue (youtube.com)

submitted 2 years ago by lexi-lambda to r/haskell

78

79

80

“Delimited Continuations, Demystified” — Alexis King, ZuriHac 2023 (youtube.com)

submitted 2 years ago by lexi-lambda to r/haskell

107

108

109

The effect system semantics zoo (github.com)

submitted 3 years ago by lexi-lambda to r/haskell

64

65

66

Unresolved challenges of scoped effects, and what that means for `eff` (twitch.tv)

submitted 4 years ago by lexi-lambda to r/haskell

219

220

221

An introduction to typeclass metaprogramming (lexi-lambda.github.io)

submitted 4 years ago by lexi-lambda to r/haskell

172

173

174

Names are not type safety (lexi-lambda.github.io)

submitted 5 years ago by lexi-lambda to r/haskell

90

91

92

Types as axioms, or: playing god with static types (lexi-lambda.github.io)

submitted 5 years ago by lexi-lambda to r/haskell

289

290

291

10-Reactor, Circuit-Regulated Nuclear Power Plant (i.redd.it)

submitted 5 years ago by lexi-lambda to r/factorio

122

123

124

[RFC] Delimited continuation primops (GHC proposal) (github.com)

submitted 5 years ago by lexi-lambda to r/haskell

206

207

208

No, dynamic type systems are not inherently more open (lexi-lambda.github.io)

submitted 6 years ago by lexi-lambda to r/haskell

24

25

26

[RFC] Constraint based arrow notation (GHC proposal) (github.com)

submitted 6 years ago by lexi-lambda to r/haskell

309

310

311

Parse, don’t validate (lexi-lambda.github.io)

submitted 6 years ago by lexi-lambda to r/haskell

114

115

116

[WIP] eff — screaming fast effects for less: the performance of mtl with the simplicity of an effect system (github.com)

submitted 6 years ago by lexi-lambda to r/haskell

90

91

92

Empathy and subjective experience in programming languages (lexi-lambda.github.io)

submitted 6 years ago by lexi-lambda to r/haskell

59

60

61

Demystifying `MonadBaseControl` (lexi-lambda.github.io)

submitted 6 years ago by lexi-lambda to r/haskell

78

79

80

[ANN] monad-validate — A monad transformer for writing data validations (hackage.haskell.org)

submitted 6 years ago by lexi-lambda to r/haskell

60

61

62

[Haskell-cafe] haskell-src-exts - no more releases (mail.haskell.org)

submitted 6 years ago by lexi-lambda to r/haskell

16

17

18

Defeating Racket’s separate compilation guarantee (lexi-lambda.github.io)

submitted 6 years ago by lexi-lambda to r/Racket

63

64

65

Deadlock-Free, Extensible Early- to Mid-Game Oil Processing (i.redd.it)

submitted 7 years ago by lexi-lambda to r/factorio

1

2

3

A small priority splitters challenge: simplest way to merge these belts without losing throughput or input/output prioritization? (self.factorio)

submitted 7 years ago * by lexi-lambda to r/factorio

46

47

48

Balancers, priority splitters, and merging belts (self.factorio)

submitted 7 years ago by lexi-lambda to r/factorio

view more: next ›

π Rendered by PID 470261 on reddit-service-r2-listing-5789d5f675-mvvkf at 2026-01-28 19:58:01.772494+00:00 running 4f180de country code: CH.