recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Is null needed? And arguably... by Matt Hellige yes, essential like 0 by Thomas Lord Ah, indeed. So, under the by Brooks Moses Fortunately, this layout can by Andreas Rossberg Not so clear by James Iry From what I understood, you by naasking That's not it by Andreas Rossberg That is a plausible scheme, by naasking Null pointers vs options by Andreas Rossberg Misinterpretations by Andreas Rossberg ...	BigZaphod	2008-07-25 03:26
Forum topic	Type classes and type generator restrictions Apologies to Philippa if I'm off base here, but... by Matt M Yup. by Douglas McClean No place to put context by Greg Buchholz (Possible) Differences from Haskell by Douglas McClean Different from Haskell? by Greg Buchholz Just when I thought I was getting somewhere by Douglas McClean No new constraints by Philippa Cowderoy These new constraints? by Douglas McClean In theory you just need to by Philippa Cowderoy	Douglas McClean	2008-07-25 03:06
Forum topic	Systems programming in languages other than C? Compiling bitC by Gregory Propf Null pointers by Gregory Propf Nitro (a recent PhD dissertation) by falcon IBM's PL/I dialects, HAL/S by dbremner Osker by Jason Dusek Issues with Cyclone by shap Virtualization helps by Matt M That's a cool reference. by Srikumar Subramanian On the contrary, musings are by Keith J. Farmer Who knows what will become of singularity? by Scott Johnson ...	Gregory Propf	2008-07-25 03:03
Forum topic	What to do about comments? how hard can it be, really? by Thomas Lord Source-to-source transformation by James Iry comment status in new (academic) languages? by Basile STARYNKEVITCH Preprocessing. Just say no. by Kannan Goundan If you are buying a C++ by Sean McDirmid	markt	2008-07-24 23:53
Forum topic	FP in D 2.0 Too Strong by marshall Ordering by James Iry What is a side-effect? by marshall What sense of "wrong" by marshall Linearity and control flow by Charles Stewart A type-and-single-effect by naasking To individual monads, yes. by Philippa Cowderoy A type and single effect by naasking Fundamentally, monads just aren't about linearisation by Philippa Cowderoy Why linear types do not make a good solution to the effect pb? by Achilleas Margaritis ...	raould	2008-07-24 23:07
Story	Practical Set Theory Mizar, Isar and proofless text by slawekk Proofless text by Charles Stewart Ontic by Paul Snively	Charles Stewart	2008-07-24 22:58
Forum topic	In search for a programming language to replace spreadsheets. FlapJax by rossjudson Databases by Koray Can Joel Spolsky has some insight by Derek Elkins Lotus Improv by Eric Brown SQL is certainly possible to use by Søren Haagerup The desire for by lmeyerov Wow! A lot of nice suggestions by Søren Haagerup SQL by James Iry Ordering by markt Don't laugh by marshall ...	Søren Haagerup	2008-07-24 18:52
Story	A System to Understand Incorrect Programs Attractor Dynamics by Barak A. Pearlmutter Ugh: scanned dot-matrix by gpaci Some neat examples from the 1980 paper by johnwcowan U.S. Air Force interested in Understanding Incorrect Programs by jpost In the same vein by Jean-Luc Delatre	Ehud Lamm	2008-07-24 08:06
Forum topic	Practical Bits of Making a Compiler for a New Language I am missing something obvious by shap you cannot wrap a `try' by Denis Bredelet -jido Don't include `statements' by Joe Marshall Closures and CPS by Denis Bredelet -jido You don't have to be crazy to develop BitC... :-) by Paul Snively (noalloc expr) by Charles Stewart Safe-for-space closure conversion by Charles Stewart I've always wondered whether by naasking bitcc --noalloc by shap But those smaller data by shap ...	Eli Gottlieb	2008-07-24 01:53
Forum topic	Exploiting parser ambiguity Both equal as lambda expressions by Denis Bredelet -jido Not necessarily a syntax problem by Sylvain Schmitz Thanks by Andris Birkmanis Gibblets by Frank Atanassow Fixed, thanks. by Anton van Straaten Someone forgot to use &lt; ;-) by Marc Hamann It's not abuse because it's unambiguous by Qrczak Compositional by Marc Hamann compositional languages by bdenckla ordering (set-to-tuple conversion) by bdenckla ...	bdenckla	2008-07-23 13:17
next page last page