Lambda the Ultimate

type	title	author	last post
Forum topic	Macro systems macros walk code with two left feet by dmbarbour Non-communication Side Effects by dmbarbour I've never worked with a by dmbarbour	cdiggins	2009-01-22 17:50
Forum topic	Nested functions - how many nesting levels are really needed? I see. by dmbarbour Nesting Level Irrelevant by dmbarbour Missing the Purpose by dmbarbour John meant shared state by dmbarbour Depth Limit vs. Cactus Stack by dmbarbour	strog	2009-01-22 12:00
Story	Using Promises to Orchestrate Web Interactions Just grab a promise that it by dmbarbour	Ehud Lamm	2009-01-22 04:07
Forum topic	Compilation/method resolution with structural subtyping Collections and Static Structural Typing by dmbarbour	scottmcl	2009-01-20 19:33
Forum topic	Weird computability problem relating to state + lambda calculus Undecidable... by dmbarbour	ellisk	2009-01-17 14:17
Forum topic	Fundamental Flaws in Current Programming Language Type Systems Criterion stated in following sentence by dmbarbour The language is... by dmbarbour Optimizable implies Soft Control by dmbarbour Coder-Decoder by dmbarbour Soft Control, Absolutely by dmbarbour Codecs by dmbarbour This is all rather vague. A by dmbarbour As a practical matter, type by dmbarbour Your supposition seems to be by dmbarbour Re: Yaws vs. Apache Perhaps by dmbarbour ...	Bruce Rennie	2009-01-16 16:42
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) Some Nothing by dmbarbour Representations for tagged by dmbarbour	scottmcl	2009-01-11 22:50
Story	Automated Code Review Tools for Security Trivially solved: don't leak by dmbarbour Re: gatekeepers by dmbarbour What is a 'server' and what by dmbarbour Clients...? by dmbarbour Eavesdroppers would include by dmbarbour Safety vs. Security by dmbarbour	Ehud Lamm	2009-01-09 20:00
Forum topic	Shoot-out: most annoying compiler error message True... especially if it by dmbarbour If you're aiming to be truly frustrating by dmbarbour Unreachable code and Metaprogramming by dmbarbour	marco	2008-12-21 21:45
Forum topic	Practicality of Exclusively Compiler-Driven Unboxing don't know how to do that by dmbarbour I have not advocated by dmbarbour the human merely has to by dmbarbour I am hard pressed to believe by dmbarbour	shap	2008-12-16 13:48
Forum topic	How to load/interpret STATIC libraries at runtime. Programming Languages all the way down by dmbarbour I hope my first statement by dmbarbour This can be done... by dmbarbour	frencheneesz	2008-12-12 18:39
Forum topic	Is it ok... I wouldn't have thought it by dmbarbour SuperMetaOffTopic by dmbarbour	frencheneesz	2008-12-11 06:10
Forum topic	FP Jobs Daily WTF supports job by dmbarbour	MLstate	2008-12-06 15:20
Story	Functional building blocks as concurrency patterns function f() may return a point for Declarative Concurrency by dmbarbour Top Level Transactions by dmbarbour Huh? by dmbarbour Every Erlang process has all by dmbarbour Transactor Model by dmbarbour Not a Race Condition by dmbarbour Not the Compiler's Job by dmbarbour Racing to the Set! by dmbarbour Parry Parry Parley by dmbarbour Bad Strategy by dmbarbour ...	Peter Van Roy	2008-12-05 15:58
Forum topic	Remembering everything - a new(?) idea for a new PL Versioned STM by dmbarbour	pureza	2008-12-02 17:19
Story	Clojure: Trampoline for mutual recursion "Complete" backtraces... by dmbarbour	Chris Rathman	2008-11-30 02:33
Forum topic	Current "hot" topics in parallel programming? Open Systems Survivability by dmbarbour	Michael Lesniak	2008-11-21 09:00
Forum topic	Extensible tuples? Only with the much weaker by dmbarbour Because... by dmbarbour It doesn't. Ambiguity by dmbarbour But it does make a by dmbarbour Explicit injection isn't by dmbarbour Alex' intention was having a by dmbarbour No. 666#((3,4)#()) = by dmbarbour Consistency is relevant. I by dmbarbour Unsoundness would require by dmbarbour Types reflect operators. If by dmbarbour ...	Alex Rubinsteyn	2008-11-17 18:04
Forum topic	Why do OOPLs type objects as classes? You wouldn't gain by dmbarbour	robmeyers	2008-10-30 22:37
Forum topic	On the (perceived) equivalence of static and dynamically typed reflective programming languages Trivial Bugs by dmbarbour RE: d/r is the ultimate by dmbarbour You claim by dmbarbour "one up" and one down by dmbarbour The need to "think straight" by dmbarbour The practical upshot by dmbarbour Frank's retraction was quite by dmbarbour Contradictory by dmbarbour Disagree by dmbarbour Insufficient Information by dmbarbour ...	Ran	2008-10-28 23:49
Forum topic	Multiple Dispatch in Practice Dynamic Loading by dmbarbour Whole program compilation by dmbarbour Partial answers by dmbarbour The open nature of multimethods... by dmbarbour At a guess... by dmbarbour Agreed. by dmbarbour	Isaac Gouy	2008-10-25 15:28
Forum topic	A Modular, Verifiable Exception-Handling Mechanism Reflection by dmbarbour At what cost? by dmbarbour Host Environment by dmbarbour Ah, yes. That would be by dmbarbour I'd like to see it in C++ by dmbarbour	dmbarbour	2008-10-23 00:21
Forum topic	Choice of OS of LtU readers Expectations by dmbarbour Well, you're definitely by dmbarbour So... Let's Make an Operating System! by dmbarbour Languages ARE Operating Systems by dmbarbour	marco	2008-10-21 11:00
Forum topic	F in System F I sent an e-mail to Dr.Reynolds by dmbarbour Well, I also can't provide by dmbarbour Homework? by dmbarbour	christopher	2008-10-21 03:45
Forum topic	Common Lisp Exception Handling C++ with Restarts and Resumable Exceptions by dmbarbour	SamK	2008-10-20 00:55
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation