recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Lego Mindstorms NXT Robotics Announced Transterpreter source available by doublec NXT, occam by Matt Programmed in Occam by hank Not new... by David Wahler	Ehud Lamm	2006-08-09 01:32
Forum topic	Overloading : Why do some languages leave it out? Probably not by Derek Elkins Is anything going to be done about it? by DavidA Monoids by Derek Elkins Haskell Numeric classes by Derek Elkins Book in print by Peter A Jonsson Cutting up mathematical space by DavidA At risk of going off-topic, by Philippa Cowderoy I partially agree with this by snk_kid Whoah, take a deep breath. by cdiggins The Mathematics Space by Paul Snively ...	cdiggins	2006-08-08 21:28
Story	CellML I should perhaps add that if by Ehud Lamm	Ehud Lamm	2006-08-08 21:08
Forum topic	Network Transparent languages Definitions by Guillaume ToonTalk by Jack Waugh Not quite.... by John Carter BTW, as far as I know, these by Allan McInnes Correctness versus efficiency by Peter Van Roy Global versus local state by Peter Van Roy Different senses of "state"? by Anton van Straaten Concurrency and state by Frank Atanassow Network transparency can work if done wisely by Peter Van Roy Fallacies... by Matt Estes ...	mansu	2006-08-08 19:10
Story	Ivor, a proof engine Why invent a new calculus? by Rob Dockins	Niels Hoogeveen	2006-08-08 15:02
Story	Software Extension and Integration with Type Classes Type traits or the Strategy pattern and dictionary translation by Vesa Karvonen SE by Ehud Lamm Don't forget Clean by Greg Buchholz Typeclasses by Derek Elkins	Matt Hellige	2006-08-08 08:51
Forum topic	Cat Programming Language: Slides from Lang. NET 2006 I think that you should by Jules Jacobs Memoization by Serguey Zefirov No destructive semantics. by cdiggins Notwithstanding presence of lazy generators... by Serguey Zefirov Good catch, thank you! So by cdiggins bounded stack effects by James McCartney I haven't yet explored the by cdiggins Sorry about that, I get my by cdiggins Yes the compiler would catch by cdiggins Traditional Optimizations by dbremner ...	cdiggins	2006-08-08 07:47
Forum topic	The Killer Application for Concatenative Languages Linear models by Anton van Straaten I'm impressed! That is quite by cdiggins A.k.a. macros by Anton van Straaten Fusion Optimizations by cdiggins Trivial transformation by Anton van Straaten Really? by Qrczak This is very well put. I by cdiggins Refactoring by Per Vognsen byte codes are concatenative languages by James McCartney rewriting by James McCartney ...	John Carter	2006-08-07 19:33
Forum topic	Expressing the Type of a While Loop It is not referentially transparent by Sjoerd Visscher Thanks for bringing this up. by cdiggins Referential transparency by Sjoerd Visscher I haven't yet ... by cdiggins have you looked at any of by carter	cdiggins	2006-08-06 20:39
Forum topic	Covariance and typing I agree, to agree to disagree. by Daniel Slaney Yes, and that's the by dataangel I have to disagree by Andreas Rossberg So it's not slicing, it's by Daniel Slaney Definition of slicing by Andreas Rossberg It is possible in Java and by Daniel Slaney Slicing is specific to C++ by Andreas Rossberg I should have been more explicit. by Daniel Slaney Artefact of low-level semantics by Andreas Rossberg Isn't this called (object) slicing? by Daniel Slaney ...	dataangel	2006-08-05 13:21
first page previous page next page last page