recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Latest usability for polymorphism? These are the kinds of tools by naasking Usability factors by raould Exactly by Z-Bo If the "pattern"... ...is by naasking If the "pattern"... by Scott Johnson However, what does it mean by naasking You got me! by Z-Bo Turn it off, then! by Scott Johnson Your comments call to mind by Z-Bo "Rarely economical"? by Z-Bo ...	raould	2008-02-12 15:34
Forum topic	Lanugages with built-in rules/tests? use a plugin by rossjudson Classes and modules by Matthieu Sozeau Interesting! by Gavin Mendel-Gleason Same with typeclasses instead of modules by Matthieu Sozeau CHdBLL Correspondence by Derek Elkins New breed of dependently typed languages by Derek Elkins Quick example in Coq by Gavin Mendel-Gleason Dogged by raould Re: run- vs. compile time by raould Many thanks to all by raould ...	raould	2008-02-11 17:01
Forum topic	Impact of OO language style on code From a point of view, by Winheim Raulsh Scaling Costs by Brian T Rice It's worth noting... by Scott Johnson It looks like I was wrong by James Iry well by lmeyerov unexpected scaling costs? by Rys McCusker About Slate by Brian T Rice This is an interesting question-- by Scott Johnson What Pierce says by Matt M How so? by James Iry ...	raould	2008-02-08 21:15
Forum topic	Jura, a OOMP language and potential DBMS Good point about the trade-offs by raould Re: Amen by german Re: I agree that dealing with by german reduplication of Datalog by Jason Dusek I agree that dealing with by naasking Amen by raould I couldn't have said it better myself! by Winheim Raulsh Integrated persistence is desperately wanted by Achilleas Margaritis	Winheim Raulsh	2008-02-08 18:44
Forum topic	Signals in an OOPL You are doing the work by Achilleas Margaritis Pragmatism and problem-avoidance by Allan McInnes Makes sense by cdiggins Extending a class with a Moore machine by Scott Johnson Great link by cdiggins "If it existed, it would by cdiggins Why the complexity? by Achilleas Margaritis UnrealScript... by Paul Snively Possibly of interest by Matt Hellige state machines by Rys McCusker ...	cdiggins	2008-02-08 16:07
Story	The Design and Implementation of Typed Scheme That's backwards by Jeremy Siek More details by Sam Tobin-Hochstadt That is incorrect by Jeremy Siek Related to something we used by Jacques Carette Functions not arguments by Vesa Karvonen Types by Derek Elkins The plus function reminds me by naasking Encoding by Vesa Karvonen Type Inference in a different Type Algebra by per gustafsson Parametricity by Derek Elkins ...	Ehud Lamm	2008-02-08 03:56
Story	Project LambdaCan syck? by Jason Dusek Me too. Which is why I by Ehud Lamm OO people call it... by James Iry Yeah.. by Gavin Harrison It is a thing of wonder by Noel Pickling combinators? by Peter McArthur Maybe it's by Sean Childs I think the title of your by Ehud Lamm really sick by David Minor I tried something along those lines... by sigfpe ...	Ehud Lamm	2008-02-07 22:37
Story	Type inference for Python Progress? by cjbprime not incorrect by dough This is similar to using a by Nicolas Cannasse type feedback admin by Rys McCusker Instead you'll get optional by Curtis W Thanks by Anton van Straaten Uncertainty about Type Feedback by logicnazi Guido doesn't get to decide :) by Anton van Straaten p.s. python is never getting type inference by dough also already implemented in boo by dough ...	Anton van Straaten	2008-02-07 21:04
Forum topic	Language Oriented Programming I think you guys missed the point by Kean Lau MPS isn't enough? by Kean Lau The problem is that I'm very by Matt Hellige Probably Already Do by Timm Murray Re: DSL vs. Library by Jorgen Schaefer > You are assuming that "read by Laurence Tratt Reading source code. by Eivind Eklund This is getting a bit silly by skybrian > I would check the informal by Laurence Tratt Failure is only an opportunity to begin again more intelligently by Andris Birkmanis ...	drc	2008-02-07 05:42
Story	Jumbala : An Action Language for UML State Machines Re: Scala vs. AsmL [OTing] by raould Read my mind!!! by cdiggins Wonder if it would be more fun in Scala by raould	cdiggins	2008-02-06 23:10
first page previous page next page last page