recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Invariants/Contracts vs. types A little late by Leland McInnes Uhm. That a language is turin by Felicia Li Svilling power of type theory and my current research by carter User functions' properties and type theory by shapr Not quite what I had in mind by Mario B. Re: P vs. P by raould Propositions aren't programs by Per Vognsen QuickCheck... by shapr Functional programming and contracts by Mario B. Neophyte constructive question by raould ...	dbfaken	2005-11-08 22:31
Story	Busy, busy, busy	Ehud Lamm	2005-11-08 20:24
Story	Don Knuth: Musings and More Anyone going to ZÃ¼rich to see Knuth? by mvw Linux by AlexanderTihonruk Linux by mansu	Luke Gorrie	2005-11-08 19:49
Story	OOPSLA 2005 Reports Rather Compiler.eval by Andreas Rossberg One way or another let's call it a day by Derek Elkins ComponentManager.Eval by Andris Birkmanis Speaking of which... by Chris Rathman There are statically typed la by Andreas Rossberg Type abstraction can be reconciled with typecase by Andreas Rossberg The need for sophisticated types by Anton van Straaten What do you mean by "this"? : by Derek Elkins I agree by Derek Elkins But if you program a softly t by Felicia Li Svilling ...	Ehud Lamm	2005-11-08 17:50
Forum topic	Implementing Higher Order Messages nondeterminism by James McCartney Higher Order Messaging is not Higher Order Functions by nat It's Marcel Weiher's idea and name, not mine by nat Deforestation by Derek Elkins Re: list comprehension by raould Single pass and cons cell reuse by Michael Greenberg Lazy passes by Philippa Cowderoy Haskell by Michael Greenberg map p f l by Achilleas Margaritis I always thought... by neelk	ade_oshineye	2005-11-07 19:30
Forum topic	Elegant Method of binding a function variable Nope :-) It didn't work on m by StuartBruff My intent by StuartBruff Your intent by gfb Validity by Anton van Straaten Pointer to INT? by Allan McInnes Dr Scheme by Per Vognsen Valid Scheme? by StuartBruff Block Macro by StuartBruff Block macro by Per Vognsen Not actually valid Scheme by johnwcowan ...*	StuartBruff	2005-11-07 15:18
Forum topic	Slashdot asks: "how would you improve SQL?" I would have thought that a b by em A bit like Haskells: wher by Felicia Li Svilling LET-style binding via SELECT and AS by Per Vognsen Yes it is standard SQL by Daniel Marlay Guess what I should say.... by Chris Rathman Binding in the declarative sense by Chris Rathman Binding Expressions by Daniel Marlay For the most part, I like SQL... by Chris Rathman	Allan McInnes	2005-11-07 06:51
Story	Map of LtU readers They got complaints. by Sjoerd Visscher Knowing why by Isaac Gouy To show one truth, you must distort another by rici Global distribution of users? by Ehud Lamm Like programming languages by Isaac Gouy the usual streep maps by Isaac Gouy No choice by Sjoerd Visscher How's that? As someone planni by a_brisson Mercator is the wrong tool by Isaac Gouy Maps are like programming lan by a_brisson ...	Ehud Lamm	2005-11-06 23:18
Forum topic	a + b * c in Brian Meek's "The static semantics file" VW grammars by bdenckla Abstract Syntax and VW Grammars... by Matt Estes I find friendly people suspicious. by Frank Atanassow	bdenckla	2005-11-04 17:24
Story	Smalltalk case-statement Style by Luke Gorrie Hmm... by Matt Hellige Dictionary lookup variation by Chris Rathman faithful to the OOP doctrine... by Isaac Gouy other approaches by Luke Gorrie OO uber-zealotry considered silly by Scott Johnson Pronouncing ">>" by Greg Buchholz If considered harmful by James McCartney Nit by Derek Elkins You know, of course, that the by Ehud Lamm ...	Luke Gorrie	2005-11-04 05:20
first page previous page next page last page