recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Effective Scala flatMap is the new bind by gasche Slightly unfair by Bárður Árantsson I was so asking for this... by Ehud Lamm What's not to like... by dcsobral	Ehud Lamm	2012-02-08 18:11
Forum topic	Active Variables in Common Lisp Lenses by dmbarbour Access Oriented by dmbarbour In Bling, you can create a by Sean McDirmid OO languages do it for by lmeyerov Accessors not really the same thing... by Michael Compton Dart supports this by munificent Variable traces in Tcl/Tk by Neil M Reflection by John Shutt Rarely realy? by renox Why make activation by gasche ...	kruhft	2012-02-08 18:02
Story	The Algebra of Data, and the Calculus of Mutation dimensional analysis by el-vadimo Look at Andrew Kennedy's 1997 POPL paper... by neelk Not quite by sigfpe Types are obsolete? by Tegiri Nenashi Great Explanation by Patrick Moran Excellent by John Shutt blast from the past! by shahbaz Don't delist me by Daniel Yokomizo Thanks for the plug by Kalani	Manuel J. Simoni	2012-02-08 14:28
Forum topic	Evolution of mainstream programming language paradigms Mmmm curry by Matt M Complex vs. Complicated by dmbarbour Do you take "complex" and by Ben L. Titzer I can't say I understand the by bryanedds Language Properties by dmbarbour My take is that you simply by Ben L. Titzer Open Systems is the challenge, Processes is a solution by const The physics of reactive programming by Sean McDirmid Open System Dynamic Processes by dmbarbour You're correct it does by bryanedds ...	const	2012-02-08 02:01
Forum topic	Small is Beautiful: the design of Lua Non-Inductive datatypes by Matt M The popularity of Lua's FFI by Charles Stewart I'm really after things that by Charles Stewart It's about interfaces by kragen Yes, but by kragen Separate Sequence...what by Walt BMeph Rorie-Baety How would that help with by Denis Bredelet -jido Sets vs. Maps and Concatenate by brian Really clever? by Manuel J. Simoni Dispensable fundamental notions by Charles Stewart ...	bashyal	2012-02-07 14:33
Forum topic	Peak Abstraction Of course, smartassing is an by Kay Schluehr One does tend to think of it by John Shutt Point taken. I'd then say by gasche You are right, but those by Kay Schluehr PL design strategy — and sarcasm by John Shutt I understand your comment is by gasche Hm. There is, viewed in by Kay Schluehr By means of by dmbarbour Depth by John Shutt Locke's definition can be by Kay Schluehr ...	Sean McDirmid	2012-02-06 17:19
Story	Programming as collaborative reference Strange list by Andrew Moss Siri-ous programming by Sean McDirmid Asynchronous by Matt M But non-interactive error by naasking So, best case scenario is by migmit "Dialog" by tov Saved context by Andrew Moss If the compiler gets stuck by migmit Neat Idea by dmbarbour Mostly agree by Matt M	Manuel J. Simoni	2012-02-05 08:23
Forum topic	GoingNative 2012 - C++11 Style, Variadic Templates, Concepts, Static If, Memory Model, STL11, VC11 (and beyond) and Clang On demand videos... by Charles Torre	Charles Torre	2012-02-05 01:24
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations New England++ by Charles Stewart While you're at it, you by gasche Oops by Paul Snively UPenn by Paul Snively Re: What exactly can it do? by el-vadimo LLVM Undef by Steve Zdancewic I'm apparently not reading by Josh Stern Right, but you get a definite value back by lexspoon One often sees undefined by Josh Stern POPL Paper by bashyal ...	Paul Snively	2012-02-03 18:27
Forum topic	crazy PL idea: prescriptive trait inference I'm thinking perhaps a by Sean McDirmid I wonder if it would make by Kay Schluehr Fair enough by Matt M Sure. This approach easily by Sean McDirmid Right by Matt M Each instantiation is unique by Sean McDirmid Well by Matt M I need to think ... by Matt M There are two nodes for each by Sean McDirmid Oh yeah by Matt M ...	Sean McDirmid	2012-02-03 05:42
next page last page