recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Stroustrup: A Brief Look at C++0x struct { const int; char by Zombywuf {1, 2} + {3, 4} by Greg Buchholz Criticism of Sources by Vesa Karvonen Nobody's said they are, only by Philippa Cowderoy C++ does not have first-class tuples according to... by Achilleas Margaritis I always thougth a by Felicia Li Svilling Well, I disagree. by Achilleas Margaritis but C++ functions are not first class values by Achilleas Margaritis The statements about first by Philippa Cowderoy First-class by Ehud Lamm ...	Ehud Lamm	2006-11-15 10:37
Story	Practical OCaml Rather Disappointing by Curt Sampson Self-publishing by Jeff Nowakowski O'Reilly by Richard W.M. Jones OCaml Wiki by jdh30 The other OCaml book by jdh30 why not a wiki or something? by raould Publishing for Dollars by Marc Hamann Admitting defeat by John Stracke Sad by Ehud Lamm Completely agree by Matt Hellige ...	Matt Hellige	2006-11-14 13:41
Story	Writing A Lisp Interpreter In Haskell there is also a forth in by slom And another by Anton van Straaten	Ehud Lamm	2006-11-13 18:30
Forum topic	Static type inference & late binding? Functional Programming with Dynamic Binding by Greg Buchholz Not grounded in current reality by raould Re: Alice by raould You can use static typing to by Philippa Cowderoy Re: Haskell by raould Re: 'main stream' by raould first list your mainstream languages by Isaac Gouy What is late binding? by Greg Buchholz Ousp, wrong guy by gmarceau Depending on where you want the dynamism by Chris Rathman ...	raould	2006-11-13 16:16
Forum topic	Anyone know Prolog here? Redirect by Anton van Straaten	coreyt1111	2006-11-13 06:02
Forum topic	Want to learn something new Not exactly by pmurias Ok, that makes sense. by Timothy Beyer Re: Not a judgement by Martin Odersky Not a judgement. by renox Learn J by James Hague Or You Can Generate Your VHDL From... by Paul Snively Barrier to entry is lower than people think by sigfpe Is Scala a research language? by Martin Odersky All the sideeffects in by Felicia Li Svilling Doesn't Erlang have by Timothy Beyer ...	pureza	2006-11-12 19:49
Forum topic	The Type of a Recursive Combinator Good idea by cdiggins This is a pure guess, but by Logan Capaldo	cdiggins	2006-11-10 03:10
Forum topic	Leszek - a new esoteric programming language	janek37	2006-11-09 18:37
Story	Busy, busy, busy Thanks! I didn't know that by JohnicholasHines spin by Tom Duff Offtopic, but I don't know where to go. by JohnicholasHines	Ehud Lamm	2006-11-09 00:41
Story	A Very Modal Model of a Modern, Major, General Type System A new one for the Papers section? by Marc Hamann It seeme that the SEP has a by Ehud Lamm Goedel-Loeb logic by Charles Stewart Re: Quantifiers by Dave Herman Quantifiers and Dependent Types by Gavin Mendel-Gleason Quantifiers by Tim Sweeney Heh by Paul Snively Paper of the month by plragde Gilbert would have been proud! by Kaushik Sridharan I'm disappointed the by Doug Orleans	Ehud Lamm	2006-11-08 20:17
first page previous page next page last page