Lambda the Ultimate

type	title	author	last post
Forum topic	Coding at the Speed of Touch It's the mobile site by Matt M Requires a windows live account by Matt M	Sean McDirmid	2012-02-09 20:33
Story	Programming as collaborative reference Hiding information by Matt M Asynchronous by Matt M Mostly agree by Matt M	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Evolution of mainstream programming language paradigms Mmmm curry by Matt M Makes sense by Matt M I agree by Matt M log n by Matt M	const	2012-02-08 02:01
Forum topic	Small is Beautiful: the design of Lua Non-Inductive datatypes by Matt M	bashyal	2012-02-07 14:33
Forum topic	Peak Abstraction Natural for the solution, not the problem by Matt M I'd say that it's not that by Matt M Support for future abstraction by Matt M A thoughtful craftsman blames his tools by Matt M	Sean McDirmid	2012-02-06 17:19
Forum topic	crazy PL idea: prescriptive trait inference Fair enough by Matt M Right by Matt M Well by Matt M I need to think ... by Matt M Oh yeah by Matt M Still a few questions by Matt M Do you have in mind a way to by Matt M Modularity by Matt M I was actually talking about by Matt M I concur by Matt M ...	Sean McDirmid	2012-02-03 05:42
Forum topic	Usage of Range Dependencies may not Lead to NP-Complete Problems Can you explain your definition of completeness? by Matt M	Jaroslav Tulach	2012-02-02 09:12
Story	Foundations of Inference I'm not up to date on the by Matt M	Paul Snively	2012-01-27 18:42
Story	Deca, an LtU-friendly bare metal systems programming language Too soon by Matt M	Anton van Straaten	2012-01-23 10:21
Story	Diagram showing all programming paradigms and their relationships That's not the same as L2 by Matt M This is not a post by Matt M Thought experiment by Matt M The term monad is confusing by Matt M	Peter Van Roy	2012-01-13 17:06
Forum topic	Go's proposed panic/recover exception-like mechanism Continuing the tangent by Matt M Yes by Matt M Alternative: Uniqueness typing for comments by Matt M	pgregory	2012-01-07 01:57
Forum topic	Programmer Archeologists Okay by Matt M I don't follow by Matt M Suggestion for maybe unifying your definitions by Matt M	Sean McDirmid	2012-01-06 16:48
Forum topic	iPhone PL lockdown It's easy by Matt M Unenforceable in general by Matt M	Sean McDirmid	2011-12-24 05:49
Forum topic	General purpose as a special case? I agree with Jules. by Matt M	Wendell	2011-12-18 04:04
Forum topic	What is this type of type called? Needs more info by Matt M crack :: Foo t => t a -> a by Matt M	Steven StewartGallus	2011-12-17 03:35
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman You mean that's not .5 by Matt M Inference bounds by Matt M In general, with the type by Matt M What kind of IDE features do by Matt M Mostly agreement by Matt M Type systems will win by Matt M	puredanger	2011-11-19 23:37
Story	The Experimental Effectiveness of Mathematical Proof Asking for the same level of assurance is unfair by Matt M Jules Jacobs: The usefulness by Matt M Do you mean Church-style vs. Curry-style? by Matt M Curry Howard by Matt M	Paul Snively	2011-11-12 12:16
Forum topic	"Crutches in language design", accidental complexity and feature overlap Blame in the wrong place by Matt M Not that nasty by Matt M	gasche	2011-11-07 11:46
Story	What needs to be done? Thank you! by Matt M Cross-module transformations by Matt M Not impossible by Matt M I suspect otherwise by Matt M Too much anthropomorphization by Matt M Edges cases don't factor by Matt M Before you object... by Matt M I don't think anyone here by Matt M	Ehud Lamm	2011-11-07 05:29
Forum topic	extending functions vs. extending objects Ok by Matt M Examples? by Matt M	raould	2011-11-07 02:03
Story	Extensible Programming with First-Class Cases Modifying a running programming by Matt M	naasking	2011-11-05 14:53
Forum topic	Google's Dart announced Predicate subtypes by Matt M I didn't say that by Matt M I'm really not schizophrenic by Matt M What are you getting at? by Matt M It also depends on other choices Scala has made by Matt M Wouldn't the Haskell type be more like... by Matt M We're not too far apart, I think by Matt M Powerful type systems should be unsound by Matt M	vieiro	2011-10-31 14:22
Story	Open thread: RIP Steve Jobs I think you're reading that too literally by Matt M	Ehud Lamm	2011-10-27 14:14
Forum topic	Other free theorems Normalization by Matt M Parametricity by Matt M Update by Matt M	Matt M	2011-10-23 17:36
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Informal isotopes by Matt M What's an isotope? by Matt M pigworker tricked us by Matt M The other example seems different by Matt M On the origin of species equations by Matt M Yes by Matt M Type class of enumerable by Matt M	Douglas McClean	2011-10-14 15:45
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