Lambda the Ultimate

type	title	author	last post
Story	Tiny Transactions on Computer Science GOTO here then there. The by Matt M	Manuel J. Simoni	2012-09-13 23:12
Story	Oleg: An argument against call/cc First, let me say that I by Matt M If a function, say, filter, by Matt M Non-termination is better as an error than an effect by Matt M	bashyal	2012-09-13 17:06
Forum topic	Alien worlds, values, and you can't touch this Cool paper by Matt M	Sean McDirmid	2012-09-11 13:15
Forum topic	Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. They are (by visual by Matt M	Matthew Markland	2012-09-05 03:19
Forum topic	IDE design for immediate feedback Thanks by Matt M Propositional equality might suffice by Matt M Decidable? by Matt M We don't want evaluation (do we?) by Matt M "Well understood" by Matt M V-tables I think of more by Matt M By type system, I meant by Matt M I agree with the above by Matt M The main difference between by Matt M Why time travel when you can by Matt M ...	David Wagner	2012-09-04 09:14
Story	Parsing: The Solved Problem That Isn't I understand you to be by Matt M Still skeptical by Matt M OK by Matt M A puddle in a small room in an IMAX movie theatre in Reading, MA by Matt M A distinction by Matt M Well, there's that state -- by Matt M I'm Skeptical by Matt M Nonetheless, if I can obtain by Matt M Right, I do that too, except by Matt M Right, that's basically what by Matt M ...	James Iry	2012-08-26 09:11
Forum topic	Should continuation capture always be considered to be stack unwinding? The semantics aren't complicated by Matt M Processes by Matt M	Manuel J. Simoni	2012-08-25 13:07
Story	The YNot Project I realize nothing's by Matt M Still don't see it by Matt M I don't see it by Matt M Sounds mostly good to me by Matt M	Paul Snively	2012-08-17 23:32
Forum topic	The Economist: Language and Computers: Why language isn't computer code take anything that requires by Matt M Most problem domains (and by Matt M Fuzzy wuzzy was a bear to debug by Matt M Statistics / learning by example by Matt M	kms	2012-08-11 20:37
Forum topic	Escaping the Maze of Twisty Classes You could do this by Matt M	Sean McDirmid	2012-08-04 10:15
Forum topic	Immediate mode GUIs Widget identity by Matt M	Sean McDirmid	2012-07-27 04:18
Forum topic	Why are exceptions not described as 'purely functional'? That sounds a lot like Aha!, by Matt M	bryanedds	2012-07-11 15:05
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education The definition of concurrency and parallelism by Matt M Let's think about this... by Matt M Gradients of the form David by Matt M There's a required runtime by Matt M I still don't see the by Matt M I don't understand by Matt M I agree with you that's by Matt M Can you elaborate / specify by Matt M It's mainly that I prefer by Matt M My sense/cents by Matt M	vrijz	2012-06-30 00:11
Story	On Understanding Data Abstraction, Revisited Internal vs. External by Matt M What is internal composition? by Matt M I didn't really follow this by Matt M The Composite Pattern by Matt M You can construct new ones by Matt M Composite pattern by Matt M As a library writer, I by Matt M Same facts, different conclusion by Matt M	Z-Bo	2012-06-28 01:36
Story	ACM A.M. Turing Centenary Celebration Google sucks at email search by Matt M	Luke Gorrie	2012-06-26 15:40
Forum topic	Null, bottom, etc.? I agree with some of the by Matt M Odd terminology by Matt M OK by Matt M Did you see my point? by Matt M So consider the functions by Matt M This is a terrible conversation :) by Matt M Isn't this just a trivial argument over what "value" means? by Matt M Justification? by Matt M Sounds like an interesting place to visit by Matt M	oconnor0	2012-06-25 23:41
Forum topic	Quantitative comparison of unit testing vs. static typing? Live programming is hard by Matt M Thanks by Matt M Good example by Matt M I think Newspeak's approach by Matt M No smoking gun by Matt M Examples and what 'dynamic' means by Matt M Types carry propositions by Matt M Dynamic languages maximize by Matt M Sort of agree, but not really by Matt M Combination of things by Matt M ...	lmeyerov	2012-06-22 02:59
Forum topic	Why Do Some Programming Languages Live and Others Die? I see by Matt M Maybe we're not so close by Matt M Maybe not too far apart by Matt M Apologies in advance for the sarcasm by Matt M Programming in the matrix by Matt M Category error by Matt M I don't see why would you by Matt M Red Herring by Matt M	Sean McDirmid	2012-06-18 23:33
Forum topic	Type classes in a dynamic language More information by Matt M I have some other ideas and by Matt M One rationale for doing by Matt M Type class instance selection is static by Matt M We had an exchange along those lines by Matt M	vorov2	2012-06-17 11:05
Forum topic	Finally a reason to get an iPad? You should make the link by Matt M	Ehud Lamm	2012-06-09 20:15
Forum topic	Languages & Niches Has someone verified that by Matt M	Mike Abolazemi	2012-06-07 08:22
Forum topic	Languages with 'unique' programs I can imagine the FAQ for this language by Matt M	dataangel	2012-06-04 11:11
Forum topic	Proofs as programs Sorry by Matt M RE: Your idea for using actual procedures to prove things by Matt M Can be the same structure by Matt M	hbrandl	2012-05-29 09:43
Forum topic	Encoding System Fw in predicative dependent type theory Dup by Matt M Thanks by Matt M Partial model by Matt M Modularity of the encoding by Matt M auto by Matt M Thanks by Matt M	Matt M	2012-05-24 22:00
Story	Common Lisp: The Untold Story Photoshop by Matt M Not programming by Matt M	Manuel J. Simoni	2012-05-20 23:46
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