Lambda the Ultimate

type	title	author	last post
Forum topic	Languages & Niches Concurrent programming by Sean McDirmid concurrent vs. parallel by Sean McDirmid Agreeing with most of what by Sean McDirmid	Mike Abolazemi	2012-05-24 21:04
Story	Parsing: The Solved Problem That Isn't You can do a much better job by Sean McDirmid Thats the problem right by Sean McDirmid Once you add history to your by Sean McDirmid New kinds of state emerge by Sean McDirmid I can't look at the wordpress by Sean McDirmid Surely you could, but you by Sean McDirmid I would go much further than by Sean McDirmid I've done this before so let by Sean McDirmid I never understood how this by Sean McDirmid Sounds analogous to Vim by Sean McDirmid ...	James Iry	2012-05-24 14:39
Forum topic	Feather: A Heapless Functional Programming Language Ok, as of 2.0, you can by Sean McDirmid There are alternative to by Sean McDirmid Monads can be used to by Sean McDirmid	bryanedds	2012-05-22 15:31
Story	Common Lisp: The Untold Story I think the AI winter mainly by Sean McDirmid	Manuel J. Simoni	2012-05-20 23:46
Forum topic	Higher order versus Object order I was only surprised that by Sean McDirmid Such an old thread. I by Sean McDirmid	Francis McCabe	2012-05-17 17:45
Forum topic	Why and How People Use R The point is not if Scala is by Sean McDirmid I'm not sure what your point by Sean McDirmid Ecosystem = libraries + by Sean McDirmid I wonder if we are talking about the same thing? by Sean McDirmid What contrast are you by Sean McDirmid We put out knowledge, the by Sean McDirmid I should have said "don't by Sean McDirmid Worse is better by Sean McDirmid Its not that bad of a by Sean McDirmid One thing that shader by Sean McDirmid ...	Charles Torre	2012-05-14 20:31
Forum topic	On the Naturalness of Software We can include known by Sean McDirmid . In general if you have by Sean McDirmid Hybrid approaches by Sean McDirmid The draft watermark kind of by Sean McDirmid Fixed. Sorry, I shouldn't by Sean McDirmid	Sean McDirmid	2012-05-08 23:24
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) As an exercise in critical by Sean McDirmid The misuse of metrics is by Sean McDirmid To be honest, there isn't by Sean McDirmid	Greg Buchholz	2012-04-29 04:38
Forum topic	Quantitative comparison of unit testing vs. static typing? You could over-abstract in by Sean McDirmid I think we disagree about by Sean McDirmid Cognitive dissonance ensures by Sean McDirmid I expect your results will by Sean McDirmid It's never a wash though... by Sean McDirmid I've done this before of by Sean McDirmid Interesting, but nested too by Sean McDirmid Dependent types by Sean McDirmid That is almost the same as by Sean McDirmid Not if you are only pattern by Sean McDirmid ...	lmeyerov	2012-04-26 21:34
Forum topic	Evaluating the Design of the R Language	Sean McDirmid	2012-04-25 07:53
Story	Adding Delimited and Composable Control to a Production Programming Environment Just wanted to add: this is by Sean McDirmid	Manuel J. Simoni	2012-04-22 23:57
Forum topic	Escaping the Maze of Twisty Classes Done and submitted. I had to by Sean McDirmid There are a few semantic and by Sean McDirmid I've updated skydrive with a by Sean McDirmid This is exactly what I'm by Sean McDirmid This is a great find, but I by Sean McDirmid Ask not what your programming can do for your types by Sean McDirmid Updated by Sean McDirmid I've seen his work on by Sean McDirmid Thanks for taking a look! by Sean McDirmid	Sean McDirmid	2012-04-14 23:04
Forum topic	Erik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming The main problem I've always by Sean McDirmid	Charles Torre	2012-04-04 15:50
Forum topic	Disruptive PLT Revisited I think Don Sym's type by Sean McDirmid I believe Google has many by Sean McDirmid There are many ways about by Sean McDirmid Again, just because a new by Sean McDirmid Ah yes, overflow, I wasn't by Sean McDirmid Not really. There is big by Sean McDirmid The big disruptive trend in by Sean McDirmid The type system I'm working by Sean McDirmid Already there are people out by Sean McDirmid I think you misunderstood my by Sean McDirmid ...	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design It sounds like we should by Sean McDirmid Yes, and plenty of by Sean McDirmid CHI/UIST used to be cooler... by Sean McDirmid In PL, a proof cannot be by Sean McDirmid Again, doing the proof isn't by Sean McDirmid I think we value different by Sean McDirmid Type systems might be PL, by Sean McDirmid PCs are weird. You'll see a by Sean McDirmid In this case my primary by Sean McDirmid Actually, a proof is tedious by Sean McDirmid ...	giuseppemag	2012-03-30 05:42
Forum topic	How to Generate (Hard) Real-Time Code from Declarative Programming Languages? I wrote a paper once that by Sean McDirmid	bryanedds	2012-03-29 23:06
Forum topic	Coding at the Speed of Touch Well, speech can be sign by Sean McDirmid Weird, assuming a frame rate by Sean McDirmid Believe me, we have been by Sean McDirmid But allowing badly typed by Sean McDirmid Flexibility of the language by Sean McDirmid My current research is by Sean McDirmid Mind rot by Sean McDirmid Wrong place. by Sean McDirmid Accept accept. by Sean McDirmid I borrowed this from Kodu. by Sean McDirmid ...	Sean McDirmid	2012-03-27 18:25
Forum topic	crazy PL idea: prescriptive trait inference Here is how I think about by Sean McDirmid It would be an instance of by Sean McDirmid You don't use functions or by Sean McDirmid If you have control of the by Sean McDirmid I'm thinking perhaps a by Sean McDirmid Sure. This approach easily by Sean McDirmid Each instantiation is unique by Sean McDirmid There are two nodes for each by Sean McDirmid It's not equivalence at all, by Sean McDirmid Each method call adds a by Sean McDirmid ...	Sean McDirmid	2012-03-26 23:20
Story	Informed dissent: William Cook contra Bob Harper on OOP "Car is a Vehicle" is intuitive by Sean McDirmid Is it surprising that the by Sean McDirmid	Ehud Lamm	2012-03-23 09:22
Story	Language mystery: identify the source language to a worm based on its object code You are definitely correct, by Sean McDirmid If another tool was pumping by Sean McDirmid Its more like a dialect of C by Sean McDirmid I invented v-tables myself by Sean McDirmid	James Iry	2012-03-20 23:15
Forum topic	Long rant on Erlang-style Actors: Lost Dimension Yet its not apparent enough by Sean McDirmid Adding these delays just by Sean McDirmid I'm OK with encapsulated by Sean McDirmid I dislike the explicit delay by Sean McDirmid Embracing the glitches by Sean McDirmid	const	2012-03-20 08:57
Forum topic	Reversing operations How about dynamic scope? by Sean McDirmid Learning things like this is by Sean McDirmid Also, a fun fact: for any by Sean McDirmid Reversible computations are by Sean McDirmid	Pablo Barenbaum	2012-03-16 18:37
Forum topic	Software Cartography and Code Navigation I think the constraining by Sean McDirmid	Sean McDirmid	2012-03-16 00:17
Forum topic	Google's Dart announced I think you are missing my by Sean McDirmid More Dart, metaprogramming by Sean McDirmid I was agreeing with Ehud. by Sean McDirmid To paraphrase Jobs: "we by Sean McDirmid Why? Google currently by Sean McDirmid Isn't he conflating one by Sean McDirmid Dynamically typed is not the by Sean McDirmid Well, perhaps this equation by Sean McDirmid	vieiro	2012-03-12 04:21
Forum topic	Research in Programming Languages The essay seems concerned by Sean McDirmid Some supporting discussion by Sean McDirmid I'm going to disagree with by Sean McDirmid Whether there is some by Sean McDirmid	Sean McDirmid	2012-03-10 11:01
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