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

Posts By: Kay Schluehr

  Date    Post    Topic  
06/09/2012Brain drain challengeWhy Do Some Programming Languages Live and Others Die?
06/10/2012The average programmerWhy Do Some Programming Languages Live and Others Die?
04/21/2012Faster HorsesWhy and How People Use R
04/17/2012There is exactly oneCertified Programming with Dependent Types: home stretch!
04/18/2012Using the terms like AdamCertified Programming with Dependent Types: home stretch!
04/19/2012Me? I don't care either way.Certified Programming with Dependent Types: home stretch!
03/31/2012Methodologically it wouldQuantitative comparison of unit testing vs. static typing?
03/27/2012When the two pass model isParsing: The Solved Problem That Isn't
03/27/2012Ordering isn't aParsing: The Solved Problem That Isn't
03/27/2012Once you allow '.4' to be aParsing: The Solved Problem That Isn't
03/27/2012In case of a PEG one mightParsing: The Solved Problem That Isn't
04/02/2012Yes, if there was only oneParsing: The Solved Problem That Isn't
04/04/2012Local variationParsing: The Solved Problem That Isn't
04/05/2012Thanks. I haven't evenParsing: The Solved Problem That Isn't
03/22/2012Replacing for-loops byDisruptive PLT Revisited
03/12/2012Shall we throw our modelReferences about the importance of formalism in programming language design
03/12/2012Especially in science andReferences about the importance of formalism in programming language design
03/13/2012To be fair, in processReferences about the importance of formalism in programming language design
03/16/2012In the years I'm readingReferences about the importance of formalism in programming language design
03/17/2012I suppose you mean that itReferences about the importance of formalism in programming language design
02/26/2012Non of your links works inWhen Formal Systems Kill: Computer Ethics and Formal Methods
02/25/2012PLT Žižek ‏ (Note toPLT humor on Twitter
02/25/2012I would put it this way:A Concept Design for C++
02/04/2012One way to reduce bothPeak Abstraction
02/04/2012A while ago Jacques CarettePeak Abstraction
02/05/2012Locke's definition can bePeak Abstraction
02/06/2012Hm. There is, viewed inPeak Abstraction
02/06/2012You are right, but thosePeak Abstraction
02/06/2012Of course, smartassing is anPeak Abstraction
02/23/2012Traceback PatchesSyntax Desugaring Algorithm Question
01/30/2012Yes, they say that (_) is aSTEPS 2011 Progress Report (personal computing in 20kLOC)
01/31/2012Actually the precedence isSTEPS 2011 Progress Report (personal computing in 20kLOC)
02/03/2012I wonder if it would makecrazy PL idea: prescriptive trait inference
01/02/2012<a href="deca#comment-68745" class="active">LLVM</a>Deca, an LtU-friendly bare metal systems programming language
01/02/2012<a href="deca#comment-68751" class="active">A great fraction of systems</a>Deca, an LtU-friendly bare metal systems programming language
01/03/2012<a href="deca#comment-68771" class="active">New programming languages</a>Deca, an LtU-friendly bare metal systems programming language
01/06/2012<a href="deca#comment-68828" class="active">I do have to admit, the</a>Deca, an LtU-friendly bare metal systems programming language
01/18/2012<a href="deca#comment-68892" class="active">Spark Ada cares for not</a>Deca, an LtU-friendly bare metal systems programming language
01/06/2012Going Low LevelProgrammer Archeologists
12/29/2011The reality of the visionProgrammer Archeologists
01/03/2012As a fact of life no newProgrammer Archeologists
11/07/2011no one is actually lookingXtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext.
01/22/2012The fact that you canFoundations of Inference
01/25/2012Foundations of mathematicsFoundations of Inference
01/26/2012When you take a look at someFoundations of Inference
01/25/2012CommutersFoundations of Inference
11/08/2011People erroneously believe"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Finding the maximum distance"We Really Don't Know How to Compute!" by Gerald Sussman
11/11/2011Sorry, I understood your"We Really Don't Know How to Compute!" by Gerald Sussman
11/11/2011How did random search"We Really Don't Know How to Compute!" by Gerald Sussman
11/11/2011Ah, supporting valid"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011No No. NoNo. NoNoNo"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011Flexible machines"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Anyone who happens to know a"We Really Don't Know How to Compute!" by Gerald Sussman
11/10/2011Alternative proposal"We Really Don't Know How to Compute!" by Gerald Sussman
10/15/2011MacrosDennis Ritchie passed away
10/15/2011At least it crashedDennis Ritchie passed away
10/25/2011O.K. we are now thankful toDennis Ritchie passed away
10/06/2011The lesson of Jobs/Apple mayOpen thread: RIP Steve Jobs
10/06/2011There was never an appleOpen thread: RIP Steve Jobs
10/13/2011In the natural order ofOpen thread: RIP Steve Jobs
09/10/2011What needs to be doneWhat needs to be done?
09/22/2011The 'golden years' of LtUForum Topics and Story
09/22/2011One of the paradoxicalForum Topics and Story
07/17/2011... and Muhammed is his prophetThe Last Language?
07/20/2011That is, we maintainThe Last Language?
05/27/2011In the COBOL days ofYet another programming language with customizable syntax
06/07/2011It's important to keep inRob Pike: Public Static Void
05/16/2011The stack trace issue can beWhy is tail call optimization an issue in GC'd languages?
04/29/2011Also, it provides a goodTypes from imported modules "leaking" into a module's public interface
02/24/2011Isn't an actor for HewittMonads vs. Actors
02/24/2011John Searle would probablyMonads vs. Actors
01/21/2011Do you mean Davids ( and Guyguy steele on how (not) to think of parallel programming
01/07/2011Realtime compilationFast Compilers
01/08/2011O.K. code generation /Fast Compilers
02/17/2011Watson is only funny becauseIBM's Watson plays Jeopardy champion Ken Jennings in February
12/15/2010Can you tell why you feltThe fundamental limitations of parser combinators... and how to fix them.
12/05/2010Productive fallaciesHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
12/04/2010Beautiful treesPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/29/2010How is this approach moreYacc is dead
11/21/2010I have solved the IO problem!Clojure's Solutions to the Expression Problem
10/22/2010The problem was how toLooking for pointers: mixfix error recovery
10/23/2010I assume it is hard to findLooking for pointers: mixfix error recovery
10/24/2010Not much, due to lack ofLooking for pointers: mixfix error recovery
10/12/2010If it isn't intuitive youThe barrier to take-up of language innovation
10/15/2010Out of curiosity: I wonderThe barrier to take-up of language innovation
10/03/2010Why does the particular formEff - Language of the Future
09/18/2010I think free-form textualProgramming with touch?
09/22/2010Killing dataflowsNew Dataflow Programming Language
09/24/2010Have you discovered anythingNew Dataflow Programming Language
09/25/2010I don't really remember theNew Dataflow Programming Language
09/11/2010Programmers define modular,Fortifying Macros
09/13/2010I don't understand why youFortifying Macros
09/13/2010Yes, very clever andFortifying Macros
09/15/2010Yes, it is a bit like "KayFortifying Macros
07/16/2010A philosophical problem usedIs mathematics invention or discovery?
07/13/2010About TokenTracersGenerative Grammar-based Computation
07/13/2010If restricted to CFGs, youGenerative Grammar-based Computation
07/14/2010Now since you have shown usGenerative Grammar-based Computation
11/21/2010GPGenerative Grammar-based Computation
11/23/2010GEGenerative Grammar-based Computation
07/14/2010We cannot resolve theApp Inventor: Programming for non-programmers... again
06/26/2010As far back as I know,Xtext: An IDE on the cheap
06/26/2010The "established canon"Why Undergraduates Should Learn the Principles of Programming Languages
06/26/2010I agree that TMs areWhy Undergraduates Should Learn the Principles of Programming Languages
06/26/2010The war has been long lostWhy Undergraduates Should Learn the Principles of Programming Languages
06/07/2010Since when is engineeringsome critiques of the Semat initiative
06/08/2010OT: Citeseer - Error or Compromised?The Galois connection between syntax and semantics
05/28/2010Revolutionary? What doesAlan Kay's 70th
05/11/2010Sokal reloaded"Critical code studies"
05/15/2010I'm strongly in favor of"Critical code studies"
05/04/2010If Guppy allows numerals toGuppy: trying to make parsing simple, fun, and powerful
05/05/2010What about more complex rules?Guppy: trying to make parsing simple, fun, and powerful
05/08/2010This looks like specialGuppy: trying to make parsing simple, fun, and powerful
05/05/2010I don't think Joey Adams canGuppy: trying to make parsing simple, fun, and powerful
05/23/2010Semantic actions are a deathGuppy: trying to make parsing simple, fun, and powerful
05/30/2010Context sensitivityGuppy: trying to make parsing simple, fun, and powerful
05/01/2010Politicians are at leastThe Structure of Authority: Why security is not a separable concern
04/23/2010From Jane StreetSEC interested in formalising contracts ... in Python
04/23/2010You sometimes find successSEC interested in formalising contracts ... in Python
04/25/2010Von dem Fischer und siine FruSEC interested in formalising contracts ... in Python
04/26/2010A programming languageSEC interested in formalising contracts ... in Python
04/27/2010Managing the US financialSEC interested in formalising contracts ... in Python
06/22/2010Come to think of it,seL4: Formal Verification of an Operating-System Kernel
06/25/2010Two brief remarks. FrankseL4: Formal Verification of an Operating-System Kernel
04/16/2010Not quite what you are looking forHow can C Programs be so Reliable?
04/16/2010Paul and Ray are both onHow can C Programs be so Reliable?
04/16/2010It's not as portable as youHow can C Programs be so Reliable?
04/10/2010SchadenfreudeiPhone PL lockdown
04/11/2010Actually, on SmartCards itiPhone PL lockdown
04/13/2010"Dominance" and "empire",iPhone PL lockdown
04/15/2010I find it odd thatsplitting the program into formalizable vs. non-formalizable parts?
04/17/2010Well, when a researchsplitting the program into formalizable vs. non-formalizable parts?
06/12/2010I'm somehow in the sameplt vs. something else for programming in the large?
06/16/2010it is more about disputesplt vs. something else for programming in the large?
02/05/2010I guess you have ratherContinuity Analysis of Programs
02/18/2010Calculation seems to largelyWhat data sets would tell you the most about what sort of programming language to design?
02/20/2010Are you suggesting thatWhat data sets would tell you the most about what sort of programming language to design?
02/01/2010Not sure why capabilitiesmore consistent macros?
01/24/2010Project SikuliProject Sikuli
01/17/2010Any thoughts about theDeclarative binding vs. composition
12/31/2009I don't see how formalityUnfulfilled Promises of Software Technologies? (!)
12/17/2009To bring a PL angle: thinkWhy API Design Matters
12/18/2009When I talk about weakWhy API Design Matters
12/18/2009John, let's continue thisWhy API Design Matters
12/18/2009It's interesting thatWhy API Design Matters
12/19/2009I know about Bling. RightWhy API Design Matters
12/21/2009The solution, I think, is toWhy API Design Matters
10/13/2010various symbols are usedActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing
12/08/2009For example, you can skipDifferentiating Parsers
12/09/2009I want to find an approachDifferentiating Parsers
12/09/2009Basically, it seems thatDifferentiating Parsers
12/09/2009I agree although many lexersDifferentiating Parsers
12/06/2009By avoiding sharingTwo Bits: The Cultural Significance of Free Software
11/03/2009If that were the case, thenGilad Bracha on "Atomic Install"
11/07/2009Code can't explain whoLiterate Programming: Retrospect and Prospects
10/17/2009Compassion with Microsofts marketing departmentErik Meijer's MSDN Channel 9 lecture series on functional programming
09/26/2009Why Pseudo-Code?Why Pseudo-Code?
09/28/2009When I write a draft in aWhy Pseudo-Code?
10/01/2009You realize pseudo-code isWhy Pseudo-Code?
09/18/2009The big advantage I see isNoop: Google Language for the JVM
09/19/2009Annotation processors or javassistNoop: Google Language for the JVM
08/29/2009Wow !Review NP-complete Library Versioning Problem
08/26/2009That an algorithm usesReview NP-complete Library Versioning Problem
08/26/2009Not a proofReview NP-complete Library Versioning Problem
08/26/2009The actual error in myReview NP-complete Library Versioning Problem
09/01/2009Review NP-complete Library Versioning ProblemReview NP-complete Library Versioning Problem
08/14/2009The "dynamic syntax" cannotPerl Cannot Be Parsed: A Formal Proof
08/15/2009My point is basically thatPerl Cannot Be Parsed: A Formal Proof
08/08/2009I wonder if one couldseeking help: approaches to model based development?
07/20/2009I wonder what counts as aUnladen Swallow: LLVM based Python compiler
07/08/2009The quotas cannot be justTrade-offs with abstraction
07/04/2009The hit list looks likeTop 200 Blogs for Developers
06/18/2009Oh, yeah and since we are atHow important is it to have catchalls and interceptors in a programming language
06/07/2009Code as a palimpsestThe Myth of the Genius Programmer
05/11/2009So a language agnosticWhy Did M.I.T. Switch from Scheme to Python?
05/07/2009Ironically Scott receivedRight on!
05/07/2009Because they are machines.Right on!
05/07/2009I do not quite understandRight on!
05/08/2009I'm surprised that someoneRight on!
05/07/2009I'd ask media theory a laRight on!
05/07/2009You can find enough evidenceRight on!
05/04/2009What about the "greatLooking for list of programming problems to thoroughly test a language
04/26/2009Well, just to mention this.Intentional tool released
04/23/2009Katahdin was mentioned inA programming language with extensible syntax
11/17/2010OO makes difficult toWhy are objects so unintuitive?
11/18/2010Zenotic inertiaWhy are objects so unintuitive?
04/11/2009The origin of objects from PhotoshopWhy are objects so unintuitive?
04/03/2009Yes, but everyone expectsLtU: Forum not blog
03/14/2009NDEBarbara Liskov Wins Turing Award
02/04/2009What is the dual of { } ?What is the dual of { } ?
02/08/2009Well, I'm not quite gladWhat is the dual of { } ?
01/30/2009This sounds much like thePL Grand Challenges
01/29/2009The absence of languagePL Grand Challenges
01/24/2009You tried it from the wrong endExtensible Term Language 0.2.1
01/26/2009Of course I agree thatExtensible Term Language 0.2.1
01/21/2009One thing is for sure: WeElephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/24/2009Do you think actualElephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/26/2009I wonder about your fidelityElephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/19/2009I am more interested inMacro systems
01/19/2009Well, it is the runtime ofMacro systems
01/20/2009Chris clarified thingsMacro systems
01/24/2009RightWhat Are The Resolved Debates in General Purpose Language Design?
01/11/2009Asking backMonads = lazy, effect types = strict?
12/31/2008Malstrom of the blogowikiredditsphere2008 In Review - What Happened with Programming Languages?
12/31/2008The bigger deal with Python2008 In Review - What Happened with Programming Languages?
01/01/2009Predictions are hard2008 In Review - What Happened with Programming Languages?
01/03/2009I like the idea of turning2008 In Review - What Happened with Programming Languages?
01/05/2009I'm not entirely surprised2008 In Review - What Happened with Programming Languages?
06/10/2009My poor programmers opinionTwo Lightweight DSLs for Rich UI Programming
06/18/2009I have done some prettyTwo Lightweight DSLs for Rich UI Programming
12/06/2008FunnyFP Jobs
11/22/2008Eso innovationGuy Steele & Richard Gabriel: 50 in 50
11/04/2008How do you beat quicksort?New Programming Language Idea
10/30/2008I think that the obsessionDeclarative layout and/or UI languages?
10/07/2008ANTLR, Gazelle, Trail, ...Parsing Expression Grammars
10/10/2008I'm not sure anyone prefersParsing Expression Grammars
10/11/2008ToolsParsing Expression Grammars
10/07/2008Can the algorithms underParsing Expression Grammars
09/21/2008Intel Ct: C for Throughput ComputingIntel Ct: C for Throughput Computing
03/09/2008Lisp? Ruby? Python?Applied Metamodelling: A Foundation for Language Driven Development
01/23/2008The first rule ofHow useful is reflection, anyway?
01/23/2008A simple challengeHow useful is reflection, anyway?
01/23/2008O.K. so we have that :)How useful is reflection, anyway?
01/27/2008I believe that reflectiveHow useful is reflection, anyway?
01/16/2008PEGs are awfullTreetop: Packrat Parser Generator for Ruby
01/16/2008Do you want to make aTreetop: Packrat Parser Generator for Ruby
01/16/2008Ordered choicesTreetop: Packrat Parser Generator for Ruby
01/16/2008Longest match fixesTreetop: Packrat Parser Generator for Ruby
01/20/2008The problem withUnderstanding category theory and its practical applications
01/09/2008(1) Hybrid type systems andPrediction for 2008
09/21/2008Prediction revisitedPrediction for 2008
01/15/2008And the industrial communityPrediction for 2008
01/03/2008Terminological questionThe worker/wrapper transformation
12/14/2007Is there any inherent reasonCUFP write-up
12/14/2007Seriously, I'm not sure whatCUFP write-up
12/11/2007I would suggest to justA Growable Language Manifesto
11/07/2007But it's a rather shallowDependent Classes
10/29/2007Question. Wouldn't it makePL research & grad schools?
11/03/2007Observer activityGödel, Nagel, minds and machines
10/25/2007Yes, the term DSL is nowOn DSL, Smalltalk and FP
11/03/2007The identity is flawed. OneOn the Importance of Purity
11/04/2007PLT as a fashionOn the Importance of Purity
10/29/2007This [RT] may not sound veryOn the Importance of Purity
10/17/2007Need for explanation and a short rantgrammars as a shared executable specification for language processing tools
10/18/2007For example, there is a waygrammars as a shared executable specification for language processing tools
10/17/2007Bingo!grammars as a shared executable specification for language processing tools
10/17/2007You quoted a research papergrammars as a shared executable specification for language processing tools
10/12/2007I hope these won't becomeExamples of large-scale functional language projects
11/19/2007Honestly, Python leaves meExamples of large-scale functional language projects
10/06/2007I wonder whether aComputing is a Natural Science
10/07/2007Programming languages of artificial brainsComputing is a Natural Science
10/07/2007Cybernetic Software EngineeringComputing is a Natural Science
10/12/2007Science as defined byComputing is a Natural Science
10/01/2007Slightly OTLeave of absence
10/01/2007Thanks, sounds promising -Leave of absence
09/25/2007I suspect your crystal ball is blindTim Bray and Erlang
09/19/2007But we go through cycles inDivaScheme
09/05/2007Technologies as eco-systemsNo Name: Just Notes on Software Reuse
09/04/2007Natural science of softwareNo Name: Just Notes on Software Reuse
08/31/2007Boutique language going Wal MartR6RS Validated
10/02/2007LucidHistory of causes as object identity
09/07/2007It sounds like...What is a state?
08/14/2007Skipping C - SPE and synthetic programming in PythonSkipping C - SPE and synthetic programming in Python
08/20/2007Coolness factor FPGoogle Python Sprint 2007
08/14/2007You have greater chances ofcreating my own programming language
08/15/2007Compiler Constructioncreating my own programming language
08/03/2007Livelogix is not aliveSyntactic abstraction? (newbie question)
08/19/2007Monads for the massesMonad Description For Imperative Programmer
08/19/2007To me this doesn't make anyMonad Description For Imperative Programmer
07/30/2007"Please reduce the followingLtU turns 7: The year of spam
07/28/2007Subset(s)Seam from PLT perspective
07/21/2007Who is prepared for the Nirvana?Language Nirvana - Simon Peyton-Jones
07/31/2007As always I have my doubts.Language Nirvana - Simon Peyton-Jones
08/01/2007Paul, Blub and Nirvana areLanguage Nirvana - Simon Peyton-Jones
08/01/2007From Nirvana to ParadiseLanguage Nirvana - Simon Peyton-Jones
07/19/2007#1Or is it now?
07/20/2007How to determine the boundary?Or is it now?
07/18/2007I don't think this is true.Whoever does not understand LISP, is doomed to reinvent it.
07/16/2007Morphing to the end of the power hierarchyWhoever does not understand LISP, is doomed to reinvent it.
07/19/2007Do you know which languagesWhoever does not understand LISP, is doomed to reinvent it.
07/15/2007I'm a bit confused. I wouldWhoever does not understand LISP, is doomed to reinvent it.
07/13/2007I thought about test drivenType inference for free?
07/02/2007DSL + General purpose languageGood Language Design Principals for Scripting Languages
07/08/2007Nice to see these ideas areGood Language Design Principals for Scripting Languages
06/20/2007Lambda, lambda, lambdaPython 3000 Status Update
06/20/2007Refactoring lambda in PythonPython in Pardus Linux
06/24/2007Most people do not learn newPLs and large scale development
06/21/2007Ericssons banPLs and large scale development
06/16/2007In my experience the majorDistributed Objects vs. Messaging
06/07/2007Everything seems to dependHOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/10/2007Ironically I never used C++HOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/11/2007You might also take a lookHOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/03/2007While this idea is appealingMerging Functions, Modules, Classes, the whole nine yards...
06/03/2007Lolcode, monkeys and dolphinsIM IN UR COMPUTER, HAXIN UR CODE
06/03/2007These aren't problems; theseIM IN UR COMPUTER, HAXIN UR CODE
05/30/2007Lazyness in C"Practical" advantages of lazy evaluation
05/31/2007But is that what you are"Practical" advantages of lazy evaluation
05/26/2007If the Ruby program onlyfunction overriding workaround in dynamically typed languages
05/26/2007JIT + imagefunction overriding workaround in dynamically typed languages
05/26/2007See also this Python PEPfunction overriding workaround in dynamically typed languages
05/20/2007What is a "domain specific language"?What is a "domain specific language"?
05/20/2007Reliability vs security ?Social Processes and Proofs of Theorems and Programs
01/05/2008The Silver Bullet - how the werewolve survivedSocial Processes and Proofs of Theorems and Programs
01/06/2008Maybe a possibly wrongSocial Processes and Proofs of Theorems and Programs
05/09/2010Proving correctness for aSocial Processes and Proofs of Theorems and Programs
05/14/2007It's not about politics butMicrosoft's new Dynamic Language Runtime (DLR)
04/26/2007Real fandomArc in action (a.k.a. it's aliiiiive!)
04/26/2007The next guyArc in action (a.k.a. it's aliiiiive!)
05/01/2007Dynamic Language RuntimeArc in action (a.k.a. it's aliiiiive!)
04/24/2007"I am not trying to start aAlmost invisible upgrade
04/24/2007I have little idea howFrom abstract interpretation to small-step typing
04/25/2007Your strategy seems toFrom abstract interpretation to small-step typing
04/21/2007Worse is betterWhy is there not a PL with a mathematical type system?
04/21/2007Maybe you should stateWhy is there not a PL with a mathematical type system?
04/17/2007Sometimes you can have theTwitter and Rails brouhaha
04/19/2007How much code did you haveTwitter and Rails brouhaha
04/20/2007canonisation, motivation, infantilisationThoughts about the Best Introductory Language
04/18/2007Mathematica as a general purpose languageThoughts about the Best Introductory Language
04/01/2007flexitype is the new dynamicExpect New Major Language Within Five Years
04/01/2007I for once prefer static +Expect New Major Language Within Five Years
09/15/2009The linked articleRegular Expression Matching Can Be Simple And Fast
09/16/2009No. Thompson's constructionRegular Expression Matching Can Be Simple And Fast
09/17/2009Oh, yeah. Thanks a lot,Regular Expression Matching Can Be Simple And Fast
01/21/2007TriggersF3: New statically typed scripting language for java
03/03/2007Short answerWhy people don't use functional programming?
01/18/2007I'd rather see this amountInterlanguage Migration: From Scripts to Programs
12/30/2006foreground/backgroundAgentSheets: End-User Programing (and Secret Lisp Success Story!)
12/06/2006Languages with first order types and partial evaluationLanguages with first order types and partial evaluation
12/01/2006Here are some little lessStephen Wolfram forecasts the future
11/29/2006Looks indeed like one yearCheat Sheet
12/01/2006Upside down programmingRequest for feedback: hobbyist post on "the significance of the meta-circular interpreter."
11/28/2006Step out of debuggingThe Future of LtU
12/01/2006This discussion about theThe Future of LtU
12/02/2006I think having a siteThe Future of LtU
11/27/2006You forget to mentionJava Generics and Collections
11/27/2006Terminological confusionProofs that do things
11/17/2006De-Scheming MIT?De-Scheming MIT?
11/24/2006Floor divisionDe-Scheming MIT?
11/21/2006The whitespace policy doesDe-Scheming MIT?
11/17/2006Data types would be chosenAbstractly typed languages
11/11/2006Functional programming and software engineeringFunctional programming and software engineering
11/12/2006Yes, but the "multiparadigm"Functional programming and software engineering
11/12/2006Yes. But it is notFunctional programming and software engineering
11/12/2006I'm not sure if I'veFunctional programming and software engineering
11/14/2006REFALFunctional programming and software engineering
11/02/2006But it might be better fromA rationale for semantically enhanced library languages
11/03/2006I don't think your argumentA rationale for semantically enhanced library languages
11/04/2006Some bugs must stay.A rationale for semantically enhanced library languages
11/06/2006The macro dilemmaA rationale for semantically enhanced library languages
11/04/2006Sorry Dave, but yourWant to learn something new
11/04/2006Another recommendation isWant to learn something new
11/06/2006VHDLWant to learn something new
11/04/2006Suggesting to replaceFuture of software design?
10/27/2006I gather a number of folksRuby 2.0 News
10/15/2006The deprived programmerGood Ideas, Through the Looking Glass
10/01/2006It's in the airTim Bray: Dynamic-Language IDEs
10/02/2006Cold code is deadTim Bray: Dynamic-Language IDEs
10/02/2006That was "... it infersTim Bray: Dynamic-Language IDEs
10/02/2006They type of obj cannot beTim Bray: Dynamic-Language IDEs
09/24/2006Is "post OO" just over?Is "post OO" just over?
09/24/2006Maybe everybody shall justDesigning a Programming Textbook
09/23/2006Squaring the circleSSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing?
09/20/2006BASIC romanticsWhy Johnny can't code
08/26/2006Here we are againunchecked exceptions are like runtime type checking?
08/27/2006Final fantasyunchecked exceptions are like runtime type checking?
08/24/2006Revolution next door"Language Oriented Programming" Meta Programming System
08/27/2006Friendly surface syntax"Language Oriented Programming" Meta Programming System
09/16/2006U-Write-It"Language Oriented Programming" Meta Programming System
08/08/2006Isn't it very hard toautomatic theorem proving
08/03/2006Lisp forumLisp Beginer seeking for advice
07/31/2006DylanLisp sans (((paren-theses ((hell)))))
07/30/2006PrototypesPolymorphic replacement
07/22/2006Gamma formalismGamma formalism
07/28/2006PipelinesGamma formalism
07/16/2006Adding apples and orangesOOP Parallel class hierarchies
07/17/2006Hypothetical deductionOOP Parallel class hierarchies
07/15/2006Maybe you should explainOOP Parallel class hierarchies
07/03/2006Are you shure that thePluvo : new hybrid scripting language
07/01/2006Stackless and PyPyIntroduction to Concurrent Programming with Stackless Python
07/01/2006Leibniz was apparently aGottfried Wilhelm Leibniz
06/26/2006Note some paradoxalLtU: Policies document
06/21/2006And this for an entertainingRules for Developing Safety-Critical Code
06/22/2006It changes your mindWhat are the real benefits of FP?
06/25/2006What is the reality of "paradigms"?What are the real benefits of FP?
06/25/2006I seem to have lost myWhat are the real benefits of FP?
06/25/2006Systems theory - some thaughtsWhat are the real benefits of FP?
06/26/2006Group therapyWhat are the real benefits of FP?
06/21/2006I disagree that it is aThe OO barrier
06/21/2006Embracing changesThe OO barrier
06/21/2006ADTs in a world without boundariesThe OO barrier
06/18/2006Cobol == Co(b)ol == CoolThe Semicolon Wars
06/08/2006When I listen programmersWhy Are ALL Programming Languages So Low Level?
03/05/2008EasyExtend 3.0EasyExtend - Python MetaProgramming
05/16/2006Ruby is Objects all the wayruby vs python
05/16/2006Good point!ruby vs python
05/17/2006You address two issues. Oneruby vs python
09/24/2006Hi Doug, thanks for yourruby vs python
01/18/2008Or do you mean otherruby vs python
05/19/2006JavaScript meets Haskellruby vs python
01/18/2008The state of discussion hereruby vs python
01/17/2008Peter, I do think theseruby vs python
05/04/2006For example, I just typeYour favourite editor/IDE
05/04/2006I'd be very interested toYour favourite editor/IDE
03/06/2008Execution trace junkWhat do you believe about Programming Languages (that you can't prove (yet))?
07/28/2006Go softcomputingWhat do you believe about Programming Languages (that you can't prove (yet))?
01/19/2007Apple chic and Prêt-à-porterWhat do you believe about Programming Languages (that you can't prove (yet))?
01/19/2007Was that some stylisticWhat do you believe about Programming Languages (that you can't prove (yet))?
05/19/2009I love to read this... liveWhat do you believe about Programming Languages (that you can't prove (yet))?
05/19/2009Please...What do you believe about Programming Languages (that you can't prove (yet))?
05/20/2009Kay is (I suspect) lookingWhat do you believe about Programming Languages (that you can't prove (yet))?
05/21/2009Thinking big vs thinking smallWhat do you believe about Programming Languages (that you can't prove (yet))?
04/06/2006Python 2.5a1 releasedPython 2.5a1 released
04/01/2006PHP?PHP 6 picks up GOTO and COMEFROM
04/01/2006Kind regards to WittgensteinClass hierarchies and Ontologies
03/20/2006I wonder how the reverseReversible generators
03/16/2006Does Haskell become anotherProgramming: 50, 100 years from now
03/16/2006Well, rmalafias point seemsProgramming: 50, 100 years from now
03/16/2006This is an interesting topicProgramming: 50, 100 years from now
03/17/2006Those safety regulations doProgramming: 50, 100 years from now
03/04/2006CT intro to monadsWhen is one thing equal to some other thing?
02/28/2006Tail call elimination decorator in PythonTail call elimination decorator in Python
02/28/2006nocentTail call elimination decorator in Python
03/02/2006In order to let this workTail call elimination decorator in Python
03/02/2006Yupp! My fault.Tail call elimination decorator in Python
05/10/2006Update - New Tail Recursion DecoratorTail call elimination decorator in Python
08/21/2007Comment the decorators outTail call elimination decorator in Python
02/19/2006Unintended inheritanceGilad Is Right
02/20/2006Retrieving the definitional contextGilad Is Right
02/24/2006Humpty Dumpty as a philosopherGilad Is Right
02/18/2006Plugged to vanishGilad Is Right
02/23/2006The case or RPython in PyPyGilad Is Right
02/12/2006Since when Python has noGuido: Language Design Is Not Just Solving Puzzles
02/12/2006NopeGuido: Language Design Is Not Just Solving Puzzles
01/05/2011No peace among nerdsGuido: Language Design Is Not Just Solving Puzzles
02/12/2006Python is not SchemeGuido: Language Design Is Not Just Solving Puzzles
02/12/2006This could be fatal becauseGuido: Language Design Is Not Just Solving Puzzles
02/15/2006About rebinding of names inGuido: Language Design Is Not Just Solving Puzzles
02/12/2006Slightly OT : Robert Glass about SW failure mythGuido: Language Design Is Not Just Solving Puzzles
02/13/2006This is pacifying to listen.Guido: Language Design Is Not Just Solving Puzzles
02/13/2006O.K.Guido: Language Design Is Not Just Solving Puzzles
02/13/2006Three wishes onlyGuido: Language Design Is Not Just Solving Puzzles
02/13/2006Beyond UMLGuido: Language Design Is Not Just Solving Puzzles
02/14/2006Sorry state of ADLsGuido: Language Design Is Not Just Solving Puzzles
02/12/2006The interfaceGuido: Language Design Is Not Just Solving Puzzles
02/12/2006Ghostly machinesGuido: Language Design Is Not Just Solving Puzzles
02/12/2006Il-iterationSociology of a Language Construct
08/21/2007Social engineeringThe Next Mainstream Programming Languages
02/03/2006Please help me with CTLambda the Ultimate Set Comprehension
12/31/2005Limited collaborationReturn of the Global Variables?
01/03/2006Excessive separationsReturn of the Global Variables?
01/04/2006Thanks Matt, for linking thisReturn of the Global Variables?
11/23/2005Many of the pieces of great cCode Reading
11/23/2005No matter, Ehud. Rules are neCode Reading
11/25/2005Visual Code SmellsCode Reading
11/18/2005Successors?Ruby the Rival
11/18/2005Postmodern languagesRuby the Rival
11/19/2005Appropriate stereotypesRuby the Rival
11/20/2005Beyond the borderRuby the Rival
11/13/2005Optimization?Algebra Of Programming (Bird, De Moor)
11/10/2005Io like prototypes in PythonPrototype based OO
06/04/2006EasyExtendLet's make a programming language!
06/04/2006I disagree with yourLet's make a programming language!
06/06/2006Use casesLet's make a programming language!
09/15/2005Whose myth?expressivity of "idiomatic C++"
10/07/2005C++ is scalable tooIan Bicking: The challenge of metaprogramming
10/07/2005Python functions have static scopeIan Bicking: The challenge of metaprogramming
10/08/2005Rebinding namesIan Bicking: The challenge of metaprogramming
03/05/2006Standard PythonIan Bicking: The challenge of metaprogramming
02/11/2012There might be a certainEmbedding Prolog in Haskell
12/19/2008Everything is a monadExplaining monads
01/06/2009As I stated before, theExplaining monads

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