Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Sean McDirmid

  Date    Post    Topic  
07/17/2012OO type systems and BNFsOO type systems and BNFs
07/17/2012I should have been moreOO type systems and BNFs
07/17/2012Recursion in the has-aOO type systems and BNFs
07/13/2012Also, consider being metaLanguage Implementation 101
07/15/2012It quite depends on whatLanguage Implementation 101
07/16/2012You can do some fun thingsLanguage Implementation 101
07/16/2012Sounds fun. I'm already intoLanguage Implementation 101
07/17/2012Language Implementation 101Language Implementation 101
07/13/2012Yes, everything that isWhy languages and not systems?
07/06/2012For some context, I'm a PLWhy languages and not systems?
07/06/2012Immediate mode GUIsImmediate mode GUIs
07/07/2012An immediate mode GUI givesImmediate mode GUIs
07/10/2012Actually, the deadline is inImmediate mode GUIs
07/13/2012I actually think ImmediateImmediate mode GUIs
07/15/2012Conventional immediate modeImmediate mode GUIs
07/18/2012Glitch freedom is just notImmediate mode GUIs
07/06/2012Object identity or "who am I?"Immediate mode GUIs
07/13/2012A matter of semanticsImmediate mode GUIs
07/14/2012Embracing UI stateImmediate mode GUIs
07/14/2012Accidental StateImmediate mode GUIs
07/13/2012More thoughtsImmediate mode GUIs
07/13/2012I can see this forImmediate mode GUIs
06/29/2012It took me awhile to figureDSL for Streaming Network Traffic Analysis
07/01/2012Are you considering doing aLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012Workshops generally don'tLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012ACM A.M. Turing Centenary CelebrationACM A.M. Turing Centenary Celebration
06/26/2012Outlook search doesn't evenACM A.M. Turing Centenary Celebration
06/24/2012RelatedEvolved Turing neural networks - Unorganized machines and the brain
06/09/2012Why Do Some Programming Languages Live and Others Die?Why Do Some Programming Languages Live and Others Die?
06/09/2012Fixed, sorry about that! IWhy Do Some Programming Languages Live and Others Die?
06/09/2012It is nice to have a frontWhy Do Some Programming Languages Live and Others Die?
06/10/2012I always come back to SherryWhy Do Some Programming Languages Live and Others Die?
06/10/2012Turkle's observations can beWhy Do Some Programming Languages Live and Others Die?
06/10/2012Data mining should save usWhy Do Some Programming Languages Live and Others Die?
06/06/2012This is a great realization.Graphical languages of the Russian space program
06/06/2012I believe there is a strongGraphical languages of the Russian space program
06/06/2012I like to use "graphicalGraphical languages of the Russian space program
06/05/2012brogramming languagesSynth programming language concept
06/06/2012You seem to be passionateSynth programming language concept
06/06/2012This is the problem withSynth programming language concept
06/08/2012My recent work gets awayWat
06/08/2012This goes over my head, butWat
06/08/2012I wasn't offended at all, noWat
06/01/2012Really? So where do we go toPythonect (A New Programming Language) Call for Syntax! All feedback and comments are appreciated!
05/28/2012Implementing abstract classes automatically?Implementing abstract classes automatically?
05/28/2012Brittle and unpleasant? As aImplementing abstract classes automatically?
05/29/2012And yet dynamic languagesImplementing abstract classes automatically?
05/30/2012For duck typing, if you useImplementing abstract classes automatically?
06/02/2012Types are not the problem, they are the solutionImplementing abstract classes automatically?
05/29/2012I still don't really getImplementing abstract classes automatically?
06/02/2012Thanks for the explanation,Implementing abstract classes automatically?
05/27/2012A lot of D3 would look veryD3: Thinking with Joins
05/28/2012The point about superglueD3: Thinking with Joins
05/22/2012Agreeing with most of whatLanguages & Niches
05/22/2012concurrent vs. parallelLanguages & Niches
06/01/2012Parallelism has mostlyLanguages & Niches
05/22/2012Concurrent programmingLanguages & Niches
05/07/2012On the Naturalness of SoftwareOn the Naturalness of Software
05/07/2012Fixed. Sorry, I shouldn'tOn the Naturalness of Software
05/08/2012The draft watermark kind ofOn the Naturalness of Software
05/08/2012Hybrid approachesOn the Naturalness of Software
05/08/2012. In general if you haveOn the Naturalness of Software
05/08/2012We can include knownOn the Naturalness of Software
05/07/2012Monads can be used toFeather: A Heapless Functional Programming Language
05/09/2012There are alternative toFeather: A Heapless Functional Programming Language
05/09/2012Ok, as of 2.0, you canFeather: A Heapless Functional Programming Language
05/07/2012I think the AI winter mainlyCommon Lisp: The Untold Story
04/25/2012Evaluating the Design of the R LanguageEvaluating the Design of the R Language
04/21/2012Jan Vitek and his studentsWhy and How People Use R
04/21/2012Jan talked to me about thisWhy and How People Use R
04/21/2012One thing that shaderWhy and How People Use R
04/24/2012Its not that bad of aWhy and How People Use R
05/04/2012What contrast are youWhy and How People Use R
05/06/2012I wonder if we are talking about the same thing?Why and How People Use R
05/06/2012Ecosystem = libraries +Why and How People Use R
05/06/2012The point is not if Scala isWhy and How People Use R
04/26/2012Worse is betterWhy and How People Use R
04/27/2012We put out knowledge, theWhy and How People Use R
04/26/2012I should have said "don'tWhy and How People Use R
05/06/2012I'm not sure what your pointWhy and How People Use R
04/01/2012The main problem I've alwaysErik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming
03/30/2012Relevant question threadQuantitative comparison of unit testing vs. static typing?
03/31/2012I think we need suchQuantitative comparison of unit testing vs. static typing?
03/31/2012Here is another potentiallyQuantitative comparison of unit testing vs. static typing?
03/31/2012Ah, I forgot we were dealingQuantitative comparison of unit testing vs. static typing?
04/23/2012It's never a wash though...Quantitative comparison of unit testing vs. static typing?
04/24/2012I expect your results willQuantitative comparison of unit testing vs. static typing?
04/24/2012Cognitive dissonance ensuresQuantitative comparison of unit testing vs. static typing?
04/24/2012I think we disagree aboutQuantitative comparison of unit testing vs. static typing?
04/24/2012You could over-abstract inQuantitative comparison of unit testing vs. static typing?
04/19/2012Evidence? I've seen staticQuantitative comparison of unit testing vs. static typing?
04/19/2012My point was that this canQuantitative comparison of unit testing vs. static typing?
04/20/2012For the life of me, I don'tQuantitative comparison of unit testing vs. static typing?
04/20/2012Pattern matches are stillQuantitative comparison of unit testing vs. static typing?
04/22/2012Not if you are only patternQuantitative comparison of unit testing vs. static typing?
04/20/2012I would argue stronglyQuantitative comparison of unit testing vs. static typing?
04/20/2012Working in the reactiveQuantitative comparison of unit testing vs. static typing?
04/20/2012Quantitative comparison of unit testing vs. static typing?Quantitative comparison of unit testing vs. static typing?
04/20/2012Re: Good will and disciplineQuantitative comparison of unit testing vs. static typing?
04/21/2012All of that static analysisQuantitative comparison of unit testing vs. static typing?
04/21/2012My only point was thatQuantitative comparison of unit testing vs. static typing?
04/22/2012I've dipped into this area aQuantitative comparison of unit testing vs. static typing?
04/22/2012That is almost the same asQuantitative comparison of unit testing vs. static typing?
04/23/2012Interesting, but nested tooQuantitative comparison of unit testing vs. static typing?
04/23/2012I've done this before ofQuantitative comparison of unit testing vs. static typing?
04/21/2012I'm wondering how far we canQuantitative comparison of unit testing vs. static typing?
04/22/2012Dependent typesQuantitative comparison of unit testing vs. static typing?
03/31/2012I'm not sure what we wouldQuantitative comparison of unit testing vs. static typing?
03/31/2012You are asking questionsQuantitative comparison of unit testing vs. static typing?
03/31/2012But to answer the question,Quantitative comparison of unit testing vs. static typing?
03/31/2012Science is hardQuantitative comparison of unit testing vs. static typing?
03/31/2012You are definitely right,Quantitative comparison of unit testing vs. static typing?
03/31/2012The data acquired from aQuantitative comparison of unit testing vs. static typing?
04/01/2012That was what my crazyQuantitative comparison of unit testing vs. static typing?
03/31/2012You mentioned "objective"Quantitative comparison of unit testing vs. static typing?
04/01/2012Good experiments areQuantitative comparison of unit testing vs. static typing?
04/01/2012ECOOP and OOPSLA seem to beQuantitative comparison of unit testing vs. static typing?
04/01/2012Experience biasQuantitative comparison of unit testing vs. static typing?
04/02/2012Dynamically typed ML?Quantitative comparison of unit testing vs. static typing?
04/03/2012Tooling will have a lot ofQuantitative comparison of unit testing vs. static typing?
06/21/2012Now I wonder how much betterQuantitative comparison of unit testing vs. static typing?
06/21/2012Similar to the other peerQuantitative comparison of unit testing vs. static typing?
03/29/2012Escaping the Maze of Twisty ClassesEscaping the Maze of Twisty Classes
04/01/2012I've seen his work onEscaping the Maze of Twisty Classes
04/01/2012Thanks for taking a look!Escaping the Maze of Twisty Classes
04/02/2012UpdatedEscaping the Maze of Twisty Classes
04/07/2012Ask not what your programming can do for your typesEscaping the Maze of Twisty Classes
04/07/2012This is a great find, but IEscaping the Maze of Twisty Classes
04/07/2012This is exactly what I'mEscaping the Maze of Twisty Classes
04/13/2012I've updated skydrive with aEscaping the Maze of Twisty Classes
04/13/2012There are a few semantic andEscaping the Maze of Twisty Classes
04/14/2012Done and submitted. I had toEscaping the Maze of Twisty Classes
06/17/2012Accepted for publication inEscaping the Maze of Twisty Classes
06/17/2012I haven't gotten this far yetEscaping the Maze of Twisty Classes
06/17/2012I'm confused. The proposedEscaping the Maze of Twisty Classes
06/18/2012You pointed this out beforeEscaping the Maze of Twisty Classes
06/18/2012PLDI was funEscaping the Maze of Twisty Classes
04/02/2012And such an oh so openParsing: The Solved Problem That Isn't
04/02/2012Actually, there is a middleParsing: The Solved Problem That Isn't
04/02/2012Its actually not that bad.Parsing: The Solved Problem That Isn't
04/04/2012I never understood how thisParsing: The Solved Problem That Isn't
04/05/2012I've done this before so letParsing: The Solved Problem That Isn't
04/05/2012I would go much further thanParsing: The Solved Problem That Isn't
04/05/2012Surely you could, but youParsing: The Solved Problem That Isn't
04/06/2012I can't look at the wordpressParsing: The Solved Problem That Isn't
04/06/2012New kinds of state emergeParsing: The Solved Problem That Isn't
04/06/2012Once you add history to yourParsing: The Solved Problem That Isn't
04/06/2012Thats the problem rightParsing: The Solved Problem That Isn't
04/06/2012You can do a much better jobParsing: The Solved Problem That Isn't
04/02/2012I replied to your postParsing: The Solved Problem That Isn't
04/03/2012In the Scala editor, I wouldParsing: The Solved Problem That Isn't
04/02/2012I would argue thatParsing: The Solved Problem That Isn't
04/02/2012ToucheParsing: The Solved Problem That Isn't
04/02/2012It is a parser, what I callParsing: The Solved Problem That Isn't
04/02/2012It is the same thing IParsing: The Solved Problem That Isn't
04/02/2012I should clarify: the kindParsing: The Solved Problem That Isn't
04/02/2012I don't know if this isParsing: The Solved Problem That Isn't
04/02/2012Semantically, as you say,Parsing: The Solved Problem That Isn't
04/03/2012Noone has figured it outParsing: The Solved Problem That Isn't
04/04/2012Sounds analogous to VimParsing: The Solved Problem That Isn't
04/04/2012The definition of a parserParsing: The Solved Problem That Isn't
03/29/2012I wrote a paper once thatHow to Generate (Hard) Real-Time Code from Declarative Programming Languages?
03/21/2012Disruptive PLT RevisitedDisruptive PLT Revisited
03/21/2012Disruptive PLT RevisitedDisruptive PLT Revisited
03/21/2012Actually, JS libraries are aDisruptive PLT Revisited
03/21/2012What should disrupt?Disruptive PLT Revisited
03/22/2012Its about usability: theDisruptive PLT Revisited
03/22/2012I'm a bit biased here withDisruptive PLT Revisited
03/22/2012Cloud services like E2,Disruptive PLT Revisited
03/22/2012I would love to agree withDisruptive PLT Revisited
03/22/2012Is LINQ really about monadsDisruptive PLT Revisited
03/22/2012LINQ is still not used oftenDisruptive PLT Revisited
03/22/2012Some nostalgia in theDisruptive PLT Revisited
03/22/2012In the other direction,Disruptive PLT Revisited
03/22/2012Imagine if we had rock solidDisruptive PLT Revisited
03/23/2012I think you misunderstood myDisruptive PLT Revisited
03/23/2012Already there are people outDisruptive PLT Revisited
03/24/2012The type system I'm workingDisruptive PLT Revisited
03/24/2012Ah yes, overflow, I wasn'tDisruptive PLT Revisited
03/24/2012There are many ways aboutDisruptive PLT Revisited
03/24/2012The big disruptive trend inDisruptive PLT Revisited
03/24/2012Not really. There is bigDisruptive PLT Revisited
03/24/2012Again, just because a newDisruptive PLT Revisited
03/24/2012I believe Google has manyDisruptive PLT Revisited
03/26/2012I think Don Sym's typeDisruptive PLT Revisited
03/15/2012Software Cartography and Code NavigationSoftware Cartography and Code Navigation
03/16/2012I think the constrainingSoftware Cartography and Code Navigation
03/13/2012Reversible computations areReversing operations
03/14/2012Reversing operationsReversing operations
03/16/2012Learning things like this isReversing operations
03/16/2012How about dynamic scope?Reversing operations
03/09/2012I don't think the paper youReferences about the importance of formalism in programming language design
03/10/2012When you get to the pointReferences about the importance of formalism in programming language design
03/11/2012I'm not arguing thatReferences about the importance of formalism in programming language design
03/11/2012Well, "easier" for sure, butReferences about the importance of formalism in programming language design
03/11/2012Are we confusing cause andReferences about the importance of formalism in programming language design
03/11/2012How many people actually useReferences about the importance of formalism in programming language design
03/12/2012Bad ideas can be formalizedReferences about the importance of formalism in programming language design
03/12/2012Is the approach popular, isReferences about the importance of formalism in programming language design
03/12/2012I thought the question wasReferences about the importance of formalism in programming language design
03/13/2012sort of...References about the importance of formalism in programming language design
03/11/2012Of course, you could sayReferences about the importance of formalism in programming language design
03/14/2012Peter, the paper describesReferences about the importance of formalism in programming language design
03/16/2012Actually, a proof is tediousReferences about the importance of formalism in programming language design
03/17/2012PCs are weird. You'll see aReferences about the importance of formalism in programming language design
03/17/2012In this case my primaryReferences about the importance of formalism in programming language design
03/17/2012Type systems might be PL,References about the importance of formalism in programming language design
03/19/2012I think we value differentReferences about the importance of formalism in programming language design
03/19/2012In PL, a proof cannot beReferences about the importance of formalism in programming language design
03/19/2012Again, doing the proof isn'tReferences about the importance of formalism in programming language design
03/20/2012References about the importance of formalism in programming language designReferences about the importance of formalism in programming language design
03/20/2012CHI/UIST used to be cooler...References about the importance of formalism in programming language design
03/21/2012It sounds like we shouldReferences about the importance of formalism in programming language design
03/09/2012I invented v-tables myselfLanguage mystery: identify the source language to a worm based on its object code
03/19/2012Its more like a dialect of CLanguage mystery: identify the source language to a worm based on its object code
03/20/2012If another tool was pumpingLanguage mystery: identify the source language to a worm based on its object code
03/20/2012You are definitely correct,Language mystery: identify the source language to a worm based on its object code
03/05/2012Research in Programming LanguagesResearch in Programming Languages
03/06/2012Whether there is someResearch in Programming Languages
03/06/2012I'm going to disagree withResearch in Programming Languages
03/06/2012Some supporting discussionResearch in Programming Languages
03/10/2012Research in Programming LanguagesResearch in Programming Languages
03/22/2012Is it surprising that theInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012"Car is a Vehicle" is intuitiveInformed dissent: William Cook contra Bob Harper on OOP
03/18/2012Just wanted to add: this isAdding Delimited and Composable Control to a Production Programming Environment
02/28/2012Bret Victor's Inventing on PrinicipleBret Victor's Inventing on Priniciple
03/05/2012Bret Victor's Inventing on PrinicipleBret Victor's Inventing on Priniciple
02/27/2012Well, reddit's moderation[Meta] Are we Reddit?
02/27/2012Given how many of us have[Meta] Are we Reddit?
03/08/2012Embracing the glitchesLong rant on Erlang-style Actors: Lost Dimension
03/08/2012I dislike the explicit delayLong rant on Erlang-style Actors: Lost Dimension
03/08/2012I'm OK with encapsulatedLong rant on Erlang-style Actors: Lost Dimension
03/08/2012Adding these delays justLong rant on Erlang-style Actors: Lost Dimension
03/08/2012Yet its not apparent enoughLong rant on Erlang-style Actors: Lost Dimension
02/22/201210 years is about right, itsA Concept Design for C++
02/24/2012Google spends a lot of timeA Concept Design for C++
02/24/2012But architect majors learn autocad...A Concept Design for C++
02/08/2012In Bling, you can create aActive Variables in Common Lisp
02/05/2012Siri-ous programmingProgramming as collaborative reference
02/03/2012Peak AbstractionPeak Abstraction
02/03/2012Peak AbstractionPeak Abstraction
02/04/2012My last job more than 4Peak Abstraction
02/04/2012Peak abstraction identifiesPeak Abstraction
01/30/2012Your components soundEvolution of mainstream programming language paradigms
02/02/2012Szyperski's component bookEvolution of mainstream programming language paradigms
02/05/2012The physics of reactive programmingEvolution of mainstream programming language paradigms
01/27/2012Wolfram alpha's parser isLastCalc: A web-based REPL for a pure functional programming language with a flexible syntax and parser
04/26/2012To be honest, there isn'tSTEPS 2011 Progress Report (personal computing in 20kLOC)
04/28/2012The misuse of metrics isSTEPS 2011 Progress Report (personal computing in 20kLOC)
04/28/2012As an exercise in criticalSTEPS 2011 Progress Report (personal computing in 20kLOC)
01/20/2012Stack overflow achievementsVisual Studio Achievements
01/21/2012You should have a basicGraphics primitives?
01/17/2012crazy PL idea: prescriptive trait inferencecrazy PL idea: prescriptive trait inference
01/17/2012Maybe two differences.crazy PL idea: prescriptive trait inference
01/17/2012Honestly, I don't understandcrazy PL idea: prescriptive trait inference
01/23/2012No type parameters neededcrazy PL idea: prescriptive trait inference
01/24/2012Yes, but foo's signature iscrazy PL idea: prescriptive trait inference
01/25/2012Each method call adds acrazy PL idea: prescriptive trait inference
01/26/2012It's not equivalence at all,crazy PL idea: prescriptive trait inference
01/26/2012There are two nodes for eachcrazy PL idea: prescriptive trait inference
01/30/2012Each instantiation is uniquecrazy PL idea: prescriptive trait inference
01/30/2012Sure. This approach easilycrazy PL idea: prescriptive trait inference
03/24/2012If you have control of thecrazy PL idea: prescriptive trait inference
03/25/2012It would be an instance ofcrazy PL idea: prescriptive trait inference
03/26/2012Here is how I think aboutcrazy PL idea: prescriptive trait inference
03/25/2012You don't use functions orcrazy PL idea: prescriptive trait inference
01/17/2012Position is a directcrazy PL idea: prescriptive trait inference
01/17/2012I've already run into thiscrazy PL idea: prescriptive trait inference
01/17/2012Actually my currentcrazy PL idea: prescriptive trait inference
01/18/2012CanvasWidget doesn't need tocrazy PL idea: prescriptive trait inference
01/19/2012Very interesting! To me,crazy PL idea: prescriptive trait inference
01/20/2012Has position is marks as notcrazy PL idea: prescriptive trait inference
01/20/2012Right now there is simply acrazy PL idea: prescriptive trait inference
01/20/2012Whether an extension iscrazy PL idea: prescriptive trait inference
01/20/2012The problem is that therecrazy PL idea: prescriptive trait inference
01/20/2012Summoning the theory of hascrazy PL idea: prescriptive trait inference
01/20/2012Position is defined in hascrazy PL idea: prescriptive trait inference
01/21/2012I should note that thecrazy PL idea: prescriptive trait inference
01/20/2012What does ambiguous evencrazy PL idea: prescriptive trait inference
01/21/2012Your source code is a tree,crazy PL idea: prescriptive trait inference
01/21/2012My point was that there iscrazy PL idea: prescriptive trait inference
01/21/2012Non inferable is special,crazy PL idea: prescriptive trait inference
01/18/2012I think we are fairly incrazy PL idea: prescriptive trait inference
01/18/2012There is no name resolutioncrazy PL idea: prescriptive trait inference
01/19/2012They are differentcrazy PL idea: prescriptive trait inference
01/19/2012There is no ambiguity at thecrazy PL idea: prescriptive trait inference
02/03/2012I'm thinking perhaps acrazy PL idea: prescriptive trait inference
01/18/2012Dependency hell (aka DLLcrazy PL idea: prescriptive trait inference
01/18/2012I want to create thecrazy PL idea: prescriptive trait inference
01/19/2012Yes, external code cancrazy PL idea: prescriptive trait inference
01/22/2012Actually, existence testscrazy PL idea: prescriptive trait inference
01/21/2012Inference assumes correctcrazy PL idea: prescriptive trait inference
01/21/2012What? Accessing position hascrazy PL idea: prescriptive trait inference
01/21/2012If there are multiplecrazy PL idea: prescriptive trait inference
12/28/2011According to Citeseer, it isSeven Myths of Formal Methods Revisited
12/25/2011Programmer ArcheologistsProgrammer Archeologists
12/26/2011I'm fascinated by the futureProgrammer Archeologists
12/21/2011The nearest human relativeCambridge Course on "Usability of Programming Languages"
12/21/2011Human resources, data, userCambridge Course on "Usability of Programming Languages"
12/21/2011Yes, there is someCambridge Course on "Usability of Programming Languages"
12/22/2011A program instructs aCambridge Course on "Usability of Programming Languages"
12/22/2011If I take your view, theCambridge Course on "Usability of Programming Languages"
12/22/2011I completely agree with thisCambridge Course on "Usability of Programming Languages"
12/23/2011The problem is thatCambridge Course on "Usability of Programming Languages"
12/23/2011Adoption is different fromCambridge Course on "Usability of Programming Languages"
12/24/2011I haven't even seen such aCambridge Course on "Usability of Programming Languages"
12/23/2011I agree with that. But thenCambridge Course on "Usability of Programming Languages"
12/23/2011Definitely, hence theCambridge Course on "Usability of Programming Languages"
12/25/2011IBM has pretty much leftCambridge Course on "Usability of Programming Languages"
12/25/2011Do you know how many PLsCambridge Course on "Usability of Programming Languages"
12/22/2011It goes both ways right?Cambridge Course on "Usability of Programming Languages"
12/21/2011When I write a program, ICambridge Course on "Usability of Programming Languages"
12/19/2011The OP has the wrongCambridge Course on "Usability of Programming Languages"
12/20/2011Actually, they have someCambridge Course on "Usability of Programming Languages"
12/20/2011Part of an expert's trainingCambridge Course on "Usability of Programming Languages"
12/29/2011UBC and UVic both haveCambridge Course on "Usability of Programming Languages"
01/06/2012Traditional HCI doesn't goCambridge Course on "Usability of Programming Languages"
12/26/2011How can you watch a videoInterview [Video] -> Simon Peyton-Jones - Closer to Nirvana
12/27/2011I'm not arguing against theInterview [Video] -> Simon Peyton-Jones - Closer to Nirvana
12/27/2011Crowd sourcing could helpInterview [Video] -> Simon Peyton-Jones - Closer to Nirvana
12/09/2011I guess I agree thatDesigning a languge — what theory is a must?
12/09/2011The type system was foundDesigning a languge — what theory is a must?
12/10/2011I find it hard to believe,Designing a languge — what theory is a must?
01/02/2012null is incredibly convenientDesigning a languge — what theory is a must?
12/22/2011The primary focus in PLDesigning a languge — what theory is a must?
12/22/2011Ironically enough, moreDesigning a languge — what theory is a must?
12/04/2011Design!General purpose as a special case?
12/06/2011But what knowledge are youGeneral purpose as a special case?
12/04/2011Prolog was designed to be anGeneral purpose as a special case?
12/06/2011I disagree strongly. ForGeneral purpose as a special case?
12/06/2011You are still not talkingGeneral purpose as a special case?
11/30/2011They are speaking SE, notAbstraction Driven (MDA++)
11/19/2011Share: a programming environment for loosely bound cooperationShare: a programming environment for loosely bound cooperation
11/21/2011REPL-schmepl?REPL-schmepl?
11/12/2011I believe the expressionIs the Expression Problem Fundamental?
11/13/2011Disclaimer, I'm inherentlyIs the Expression Problem Fundamental?
11/13/2011Ah, then that explains aIs the Expression Problem Fundamental?
11/15/2011binary compatibilityIs the Expression Problem Fundamental?
11/05/2011Most people shouldextending functions vs. extending objects
11/06/2011It wasn't meant as a slur.extending functions vs. extending objects
11/07/2011How are our models notextending functions vs. extending objects
11/07/2011It seems that XTend comesXtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext.
11/07/2011Dead on the web (JavaScriptXtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext.
11/07/2011If you were going to do aXtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext.
11/03/2011Subjective is the realm ofHow to determine your new language is perfect?
11/05/2011I disagree. SometimesHow to determine your new language is perfect?
11/19/2011The question should not be"We Really Don't Know How to Compute!" by Gerald Sussman
11/19/2011I wasn't thinking about"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011cyborgs"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011The important take away is"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011I agree with that. I"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Machine learning works"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011The problem is that QA"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011Sounds like neural networks."We Really Don't Know How to Compute!" by Gerald Sussman
11/08/2011I think R is popular for"We Really Don't Know How to Compute!" by Gerald Sussman
10/17/2011DirectX seems to be based on"Crutches in language design", accidental complexity and feature overlap
10/21/2011I saw the talk ref'd on"Crutches in language design", accidental complexity and feature overlap
10/14/2011Heres a Wired article forDennis Ritchie passed away
10/15/2011C had no real flaws givenDennis Ritchie passed away
10/22/2011printf("goodbye, Dennis");Dennis Ritchie passed away
10/10/2011Well, perhaps this equationGoogle's Dart announced
10/10/2011Dynamically typed is not theGoogle's Dart announced
10/11/2011Isn't he conflating oneGoogle's Dart announced
10/12/2011Why? Google currentlyGoogle's Dart announced
10/12/2011To paraphrase Jobs: "weGoogle's Dart announced
10/12/2011I was agreeing with Ehud.Google's Dart announced
10/13/2011More Dart, metaprogrammingGoogle's Dart announced
10/17/2011I think you are missing myGoogle's Dart announced
10/06/2011My favorite SJ quotes below.Open thread: RIP Steve Jobs
10/06/2011He has been hugelyOpen thread: RIP Steve Jobs
10/07/2011A genius need not be aOpen thread: RIP Steve Jobs
10/06/2011You counter inertia withOpen thread: RIP Steve Jobs
10/06/2011Journalists writesOpen thread: RIP Steve Jobs
10/13/2011People will tend to beOpen thread: RIP Steve Jobs
10/25/2011I cannot build a programmingOpen thread: RIP Steve Jobs
10/26/2011Collateral damage. ItOpen thread: RIP Steve Jobs
10/27/2011I agree this is offtopic forOpen thread: RIP Steve Jobs
10/06/2011Open thread: RIP Steve JobsOpen thread: RIP Steve Jobs
10/07/2011Apple supports some back-endOpen thread: RIP Steve Jobs
10/07/2011Probably, but then so isOpen thread: RIP Steve Jobs
10/07/2011Point taken, the genius ofOpen thread: RIP Steve Jobs
10/06/2011Ironically...Open thread: RIP Steve Jobs
10/06/2011We need a Steve Jobs forOpen thread: RIP Steve Jobs
10/07/2011Mostly we are more WozniakOpen thread: RIP Steve Jobs
10/07/2011Wozniak sees beauty inOpen thread: RIP Steve Jobs
10/07/2011Probably. I realize myOpen thread: RIP Steve Jobs
10/07/2011Sometimes you don'tOpen thread: RIP Steve Jobs
10/07/2011We are talking aboutOpen thread: RIP Steve Jobs
10/07/2011Then yes, a successfulOpen thread: RIP Steve Jobs
10/07/2011Lazy thinkingOpen thread: RIP Steve Jobs
10/08/2011I see your point andOpen thread: RIP Steve Jobs
10/07/2011Whenever I talk to someoneOpen thread: RIP Steve Jobs
10/07/2011Processing is a simpleOpen thread: RIP Steve Jobs
10/07/2011JavaOpen thread: RIP Steve Jobs
10/19/2011Dylan never took off. ItsOpen thread: RIP Steve Jobs
10/19/2011Objective C predates Java byOpen thread: RIP Steve Jobs
10/20/2011Alternative history. WithoutOpen thread: RIP Steve Jobs
10/08/2011I agree this is sad, andOpen thread: RIP Steve Jobs
10/25/2011Bombs don't hate childrenOpen thread: RIP Steve Jobs
10/26/2011Collateral damage is theOpen thread: RIP Steve Jobs
10/26/2011I have never managed my iPadOpen thread: RIP Steve Jobs
10/09/2011I would guess becauseF# type providers
10/11/2011Thanks for theF# type providers
10/10/2011Usability is key, mostF# type providers
10/04/2011I remember when Artima wasLanguage/Compiler design blogs?
09/30/2011Critical Programming Language DesignCritical Programming Language Design
09/30/2011Disagree with what? I wasn'tCritical Programming Language Design
09/30/2011To some extent, all designCritical Programming Language Design
09/30/2011I would even go so far as toCritical Programming Language Design
10/01/2011This was something I hadn'tCritical Programming Language Design
10/04/2011Great link, thanks!Critical Programming Language Design
09/24/2011Depends on the deviceRedesigning the Mozart virtual machine
09/24/2011The million dollar questionRedesigning the Mozart virtual machine
09/26/2011You are going to take aRedesigning the Mozart virtual machine
09/27/2011Metaphors are a part ofMetaphors we Program By: Space, Action and Society in Java
09/19/2011purely continuous FRP doesn't workSample applications for programming languages
09/19/2011I believe the correctSample applications for programming languages
09/20/2011A GUI widget must somehowSample applications for programming languages
09/20/2011The nice thing about theSample applications for programming languages
09/20/2011FRP is only capable ofSample applications for programming languages
09/20/2011Whether stateful or not, canSample applications for programming languages
09/20/2011So I am quite wrong,Sample applications for programming languages
09/21/2011If you want the externalSample applications for programming languages
09/20/2011Physics-based layout isSample applications for programming languages
09/24/2011DictatorshipsGoogle's "The Future of JavaScript" internal memo leaked
09/24/2011The population of newGoogle's "The Future of JavaScript" internal memo leaked
09/21/2011During my first year of gradGoogle's "The Future of JavaScript" internal memo leaked
09/23/2011Given whose involved, thisGoogle's "The Future of JavaScript" internal memo leaked
09/23/2011Tooling should be part of the language specGoogle's "The Future of JavaScript" internal memo leaked
09/10/2011We should understand theWhat needs to be done?
09/11/2011Cognitive psychology worksWhat needs to be done?
09/11/2011Well, if we are talkingWhat needs to be done?
09/12/2011Maturity. I realize what IWhat needs to be done?
09/12/2011Finally buried I hope.What needs to be done?
09/12/2011Perfect modularityWhat needs to be done?
09/13/2011Metaprogramming has beenWhat needs to be done?
09/17/2011I've covered some of this in my liveWhat needs to be done?
10/14/2011Yep. At Onward this year,What needs to be done?
09/11/2011The problem with mutabilityThe Trouble with Erlang
09/11/2011The Trouble with ErlangThe Trouble with Erlang
09/11/2011Then I don't quite get yourThe Trouble with Erlang
09/12/2011Got it. Arguments of theThe Trouble with Erlang
08/31/2011See Plaid by JonathanState of objects
08/31/2011I don't know Plaid veryState of objects
08/31/2011In World of Warcraft, youState of objects
09/01/2011This sort of gets down toState of objects
09/01/2011Declarative is timeless andState of objects
09/01/2011Implicit time doesn't makeState of objects
09/08/2011I was wondering if it wouldForum Topics and Story
09/08/2011how about reddit.com/r/ltu?Forum Topics and Story
09/08/2011I'm getting most of my PLForum Topics and Story
09/09/2011As a self-described OOForum Topics and Story
09/19/2011The established experts doForum Topics and Story
09/22/2011Ehud, how is a kill file appForum Topics and Story
08/26/2011Exposition quality is higherquite "old" books discussion
08/28/2011Not a bad book, but I'm notquite "old" books discussion
08/31/2011The Psychology Of Computerquite "old" books discussion
09/01/2011The main problem with thisquite "old" books discussion
09/03/2011Why is it controversial orOpa
09/03/2011I did a small case study andOpa
09/09/2011Are you going to attendOpa
09/14/2011PLDI/ECOOP are in BeijingOpa
09/09/2011I don't believe Gilad isOpa
08/23/2011When I was an undergradNew book on functional programming and games
08/10/2011I'm pretty sure ScalaCandle - a new script language that unifies XML technologies
08/10/2011I disagree, at least onCandle - a new script language that unifies XML technologies
08/10/2011Its hard to say how peopleCandle - a new script language that unifies XML technologies
08/20/2011JSON vs. XMLCandle - a new script language that unifies XML technologies
08/21/2011Sorry, I was referring toCandle - a new script language that unifies XML technologies
08/24/2011In my own experience, itsCandle - a new script language that unifies XML technologies
08/08/2011Bling has done the crossSpark: Modular, Composable Shaders for Graphics Hardware
08/09/2011I wasn't aware ofSpark: Modular, Composable Shaders for Graphics Hardware
08/11/2011If you did this in OpenCLSpark: Modular, Composable Shaders for Graphics Hardware
08/12/2011Spark: Modular, Composable Shaders for Graphics HardwareSpark: Modular, Composable Shaders for Graphics Hardware
08/12/2011All texture accesses mustSpark: Modular, Composable Shaders for Graphics Hardware
08/07/2011The video is unwatchableProgramming and Scaling
08/07/2011You mean the phone icon withProgramming and Scaling
08/07/2011I have been working on thisProgramming and Scaling
08/08/2011System designers are veryProgramming and Scaling
08/07/2011I suspected as much, and IProgramming and Scaling
08/04/2011Unfortunately,ECOOP 2011 slides
07/25/2011Your abstraction used toIs it possible to write code that works the very first time?
07/25/2011Are you assuming thatIs it possible to write code that works the very first time?
07/16/2011Interview with Scala's Martin OderskyInterview with Scala's Martin Odersky
07/14/2011In the end there can only beThe Last Language?
07/15/2011Rube GoldbergThe Last Language?
07/15/2011It depends on what you doThe Last Language?
07/15/2011First, YinYang doesn't haveThe Last Language?
07/16/2011YinYang isn't based onThe Last Language?
07/16/2011Someday, I will make theThe Last Language?
07/17/2011The Last Language?The Last Language?
07/15/2011Rube GoldbergThe Last Language?
07/09/2011Scala traitswhatever became of hyperslices?
07/07/2011Very nice. Sounds likeKnockout JS
07/09/2011Why JS became the webKnockout JS
07/10/2011The accident is that JS wasKnockout JS
07/10/2011Today's C++ or yesterdays,Knockout JS
07/12/2011BitC? Actually, Shapiro wasKnockout JS
07/10/2011In UX, there is this commonKnockout JS
07/22/2011He did mention monkeyKnockout JS
07/27/2011You really can't/shouldn'tKnockout JS
07/27/2011Classes and prototypes are not orthogonalKnockout JS
07/28/2011Versions of Javascript (akaKnockout JS
06/28/2011How to explain a new programming language?How to explain a new programming language?
06/29/2011The tricky part is gettingHow to explain a new programming language?
06/28/2011My readers are the opposite:How to explain a new programming language?
06/28/2011How to explain a new programming language?How to explain a new programming language?
06/29/2011I've always found that myHow to explain a new programming language?
07/03/2011The paper includes howHow to explain a new programming language?
06/27/2011Great and very timely as IWhy Programming Languages?
06/29/2011Agreed. A framework is aWhy Programming Languages?
07/02/2011Very interesting thought.Why Programming Languages?
06/29/2011Trying to close the rogueWittgenstein versus Turing on Inconsistency Robustness
06/24/2011I would like to think thatmodules are anti-modular
06/26/2011My point was I don't thinkmodules are anti-modular
06/26/2011My opinion doesn't reallymodules are anti-modular
06/26/2011There is quite a bigmodules are anti-modular
06/21/2011Actually, I think this is50 in 50: Steele & Gabriel at RailsConf 2011
06/19/2011C++ AMP - Accelerated Massive ParallelismC++ AMP - Accelerated Massive Parallelism
06/07/2011Wadler's law of language designWadler's law of language design
05/28/2011science = scientific methodAdvice for a young researcher
05/29/2011Behaviors areAdvice for a young researcher
05/29/2011Hit by bullet is much moreAdvice for a young researcher
04/30/2011Misleading nameWhy I invented Kinetic Rule Language (KRL)?
04/28/2011JiazziTypes from imported modules "leaking" into a module's public interface
04/30/2011Jiazzi leveraged explicitTypes from imported modules "leaking" into a module's public interface
05/01/2011Ok, your modules areTypes from imported modules "leaking" into a module's public interface
04/23/2011Elephants don't play chessElephants don't play chess
04/24/2011I think the implementationElephants don't play chess
04/25/2011Right, but "a lot of stateElephants don't play chess
04/24/2011I've read all of Brooks'Elephants don't play chess
04/27/2011You can present memories ofElephants don't play chess
04/16/2011Coding at the Speed of TouchCoding at the Speed of Touch
04/16/2011Unfortunately, too many fileCoding at the Speed of Touch
04/17/2011Search is a tricky problemCoding at the Speed of Touch
04/19/2011I thought that was the majorCoding at the Speed of Touch
06/06/2011Conditional accept.Coding at the Speed of Touch
07/17/2011I've just posted a new draftCoding at the Speed of Touch
07/20/2011Accept accept.Coding at the Speed of Touch
06/15/2011What does "Part | Bank |Coding at the Speed of Touch
07/17/2011I borrowed this from Kodu.Coding at the Speed of Touch
07/25/2011Mind rotCoding at the Speed of Touch
08/17/2011My current research isCoding at the Speed of Touch
08/17/2011Flexibility of the languageCoding at the Speed of Touch
08/18/2011Coding at the Speed of TouchCoding at the Speed of Touch
07/25/2011Wrong place.Coding at the Speed of Touch
03/25/2012Believe me, we have beenCoding at the Speed of Touch
03/27/2012Weird, assuming a frame rateCoding at the Speed of Touch
03/27/2012Well, speech can be signCoding at the Speed of Touch
04/13/2011I'll be done with my onwardBuild Your Own Blocks (BYOB)
04/13/2011Build Your Own Blocks (BYOB)Build Your Own Blocks (BYOB)
04/22/2011Build your own tilesBuild Your Own Blocks (BYOB)
04/22/2011Attack is just an order, youBuild Your Own Blocks (BYOB)
04/22/2011Attack is a continuousBuild Your Own Blocks (BYOB)
04/22/2011If I am "attacking"Build Your Own Blocks (BYOB)
04/22/2011Attack often has aBuild Your Own Blocks (BYOB)
04/23/2011You should checkout Brooks'Build Your Own Blocks (BYOB)
04/23/2011How could you be in theBuild Your Own Blocks (BYOB)
04/23/2011Always a good idea then toBuild Your Own Blocks (BYOB)
04/19/2011great expectationsBuild Your Own Blocks (BYOB)
04/27/2011GarnetBuild Your Own Blocks (BYOB)
04/12/2011Faith, Hope, and Love: An essay on software science's neglect of human factorsFaith, Hope, and Love: An essay on software science's neglect of human factors
04/10/2011Staking Claims: A History of Programming Language Design Claims and EvidenceStaking Claims: A History of Programming Language Design Claims and Evidence
04/10/2011How quickly I forget LtUStaking Claims: A History of Programming Language Design Claims and Evidence
04/12/2011Staking Claims: A History of Programming Language Design Claims and EvidenceStaking Claims: A History of Programming Language Design Claims and Evidence
04/13/2011At least Green's cognitiveStaking Claims: A History of Programming Language Design Claims and Evidence
04/19/2011If we must avoid makingStaking Claims: A History of Programming Language Design Claims and Evidence
04/19/2011Language designer's notebook: Quantitative language designStaking Claims: A History of Programming Language Design Claims and Evidence
04/07/2011I'm not sure what you areHistory of PL
04/07/2011Think of comic books: aHistory of PL
04/08/2011Onward's essay deadline isHistory of PL
04/08/2011An essay on just the needHistory of PL
04/08/2011Totally, that's my problemHistory of PL
04/07/2011There is an article on anHistory of PL
04/05/2011What about the DLR?Compiler framework, insight?
04/05/2011I have foundCompiler framework, insight?
04/05/2011Compiler framework, insight?Compiler framework, insight?
04/05/2011Yep, I'm doing code genCompiler framework, insight?
04/06/2011Send me your resumeCompiler framework, insight?
03/28/2011Extensible nesting of classesExtensible nesting of classes
03/28/2011I get that nesting is oftenExtensible nesting of classes
03/28/2011Possibly related. I'm notExtensible nesting of classes
03/28/2011Functors provide forExtensible nesting of classes
03/29/2011A bit more generalExtensible nesting of classes
03/28/2011Great reference! They seemExtensible nesting of classes
03/31/2011I'm well aware of the work.Extensible nesting of classes
04/05/2011A couple of points:Extensible nesting of classes
04/05/2011I'm not really interested inExtensible nesting of classes
03/29/2011This matches my shortFinding and Understanding Bugs in C Compilers
03/30/2011John, I don't see much of aFinding and Understanding Bugs in C Compilers
03/30/2011What about rectifying theFinding and Understanding Bugs in C Compilers
03/31/2011Compilers are mathematicalFinding and Understanding Bugs in C Compilers
03/31/2011There is a niche whereFinding and Understanding Bugs in C Compilers
04/01/2011We fuzz tested the JVMFinding and Understanding Bugs in C Compilers
03/31/2011All this work underFinding and Understanding Bugs in C Compilers
03/31/2011You are saying, "it'sFinding and Understanding Bugs in C Compilers
03/30/2011Are you doing anything inProgramming on an iPhone
03/30/2011Relevant, although I thinkProgramming on an iPhone
04/03/2011mouse != touchProgramming on an iPhone
04/11/2011Yes, target size isProgramming on an iPhone
03/30/2011You could also deploy yourProgramming on an iPhone
04/03/2011two paws and some whiskersProgramming on an iPhone
04/03/2011What about dalvik andProgramming on an iPhone
04/11/2011Nice to see this is finallyProgramming on an iPhone
03/21/2011Its a religious thing, I'veBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011I have designed plenty ofBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011Let a hundred schools ofBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011Object-oriented is much moreBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011So terminology is incrediblyBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011Object people have a strongBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011I don't believe logic andBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011You have thought about OO inBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011That is in itself is a hugeBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011Actors, agents,Bob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011The notion of an object isBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011An object is quite simply aBob Harper of CMU is blogging about programming languages and introductory CS education
03/22/2011Bob Harper of CMU is blogging about programming languages and introductory CS educationBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011I'm very worried whenBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011With objects, we create andBob Harper of CMU is blogging about programming languages and introductory CS education
03/29/2011Straight jackets vs. loaded gunsBob Harper of CMU is blogging about programming languages and introductory CS education
03/29/2011You should think about theBob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011Consistent experiencesBob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011I'm speaking from experienceBob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011Developers would get a moreBob Harper of CMU is blogging about programming languages and introductory CS education
03/31/2011If it gets the job doneBob Harper of CMU is blogging about programming languages and introductory CS education
03/31/2011And this is why PL researchBob Harper of CMU is blogging about programming languages and introductory CS education
04/01/2011We have nested a bit too farBob Harper of CMU is blogging about programming languages and introductory CS education
04/02/2011The fallacy of the right toolBob Harper of CMU is blogging about programming languages and introductory CS education
03/26/2011The debate hitsBob Harper of CMU is blogging about programming languages and introductory CS education
03/28/2011I am not really worriedBob Harper of CMU is blogging about programming languages and introductory CS education
06/28/2012The fact that anBob Harper of CMU is blogging about programming languages and introductory CS education
06/28/2012Sure! FP languages can beBob Harper of CMU is blogging about programming languages and introductory CS education
06/29/2012Scala supports both veryBob Harper of CMU is blogging about programming languages and introductory CS education
03/10/2011I thought that post wasAmbient Oriented Programming (AmOP)
03/11/2011I was calling the post thatAmbient Oriented Programming (AmOP)
03/11/2011I didn't get it. I apologizeAmbient Oriented Programming (AmOP)
04/03/2011Nested Mixin-Methods in AgoraAgora: The Story of the Simplest MOP in the World - or - The Scheme of Object-Orientation
03/08/2011Any rule-based system hasMiddle History of Logic Programming
03/09/2011This could be said to justMiddle History of Logic Programming
03/09/2011True. But if you have goodMiddle History of Logic Programming
03/09/2011For production languages,Middle History of Logic Programming
03/09/2011I agree practical speed isMiddle History of Logic Programming
03/09/2011I'm pretty sure C++ isMiddle History of Logic Programming
02/28/2011We should only critiqueInfoQ video + transcript of Rob Pike on Go
03/01/2011I disagree. At the veryInfoQ video + transcript of Rob Pike on Go
03/01/2011Art is designed to conveyInfoQ video + transcript of Rob Pike on Go
03/01/2011I didn't say code was art, IInfoQ video + transcript of Rob Pike on Go
03/01/2011Obviously, the 3 year oldInfoQ video + transcript of Rob Pike on Go
03/01/2011I once designed a languageInfoQ video + transcript of Rob Pike on Go
03/01/2011A long time ago, I got intoInfoQ video + transcript of Rob Pike on Go
02/15/2011SuperglueExperience with non-linearized superclasses?
02/13/2011Monads vs. ActorsMonads vs. Actors
02/13/2011ClarificationMonads vs. Actors
02/15/2011My point was more aboutMonads vs. Actors
02/14/2011Done, thanks!Monads vs. Actors
01/23/2011Take passwords as anotherI've run out of programming languages to study
01/23/2011Whatever you think about theI've run out of programming languages to study
01/23/2011In terms of the technology,I've run out of programming languages to study
01/24/2011I'm not arguing thatI've run out of programming languages to study
02/02/2011Mainstream languages shouldI've run out of programming languages to study
02/08/2011Proof and puddingI've run out of programming languages to study
02/13/2011Usable languagesI've run out of programming languages to study
01/20/2011This sounds related to theguy steele on how (not) to think of parallel programming
01/21/2011guy steele on how (not) to think of parallel programmingguy steele on how (not) to think of parallel programming
01/22/2011Bling doesn't do this, itguy steele on how (not) to think of parallel programming
01/23/2011I'm not mixing parallel andguy steele on how (not) to think of parallel programming
01/23/2011Sorry, I'm attacking twoguy steele on how (not) to think of parallel programming
01/23/2011Bling has no liveguy steele on how (not) to think of parallel programming
01/23/2011We are talking aboutguy steele on how (not) to think of parallel programming
01/24/2011That cores will scale is aguy steele on how (not) to think of parallel programming
01/24/2011Parallelizing can make aguy steele on how (not) to think of parallel programming
01/11/2011Bling works well forScala Team Wins ERC Grant
01/12/2011Even with instruction setScala Team Wins ERC Grant
01/07/2011The compiler doesn't have toFast Compilers
01/08/2011Only recompile the changedFast Compilers
01/08/201150 milliseconds is the upperFast Compilers
01/08/2011Fast CompilersFast Compilers
01/09/2011You won't notice it at 50Fast Compilers
01/09/2011Of course. 50 ms makes senseFast Compilers
01/09/2011Well, if you want to go thatFast Compilers
01/09/2011You can run the procedure inFast Compilers
01/09/2011Its not sunk cost per say,Fast Compilers
01/10/2011You are possibly right. TheFast Compilers
01/09/2011I believe most LCDs refreshFast Compilers
01/09/2011If the delay is noticeableFast Compilers
01/07/2011Or you could just memoizeFast Compilers
01/08/2011You can often have your cakeFast Compilers
01/19/2011There will always be twoFast Compilers
01/19/2011It might also depend on theFast Compilers
01/11/2011Or an OODBMS? But actually,Fast Compilers
12/31/2010Bling does something similarRequest for feedback: Epoch Programming Language
01/01/2011You still didn't mention howRequest for feedback: Epoch Programming Language
01/02/2011Leveraging GPUs involve veryRequest for feedback: Epoch Programming Language
01/04/2011CUDA is generally fasterRequest for feedback: Epoch Programming Language
12/30/2010I think the Scala compilerThe AST Typing Problem
12/31/2010I thought that they wereThe AST Typing Problem
12/25/2010Type systems for structured languagesType systems for structured languages
12/25/2010Definitely modifications areType systems for structured languages
12/28/2010I was specifically inquiringType systems for structured languages
12/29/2010If you are workingType systems for structured languages
12/20/2010ScalaInteresting Standard Libraries to Study
12/20/2010Most of the documentationInteresting Standard Libraries to Study
12/26/2010I don't think documentationInteresting Standard Libraries to Study
12/21/2010SmalltalkInteresting Standard Libraries to Study
01/06/2011Scala's XML support was rareInteresting Standard Libraries to Study
02/17/2011I lost on Jeopardy, baby!IBM's Watson plays Jeopardy champion Ken Jennings in February
02/17/2011Trivia is of course aboutIBM's Watson plays Jeopardy champion Ken Jennings in February
02/18/2011The computer's advantage isIBM's Watson plays Jeopardy champion Ken Jennings in February
02/17/2011Symbolic vs. ML AIIBM's Watson plays Jeopardy champion Ken Jennings in February
02/18/2011Designing abstractions is atIBM's Watson plays Jeopardy champion Ken Jennings in February
12/03/2010I always thought context wasHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
11/16/2010The Free-Form Linguistics Revolution in MathematicaThe Free-Form Linguistics Revolution in Mathematica
11/17/2010There are modular solutionsClojure's Solutions to the Expression Problem
11/18/2010The problem is one ofClojure's Solutions to the Expression Problem
11/15/201019 is a horribly smallA Preliminary Survey on Functional Programming
11/20/2010Design by focus group isA Preliminary Survey on Functional Programming
11/17/2010Depends on the shader modelClosures without function pointers
11/17/2010DX11 supports dynamic HLSLClosures without function pointers
11/08/2010Perhaps he meant that notClosures without function pointers
11/08/2010This is exactly where I'm atClosures without function pointers
11/17/2010Yep, abstractions are fineClosures without function pointers
11/08/2010Staged computation in BlingClosures without function pointers
11/17/2010If you mean aggregatingClosures without function pointers
11/05/2010First glance at the paper,yet another paradigm
11/09/2010We pretty much are alreadywhen does debugability break down?
11/10/2010More likely, you'll see morewhen does debugability break down?
11/01/2010The Myths of Object-OrientationThe Myths of Object-Orientation
10/11/2010The barrier to take-up of language innovationThe barrier to take-up of language innovation
10/12/2010The barrier to take-up of language innovationThe barrier to take-up of language innovation
10/12/2010I agree that text (andThe barrier to take-up of language innovation
10/13/2010The common uses of names toThe barrier to take-up of language innovation
10/14/2010Personally, I find namesThe barrier to take-up of language innovation
10/14/2010I believe I am consistent.The barrier to take-up of language innovation
10/15/2010Given my experience bearsThe barrier to take-up of language innovation
10/15/2010If you and the writer shareThe barrier to take-up of language innovation
10/12/2010Debatable. Historically, IDEThe barrier to take-up of language innovation
10/12/2010Your claims were thatThe barrier to take-up of language innovation
10/12/2010Apologies. I'm confusingThe barrier to take-up of language innovation
10/14/2010Human factors are at playThe barrier to take-up of language innovation
10/17/2010The barrier to take-up of language innovationThe barrier to take-up of language innovation
10/09/2010Functional reactiveA functional-programming view of time
10/09/2010Surely, researching FRPA functional-programming view of time
10/09/2010I'm not aware of anyA functional-programming view of time
10/09/2010It took me 5 years toA functional-programming view of time
10/15/2010The real challenge is inA functional-programming view of time
10/15/2010Ah, I was getting confusedA functional-programming view of time
10/09/2010A functional-programming view of timeA functional-programming view of time
10/08/2010Very off topic, but my eyesKai
09/17/2010Programming with touch?Programming with touch?
09/17/2010I never heard Reppening useProgramming with touch?
04/06/2011Hopefully notProgramming with touch?
04/08/2011Space and contextProgramming with touch?
04/08/2011You could drag one elementProgramming with touch?
04/08/2011Very interesting, thanks forProgramming with touch?
04/13/2011The submit is due Friday, soProgramming with touch?
04/09/2011Found viaProgramming with touch?
09/17/2010I like to think aboutNew Dataflow Programming Language
09/22/2010Whereas Microsoft also seemsNew Dataflow Programming Language
09/28/2010Silverlight 4 does notNew Dataflow Programming Language
09/28/2010You cannot curry singularNew Dataflow Programming Language
09/28/2010Do you have some sample codeNew Dataflow Programming Language
09/24/2010Like WPF in C#/XAML? INew Dataflow Programming Language
09/26/2010This makes a lot of sense,New Dataflow Programming Language
09/24/2010Nice, looks like BlingNew Dataflow Programming Language
09/27/2010Not sure. There are manyNew Dataflow Programming Language
08/31/2010DLR is very nice forChoosing a VM for a concurrent language
09/02/2010Of course it depends on whatChoosing a VM for a concurrent language
09/02/2010A lot of language design ISChoosing a VM for a concurrent language
09/03/2010Choosing a VM for a concurrent languageChoosing a VM for a concurrent language
09/03/2010The critical part that yourChoosing a VM for a concurrent language
09/03/2010Just because ergonomics andChoosing a VM for a concurrent language
09/03/2010You don't really need toChoosing a VM for a concurrent language
09/04/2010VM is a simplification: itsChoosing a VM for a concurrent language
09/01/2010Then again, anotherSapir-Whorf 70 years on
08/27/2010Is it time for a programmingTheoretical Computer Science StackExchange Beta now open
08/27/2010Nice Find. Would prefer theTheoretical Computer Science StackExchange Beta now open
08/27/2010PL is either theory orTheoretical Computer Science StackExchange Beta now open
08/28/2010Maybe, but it's really aTheoretical Computer Science StackExchange Beta now open
08/28/2010The mechanism and communityTheoretical Computer Science StackExchange Beta now open
08/16/2010See Jiazzi (units for Java),Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only
10/17/2010Reasonable. A tag forCompiler Design Q&A Site
10/19/2010I've scanned the questions,Compiler Design Q&A Site
10/20/2010Does anyone else rememberCompiler Design Q&A Site
08/04/2010Deprecating the Observer PatternDeprecating the Observer Pattern
08/05/2010When you guys supportDeprecating the Observer Pattern
08/05/2010In SuperGlue, the system isDeprecating the Observer Pattern
08/07/2010Let me try and think thisDeprecating the Observer Pattern
08/07/2010Me :) Here you go! Say tryDeprecating the Observer Pattern
08/07/2010Is a glitch still a glitchDeprecating the Observer Pattern
08/07/2010For x * (x + 2), theDeprecating the Observer Pattern
08/07/2010Yes, that is true. x * (x +Deprecating the Observer Pattern
07/12/2010KoduApp Inventor: Programming for non-programmers... again
06/29/2010There are techniques...ifXtext: An IDE on the cheap
06/30/2010I've been doing this inSF-calculus
06/24/2010Flat namespace is definitelyHow important is language support for namespace management?
06/10/2010The PLT team is trying toRacket Released
06/16/2010Scheme as an academic topicRacket Released
05/28/2010Alan Kay's 70thAlan Kay's 70th
05/11/2010film theory vs. programming theory"Critical code studies"
04/27/2010Security, safety, and trustThe Structure of Authority: Why security is not a separable concern
04/27/2010The Structure of Authority: Why security is not a separable concernThe Structure of Authority: Why security is not a separable concern
04/28/2010Access controls limit theThe Structure of Authority: Why security is not a separable concern
04/25/2010Good question. Basically, ISeeking thoughtful criticisms of functional programming and languages
04/22/2010Evidence? Just becauseSeeking thoughtful criticisms of functional programming and languages
04/23/2010Fair enough. I don't equateSeeking thoughtful criticisms of functional programming and languages
04/23/2010The typing (keyboard kind)Seeking thoughtful criticisms of functional programming and languages
04/21/2010Context Free ArtVisual programming for movies, games
04/09/2010iPhone PL lockdowniPhone PL lockdown
04/09/2010Extremely relevant to LtU asiPhone PL lockdown
10/27/2011CodifyiPhone PL lockdown
10/27/2011I think that would be ok,iPhone PL lockdown
10/28/2011You cannot download codeiPhone PL lockdown
10/28/2011Apple will constantly haveiPhone PL lockdown
10/28/2011Ya, but its still aniPhone PL lockdown
11/02/2011Codify is taking a big riskiPhone PL lockdown
11/03/2011Apple needs to maintainiPhone PL lockdown
11/03/2011Apple hasn't so muchiPhone PL lockdown
11/04/2011I'll go further: what aboutiPhone PL lockdown
11/04/2011Apple no longer has theiPhone PL lockdown
11/04/2011Worms aren't the only kindiPhone PL lockdown
12/08/2011Apple doesn't play wordiPhone PL lockdown
12/09/2011They don't define code oriPhone PL lockdown
12/09/2011iPhone PL lockdowniPhone PL lockdown
12/11/2011I wasn't looking for aniPhone PL lockdown
03/27/2010The language looks fairlyFantom language discussion ; what are your thoughts ?
03/08/2010CommentsFighting Bit Rot with Types (Scala Collections)
02/23/2010True...but you couldOperational Research (OR)/ Constraint Programming (CP)using GPUs
02/24/2010As I said, I really don'tOperational Research (OR)/ Constraint Programming (CP)using GPUs
02/20/2010Probably because yourReminder: OOPSLA is now SPLASH
02/20/2010Amazingly, this thread hasReminder: OOPSLA is now SPLASH
02/22/2010I'm sure the reviewers willReminder: OOPSLA is now SPLASH
02/09/2010Three points: There was aWhy prolog is by far the best, most productive, easiest programming language
02/01/2010Sometimes designing a newBabel-17 v0.2 spec is out
02/02/2010But you are being veryBabel-17 v0.2 spec is out
02/02/2010Aren't there tons of UISTWhat data sets would tell you the most about what sort of programming language to design?
01/29/2010Declarative reactive tablesDeclarative reactive tables
01/29/2010e_table and e_k are bothDeclarative reactive tables
01/29/2010I already acknowledged thatDeclarative reactive tables
01/29/2010Q1: How do you declare anDeclarative reactive tables
01/29/2010Declarative reactive tablesDeclarative reactive tables
01/31/2010design vs. implementationDeclarative reactive tables
01/31/2010I don't see theDeclarative reactive tables
01/29/2010In that case, so does LINQmore consistent macros?
01/25/2010You can also analyzeHistorical or sociological studies of programming language evolution?
01/25/2010My point was that you couldHistorical or sociological studies of programming language evolution?
01/26/2010Historical or sociological studies of programming language evolution?Historical or sociological studies of programming language evolution?
01/26/2010While there is the romanticHistorical or sociological studies of programming language evolution?
01/28/2010Programming Paradigms and Mind MetaphorsHistorical or sociological studies of programming language evolution?
01/25/2010Adaptive, incremental, self-adjusting computingGraph processing
01/25/2010As you say, sounds like justGraph processing
01/22/2010Clojure 1.1 and BeyondClojure 1.1 and Beyond
01/20/2010A lot of throw our monitorsindentation yet again?
01/21/2010Academic advice: Mathematics or Computer Science?Academic advice: Mathematics or Computer Science?
01/21/2010Academic advice: Mathematics or Computer Science?Academic advice: Mathematics or Computer Science?
01/16/2010Declarative binding vs. compositionDeclarative binding vs. composition
01/17/2010I don't buy that.Declarative binding vs. composition
01/17/2010Because people insideDeclarative binding vs. composition
01/25/2010The idea looks interesting,Declarative binding vs. composition
02/02/2010A language can have bothDeclarative binding vs. composition
01/27/2010I doubt step-wise debuggingDeclarative binding vs. composition
01/27/2010This would, for example,Declarative binding vs. composition
01/27/2010Declarative binding vs. compositionDeclarative binding vs. composition
01/27/2010Declarative binding vs. compositionDeclarative binding vs. composition
01/28/2010What I'm specifying isn't aDeclarative binding vs. composition
01/16/2010The Regiment Macroprogramming SystemThe Regiment Macroprogramming System
01/14/2010I'm working on a paper on just this right nowDiscoverability, Language Features, and the First Step Toward Composition
01/16/2010I'm familiar with Jade, butDiscoverability, Language Features, and the First Step Toward Composition
01/26/2010Ah! That ECOOP paper is aDiscoverability, Language Features, and the First Step Toward Composition
01/26/2010Different: names haveDiscoverability, Language Features, and the First Step Toward Composition
01/15/2010You should turn this postDiscoverability, Language Features, and the First Step Toward Composition
01/16/2010quantumQuantum Lambda Calculus
01/18/2010fuzzy/statistical reasoningQuantum Lambda Calculus
01/09/2010live programmingWhy Normalization Failed to Become the Ultimate Guide for Database Designers?
01/08/2010Mindset is important. RapidRapid Prototyping tools & environments from academia
01/08/2010You should try working in aRapid Prototyping tools & environments from academia
01/09/2010I can't help but wonder ifRapid Prototyping tools & environments from academia
01/15/2010Her ྛ Life on the ScreenRapid Prototyping tools & environments from academia
01/12/2010but the way i read theirdoes anybody want to fix wikipedia?
01/03/2010From my experience and hazySelfType and MyType
12/31/2009scary worldmost water-tight real-world language implementation?
12/31/2009I was kind of being serious.most water-tight real-world language implementation?
12/30/2009Open wiki-like code repositoryOpen wiki-like code repository
12/30/2009comment deleted by authorOpen wiki-like code repository
12/30/2009I did my Google dueOpen wiki-like code repository
12/30/2009Have you seen github orOpen wiki-like code repository
12/30/2009No, to get scale, modularlyOpen wiki-like code repository
12/30/2009WikiWiki wouldn't work if aOpen wiki-like code repository
12/30/2009Nice, from the linkedOpen wiki-like code repository
12/31/2009Ah, all of this stuff was inOpen wiki-like code repository
12/31/2009Alternatively, one couldOpen wiki-like code repository
01/02/2010No, there are NOT two mindOpen wiki-like code repository
01/04/2010I do not believe thatOpen wiki-like code repository
12/30/2009Another ideaOpen wiki-like code repository
12/31/2009but you'd need to rejectOpen wiki-like code repository
12/31/2009It is possible to write aOpen wiki-like code repository
05/27/2011If Joe came up withOpen wiki-like code repository
12/29/2009Exploration of Program as LanguageExploration of Program as Language
12/30/2009You mean DSLs?Exploration of Program as Language
12/24/2009Ward's WikiWard's Wiki
12/26/2009Follow upWard's Wiki
12/27/2009I'm pretty sure HaskellHoliday Fun: How Programming Language Fanboys See Each Others' Languages
12/23/2009ScalaParameterized Modules
12/23/2009In Scala, object and moduleParameterized Modules
01/06/2010I like Greg's work, but whenParameterized Modules
01/04/2010This is a problem with anyParameterized Modules
12/29/2009Same situation with computerThe AI Systems of Left 4 Dead
01/04/2010Awesome link! Bling doesThe AI Systems of Left 4 Dead
12/22/2009negative results are hard to publishUnfulfilled Promises of Software Technologies? (!)
12/16/2009This article feels more likeWhy API Design Matters
12/19/2009To be fair, the WPFWhy API Design Matters
12/19/2009Why API Design MattersWhy API Design Matters
12/20/2009Twisty maze of classesWhy API Design Matters
12/21/2009This reminds me of how weWhy API Design Matters
12/22/2009Sorry, but this was notWhy API Design Matters
12/10/2009Previously on LtUChucK : A Strongly timed language
12/10/2009BSGP: bulk-synchronous GPU programmingBSGP: bulk-synchronous GPU programming
12/14/2009Just from a cursory look atBSGP: bulk-synchronous GPU programming
12/06/2009Link to Rob Pike's systemsIs Small Still Beautiful?
12/06/2009Big language researchIs Small Still Beautiful?
12/07/2009This is highly unfair to theIs Small Still Beautiful?
12/07/2009I understand your argumentIs Small Still Beautiful?
12/06/2009Incremental but not continuous?Differentiating Parsers
12/07/2009Differentiating ParsersDifferentiating Parsers
12/07/2009Differentiating ParsersDifferentiating Parsers
12/08/2009The heading "CheckpointingDifferentiating Parsers
12/08/2009I believe your experience isDifferentiating Parsers
12/08/2009If by pass you mean phaseDifferentiating Parsers
12/09/2009I take taxi'sDifferentiating Parsers
12/08/2009Memoization of parse treesDifferentiating Parsers
12/09/2009holy grailsDifferentiating Parsers
12/09/2009As for KISS, the basicDifferentiating Parsers
12/04/2009Pragmatic declarative event abstractionPragmatic declarative event abstraction
12/04/2009Its probably very related toPragmatic declarative event abstraction
12/05/2009Because the propertiesPragmatic declarative event abstraction
12/04/2009Yes, my currentPragmatic declarative event abstraction
12/04/2009Outer.Mouse.Drag.Update isPragmatic declarative event abstraction
12/05/2009Here is code that adjusts aPragmatic declarative event abstraction
12/02/2009A SIGPLAN-ish conferenceTop rated programming conferences?
12/03/2009Links:Top rated programming conferences?
11/29/2009I'm sure this was brought upReactive Extensions for .NET released this week
11/30/2009As for 2, I understand theReactive Extensions for .NET released this week
12/01/2009State machines....My answerReactive Extensions for .NET released this week
12/04/2009I had a relatedReactive Extensions for .NET released this week
11/18/2009Precedence parsing to be incrementalStatically typed Pratt parsers
11/17/2009You could also checkout myI Seek a Reasonable Survey on the Concept of "Module System"
11/18/2009Module actually has a veryI Seek a Reasonable Survey on the Concept of "Module System"
11/14/2009Ponies!!! Ok, its probablyThe perfect advanced programming language for the productive industrial developer
11/11/2009Yes, you go from writingJohn Hughes on Erlang and Haskell
10/23/2009I agree, this is dense andLanguages and systems for edge-computing?
10/25/2009I implemented a distributedLanguages and systems for edge-computing?
10/18/2009Erik Meijer's MSDN Channel 9 lecture series on functional programmingErik Meijer's MSDN Channel 9 lecture series on functional programming
10/27/2009This doesn't reflect myErik Meijer's MSDN Channel 9 lecture series on functional programming
10/01/2009To be honest, I haven't doneJVM language summit 2009
09/10/2009This is the most bizarreCreate Your Own Programming Language (book)
09/07/2009Great, now I'll have to tryDSL goodness
09/09/2009In that case, everything isDSL goodness
09/09/2009Then I disagree on yourDSL goodness
09/08/2009Extensibility problemSolving the expression problem with type classes
09/08/2009Thats one of them. GivenSolving the expression problem with type classes
08/20/2009Jedi programmingWhy determinism matters in language design.
08/23/2009So you are equatingWhy determinism matters in language design.
08/24/2009I understand what you areWhy determinism matters in language design.
08/18/2009The highest concentration ofsomething strange happened after implementing a first interpreter
08/16/2009In Chinese, dongxi is alsoEastwest: a new programming language and structure editor
08/16/2009(a) you just have to defineEastwest: a new programming language and structure editor
08/18/2009I'm going to stand by myEastwest: a new programming language and structure editor
08/20/2009Perhaps. But I guess myEastwest: a new programming language and structure editor
08/23/2009But the usability ofEastwest: a new programming language and structure editor
08/25/2009No. As far as I know, no oneEastwest: a new programming language and structure editor
08/25/2009The problem with most smartEastwest: a new programming language and structure editor
08/16/2009Or 东西 for those of usEastwest: a new programming language and structure editor
08/12/2009This is possible to someThe End of the GPU Roadmap
08/16/2009I've been looking at thisThe End of the GPU Roadmap
08/16/2009retained-mode 3D APIsThe End of the GPU Roadmap
08/17/2009Retained API that supportsThe End of the GPU Roadmap
08/20/2009I always thought that theThe End of the GPU Roadmap
10/02/2009NVIDIA Fermi/NexusThe End of the GPU Roadmap
12/27/2009Objects as Modules in NewspeakObjects as Modules in Newspeak
07/28/2009I think the Da Vinci MachineNew JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
07/29/2009The last time I looked,New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
07/29/2009I meant in a lightweight,New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
07/30/2009i believe invokedynamic isNew JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/03/2009People are interested, theEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/06/2009I think its about timeEvaluation and Usability of Programming Languages and Tools (PLATEAU)
08/08/2009I like the idea of focusingEvaluation and Usability of Programming Languages and Tools (PLATEAU)
07/29/2009I've always been a bitLtU turns 9: The year of the lurkers
07/21/2009My feeling 10 years ago wasConcepts Get Voted Off The C++0x Island
07/21/2009Bling provides abstractionsConcepts Get Voted Off The C++0x Island
07/22/2009These are all side projectsConcepts Get Voted Off The C++0x Island
07/22/2009C is more simple than C++,Concepts Get Voted Off The C++0x Island
07/22/2009The DLR is written in C# andConcepts Get Voted Off The C++0x Island
07/21/2009I think the best way toConcepts Get Voted Off The C++0x Island
07/20/2009You obviously want to useSimplicity
07/07/2009Security is not non-modular,Trade-offs with abstraction
07/07/2009The more narrow theTrade-offs with abstraction
05/27/2009There is a whole interviewTim Sweeney on Epic Games' History
05/30/20092. I agree aboutComputer music: a bastion of interactive visual dataflow languages
06/19/2009Its been done. Still, youComputer music: a bastion of interactive visual dataflow languages
12/19/2010+1, at least from myOracle, Sun, and Fortress
12/13/2010There doesn't seem to beOracle, Sun, and Fortress
07/10/2012Preview of book on scribdConversations with the Creators of Major Programming Languages
04/26/2009What if Smalltalk were invented today?What if Smalltalk were invented today?
04/26/2009Ya, we've seen the demos andIntentional tool released
04/21/2009Hmmm, I didn't see his talk2009 Lang.NET
04/21/2009In WPF databinding model,2009 Lang.NET
05/05/2009For sure, FRP discipline can2009 Lang.NET
04/15/2009One could say that thismultidimensional abstraction?
04/16/2009Maps have their uses, butmultidimensional abstraction?
04/15/2009Why is the impression thatScala Lift Off 2009
04/15/2009Surely important. But theScala Lift Off 2009
04/16/2009PL semantics definitely hasScala Lift Off 2009
11/19/2010On a tangent, windows areWhy are objects so unintuitive?
04/07/2009I don't get it. Why wouldJonathon Shapiro Wraps Up BitC
04/07/2009PL, architecture > compilerTwitter and Scala
03/29/2009Onward! is definitely fun,Onward!
03/29/2009The Physics of Programming.Onward!
03/30/2009You'd probably want to cutOnward!
03/14/2009So what? One could say thatBarbara Liskov Wins Turing Award
03/08/2009Influence of cognitive models on programming language designInfluence of cognitive models on programming language design
03/08/2009Influence of cognitive models on programming language designInfluence of cognitive models on programming language design
03/06/2009PL is more than lambdas,The Meta-LtU Thread
03/08/2009I thought PLT meantThe Meta-LtU Thread
03/10/2009Best thing I've hear all dayThe Meta-LtU Thread
02/19/2009Ack, all of the Dana stuffDana
02/22/2009I learned a long time ago...Dana
02/26/2009Need to find time to updateDana
02/26/2009Perhaps Conal's new paper onDana
02/26/20092. I'm not sure I understandDana
02/28/2009Definitely, I'm working on aDana
02/08/2009I once browsed Weinberg'sPL Grand Challenges
02/09/2009HCI is the closest to whatPL Grand Challenges
02/09/2009Obtaining an understandingPL Grand Challenges
02/09/2009This thread is probably tooPL Grand Challenges
02/10/2009PL Grand ChallengesPL Grand Challenges
01/26/2009I'm not sure if you shouldGraduate Programs in Programming Language Design/Research/Implementation?
01/28/2009Disclaimer: I'm not onGraduate Programs in Programming Language Design/Research/Implementation?
01/23/2009I've run into this before.Parsing with error recovery?
01/14/2009I design languages withoutWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Rule driven programming isWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009FYI, C# is a newish languageWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009The current way of handlingWhat Are The Resolved Debates in General Purpose Language Design?
01/12/2009Can't wait to learn more!Kodu video game
01/10/2009There are occasional jobJob board on LtU?
12/28/2008Uhm, how would Clojure2008 In Review - What Happened with Programming Languages?
12/28/2008I'd argue that you want your2008 In Review - What Happened with Programming Languages?
12/31/2008There is a lot of work on2008 In Review - What Happened with Programming Languages?
01/06/2009I'm not arguing that LISP2008 In Review - What Happened with Programming Languages?
01/11/2009Virtual memory hardware is2008 In Review - What Happened with Programming Languages?
01/12/2009Not sure I understand. If2008 In Review - What Happened with Programming Languages?
01/12/2009So you would be happy with2008 In Review - What Happened with Programming Languages?
12/28/2008Your last point is a bit2008 In Review - What Happened with Programming Languages?
12/29/2008It is weird. Maybe this is2008 In Review - What Happened with Programming Languages?
12/29/2008Surely, but the days of2008 In Review - What Happened with Programming Languages?
01/07/2009I'm not really arguing with2008 In Review - What Happened with Programming Languages?
12/28/2008Be careful of what you hope2008 In Review - What Happened with Programming Languages?
12/28/2008I'm not optimistic about the2008 In Review - What Happened with Programming Languages?
01/04/2009This is a classic red2008 In Review - What Happened with Programming Languages?
12/28/2008I went through this inA Variation of the Expression Problem and two Solutions in Scala
12/22/2008Two Lightweight DSLs for Rich UI ProgrammingTwo Lightweight DSLs for Rich UI Programming
12/22/2008Think of this as anTwo Lightweight DSLs for Rich UI Programming
01/27/2009In C#, extension methods areTwo Lightweight DSLs for Rich UI Programming
01/27/2009C# technically doesn'tTwo Lightweight DSLs for Rich UI Programming
01/28/2009Definitely, I'll upload itTwo Lightweight DSLs for Rich UI Programming
02/02/2009Uploaded now on codeplexTwo Lightweight DSLs for Rich UI Programming
02/20/2009New version of Bling is upTwo Lightweight DSLs for Rich UI Programming
02/21/2009leftmost assignment worksTwo Lightweight DSLs for Rich UI Programming
06/10/2009Bling Channel 9 interviewTwo Lightweight DSLs for Rich UI Programming
06/10/2009WPF is close to JavaFX inTwo Lightweight DSLs for Rich UI Programming
06/18/2009My use of percents is justTwo Lightweight DSLs for Rich UI Programming
06/19/2009Safe extension is notTwo Lightweight DSLs for Rich UI Programming
01/10/2009Bling WPF sort of works likeFundamental Flaws in Current Programming Language Type Systems
11/21/2008topic = problem, not techCurrent "hot" topics in parallel programming?
02/09/2009Perhaps an administratorFirst-Class Patterns
03/20/2011I just got done reading thisA Personal Computer for Children of All Ages
10/28/2008You probably know about theDeclarative layout and/or UI languages?
11/02/2008I've been using the MSDeclarative layout and/or UI languages?
11/03/2008Declarative layout and/or UI languages?Declarative layout and/or UI languages?
10/30/2008I doubt you can stereotypeDeclarative layout and/or UI languages?
10/13/2008Nice! I'm definitelyhaskell for gpu
10/21/2008I've just implemented ahaskell for gpu
09/20/2008Are you feeling FOOLish?Are you feeling FOOLish?
09/20/2008Java and VB..Java isn't soNarrowing field of languages?
02/06/2009You are assuming that CUDATwilight of the GPU
08/31/2008This is similar how binaryLanguages ready for API Evolution
07/27/2008Beyond FRP: physics-inspired programming abstractions?Beyond FRP: physics-inspired programming abstractions?
07/28/2008I should have qualified thisBeyond FRP: physics-inspired programming abstractions?
11/01/2010Maybe a better versedBeyond FRP: physics-inspired programming abstractions?
11/01/2010Just because you couldBeyond FRP: physics-inspired programming abstractions?
07/30/2008With collision detection andBeyond FRP: physics-inspired programming abstractions?
07/31/2008In a physics engine,Beyond FRP: physics-inspired programming abstractions?
07/31/2008Cool. I'm looking forward toBeyond FRP: physics-inspired programming abstractions?
03/12/2009I've released a new versionBeyond FRP: physics-inspired programming abstractions?
03/16/2009Message passing is simplyBeyond FRP: physics-inspired programming abstractions?
03/16/2009SPAM or just off topic?Beyond FRP: physics-inspired programming abstractions?
03/16/2009Been there done that.Beyond FRP: physics-inspired programming abstractions?
03/19/2009I apologize for labelingBeyond FRP: physics-inspired programming abstractions?
07/22/2008If you are buying a C++What to do about comments?
07/21/2008Functional reactive programming in C# for WPFFunctional reactive programming in C# for WPF
07/21/20081. Yes, creating a bindingFunctional reactive programming in C# for WPF
07/21/20083. we don't deal withFunctional reactive programming in C# for WPF
07/21/2008This is just for WPF (aroundFunctional reactive programming in C# for WPF
10/21/2008updated signal library to WPF BlingFunctional reactive programming in C# for WPF
07/20/2009I've added support forFunctional reactive programming in C# for WPF
07/01/2008Where would it be held?Why Multi-Core is Easy and Internet is Hard
06/23/2010Mud can also be used to bindThe A-Z of Programming Languages
06/22/2008If you haven't designed aWriting a new language - ideas?
06/14/2008My "Turing CompletenessOn the importance of Turing completeness
06/13/2008Is ACM even relevant anymore?Functional Programming in the ACM CS Curriculum
06/13/2008I think the important lessonFunctional Programming in the ACM CS Curriculum
06/14/2008But its a straight jacketFunctional Programming in the ACM CS Curriculum
06/15/2008But you forget how peopleFunctional Programming in the ACM CS Curriculum
06/06/2008Weird, looks like spam toOur Own Little Language
05/25/2008Theres always liveHOPL-III: A History of Erlang
05/26/2008Yes, but in the JVM, youHOPL-III: A History of Erlang
03/24/2008The PL educationalSIGPLAN Workshop on Undergraduate Programming Language Curriculum
03/12/2008I dislike these kinds ofEriskay: a Programming Language Based on Game Semantics
03/11/2008I dealt with this issue inExcel as a different programming paradigm
03/29/2008I guess its how you defineExcel as a different programming paradigm
02/20/2008Getting rid of static stateGilad Bracha: Cutting out Static
01/09/2008Upping the antePrediction for 2008
01/14/20081) I bet the top 10% ofPrediction for 2008
01/15/2008That wouldn't be aPrediction for 2008
01/16/2008The better programmers areComputer Science Education: Where Are the Software Engineers of Tomorrow?
01/17/2008I completely disagree:Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/04/2008Ok, I'll bite:Protium ..
11/05/2007careful with abbreviationsPL research & grad schools?
11/15/2007I'm not sure if course workPL research & grad schools?
11/17/2007Your case will be veryPL research & grad schools?
10/23/2007Yes! Shameless plug: be sureAnybody at OOPSLA?
10/17/2007It might very well have beengrammars as a shared executable specification for language processing tools
10/08/2007This is a big pet peeve ofIt's Time to Stop Calling Circuits "Hardware"
10/01/2007Palo Alto restaurants areLeave of absence
10/01/2007Well, this thread is prettyLeave of absence
10/02/2007Try any of theLeave of absence
10/03/2007Well, I suspect I'll beLeave of absence
02/01/2010Also extended journalTagless Staged Interpreters for Simpler Typed Languages
07/18/2007Going off topic, that bringsOr is it now?
07/19/2007Actually, merge for me underOr is it now?
05/23/2007Define significant, I thinkfunction overriding workaround in dynamically typed languages
05/24/2007Well, you should considerfunction overriding workaround in dynamically typed languages
05/24/2007I guess we should alsofunction overriding workaround in dynamically typed languages
05/25/2007I think Self would onlyfunction overriding workaround in dynamically typed languages
05/26/2007I consider small programsfunction overriding workaround in dynamically typed languages
05/09/2007I'm pretty stoked aboutF3 is now openjfx
05/10/2007The LTU discussion has beenF3 is now openjfx
05/02/2007Microsoft's new Dynamic Language Runtime (DLR)Microsoft's new Dynamic Language Runtime (DLR)
05/02/2007Isn't MS giving you all yourMicrosoft's new Dynamic Language Runtime (DLR)
05/02/2007Dynamic interactivity in Mathematica 6Dynamic interactivity in Mathematica 6
05/05/2007focusing on the PL constructsDynamic interactivity in Mathematica 6
05/08/2007Seems like Mathematica willDynamic interactivity in Mathematica 6
04/09/2007I respectfully disagree with"Declarative" or "Functional"
04/02/2007Check out some of my newInteractivity considered harmful
03/23/2007Living it up with a Live Programming LanguageLiving it up with a Live Programming Language
03/24/2007Thanks for theLiving it up with a Live Programming Language
03/25/2007The point was that there isLiving it up with a Live Programming Language
03/26/2007I guess I wasn't beingLiving it up with a Live Programming Language
03/27/2007I'll try to use that openingLiving it up with a Live Programming Language
03/25/2007If the language isn't simpleLiving it up with a Live Programming Language
03/26/2007The point is that theLiving it up with a Live Programming Language
04/06/2007I mean languages whoseLiving it up with a Live Programming Language
03/25/2007Here it is, but I am reallyLiving it up with a Live Programming Language
03/26/2007I agree PDF isn't ideal, butLiving it up with a Live Programming Language
04/05/2007The limiting factor isLiving it up with a Live Programming Language
05/13/2007It got in!Living it up with a Live Programming Language
02/12/2007SuperGlue is also related toReactive Programming
02/15/2007The problem is thatReactive Programming
02/15/2007I haven't really publishedReactive Programming
02/16/2007The live editing paper willReactive Programming
01/14/2010We've been doing incrementalReactive Programming
01/15/2010Physics is moreReactive Programming
01/16/2010Live programming is anReactive Programming
01/16/2010The part of Bling thatReactive Programming
01/16/2010I instead implemented a sortReactive Programming
01/18/2010I'm not sure how David'sReactive Programming
01/18/2010We are too deep, so I'llReactive Programming
01/18/2010buffering considered harmfulReactive Programming
01/18/2010Not buffering means beingReactive Programming
01/15/2010Any kind of layout that youReactive Programming
01/15/2010Right now, there is noReactive Programming
01/15/2010Two words (or maybe one):Reactive Programming
01/19/2010Reactive ProgrammingReactive Programming
01/20/2010Simplicity is important,Reactive Programming
01/20/2010The way I'm using the term,Reactive Programming
01/20/2010Channels have no semantics,Reactive Programming
01/18/2010I use 1: Signal expressionsReactive Programming
02/06/2007I'm currently working on aSteps Toward The Reinvention of Programming
02/01/2007This could go in so manybrainstorming dataflow language visualizations
01/23/2007F3: New statically typed scripting language for javaF3: New statically typed scripting language for java
01/23/2007Thanks! I have a hard timeF3: New statically typed scripting language for java
01/11/2007virtual classesMatching Objects With Patterns
12/31/2006I'm not aware of many goodMetrics for Programmatic Complexity?
12/12/2006Live editingDirectness and liveness in the morphic user interface construction environment
01/03/2010Many popular retained-modeOracles
01/04/2010First, I don't think wiki'sOracles
01/07/2010Mostly, we are arguing aboutOracles
01/06/2010This was one of the blockersOracles
01/13/2010The issue with 'controls' isOracles
01/13/2010I believe there are noOracles
01/13/2010Sync reactive means that theOracles
01/13/2010Sorry, by often I probablyOracles
01/13/2010The GPU is probably a badOracles
01/14/2010This is just an example ofOracles
01/22/2010OraclesOracles
07/28/2006sounds similar to SuperGlueGamma formalism
06/07/2006SuperGlueSuperGlue
06/15/2006Components can beSuperGlue
05/11/2006incremental parsersWhat do you believe about Programming Languages (that you can't prove (yet))?
03/31/2006The debugger is real close now[ANN] Scala-2
03/28/2006Scala is an OO language thatType Inference in Object Oriented Languages
03/23/2006SuperGlueI "got" imperative programming throught data binding
03/20/2006reversible logic and time travelReversible generators
03/12/2006PLDI really puts most of itsChoosing Conferences
03/09/2006I'm not sure what they meanTowards Applicative Relational Programming
03/09/2006Yes, using map/fold/unfoldTowards Applicative Relational Programming
03/30/2006declarativeTowards Applicative Relational Programming
12/14/2010Guido: Language Design Is Not Just Solving PuzzlesGuido: Language Design Is Not Just Solving Puzzles
12/15/2010Guido: Language Design Is Not Just Solving PuzzlesGuido: Language Design Is Not Just Solving Puzzles
12/15/2010Will it produce a useful orGuido: Language Design Is Not Just Solving Puzzles
12/16/2010Ah? Interesting, I'mGuido: Language Design Is Not Just Solving Puzzles
06/14/2009Holy cow, this almostThe Next Mainstream Programming Languages
06/14/2009SPAMThe Next Mainstream Programming Languages
01/03/2010The Next Mainstream Programming LanguagesThe Next Mainstream Programming Languages
01/31/2006See the scala.collectionsScala 2
01/15/2006compiler writers should think about IDEsPaul Vick: Language Design & Paying the UI "Tax"
01/17/2006ScalaPaul Vick: Language Design & Paying the UI "Tax"
01/18/2006use signals :)Paul Vick: Language Design & Paying the UI "Tax"
01/16/2006reuse is more than a deployment issuePaul Vick: Language Design & Paying the UI "Tax"
01/16/2006Easier said than done!Paul Vick: Language Design & Paying the UI "Tax"
12/12/2005Functional-reactive programmingIs this a new programming paradigm
12/12/2005no game semanticsIs this a new programming paradigm
12/14/2005viewing stateIs this a new programming paradigm
01/17/2007Predicated dispatch vs. dynamic inheritanceOO Language Engineering for the Post-Java Era
08/28/2005problem with imperative programmingDoes Abstraction add Fuzziness?
08/12/2005Incremental/continuous parsingSyntax Design
06/29/2005E is just a self typeGenerics are a mistake?
06/14/2005glue code languagesLIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05
06/14/2005ThanksLIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05
07/04/2011Block-based languagesNon-English-Based Programming Languages
05/13/2012Higher order versus Object orderHigher order versus Object order
05/13/2012I was only surprised thatHigher order versus Object order
03/16/2011The links in the originalAlan Kay: The Early History of Smalltalk

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/ Chris.Rathman@tx.rr.com