HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Haskell's system shell libs
2 comments
14 years ago
cheatercheater
6 points
2.
▲
A dream of an ultimate OS (1995)
okmij.org
175 comments
7 years ago
animalcule
246 points
3.
▲
How the OCaml type checker works (2022)
okmij.org
42 comments
2 years ago
mooreds
219 points
4.
▲
Compilers: Incrementally and Extensibly (2024)
okmij.org
44 comments
a year ago
todsacerdoti
143 points
5.
▲
Higher-kinded bounded polymorphism in OCaml (2021)
okmij.org
10 comments
2 years ago
tinyspacewizard
141 points
6.
▲
Implementing and Understanding Type Classes (2014)
okmij.org
26 comments
8 years ago
jez
118 points
7.
▲
Rethinking Prolog [pdf]
okmij.org
34 comments
12 years ago
lelf
113 points
8.
▲
I'm not sure who this Oleg person is, but he sure has some cool links on his site.
okmij.org
6 comments
18 years ago
coglethorpe
106 points
9.
▲
Monads in Scheme
okmij.org
15 comments
11 years ago
amirouche
104 points
10.
▲
What polymorphism and garbage collection have in common (2013)
okmij.org
3 comments
8 years ago
g0xA52A2A
100 points
11.
▲
Non-determinism: a sublanguage rather than a monad
okmij.org
73 comments
9 years ago
panic
97 points
12.
▲
Freer Monads, More Extensible Effects (2015) [pdf]
okmij.org
30 comments
7 months ago
todsacerdoti
94 points
13.
▲
An argument against call/cc (2012)
okmij.org
13 comments
12 years ago
luu
76 points
14.
▲
Monadic I/O and Unix shell programming (2001)
okmij.org
10 comments
8 years ago
DyslexicAtheist
75 points
15.
▲
Free and Freer Monads: Putting Monads Back into Closet
okmij.org
15 comments
11 years ago
alphonse23
72 points
16.
▲
Backtracking, Interleaving, and Terminating Monad Transformers (2005) [pdf]
okmij.org
15 comments
9 years ago
setra
71 points
17.
▲
Zipper in Scheme
okmij.org
discuss
14 years ago
gnosis
64 points
18.
▲
The challenge of first-class memory
okmij.org
2 comments
9 years ago
sctb
61 points
19.
▲
Patterns of data flow in words
okmij.org
1 comment
3 years ago
sctb
59 points
20.
▲
A self-infecting datatype in Lisp
okmij.org
8 comments
14 years ago
gnosis
52 points
21.
▲
Monadic Programming in Scheme
okmij.org
4 comments
15 years ago
gnosis
52 points
22.
▲
Unix Pipes as IO Monads (2001)
okmij.org
1 comment
11 years ago
ayberkt
46 points
23.
▲
Modular, composable, typed optimizations in the tagless-final style (2019)
okmij.org
8 comments
6 years ago
fanf2
43 points
24.
▲
Normal-order syntax-rules and proving the fix-point of call/cc
okmij.org
3 comments
9 months ago
Bogdanp
43 points
25.
▲
IO Monad Realized in 1965 (2012)
okmij.org
8 comments
11 years ago
dgraunke
42 points
26.
▲
Lightweight Static Guarantees
okmij.org
6 comments
7 years ago
sctb
42 points
27.
▲
Polymorphic stanamically balanced binary trees (did you say stanamically?)
okmij.org
5 comments
15 years ago
kamechan
40 points
28.
▲
Streams and Iteratees
okmij.org
3 comments
12 years ago
chicken_lady
39 points
29.
▲
The Design and Implementation of BER MetaOCaml
okmij.org
2 comments
12 years ago
keithflower
33 points
30.
▲
Unhygienic and referentially opaque macros with Scheme syntax-rules [pdf] (2013)
okmij.org
9 comments
2 years ago
fanf2
30 points
More