Hacker News new | past | comments | ask | show | jobs | submit | from login
Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-Rules '13 [pdf] (okmij.org)
1 point by mpweiher on March 22, 2018 | past
Monadic I/O and Unix shell programming (2001) (okmij.org)
75 points by DyslexicAtheist on Feb 18, 2018 | past | 10 comments
The challenge of first-class memory (okmij.org)
61 points by sctb on Nov 24, 2017 | past | 2 comments
Non-determinism: a sublanguage rather than a monad (okmij.org)
97 points by panic on Sept 20, 2017 | past | 73 comments
Functional Programming Pot-Pourri (okmij.org)
1 point by erwan on Sept 7, 2017 | past
Backtracking, Interleaving, and Terminating Monad Transformers (2005) [pdf] (okmij.org)
71 points by setra on March 15, 2017 | past | 15 comments
Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org)
1 point by bbcbasic on Dec 22, 2016 | past
BER MetaOCaml (okmij.org)
2 points by _qc3o on Dec 1, 2016 | past
HANSEI as a Declarative Logic Programming Language for OCaml (okmij.org)
1 point by jb1991 on Oct 10, 2016 | past
An argument against call/cc (okmij.org)
3 points by wtbob on Aug 8, 2016 | past | 1 comment
The curious case of test-driven development (okmij.org)
2 points by akkartik on May 26, 2016 | past
Poly-variadic fix-point combinators for mutual recursion (okmij.org)
2 points by setra on Jan 20, 2016 | past
Patch-Free Intercepting of System Calls (okmij.org)
1 point by neopallium on Jan 7, 2016 | past
Free and Freer Monads: Putting Monads Back into Closet (okmij.org)
72 points by alphonse23 on Nov 18, 2015 | past | 15 comments
IO Monad Realized in 1965 (2012) (okmij.org)
42 points by dgraunke on Sept 30, 2015 | past | 8 comments
Freer Monads, More Extensible Effects [pdf] (okmij.org)
3 points by dgraunke on Sept 29, 2015 | past
IO Monad Realized in 1965 (2012) (okmij.org)
1 point by dgraunke on Sept 29, 2015 | past
Unix Pipes as IO Monads (2001) (okmij.org)
46 points by ayberkt on Sept 10, 2015 | past | 1 comment
Monads in Scheme (okmij.org)
104 points by amirouche on Sept 4, 2015 | past | 15 comments
Lightweight Dependent-type Programming (2008) (okmij.org)
23 points by mlitchard on July 31, 2015 | past
The Next Stage of Staging: Type-level metaprogramming [pdf] (okmij.org)
1 point by sctb on April 29, 2015 | past
XML and Scheme (okmij.org)
9 points by michaelsbradley on March 26, 2015 | past | 1 comment
Lambda Calculus and Lambda Calculators (okmij.org)
11 points by jcr on Dec 6, 2014 | past
An argument against call/cc (2012) (okmij.org)
76 points by luu on Nov 30, 2014 | past | 13 comments
Extensible Effects (okmij.org)
2 points by _qc3o on Nov 10, 2014 | past
Modular, composable, typed optimizations in the tagless-final style (okmij.org)
25 points by edwintorok on Oct 11, 2014 | past | 2 comments
[dupe] Re-thinking Prolog (okmij.org)
3 points by colinprince on Sept 16, 2014 | past | 2 comments
Rethinking Prolog [pdf] (okmij.org)
113 points by lelf on Sept 11, 2014 | past | 34 comments
Streams and Iteratees (okmij.org)
39 points by chicken_lady on June 23, 2014 | past | 3 comments
The Design and Implementation of BER MetaOCaml (okmij.org)
33 points by keithflower on June 11, 2014 | past | 2 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: