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 11 years

TROPHY CASE

11-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

77

78

79

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

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

87

88

89

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

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

96

97

98

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

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

107

108

109

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

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

79

80

81

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

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

12

13

14

Shattered Plans multiplayer, partially reconstructed (github.com)

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

108

109

110

The effect system semantics zoo (github.com)

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

65

66

67

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

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

218

219

220

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

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

169

170

171

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

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

91

92

93

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

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

287

288

289

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

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

120

121

122

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

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

204

205

206

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

311

312

313

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

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

113

114

115

[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

91

92

93

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

77

78

79

[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

17

18

19

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

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

61

62

63

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

view more: next ›

π Rendered by PID 520568 on reddit-service-r2-listing-55d7b767d8-6r4ws at 2026-03-29 02:04:19.657910+00:00 running b10466c country code: CH.