Hacker News
Lobsters
- UNIX pipes as IO monads http://okmij.org/ftp/Computation/monadic-shell.html 2 comments haskell , programming , unix
- Translating Haskell type families http://okmij.org/ftp/tagless-final/course/TTFdBHO.hs 2 comments idris
- How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules [PDF] http://okmij.org/ftp/Scheme/Dirty-Macros.pdf 2 comments scheme
- Reflection without Remorse http://okmij.org/ftp/haskell/zseq.pdf 10 comments haskell
- "Non-determinism: a sublanguage rather than a monad", by Oleg Kiselov. Effects without monads. http://okmij.org/ftp/tagless-final/nondet-effect.html 17 comments haskell
- Higher-order Programming is an Effect http://okmij.org/ftp/computation/having-effect.html#hope 3 comments ocaml
- Is the following encoding of Russel's paradox using GADTs proof of a bug in GHC? http://okmij.org/ftp/Haskell/impredicativity-bites.html 24 comments haskell
- Lazy State with extensible effects http://okmij.org/ftp/haskell/extensible/index.html#lazy-state 10 comments haskell
- Putting Monads Back into Closet http://okmij.org/ftp/computation/free-monad.html 94 comments programming
- Freer Monads, More Extensible Effects http://okmij.org/ftp/haskell/extensible/more.pdf 36 comments haskell
- Approximate Dependent-Type Programming in Haskell http://okmij.org/ftp/haskell/dependent-types.html 7 comments haskell
- Double-generic zipWith, for any number of any collections http://okmij.org/ftp/haskell/polyvariadic.html#zipn 19 comments haskell
- Lazy IO breaks equational reasoning http://okmij.org/ftp/haskell/index.html#lazyio-not-true 123 comments haskell
- Non-trivial language with a decidable halt http://okmij.org/ftp/computation/decidable-halt.html 15 comments compsci
- An argument against call/cc http://okmij.org/ftp/continuations/against-callcc.html 70 comments programming
- An argument against call/cc http://okmij.org/ftp/continuations/against-callcc.html 13 comments scheme
- Oleg: shuffling lists (Warning: old) http://okmij.org/ftp/haskell/perfect-shuffle.txt 7 comments haskell
- Introduction to programming with shift and reset (Tutorial by Oleg) http://okmij.org/ftp/continuations/index.html#tutorial 3 comments haskell
- Recursion from Iteration :: Oleg http://okmij.org/ftp/continuations/undelimited.html#iter-recur 5 comments haskell
- Lambda: the ultimate (natural language) syntax-semantics interface :: Oleg http://okmij.org/ftp/gengo/nasslli10/ 3 comments programming
- Many ways to the fix-point combinator besides the value recursion :: Oleg http://okmij.org/ftp/haskell/types.html#fix 5 comments haskell
- Oleg: We illustrate one simple, pure, magic-free implementation of a form of GADTs in OCaml http://okmij.org/ftp/ml/ml.html#gadt 5 comments compsci
- Incremental multi-level input processing with left-fold enumerator: predictable, high-performance, safe, and elegant http://okmij.org/ftp/streams.html#iteratee 40 comments programming
- Call-by-name typed shift/reset calculus :: Oleg, Sep 2008 http://okmij.org/ftp/computation/continuations.html?#cbn-shift 4 comments programming
- Oleg: C's pointers as closures in Scheme http://okmij.org/ftp/scheme/pointer-as-closure.txt 5 comments programming
- Oleg's Website http://okmij.org/ftp/ 61 comments programming
- Generators are Iterators [Oleg] http://okmij.org/ftp/computation/continuations.html?renew#enumerator-stream 24 comments programming
- Circular List Infections in Lisp http://okmij.org/ftp/scheme/circular-list-infections.txt 3 comments programming
- Oleg K. on the lambda calculus in Principia Mathematica http://okmij.org/ftp/computation/principiamathematica.txt 7 comments programming
- Blending static and dynamic typing: Scheme programming in ML http://okmij.org/ftp/scheme/misc.html#ml-as-scheme 2 comments programming
- Oleg K -- Old Document But Still Interesting -- "Peter Norvig seems to have turned to the dark side." http://okmij.org/ftp/papers/ilc02-impressions.txt 2 comments programming
Lambda the Ultimate
- BER MetaOCaml -- an OCaml dialect for multi-stage programming http://okmij.org/ftp/ML/MetaOCaml.html 10 comments Implementation , Meta-Programming
- Re-thinking Prolog http://okmij.org/ftp/kakuritu/rethinking.pdf 22 comments LtU Forum
- The broad ML Family workshop http://okmij.org/ftp/ML/ML14.html 9 comments LtU Forum
- Differentiating Parsers http://okmij.org/ftp/Computation/differentiating-parsers.html 50 comments Paradigms
- Lifted inference: normalizing loops by evaluation http://okmij.org/ftp/lift-reduce/lifted.pdf 2 comments DSL , Functional , Implementation , Meta-Programming
- Staging with Delimited Control http://okmij.org/ftp/Computation/staging/circle-shift.pdf 5 comments Meta-Programming
- Tagless Staged Interpreters for Simpler Typed Languages http://okmij.org/ftp/papers/tagless-final-APLAS.pdf 30 comments Implementation , Meta-Programming , Type Theory
- Lightweight Static Capabilities http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf 17 comments Semantics , Type Theory