Posts By: Kay Schluehr
| Date | Post | Topic |
| 06/09/2012 | Brain drain challenge | Why Do Some Programming Languages Live and Others Die? |
| 06/10/2012 | The average programmer | Why Do Some Programming Languages Live and Others Die? |
| 04/21/2012 | Faster Horses | Why and How People Use R |
| 04/17/2012 | There is exactly one | Certified Programming with Dependent Types: home stretch! |
| 04/18/2012 | Using the terms like Adam | Certified Programming with Dependent Types: home stretch! |
| 04/19/2012 | Me? I don't care either way. | Certified Programming with Dependent Types: home stretch! |
| 03/31/2012 | Methodologically it would | Quantitative comparison of unit testing vs. static typing? |
| 03/27/2012 | When the two pass model is | Parsing: The Solved Problem That Isn't |
| 03/27/2012 | Ordering isn't a | Parsing: The Solved Problem That Isn't |
| 03/27/2012 | Once you allow '.4' to be a | Parsing: The Solved Problem That Isn't |
| 03/27/2012 | In case of a PEG one might | Parsing: The Solved Problem That Isn't |
| 04/02/2012 | Yes, if there was only one | Parsing: The Solved Problem That Isn't |
| 04/04/2012 | Local variation | Parsing: The Solved Problem That Isn't |
| 04/05/2012 | Thanks. I haven't even | Parsing: The Solved Problem That Isn't |
| 03/22/2012 | Replacing for-loops by | Disruptive PLT Revisited |
| 03/12/2012 | Shall we throw our model | References about the importance of formalism in programming language design |
| 03/12/2012 | Especially in science and | References about the importance of formalism in programming language design |
| 03/13/2012 | To be fair, in process | References about the importance of formalism in programming language design |
| 03/16/2012 | In the years I'm reading | References about the importance of formalism in programming language design |
| 03/17/2012 | I suppose you mean that it | References about the importance of formalism in programming language design |
| 02/26/2012 | Non of your links works in | When Formal Systems Kill: Computer Ethics and Formal Methods |
| 02/25/2012 | PLT Žižek (Note to | PLT humor on Twitter |
| 02/25/2012 | I would put it this way: | A Concept Design for C++ |
| 02/04/2012 | One way to reduce both | Peak Abstraction |
| 02/04/2012 | A while ago Jacques Carette | Peak Abstraction |
| 02/05/2012 | Locke's definition can be | Peak Abstraction |
| 02/06/2012 | Hm. There is, viewed in | Peak Abstraction |
| 02/06/2012 | You are right, but those | Peak Abstraction |
| 02/06/2012 | Of course, smartassing is an | Peak Abstraction |
| 02/23/2012 | Traceback Patches | Syntax Desugaring Algorithm Question |
| 01/30/2012 | Yes, they say that (_) is a | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 01/31/2012 | Actually the precedence is | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 02/03/2012 | I wonder if it would make | crazy 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/2012 | Going Low Level | Programmer Archeologists |
| 12/29/2011 | The reality of the vision | Programmer Archeologists |
| 01/03/2012 | As a fact of life no new | Programmer Archeologists |
| 11/07/2011 | no one is actually looking | Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. |
| 01/22/2012 | The fact that you can | Foundations of Inference |
| 01/25/2012 | Foundations of mathematics | Foundations of Inference |
| 01/26/2012 | When you take a look at some | Foundations of Inference |
| 01/25/2012 | Commuters | Foundations of Inference |
| 11/08/2011 | People erroneously believe | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | Finding the maximum distance | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/11/2011 | Sorry, I understood your | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/11/2011 | How did random search | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/11/2011 | Ah, supporting valid | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | No No. NoNo. NoNoNo | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/02/2011 | Flexible machines | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/09/2011 | Anyone who happens to know a | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 11/10/2011 | Alternative proposal | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/15/2011 | Macros | Dennis Ritchie passed away |
| 10/15/2011 | At least it crashed | Dennis Ritchie passed away |
| 10/25/2011 | O.K. we are now thankful to | Dennis Ritchie passed away |
| 10/06/2011 | The lesson of Jobs/Apple may | Open thread: RIP Steve Jobs |
| 10/06/2011 | There was never an apple | Open thread: RIP Steve Jobs |
| 10/13/2011 | In the natural order of | Open thread: RIP Steve Jobs |
| 09/10/2011 | What needs to be done | What needs to be done? |
| 09/22/2011 | The 'golden years' of LtU | Forum Topics and Story |
| 09/22/2011 | One of the paradoxical | Forum Topics and Story |
| 07/17/2011 | ... and Muhammed is his prophet | The Last Language? |
| 07/20/2011 | That is, we maintain | The Last Language? |
| 05/27/2011 | In the COBOL days of | Yet another programming language with customizable syntax |
| 06/07/2011 | It's important to keep in | Rob Pike: Public Static Void |
| 05/16/2011 | The stack trace issue can be | Why is tail call optimization an issue in GC'd languages? |
| 04/29/2011 | Also, it provides a good | Types from imported modules "leaking" into a module's public interface |
| 02/24/2011 | Isn't an actor for Hewitt | Monads vs. Actors |
| 02/24/2011 | John Searle would probably | Monads vs. Actors |
| 01/21/2011 | Do you mean Davids ( and Guy | guy steele on how (not) to think of parallel programming |
| 01/07/2011 | Realtime compilation | Fast Compilers |
| 01/08/2011 | O.K. code generation / | Fast Compilers |
| 02/17/2011 | Watson is only funny because | IBM's Watson plays Jeopardy champion Ken Jennings in February |
| 12/15/2010 | Can you tell why you felt | The fundamental limitations of parser combinators... and how to fix them. |
| 12/05/2010 | Productive fallacies | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 12/04/2010 | Beautiful trees | Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 |
| 11/29/2010 | How is this approach more | Yacc is dead |
| 11/21/2010 | I have solved the IO problem! | Clojure's Solutions to the Expression Problem |
| 10/22/2010 | The problem was how to | Looking for pointers: mixfix error recovery |
| 10/23/2010 | I assume it is hard to find | Looking for pointers: mixfix error recovery |
| 10/24/2010 | Not much, due to lack of | Looking for pointers: mixfix error recovery |
| 10/12/2010 | If it isn't intuitive you | The barrier to take-up of language innovation |
| 10/15/2010 | Out of curiosity: I wonder | The barrier to take-up of language innovation |
| 10/03/2010 | Why does the particular form | Eff - Language of the Future |
| 09/18/2010 | I think free-form textual | Programming with touch? |
| 09/22/2010 | Killing dataflows | New Dataflow Programming Language |
| 09/24/2010 | Have you discovered anything | New Dataflow Programming Language |
| 09/25/2010 | I don't really remember the | New Dataflow Programming Language |
| 09/11/2010 | Programmers define modular, | Fortifying Macros |
| 09/13/2010 | I don't understand why you | Fortifying Macros |
| 09/13/2010 | Yes, very clever and | Fortifying Macros |
| 09/15/2010 | Yes, it is a bit like "Kay | Fortifying Macros |
| 07/16/2010 | A philosophical problem used | Is mathematics invention or discovery? |
| 07/13/2010 | About TokenTracers | Generative Grammar-based Computation |
| 07/13/2010 | If restricted to CFGs, you | Generative Grammar-based Computation |
| 07/14/2010 | Now since you have shown us | Generative Grammar-based Computation |
| 11/21/2010 | GP | Generative Grammar-based Computation |
| 11/23/2010 | GE | Generative Grammar-based Computation |
| 07/14/2010 | We cannot resolve the | App Inventor: Programming for non-programmers... again |
| 06/26/2010 | As far back as I know, | Xtext: An IDE on the cheap |
| 06/26/2010 | The "established canon" | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/26/2010 | I agree that TMs are | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/26/2010 | The war has been long lost | Why Undergraduates Should Learn the Principles of Programming Languages |
| 06/07/2010 | Since when is engineering | some critiques of the Semat initiative |
| 06/08/2010 | OT: Citeseer - Error or Compromised? | The Galois connection between syntax and semantics |
| 05/28/2010 | Revolutionary? What does | Alan Kay's 70th |
| 05/11/2010 | Sokal reloaded | "Critical code studies" |
| 05/15/2010 | I'm strongly in favor of | "Critical code studies" |
| 05/04/2010 | If Guppy allows numerals to | Guppy: trying to make parsing simple, fun, and powerful |
| 05/05/2010 | What about more complex rules? | Guppy: trying to make parsing simple, fun, and powerful |
| 05/08/2010 | This looks like special | Guppy: trying to make parsing simple, fun, and powerful |
| 05/05/2010 | I don't think Joey Adams can | Guppy: trying to make parsing simple, fun, and powerful |
| 05/23/2010 | Semantic actions are a death | Guppy: trying to make parsing simple, fun, and powerful |
| 05/30/2010 | Context sensitivity | Guppy: trying to make parsing simple, fun, and powerful |
| 05/01/2010 | Politicians are at least | The Structure of Authority: Why security is not a separable concern |
| 04/23/2010 | From Jane Street | SEC interested in formalising contracts ... in Python |
| 04/23/2010 | You sometimes find success | SEC interested in formalising contracts ... in Python |
| 04/25/2010 | Von dem Fischer und siine Fru | SEC interested in formalising contracts ... in Python |
| 04/26/2010 | A programming language | SEC interested in formalising contracts ... in Python |
| 04/27/2010 | Managing the US financial | SEC interested in formalising contracts ... in Python |
| 06/22/2010 | Come to think of it, | seL4: Formal Verification of an Operating-System Kernel |
| 06/25/2010 | Two brief remarks. Frank | seL4: Formal Verification of an Operating-System Kernel |
| 04/16/2010 | Not quite what you are looking for | How can C Programs be so Reliable? |
| 04/16/2010 | Paul and Ray are both on | How can C Programs be so Reliable? |
| 04/16/2010 | It's not as portable as you | How can C Programs be so Reliable? |
| 04/10/2010 | Schadenfreude | iPhone PL lockdown |
| 04/11/2010 | Actually, on SmartCards it | iPhone PL lockdown |
| 04/13/2010 | "Dominance" and "empire", | iPhone PL lockdown |
| 04/15/2010 | I find it odd that | splitting the program into formalizable vs. non-formalizable parts? |
| 04/17/2010 | Well, when a research | splitting the program into formalizable vs. non-formalizable parts? |
| 06/12/2010 | I'm somehow in the same | plt vs. something else for programming in the large? |
| 06/16/2010 | it is more about disputes | plt vs. something else for programming in the large? |
| 02/05/2010 | I guess you have rather | Continuity Analysis of Programs |
| 02/18/2010 | Calculation seems to largely | What data sets would tell you the most about what sort of programming language to design? |
| 02/20/2010 | Are you suggesting that | What data sets would tell you the most about what sort of programming language to design? |
| 02/01/2010 | Not sure why capabilities | more consistent macros? |
| 01/24/2010 | Project Sikuli | Project Sikuli |
| 01/17/2010 | Any thoughts about the | Declarative binding vs. composition |
| 12/31/2009 | I don't see how formality | Unfulfilled Promises of Software Technologies? (!) |
| 12/17/2009 | To bring a PL angle: think | Why API Design Matters |
| 12/18/2009 | When I talk about weak | Why API Design Matters |
| 12/18/2009 | John, let's continue this | Why API Design Matters |
| 12/18/2009 | It's interesting that | Why API Design Matters |
| 12/19/2009 | I know about Bling. Right | Why API Design Matters |
| 12/21/2009 | The solution, I think, is to | Why API Design Matters |
| 10/13/2010 | various symbols are used | ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing |
| 12/08/2009 | For example, you can skip | Differentiating Parsers |
| 12/09/2009 | I want to find an approach | Differentiating Parsers |
| 12/09/2009 | Basically, it seems that | Differentiating Parsers |
| 12/09/2009 | I agree although many lexers | Differentiating Parsers |
| 12/06/2009 | By avoiding sharing | Two Bits: The Cultural Significance of Free Software |
| 11/03/2009 | If that were the case, then | Gilad Bracha on "Atomic Install" |
| 11/07/2009 | Code can't explain who | Literate Programming: Retrospect and Prospects |
| 10/17/2009 | Compassion with Microsofts marketing department | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 09/26/2009 | Why Pseudo-Code? | Why Pseudo-Code? |
| 09/28/2009 | When I write a draft in a | Why Pseudo-Code? |
| 10/01/2009 | You realize pseudo-code is | Why Pseudo-Code? |
| 09/18/2009 | The big advantage I see is | Noop: Google Language for the JVM |
| 09/19/2009 | Annotation processors or javassist | Noop: Google Language for the JVM |
| 08/29/2009 | Wow ! | Review NP-complete Library Versioning Problem |
| 08/26/2009 | That an algorithm uses | Review NP-complete Library Versioning Problem |
| 08/26/2009 | Not a proof | Review NP-complete Library Versioning Problem |
| 08/26/2009 | The actual error in my | Review NP-complete Library Versioning Problem |
| 09/01/2009 | Review NP-complete Library Versioning Problem | Review NP-complete Library Versioning Problem |
| 08/14/2009 | The "dynamic syntax" cannot | Perl Cannot Be Parsed: A Formal Proof |
| 08/15/2009 | My point is basically that | Perl Cannot Be Parsed: A Formal Proof |
| 08/08/2009 | I wonder if one could | seeking help: approaches to model based development? |
| 07/20/2009 | I wonder what counts as a | Unladen Swallow: LLVM based Python compiler |
| 07/08/2009 | The quotas cannot be just | Trade-offs with abstraction |
| 07/04/2009 | The hit list looks like | Top 200 Blogs for Developers |
| 06/18/2009 | Oh, yeah and since we are at | How important is it to have catchalls and interceptors in a programming language |
| 06/07/2009 | Code as a palimpsest | The Myth of the Genius Programmer |
| 05/11/2009 | So a language agnostic | Why Did M.I.T. Switch from Scheme to Python? |
| 05/07/2009 | Ironically Scott received | Right on! |
| 05/07/2009 | Because they are machines. | Right on! |
| 05/07/2009 | I do not quite understand | Right on! |
| 05/08/2009 | I'm surprised that someone | Right on! |
| 05/07/2009 | I'd ask media theory a la | Right on! |
| 05/07/2009 | You can find enough evidence | Right on! |
| 05/04/2009 | What about the "great | Looking for list of programming problems to thoroughly test a language |
| 04/26/2009 | Well, just to mention this. | Intentional tool released |
| 04/23/2009 | Katahdin was mentioned in | A programming language with extensible syntax |
| 11/17/2010 | OO makes difficult to | Why are objects so unintuitive? |
| 11/18/2010 | Zenotic inertia | Why are objects so unintuitive? |
| 04/11/2009 | The origin of objects from Photoshop | Why are objects so unintuitive? |
| 04/03/2009 | Yes, but everyone expects | LtU: Forum not blog |
| 03/14/2009 | NDE | Barbara Liskov Wins Turing Award |
| 02/04/2009 | What is the dual of { } ? | What is the dual of { } ? |
| 02/08/2009 | Well, I'm not quite glad | What is the dual of { } ? |
| 01/30/2009 | This sounds much like the | PL Grand Challenges |
| 01/29/2009 | The absence of language | PL Grand Challenges |
| 01/24/2009 | You tried it from the wrong end | Extensible Term Language 0.2.1 |
| 01/26/2009 | Of course I agree that | Extensible Term Language 0.2.1 |
| 01/21/2009 | One thing is for sure: We | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 01/24/2009 | Do you think actual | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 01/26/2009 | I wonder about your fidelity | Elephant 2000: A Programming Language for the year 2015 Based on Speech Acts |
| 01/19/2009 | I am more interested in | Macro systems |
| 01/19/2009 | Well, it is the runtime of | Macro systems |
| 01/20/2009 | Chris clarified things | Macro systems |
| 01/24/2009 | Right | What Are The Resolved Debates in General Purpose Language Design? |
| 01/11/2009 | Asking back | Monads = lazy, effect types = strict? |
| 12/31/2008 | Malstrom of the blogowikiredditsphere | 2008 In Review - What Happened with Programming Languages? |
| 12/31/2008 | The bigger deal with Python | 2008 In Review - What Happened with Programming Languages? |
| 01/01/2009 | Predictions are hard | 2008 In Review - What Happened with Programming Languages? |
| 01/03/2009 | I like the idea of turning | 2008 In Review - What Happened with Programming Languages? |
| 01/05/2009 | I'm not entirely surprised | 2008 In Review - What Happened with Programming Languages? |
| 06/10/2009 | My poor programmers opinion | Two Lightweight DSLs for Rich UI Programming |
| 06/18/2009 | I have done some pretty | Two Lightweight DSLs for Rich UI Programming |
| 12/06/2008 | Funny | FP Jobs |
| 11/22/2008 | Eso innovation | Guy Steele & Richard Gabriel: 50 in 50 |
| 11/04/2008 | How do you beat quicksort? | New Programming Language Idea |
| 10/30/2008 | I think that the obsession | Declarative layout and/or UI languages? |
| 10/07/2008 | ANTLR, Gazelle, Trail, ... | Parsing Expression Grammars |
| 10/10/2008 | I'm not sure anyone prefers | Parsing Expression Grammars |
| 10/11/2008 | Tools | Parsing Expression Grammars |
| 10/07/2008 | Can the algorithms under | Parsing Expression Grammars |
| 09/21/2008 | Intel Ct: C for Throughput Computing | Intel Ct: C for Throughput Computing |
| 03/09/2008 | Lisp? Ruby? Python? | Applied Metamodelling: A Foundation for Language Driven Development |
| 01/23/2008 | The first rule of | How useful is reflection, anyway? |
| 01/23/2008 | A simple challenge | How useful is reflection, anyway? |
| 01/23/2008 | O.K. so we have that :) | How useful is reflection, anyway? |
| 01/27/2008 | I believe that reflective | How useful is reflection, anyway? |
| 01/16/2008 | PEGs are awfull | Treetop: Packrat Parser Generator for Ruby |
| 01/16/2008 | Do you want to make a | Treetop: Packrat Parser Generator for Ruby |
| 01/16/2008 | Ordered choices | Treetop: Packrat Parser Generator for Ruby |
| 01/16/2008 | Longest match fixes | Treetop: Packrat Parser Generator for Ruby |
| 01/20/2008 | The problem with | Understanding category theory and its practical applications |
| 01/09/2008 | (1) Hybrid type systems and | Prediction for 2008 |
| 09/21/2008 | Prediction revisited | Prediction for 2008 |
| 01/15/2008 | And the industrial community | Prediction for 2008 |
| 01/03/2008 | Terminological question | The worker/wrapper transformation |
| 12/14/2007 | Is there any inherent reason | CUFP write-up |
| 12/14/2007 | Seriously, I'm not sure what | CUFP write-up |
| 12/11/2007 | I would suggest to just | A Growable Language Manifesto |
| 11/07/2007 | But it's a rather shallow | Dependent Classes |
| 10/29/2007 | Question. Wouldn't it make | PL research & grad schools? |
| 11/03/2007 | Observer activity | Gödel, Nagel, minds and machines |
| 10/25/2007 | Yes, the term DSL is now | On DSL, Smalltalk and FP |
| 11/03/2007 | The identity is flawed. One | On the Importance of Purity |
| 11/04/2007 | PLT as a fashion | On the Importance of Purity |
| 10/29/2007 | This [RT] may not sound very | On the Importance of Purity |
| 10/17/2007 | Need for explanation and a short rant | grammars as a shared executable specification for language processing tools |
| 10/18/2007 | For example, there is a way | grammars as a shared executable specification for language processing tools |
| 10/17/2007 | Bingo! | grammars as a shared executable specification for language processing tools |
| 10/17/2007 | You quoted a research paper | grammars as a shared executable specification for language processing tools |
| 10/12/2007 | I hope these won't become | Examples of large-scale functional language projects |
| 11/19/2007 | Honestly, Python leaves me | Examples of large-scale functional language projects |
| 10/06/2007 | I wonder whether a | Computing is a Natural Science |
| 10/07/2007 | Programming languages of artificial brains | Computing is a Natural Science |
| 10/07/2007 | Cybernetic Software Engineering | Computing is a Natural Science |
| 10/12/2007 | Science as defined by | Computing is a Natural Science |
| 10/01/2007 | Slightly OT | Leave of absence |
| 10/01/2007 | Thanks, sounds promising - | Leave of absence |
| 09/25/2007 | I suspect your crystal ball is blind | Tim Bray and Erlang |
| 09/19/2007 | But we go through cycles in | DivaScheme |
| 09/05/2007 | Technologies as eco-systems | No Name: Just Notes on Software Reuse |
| 09/04/2007 | Natural science of software | No Name: Just Notes on Software Reuse |
| 08/31/2007 | Boutique language going Wal Mart | R6RS Validated |
| 10/02/2007 | Lucid | History of causes as object identity |
| 09/07/2007 | It sounds like... | What is a state? |
| 08/14/2007 | Skipping C - SPE and synthetic programming in Python | Skipping C - SPE and synthetic programming in Python |
| 08/20/2007 | Coolness factor FP | Google Python Sprint 2007 |
| 08/14/2007 | You have greater chances of | creating my own programming language |
| 08/15/2007 | Compiler Construction | creating my own programming language |
| 08/03/2007 | Livelogix is not alive | Syntactic abstraction? (newbie question) |
| 08/19/2007 | Monads for the masses | Monad Description For Imperative Programmer |
| 08/19/2007 | To me this doesn't make any | Monad Description For Imperative Programmer |
| 07/30/2007 | "Please reduce the following | LtU turns 7: The year of spam |
| 07/28/2007 | Subset(s) | Seam from PLT perspective |
| 07/21/2007 | Who is prepared for the Nirvana? | Language Nirvana - Simon Peyton-Jones |
| 07/31/2007 | As always I have my doubts. | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | Paul, Blub and Nirvana are | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | From Nirvana to Paradise | Language Nirvana - Simon Peyton-Jones |
| 07/19/2007 | #1 | Or is it now? |
| 07/20/2007 | How to determine the boundary? | Or is it now? |
| 07/18/2007 | I don't think this is true. | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/16/2007 | Morphing to the end of the power hierarchy | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/19/2007 | Do you know which languages | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/15/2007 | I'm a bit confused. I would | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/13/2007 | I thought about test driven | Type inference for free? |
| 07/02/2007 | DSL + General purpose language | Good Language Design Principals for Scripting Languages |
| 07/08/2007 | Nice to see these ideas are | Good Language Design Principals for Scripting Languages |
| 06/20/2007 | Lambda, lambda, lambda | Python 3000 Status Update |
| 06/20/2007 | Refactoring lambda in Python | Python in Pardus Linux |
| 06/24/2007 | Most people do not learn new | PLs and large scale development |
| 06/21/2007 | Ericssons ban | PLs and large scale development |
| 06/16/2007 | In my experience the major | Distributed Objects vs. Messaging |
| 06/07/2007 | Everything seems to depend | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/10/2007 | Ironically I never used C++ | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/11/2007 | You might also take a look | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/03/2007 | While this idea is appealing | Merging Functions, Modules, Classes, the whole nine yards... |
| 06/03/2007 | Lolcode, monkeys and dolphins | IM IN UR COMPUTER, HAXIN UR CODE |
| 06/03/2007 | These aren't problems; these | IM IN UR COMPUTER, HAXIN UR CODE |
| 05/30/2007 | Lazyness in C | "Practical" advantages of lazy evaluation |
| 05/31/2007 | But is that what you are | "Practical" advantages of lazy evaluation |
| 05/26/2007 | If the Ruby program only | function overriding workaround in dynamically typed languages |
| 05/26/2007 | JIT + image | function overriding workaround in dynamically typed languages |
| 05/26/2007 | See also this Python PEP | function overriding workaround in dynamically typed languages |
| 05/20/2007 | What is a "domain specific language"? | What is a "domain specific language"? |
| 05/20/2007 | Reliability vs security ? | Social Processes and Proofs of Theorems and Programs |
| 01/05/2008 | The Silver Bullet - how the werewolve survived | Social Processes and Proofs of Theorems and Programs |
| 01/06/2008 | Maybe a possibly wrong | Social Processes and Proofs of Theorems and Programs |
| 05/09/2010 | Proving correctness for a | Social Processes and Proofs of Theorems and Programs |
| 05/14/2007 | It's not about politics but | Microsoft's new Dynamic Language Runtime (DLR) |
| 04/26/2007 | Real fandom | Arc in action (a.k.a. it's aliiiiive!) |
| 04/26/2007 | The next guy | Arc in action (a.k.a. it's aliiiiive!) |
| 05/01/2007 | Dynamic Language Runtime | Arc in action (a.k.a. it's aliiiiive!) |
| 04/24/2007 | "I am not trying to start a | Almost invisible upgrade |
| 04/24/2007 | I have little idea how | From abstract interpretation to small-step typing |
| 04/25/2007 | Your strategy seems to | From abstract interpretation to small-step typing |
| 04/21/2007 | Worse is better | Why is there not a PL with a mathematical type system? |
| 04/21/2007 | Maybe you should state | Why is there not a PL with a mathematical type system? |
| 04/17/2007 | Sometimes you can have the | Twitter and Rails brouhaha |
| 04/19/2007 | How much code did you have | Twitter and Rails brouhaha |
| 04/20/2007 | canonisation, motivation, infantilisation | Thoughts about the Best Introductory Language |
| 04/18/2007 | Mathematica as a general purpose language | Thoughts about the Best Introductory Language |
| 04/01/2007 | flexitype is the new dynamic | Expect New Major Language Within Five Years |
| 04/01/2007 | I for once prefer static + | Expect New Major Language Within Five Years |
| 09/15/2009 | The linked article | Regular Expression Matching Can Be Simple And Fast |
| 09/16/2009 | No. Thompson's construction | Regular Expression Matching Can Be Simple And Fast |
| 09/17/2009 | Oh, yeah. Thanks a lot, | Regular Expression Matching Can Be Simple And Fast |
| 01/21/2007 | Triggers | F3: New statically typed scripting language for java |
| 03/03/2007 | Short answer | Why people don't use functional programming? |
| 01/18/2007 | I'd rather see this amount | Interlanguage Migration: From Scripts to Programs |
| 12/30/2006 | foreground/background | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 12/06/2006 | Languages with first order types and partial evaluation | Languages with first order types and partial evaluation |
| 12/01/2006 | Here are some little less | Stephen Wolfram forecasts the future |
| 11/29/2006 | Looks indeed like one year | Cheat Sheet |
| 12/01/2006 | Upside down programming | Request for feedback: hobbyist post on "the significance of the meta-circular interpreter." |
| 11/28/2006 | Step out of debugging | The Future of LtU |
| 12/01/2006 | This discussion about the | The Future of LtU |
| 12/02/2006 | I think having a site | The Future of LtU |
| 11/27/2006 | You forget to mention | Java Generics and Collections |
| 11/27/2006 | Terminological confusion | Proofs that do things |
| 11/17/2006 | De-Scheming MIT? | De-Scheming MIT? |
| 11/24/2006 | Floor division | De-Scheming MIT? |
| 11/21/2006 | The whitespace policy does | De-Scheming MIT? |
| 11/17/2006 | Data types would be chosen | Abstractly typed languages |
| 11/11/2006 | Functional programming and software engineering | Functional programming and software engineering |
| 11/12/2006 | Yes, but the "multiparadigm" | Functional programming and software engineering |
| 11/12/2006 | Yes. But it is not | Functional programming and software engineering |
| 11/12/2006 | I'm not sure if I've | Functional programming and software engineering |
| 11/14/2006 | REFAL | Functional programming and software engineering |
| 11/02/2006 | But it might be better from | A rationale for semantically enhanced library languages |
| 11/03/2006 | I don't think your argument | A rationale for semantically enhanced library languages |
| 11/04/2006 | Some bugs must stay. | A rationale for semantically enhanced library languages |
| 11/06/2006 | The macro dilemma | A rationale for semantically enhanced library languages |
| 11/04/2006 | Sorry Dave, but your | Want to learn something new |
| 11/04/2006 | Another recommendation is | Want to learn something new |
| 11/06/2006 | VHDL | Want to learn something new |
| 11/04/2006 | Suggesting to replace | Future of software design? |
| 10/27/2006 | I gather a number of folks | Ruby 2.0 News |
| 10/15/2006 | The deprived programmer | Good Ideas, Through the Looking Glass |
| 10/01/2006 | It's in the air | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | Cold code is dead | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | That was "... it infers | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | They type of obj cannot be | Tim Bray: Dynamic-Language IDEs |
| 09/24/2006 | Is "post OO" just over? | Is "post OO" just over? |
| 09/24/2006 | Maybe everybody shall just | Designing a Programming Textbook |
| 09/23/2006 | Squaring the circle | SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? |
| 09/20/2006 | BASIC romantics | Why Johnny can't code |
| 08/26/2006 | Here we are again | unchecked exceptions are like runtime type checking? |
| 08/27/2006 | Final fantasy | unchecked exceptions are like runtime type checking? |
| 08/24/2006 | Revolution next door | "Language Oriented Programming" Meta Programming System |
| 08/27/2006 | Friendly surface syntax | "Language Oriented Programming" Meta Programming System |
| 09/16/2006 | U-Write-It | "Language Oriented Programming" Meta Programming System |
| 08/08/2006 | Isn't it very hard to | automatic theorem proving |
| 08/03/2006 | Lisp forum | Lisp Beginer seeking for advice |
| 07/31/2006 | Dylan | Lisp sans (((paren-theses ((hell))))) |
| 07/30/2006 | Prototypes | Polymorphic replacement |
| 07/22/2006 | Gamma formalism | Gamma formalism |
| 07/28/2006 | Pipelines | Gamma formalism |
| 07/16/2006 | Adding apples and oranges | OOP Parallel class hierarchies |
| 07/17/2006 | Hypothetical deduction | OOP Parallel class hierarchies |
| 07/15/2006 | Maybe you should explain | OOP Parallel class hierarchies |
| 07/03/2006 | Are you shure that the | Pluvo : new hybrid scripting language |
| 07/01/2006 | Stackless and PyPy | Introduction to Concurrent Programming with Stackless Python |
| 07/01/2006 | Leibniz was apparently a | Gottfried Wilhelm Leibniz |
| 06/26/2006 | Note some paradoxal | LtU: Policies document |
| 06/21/2006 | And this for an entertaining | Rules for Developing Safety-Critical Code |
| 06/22/2006 | It changes your mind | What are the real benefits of FP? |
| 06/25/2006 | What is the reality of "paradigms"? | What are the real benefits of FP? |
| 06/25/2006 | I seem to have lost my | What are the real benefits of FP? |
| 06/25/2006 | Systems theory - some thaughts | What are the real benefits of FP? |
| 06/26/2006 | Group therapy | What are the real benefits of FP? |
| 06/21/2006 | I disagree that it is a | The OO barrier |
| 06/21/2006 | Embracing changes | The OO barrier |
| 06/21/2006 | ADTs in a world without boundaries | The OO barrier |
| 06/18/2006 | Cobol == Co(b)ol == Cool | The Semicolon Wars |
| 06/08/2006 | When I listen programmers | Why Are ALL Programming Languages So Low Level? |
| 03/05/2008 | EasyExtend 3.0 | EasyExtend - Python MetaProgramming |
| 05/16/2006 | Ruby is Objects all the way | ruby vs python |
| 05/16/2006 | Good point! | ruby vs python |
| 05/17/2006 | You address two issues. One | ruby vs python |
| 09/24/2006 | Hi Doug, thanks for your | ruby vs python |
| 01/18/2008 | Or do you mean other | ruby vs python |
| 05/19/2006 | JavaScript meets Haskell | ruby vs python |
| 01/18/2008 | The state of discussion here | ruby vs python |
| 01/17/2008 | Peter, I do think these | ruby vs python |
| 05/04/2006 | For example, I just type | Your favourite editor/IDE |
| 05/04/2006 | I'd be very interested to | Your favourite editor/IDE |
| 03/06/2008 | Execution trace junk | What do you believe about Programming Languages (that you can't prove (yet))? |
| 07/28/2006 | Go softcomputing | What do you believe about Programming Languages (that you can't prove (yet))? |
| 01/19/2007 | Apple chic and Prêt-à-porter | What do you believe about Programming Languages (that you can't prove (yet))? |
| 01/19/2007 | Was that some stylistic | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/19/2009 | I love to read this... live | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/19/2009 | Please... | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/20/2009 | Kay is (I suspect) looking | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/21/2009 | Thinking big vs thinking small | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/06/2006 | Python 2.5a1 released | Python 2.5a1 released |
| 04/01/2006 | PHP? | PHP 6 picks up GOTO and COMEFROM |
| 04/01/2006 | Kind regards to Wittgenstein | Class hierarchies and Ontologies |
| 03/20/2006 | I wonder how the reverse | Reversible generators |
| 03/16/2006 | Does Haskell become another | Programming: 50, 100 years from now |
| 03/16/2006 | Well, rmalafias point seems | Programming: 50, 100 years from now |
| 03/16/2006 | This is an interesting topic | Programming: 50, 100 years from now |
| 03/17/2006 | Those safety regulations do | Programming: 50, 100 years from now |
| 03/04/2006 | CT intro to monads | When is one thing equal to some other thing? |
| 02/28/2006 | Tail call elimination decorator in Python | Tail call elimination decorator in Python |
| 02/28/2006 | nocent | Tail call elimination decorator in Python |
| 03/02/2006 | In order to let this work | Tail call elimination decorator in Python |
| 03/02/2006 | Yupp! My fault. | Tail call elimination decorator in Python |
| 05/10/2006 | Update - New Tail Recursion Decorator | Tail call elimination decorator in Python |
| 08/21/2007 | Comment the decorators out | Tail call elimination decorator in Python |
| 02/19/2006 | Unintended inheritance | Gilad Is Right |
| 02/20/2006 | Retrieving the definitional context | Gilad Is Right |
| 02/24/2006 | Humpty Dumpty as a philosopher | Gilad Is Right |
| 02/18/2006 | Plugged to vanish | Gilad Is Right |
| 02/23/2006 | The case or RPython in PyPy | Gilad Is Right |
| 02/12/2006 | Since when Python has no | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Nope | Guido: Language Design Is Not Just Solving Puzzles |
| 01/05/2011 | No peace among nerds | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Python is not Scheme | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | This could be fatal because | Guido: Language Design Is Not Just Solving Puzzles |
| 02/15/2006 | About rebinding of names in | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Slightly OT : Robert Glass about SW failure myth | Guido: Language Design Is Not Just Solving Puzzles |
| 02/13/2006 | This is pacifying to listen. | Guido: Language Design Is Not Just Solving Puzzles |
| 02/13/2006 | O.K. | Guido: Language Design Is Not Just Solving Puzzles |
| 02/13/2006 | Three wishes only | Guido: Language Design Is Not Just Solving Puzzles |
| 02/13/2006 | Beyond UML | Guido: Language Design Is Not Just Solving Puzzles |
| 02/14/2006 | Sorry state of ADLs | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | The interface | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Ghostly machines | Guido: Language Design Is Not Just Solving Puzzles |
| 02/12/2006 | Il-iteration | Sociology of a Language Construct |
| 08/21/2007 | Social engineering | The Next Mainstream Programming Languages |
| 02/03/2006 | Please help me with CT | Lambda the Ultimate Set Comprehension |
| 12/31/2005 | Limited collaboration | Return of the Global Variables? |
| 01/03/2006 | Excessive separations | Return of the Global Variables? |
| 01/04/2006 | Thanks Matt, for linking this | Return of the Global Variables? |
| 11/23/2005 | Many of the pieces of great c | Code Reading |
| 11/23/2005 | No matter, Ehud. Rules are ne | Code Reading |
| 11/25/2005 | Visual Code Smells | Code Reading |
| 11/18/2005 | Successors? | Ruby the Rival |
| 11/18/2005 | Postmodern languages | Ruby the Rival |
| 11/19/2005 | Appropriate stereotypes | Ruby the Rival |
| 11/20/2005 | Beyond the border | Ruby the Rival |
| 11/13/2005 | Optimization? | Algebra Of Programming (Bird, De Moor) |
| 11/10/2005 | Io like prototypes in Python | Prototype based OO |
| 06/04/2006 | EasyExtend | Let's make a programming language! |
| 06/04/2006 | I disagree with your | Let's make a programming language! |
| 06/06/2006 | Use cases | Let's make a programming language! |
| 09/15/2005 | Whose myth? | expressivity of "idiomatic C++" |
| 10/07/2005 | C++ is scalable too | Ian Bicking: The challenge of metaprogramming |
| 10/07/2005 | Python functions have static scope | Ian Bicking: The challenge of metaprogramming |
| 10/08/2005 | Rebinding names | Ian Bicking: The challenge of metaprogramming |
| 03/05/2006 | Standard Python | Ian Bicking: The challenge of metaprogramming |
| 02/11/2012 | There might be a certain | Embedding Prolog in Haskell |
| 12/19/2008 | Everything is a monad | Explaining monads |
| 01/06/2009 | As I stated before, the | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |