Search: okmij.org | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Haskell's system shell libs

6 points

14 years ago

2.

A dream of an ultimate OS (1995) (okmij.org)

246 points

7 years ago

3.

How the OCaml type checker works (2022) (okmij.org)

219 points

2 years ago

4.

Compilers: Incrementally and Extensibly (2024) (okmij.org)

143 points

a year ago

5.

Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org)

141 points

tinyspacewizard

2 years ago

6.

Implementing and Understanding Type Classes (2014) (okmij.org)

118 points

8 years ago

7.

Rethinking Prolog [pdf] (okmij.org)

113 points

12 years ago

8.

I'm not sure who this Oleg person is, but he sure has some cool links on his site. (okmij.org)

106 points

18 years ago

9.

Monads in Scheme (okmij.org)

104 points

11 years ago

10.

What polymorphism and garbage collection have in common (2013) (okmij.org)

100 points

8 years ago

11.

Non-determinism: a sublanguage rather than a monad (okmij.org)

97 points

9 years ago

12.

Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org)

94 points

7 months ago

13.

An argument against call/cc (2012) (okmij.org)

76 points

12 years ago

14.

Monadic I/O and Unix shell programming (2001) (okmij.org)

75 points

DyslexicAtheist

8 years ago

15.

Free and Freer Monads: Putting Monads Back into Closet (okmij.org)

72 points

11 years ago

16.

Backtracking, Interleaving, and Terminating Monad Transformers (2005) [pdf] (okmij.org)

71 points

9 years ago

17.

Zipper in Scheme (okmij.org)

64 points

14 years ago

18.

The challenge of first-class memory (okmij.org)

61 points

9 years ago

19.

Patterns of data flow in words (okmij.org)

59 points

3 years ago

20.

A self-infecting datatype in Lisp (okmij.org)

52 points

14 years ago

21.

Monadic Programming in Scheme (okmij.org)

52 points

14 years ago

22.

Unix Pipes as IO Monads (2001) (okmij.org)

46 points

11 years ago

23.

Modular, composable, typed optimizations in the tagless-final style (2019) (okmij.org)

43 points

6 years ago

24.

Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)

43 points

9 months ago

25.

IO Monad Realized in 1965 (2012) (okmij.org)

42 points

11 years ago

26.

Lightweight Static Guarantees (okmij.org)

42 points

7 years ago

27.

Polymorphic stanamically balanced binary trees (did you say stanamically?) (okmij.org)

40 points

15 years ago

28.

Streams and Iteratees (okmij.org)

39 points

12 years ago

29.

The Design and Implementation of BER MetaOCaml (okmij.org)

33 points

12 years ago

30.

Unhygienic and referentially opaque macros with Scheme syntax-rules [pdf] (2013) (okmij.org)

30 points

2 years ago