1.
Functional Pearl: Type-safe pattern combinators | Lambda the Ultimate
Dec 22, 2008 ... Right, exhaustiveness checking was what I was referring to. I had thought that the monadic approach enforced exhaustiveness via the return ...
2.
Project Oberon | Lambda the Ultimate
After years of C coding where you're always working "around" some other piece of code, or driver, or protocol, seeing Oberon was a long drink of cool water. ...
3.
LtU Classic Archives
4 posts - 4 authors - Last post: Jul 23, 2003Message Object Oriented vs Function Object Oriented ... The elegance of Smalltalk is based in it's simple, yet powerful syntax ...
4.
Covariance and typing | Lambda the Ultimate
Java does not allow slicing as in C++, because you simply cannot structurally assign objects. And AFAIK, the situation in C# or VB isn't any ...
5.
Idioms for Composing Games with Etoys | Lambda the Ultimate
Idioms for Composing Games with Etoys. ... Then we present recurring idioms which helped to develop these games with only a few lines of ...
6.
expressivity of "idiomatic C++" | Lambda the Ultimate
P.S. While googling for Hamming numbers, I came across this related paper: Expressivity of Functional-Logic Languages and Their Implementation by Juan José ...
7.
LtU Classic Archives
OCaml Tutorials and Summary. Since winning the ICFP contest c.l.functional has seen a lot of OCaml discussion, including pointers to: ...
8.
HashCaml--an extension of the OCaml bytecode compiler with support ...
HashCaml--an extension of the OCaml bytecode compiler with support for type-safe ... runtime type names and revisit the OCaml relaxed value restriction. ...
9.
Sage: A Programming Language With Hybrid Type-Checking | Lambda ...
In addition to featuring these predicates upon types, Sage merges the syntactic categories of types and terms, in the spirit of Pure Type Systems, ...
10.
LtU Classic Archives
12 posts - 7 authors - Last post: May 20, 2004I'm onto my fourth pbook'ified program now, and I'm very happy with the effect it's having on my programming style. ...
