Posts By: Matt Hellige
| Date | Post | Topic |
| 07/17/2012 | Well put | Language Implementation 101 |
| 07/17/2012 | Counterpoint to "interpreter first" | Language Implementation 101 |
| 07/17/2012 | Sure | Language Implementation 101 |
| 06/13/2012 | Not Smalltalk, but... | Google Blockly Lets You Hack With No Keyboard |
| 06/08/2012 | Discussed very briefly... | The Arrow Calculus |
| 05/04/2012 | Scala vs Java | Why and How People Use R |
| 05/06/2012 | Basically, yes. | Why and How People Use R |
| 03/24/2012 | Specialization | Retrospective Thoughts on BitC |
| 04/18/2012 | "Shared" | Retrospective Thoughts on BitC |
| 03/27/2012 | Depth/breadth | Parsing: The Solved Problem That Isn't |
| 03/22/2012 | Seconded | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/23/2012 | Synchronous reactive | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/23/2012 | Indeed | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/24/2012 | Yes | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/27/2012 | I fully agree with your | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/23/2012 | Nice! I will definitely | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
| 03/13/2012 | Programming with Algebraic Effects and Handlers | Programming with Algebraic Effects and Handlers |
| 03/21/2012 | Nice | Programming with Algebraic Effects and Handlers |
| 03/13/2012 | "Successful" | References about the importance of formalism in programming language design |
| 03/14/2012 | Reminds me of PLT/Racket | References about the importance of formalism in programming language design |
| 03/19/2012 | Ok, I lolled... | References about the importance of formalism in programming language design |
| 03/22/2012 | Subtyping | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | Ah, yes | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/01/2012 | Agreed | why first-class functions |
| 03/08/2012 | Top sort | Long rant on Erlang-style Actors: Lost Dimension |
| 02/10/2012 | Except it's not true | Effective Scala |
| 02/10/2012 | Sure, but... | Effective Scala |
| 01/28/2012 | A guess | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 12/30/2011 | Talk about bad hair days... | Cambridge Course on "Usability of Programming Languages" |
| 12/20/2011 | The problem | Cambridge Course on "Usability of Programming Languages" |
| 12/20/2011 | Nice | Cambridge Course on "Usability of Programming Languages" |
| 12/16/2011 | Not sure your proof works | What is this type of type called? |
| 12/16/2011 | And incidentally... | What is this type of type called? |
| 12/16/2011 | Hmm... | What is this type of type called? |
| 12/17/2011 | Oh yeah... | What is this type of type called? |
| 10/14/2011 | The real "real" | "Crutches in language design", accidental complexity and feature overlap |
| 10/14/2011 | Local optimum | Dennis Ritchie passed away |
| 10/14/2011 | Interesting | Dennis Ritchie passed away |
| 10/14/2011 | Doubtful | Dennis Ritchie passed away |
| 10/11/2011 | "Ideally" | Google's Dart announced |
| 10/11/2011 | Definitely | Google's Dart announced |
| 10/12/2011 | Pot/kettle | Google's Dart announced |
| 09/26/2011 | Hunches | Redesigning the Mozart virtual machine |
| 09/16/2011 | I'd go further... | Google's "The Future of JavaScript" internal memo leaked |
| 09/16/2011 | "worse is better" | Google's "The Future of JavaScript" internal memo leaked |
| 09/16/2011 | Agreed | Google's "The Future of JavaScript" internal memo leaked |
| 09/13/2011 | The low tradition | What needs to be done? |
| 09/13/2011 | Hmm... | The Trouble with Erlang |
| 09/09/2011 | And for the unwashed masses... | Opa |
| 09/12/2011 | Don't think so | Opa |
| 08/20/2011 | "Personal communication" | Delimited Continuations Blues? |
| 07/22/2011 | "quicksort" spec... | Is it possible to write code that works the very first time? |
| 03/29/2011 | Typing | Extensible nesting of classes |
| 03/29/2011 | Non-standard notion of functor? | Extensible nesting of classes |
| 03/30/2011 | How? | Extensible nesting of classes |
| 03/30/2011 | Got it | Extensible nesting of classes |
| 06/29/2012 | Meh | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 02/16/2011 | "Nobody" | Extending Syntax from Within a Language |
| 02/14/2011 | Maybe a tangent... | Monads vs. Actors |
| 02/14/2011 | Eureka | Monads vs. Actors |
| 01/22/2011 | Mainstream? | guy steele on how (not) to think of parallel programming |
| 01/21/2011 | 10 Years | guy steele on how (not) to think of parallel programming |
| 01/22/2011 | Yes | guy steele on how (not) to think of parallel programming |
| 01/08/2011 | Where's el-vadimo when we need him? | Fast Compilers |
| 01/05/2011 | Wow | Runtime code generation for partial application? |
| 01/05/2011 | Closures | Runtime code generation for partial application? |
| 01/05/2011 | Reactive interpretation | Runtime code generation for partial application? |
| 12/30/2010 | Visitors in OO | The AST Typing Problem |
| 12/20/2010 | And the scaladoc... | Interesting Standard Libraries to Study |
| 11/30/2010 | q | languages with call by value only (and maybe closures)? |
| 12/01/2010 | Basically | languages with call by value only (and maybe closures)? |
| 12/17/2010 | Off-T for the site, but On-T for this thread | Tolerant vs. Demanding Software |
| 10/27/2010 | Me neither | The Myths of Object-Orientation |
| 10/29/2010 | Well, to pick nits... | The Myths of Object-Orientation |
| 10/26/2010 | Hmm... | another new language, Chomsky hierarchy Type-0 |
| 10/05/2010 | Front page | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 09/29/2010 | Eff - Language of the Future | Eff - Language of the Future |
| 09/17/2010 | Interested | Fortifying Macros |
| 09/05/2010 | Probably not needed | Do I need a forall if type parameters are syntactically distinguishable from type constructors? |
| 09/03/2010 | I hate those studies | Choosing a VM for a concurrent language |
| 09/03/2010 | I hate those studies | Choosing a VM for a concurrent language |
| 09/03/2010 | Ridiculous and infuriating | Choosing a VM for a concurrent language |
| 09/09/2010 | Jetlang is nice | Choosing a VM for a concurrent language |
| 08/28/2010 | Memory management. | Sapir-Whorf 70 years on |
| 08/29/2010 | Forth, maybe? | Sapir-Whorf 70 years on |
| 08/16/2010 | Newspeak | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/16/2010 | Paper | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/16/2010 | Hmm... | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/17/2010 | Agree to disagree? | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/13/2010 | To be fair... | The ideal style/system for namespaces. |
| 08/13/2010 | Sorry | The ideal style/system for namespaces. |
| 08/18/2010 | JIT it | Type Classes as Objects and Implicits |
| 08/20/2010 | Amen | Type Classes as Objects and Implicits |
| 08/19/2010 | Benefits of JIT | Type Classes as Objects and Implicits |
| 08/02/2010 | Forth and Factor | Looking for a language like... |
| 07/20/2010 | Turning this ship around... | The Future of C# |
| 06/28/2010 | Me too | SF-calculus |
| 06/30/2010 | Clarifying, I hope | SF-calculus |
| 07/01/2010 | Feeling much better | SF-calculus |
| 06/30/2010 | Don't worry | SF-calculus |
| 06/28/2010 | More subtle than that... | SF-calculus |
| 06/30/2010 | Interesting | SF-calculus |
| 06/30/2010 | I would add this one. You | SF-calculus |
| 06/18/2010 | New site | happy rebirth day, LtU NG! |
| 06/04/2010 | Hmm... | Algebraic |
| 05/26/2010 | Functional Pearl: Species and Functors and Types, Oh My! | Functional Pearl: Species and Functors and Types, Oh My! |
| 05/28/2010 | Indeed | Functional Pearl: Species and Functors and Types, Oh My! |
| 05/30/2010 | Cool | Functional Pearl: Species and Functors and Types, Oh My! |
| 05/24/2010 | Pessimistic | Adding Type Constructor Parameterization to Java |
| 06/04/2010 | Haskell | Adding Type Constructor Parameterization to Java |
| 06/05/2010 | Misleading, maybe... | Adding Type Constructor Parameterization to Java |
| 05/26/2010 | Check GHC | Types/Ordering of canonical FP compiler transforms and optimizations? |
| 05/26/2010 | Touch in cheek, maybe | Algol 58/60 |
| 05/18/2010 | Not sure | "Critical code studies" |
| 05/15/2010 | YES | "Critical code studies" |
| 05/16/2010 | Bad ascii art | "Critical code studies" |
| 06/12/2010 | Oh, I dunno... | Seeking thoughtful criticisms of functional programming and languages |
| 06/12/2010 | No hard feelings, I hope | Seeking thoughtful criticisms of functional programming and languages |
| 04/15/2010 | More iPhone PL lockdown... Goodbye Scratch! | More iPhone PL lockdown... Goodbye Scratch! |
| 04/17/2010 | Possibly | More iPhone PL lockdown... Goodbye Scratch! |
| 04/09/2010 | Yep | iPhone PL lockdown |
| 04/08/2010 | My guess | Specifying Solvers? |
| 04/09/2010 | But | Higher order functions vs. function arity and calling conventions |
| 04/01/2010 | Not quite... | Small is Beautiful: the design of Lua |
| 03/31/2010 | Haha | Tcl the Misunderstood |
| 04/09/2010 | Thanks | Tcl the Misunderstood |
| 03/22/2010 | LINQ | First-class environments. Discuss. ;) |
| 03/24/2010 | Thanks | First-class environments. Discuss. ;) |
| 03/24/2010 | Perfect, thanks! | First-class environments. Discuss. ;) |
| 05/24/2010 | I always wanted to read this | On the (Alleged) Value of Proof for Assurance |
| 05/24/2010 | Fair enough | On the (Alleged) Value of Proof for Assurance |
| 03/10/2010 | This thread | Have tracing JIT compilers won? |
| 03/11/2010 | Definitely | Have tracing JIT compilers won? |
| 02/20/2010 | "Excellent" question | Embedded Domain-Specific Editors |
| 02/20/2010 | Lots of thorns here | Babel-17 v0.2 spec is out |
| 01/20/2010 | Lua | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
| 01/05/2010 | Nonsense | Parameterized Modules |
| 12/21/2009 | One downside | Chunked sequences: Lookahead laziness |
| 12/07/2009 | Da Vinci Machine | Is Small Still Beautiful? |
| 12/07/2009 | Nice | Differentiating Parsers |
| 12/08/2009 | Me too | Differentiating Parsers |
| 12/09/2009 | Beyond CFGs | Differentiating Parsers |
| 12/03/2009 | Good question | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | I'm a bit confused | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | This is what I meant | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Example | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Good point. | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | I see what you mean | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Yes, it sets the bar higher. | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Good references | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | I see what you mean. | Why Object-Oriented Languages Need Tail Calls |
| 12/04/2009 | Right. | Why Object-Oriented Languages Need Tail Calls |
| 12/07/2009 | I agree with Sam, and besides... | Why Object-Oriented Languages Need Tail Calls |
| 12/02/2009 | Not appropriate | how to resolve the compatibility issues of libraries. |
| 12/02/2009 | The curve | Eleven Theses on Clojure |
| 12/02/2009 | "Innovative" | Eleven Theses on Clojure |
| 12/04/2009 | Clearing the air, I hope | Eleven Theses on Clojure |
| 12/01/2009 | Depends | Top rated programming conferences? |
| 12/02/2009 | Captive audience | Top rated programming conferences? |
| 12/03/2009 | Application-level modularity | Two Bits: The Cultural Significance of Free Software |
| 11/27/2009 | Reflection | Library which provides unification of "Type Classes" in Java? |
| 11/20/2009 | readscheme.org | Module Initialization and Ordering - Another Module Question |
| 11/18/2009 | Lua | Statically typed Pratt parsers |
| 11/14/2009 | Ponies? | The perfect advanced programming language for the productive industrial developer |
| 11/14/2009 | Bytecodes meet Combinators: invokedynamic on the JVM | Bytecodes meet Combinators: invokedynamic on the JVM |
| 11/14/2009 | Jonesforth | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/18/2009 | Not so myopic | Seeking nearly anything re: so called language "bootstrapping" process |
| 11/12/2009 | Hmm... | Explanation of Computer Theory for Lawyers |
| 11/13/2009 | Yep | Explanation of Computer Theory for Lawyers |
| 01/04/2010 | Continuing | Explanation of Computer Theory for Lawyers |
| 11/11/2009 | Confused... | Go or Unladen Swallow? |
| 11/11/2009 | But... | Go or Unladen Swallow? |
| 11/11/2009 | Hmm... | Go or Unladen Swallow? |
| 11/11/2009 | Well... | Go or Unladen Swallow? |
| 11/13/2009 | Perfect | Go or Unladen Swallow? |
| 11/11/2009 | Debugging the generated code | John Hughes on Erlang and Haskell |
| 11/27/2009 | Cool! | The Origins of APL |
| 11/02/2009 | Gilad Bracha on "Atomic Install" | Gilad Bracha on "Atomic Install" |
| 11/02/2009 | CTM | On Understanding Data Abstraction, Revisited |
| 10/28/2009 | Static/dynamic | What is a Type? |
| 10/26/2009 | I agree. Although I have | Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson |
| 10/13/2009 | Not good enough yet | SequenceL - declarative computation on nonscalars |
| 10/14/2009 | Infix, multiple args? | SequenceL - declarative computation on nonscalars |
| 10/08/2009 | Switch threading | Compilation to C, a definitive guide? |
| 10/01/2009 | Not the bytecode | Swarm now based on Scala 2.8, uses delimited continuations |
| 09/23/2009 | I am admittedly ignoring the | Turning every module into a functor automatically? |
| 09/20/2009 | Not sure | Turning every module into a functor automatically? |
| 09/19/2009 | Well... | ICFP 2009 Proceedings |
| 09/17/2009 | Hmm... | Noop: Google Language for the JVM |
| 09/18/2009 | Agreed | Noop: Google Language for the JVM |
| 09/18/2009 | Not sure | Noop: Google Language for the JVM |
| 09/19/2009 | There are other things, too... | Noop: Google Language for the JVM |
| 09/07/2009 | A la carte... | Solving the expression problem with type classes |
| 09/02/2009 | Seconded | Proper Library Versioning no longer NP-Complete |
| 08/25/2009 | Known | Review NP-complete Library Versioning Problem |
| 08/21/2009 | Function Interface Models for Hardware Compilation | Function Interface Models for Hardware Compilation |
| 08/20/2009 | Kicking the dog... | functions vs procedures.. |
| 08/20/2009 | I agree, generally. But... | functions vs procedures.. |
| 12/23/2009 | Seconded. | Objects as Modules in Newspeak |
| 12/23/2009 | Rings a bell... | Objects as Modules in Newspeak |
| 12/27/2009 | Auto-wiring, etc. | Objects as Modules in Newspeak |
| 08/07/2009 | This is ridiculous | Definition of Functional Programming Language |
| 08/07/2009 | Another issue | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/20/2009 | Lua | Simplicity |
| 07/04/2009 | To be fair... | Top 200 Blogs for Developers |
| 07/01/2009 | Doubts | Most powerful terminating semantics? |
| 07/01/2009 | I disagree. | Most powerful terminating semantics? |
| 07/01/2009 | I agree with you... | Most powerful terminating semantics? |
| 07/01/2009 | Finished | Most powerful terminating semantics? |
| 07/02/2009 | Sorry as well | Most powerful terminating semantics? |
| 06/09/2009 | Type classes | A new idea in OOP. Please comment. |
| 09/23/2009 | Guardian obituary | Peter Landin |
| 05/10/2009 | "Weinreb" | Why Did M.I.T. Switch from Scheme to Python? |
| 12/17/2010 | For the record, I didn't | Oracle, Sun, and Fortress |
| 05/01/2009 | Seconded | Conversations with the Creators of Major Programming Languages |
| 04/09/2009 | Real world objects are not even "real world objects" | Why are objects so unintuitive? |
| 04/08/2009 | GIL | Twitter and Scala |
| 03/25/2009 | Hmm... | The Art of the Propagator |
| 03/25/2009 | I would like the notation to | Influence of cognitive models on programming language design |
| 03/03/2009 | Site mechanics | The Meta-LtU Thread |
| 03/03/2009 | Implementation discussion | The Meta-LtU Thread |
| 03/06/2009 | In that spirit... | The Meta-LtU Thread |
| 03/09/2009 | For the record... | The Meta-LtU Thread |
| 03/09/2009 | Good question | The Meta-LtU Thread |
| 03/10/2009 | "Principles" | The Meta-LtU Thread |
| 03/10/2009 | Well done | The Meta-LtU Thread |
| 02/19/2009 | Denotational design with type class morphisms | Denotational design with type class morphisms |
| 02/04/2009 | Following the OO thread... | Open Recursion |
| 02/04/2009 | Not just Clojure | Project Euler |
| 02/03/2009 | If it's a poll... | Ruling out nonsensical data type definitions |
| 02/03/2009 | Not a total stranger... | Ruling out nonsensical data type definitions |
| 02/03/2009 | Also... | Ruling out nonsensical data type definitions |
| 02/06/2009 | Ha. | PL Grand Challenges |
| 02/06/2009 | Rhetoric... | PL Grand Challenges |
| 01/26/2009 | Not to mention | Detailed discussion forum and/or IRC channel? |
| 01/22/2009 | Standard ML | Specifying semantics and type rules |
| 01/21/2009 | Too restrictive | Nested functions - how many nesting levels are really needed? |
| 01/21/2009 | Good point! | Nested functions - how many nesting levels are really needed? |
| 01/19/2009 | It's not a term | Lambda Calculus Notation |
| 01/19/2009 | More concrete | Lambda Calculus Notation |
| 01/21/2009 | Agreed | Lambda Calculus Notation |
| 01/22/2009 | Aside | Macro systems |
| 01/22/2009 | Good news | Macro systems |
| 01/23/2009 | Goto-Monad | What Are The Resolved Debates in General Purpose Language Design? |
| 01/07/2009 | Actually... | Wadler, Findler: Well-typed programs can't be blamed |
| 01/06/2009 | A bit of light... | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) |
| 01/06/2009 | Incidentally | Reasonig about combinators (a lambda-calculus puzzle on composing compositions) |
| 12/29/2008 | Nag | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 01/01/2009 | Well done (in both senses) | 2008 In Review - What Happened with Programming Languages? |
| 12/12/2008 | Well put | The Genuine Sieve of Eratosthenes |
| 12/12/2008 | Reminds me... | The Genuine Sieve of Eratosthenes |
| 12/12/2008 | Well, yes, the standard | The Genuine Sieve of Eratosthenes |
| 12/22/2008 | Very nice! | The Genuine Sieve of Eratosthenes |
| 11/10/2008 | Seconded | Extensible tuples? |
| 11/14/2008 | Getting OT... | Subtyping + overloading |
| 11/14/2008 | Coercions too... | Subtyping + overloading |
| 11/14/2008 | Good point! | Subtyping + overloading |
| 11/12/2008 | Or with a flag... | Subtyping + overloading |
| 11/17/2008 | Editing | Subtyping + overloading |
| 11/08/2008 | Never thought about it... | β, η, ξ ⊢ α? |
| 11/09/2008 | Excellent point | β, η, ξ ⊢ α? |
| 11/08/2008 | Hmm... | Burst Tries paper |
| 11/07/2008 | Yes! | College Publications |
| 10/28/2008 | Agreed | Web application shootout? |
| 10/29/2008 | D. All of the above | Web application shootout? |
| 10/23/2008 | Eiffel | Why do OOPLs type objects as classes? |
| 10/21/2008 | Very significant | Constructor classes |
| 10/21/2008 | Fair | Constructor classes |
| 10/23/2008 | Example? | Constructor classes |
| 10/01/2008 | STG | Lazy Graph Reduction and abstract machines |
| 10/01/2008 | STG: to love it or leave it | Lazy Graph Reduction and abstract machines |
| 10/28/2008 | Ha! | Microsoft Oslo |
| 09/30/2008 | Possibly... | Programming Languages Aren't |
| 09/29/2008 | Seems to me... | Can function pointers be "fixed" |
| 09/19/2008 | Just a hunch... | Narrowing field of languages? |
| 09/18/2008 | And... | General admin notes |
| 09/11/2008 | I'm not sure | Polymorphic Algebraic Data Type Reconstruction |
| 09/02/2008 | Totally | Google chrome |
| 08/26/2008 | Depends what you mean by AI... | Haskell for AI? |
| 08/26/2008 | Oops... | Haskell for AI? |
| 08/08/2008 | Agreed | Lightweight Monadic Regions |
| 07/28/2008 | Happy birthday, once again! | Happy Birthday, dear Lambda! |
| 07/23/2008 | Which languages | FP in D 2.0 |
| 06/27/2008 | Look at typing XML | Type system that can type list structure? |
| 06/17/2008 | Don't know. | Higher-order type constructor polymorphism vs./and template style specialization |
| 06/17/2008 | Addendum | Higher-order type constructor polymorphism vs./and template style specialization |
| 06/18/2008 | I agree | Higher-order type constructor polymorphism vs./and template style specialization |
| 06/12/2008 | Horse trading | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | Oops | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | Hear, hear. | Functional Programming in the ACM CS Curriculum |
| 06/03/2008 | No such thing | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/04/2008 | Not so sure... | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/04/2008 | Agreed, on all counts | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 12/22/2008 | Post it! | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 07/02/2008 | They are really the same. | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 07/02/2008 | Should've been more clear | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/03/2008 | Check out Scala actors | erlang green threads and the CLR |
| 05/30/2008 | Long division | Computational Thinking |
| 05/27/2008 | See above | Category theory in design |
| 05/13/2008 | Ha! | Scala Lift Off Unconference review |
| 05/23/2008 | Not exactly wrong | Scala Lift Off Unconference review |
| 04/23/2008 | Just beat me! | Species: making analytic functors practical for functional programming |
| 04/14/2008 | Algebra of programming using dependent types | Algebra of programming using dependent types |
| 04/14/2008 | Takes all kinds... | Career paths and concerns |
| 04/10/2008 | Old news, basically... | Can local variables assignments be considered pure functional without monads? |
| 04/10/2008 | Confusion | Can local variables assignments be considered pure functional without monads? |
| 04/10/2008 | Ok | Can local variables assignments be considered pure functional without monads? |
| 04/11/2008 | Also | Can local variables assignments be considered pure functional without monads? |
| 04/07/2008 | Simply efficient functional reactivity | Simply efficient functional reactivity |
| 04/08/2008 | Anyway, you're wrong | Proving compositions |
| 04/27/2008 | Yes | Static Analysis for Duck Typing |
| 04/02/2008 | Actually... | April 1st special: The War of the Worlds |
| 04/02/2008 | Good point | April 1st special: The War of the Worlds |
| 04/05/2008 | Bathtub insights... | April 1st special: The War of the Worlds |
| 03/19/2008 | Small correction... | Role of Types in Evaluation Strategy |
| 03/05/2008 | Sliced Bananas On Opaque Data | Sliced Bananas On Opaque Data |
| 03/13/2008 | Abandoning the World | Confused Deputies in Programming Languages |
| 03/14/2008 | If I were designing a | Confused Deputies in Programming Languages |
| 03/14/2008 | Agreed, twice | Confused Deputies in Programming Languages |
| 03/17/2008 | Small correction | Confused Deputies in Programming Languages |
| 03/01/2008 | Help John Baez and Mike Stay! | Help John Baez and Mike Stay! |
| 03/04/2008 | Maybe I framed it poorly? | Help John Baez and Mike Stay! |
| 03/05/2008 | None at all! | Help John Baez and Mike Stay! |
| 02/28/2008 | Data Types a la Carte | Data Types a la Carte |
| 03/01/2008 | Sort of... | Data Types a la Carte |
| 03/01/2008 | I think so | Data Types a la Carte |
| 03/11/2008 | More RT and CS | Data Types a la Carte |
| 07/23/2008 | But he said... | Is null needed? |
| 07/25/2008 | And arguably... | Is null needed? |
| 02/27/2008 | I don't have time for a | exceptions again |
| 02/26/2008 | Yep | Chris Okasaki on Indentation Syntax |
| 02/22/2008 | Is the point that the rest | Why isn't every front page item on the discussions page? |
| 02/19/2008 | Gilad Bracha: Cutting out Static | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Yes, I should have been clear... | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Right... | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Agreed | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Dependency injection | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Depends... | Gilad Bracha: Cutting out Static |
| 02/21/2008 | Simpler theory | Gilad Bracha: Cutting out Static |
| 02/21/2008 | See below | Gilad Bracha: Cutting out Static |
| 02/25/2008 | I think there is a tradeoff | Gilad Bracha: Cutting out Static |
| 02/25/2008 | IO and capabilities | Gilad Bracha: Cutting out Static |
| 02/26/2008 | Indeed | Gilad Bracha: Cutting out Static |
| 02/14/2008 | Getting OT... | Lisaac: The power of simplicity at work for operating systems |
| 02/08/2008 | It would be nice | Leaning how to judge the right tool for the job? |
| 02/09/2008 | Mea culpa | Leaning how to judge the right tool for the job? |
| 02/22/2008 | Seconded | Does anyone know of work done on co-data-types? |
| 02/06/2008 | A few things... | Does anyone know of work done on co-data-types? |
| 02/20/2008 | Delayed reply... | Does anyone know of work done on co-data-types? |
| 02/06/2008 | Possibly of interest | Signals in an OOPL |
| 02/05/2008 | Down the rabbit-hole... | Latest usability for polymorphism? |
| 02/05/2008 | Well, they searched the world over... | Latest usability for polymorphism? |
| 02/05/2008 | Welcome to LtU! | Latest usability for polymorphism? |
| 02/04/2008 | Also | Languages and data conversions. |
| 02/13/2008 | What about parameters? | Languages and data conversions. |
| 02/13/2008 | Not exactly | Languages and data conversions. |
| 02/03/2008 | Hmm... | A name for this form of variable capture? |
| 02/03/2008 | Heads, tails... | A name for this form of variable capture? |
| 02/04/2008 | Actually, I agree. | A name for this form of variable capture? |
| 02/04/2008 | :) | A name for this form of variable capture? |
| 01/30/2008 | Mostly <: | Correct mathematical symbol to represent "subtype" |
| 01/27/2008 | Depends what's intimidating | VM's... What's the best? |
| 01/27/2008 | LLVM | VM's... What's the best? |
| 01/27/2008 | Not much breakage, not very warped. | Really un-mutable Scheme |
| 01/24/2008 | Hear, hear... | How useful is reflection, anyway? |
| 01/24/2008 | Even so... | How useful is reflection, anyway? |
| 01/22/2008 | Wow | Numbers in Smalltalk |
| 01/14/2008 | Good ones | Prediction for 2008 |
| 01/07/2008 | Comparison with Scala | J&: Nested Intersection for Scalable Software Composition |
| 01/22/2008 | Pointers... | J&: Nested Intersection for Scalable Software Composition |
| 12/20/2007 | Generics of a Higher Kind | Generics of a Higher Kind |
| 12/20/2007 | A Dialogue on Infinity | A Dialogue on Infinity |
| 12/12/2007 | I missed most of this talk, | Table Tool System |
| 12/12/2007 | Tangent... | Origin of the term Multimethod |
| 12/13/2007 | Thanks! | Origin of the term Multimethod |
| 12/11/2007 | Hmm... | S has a left inverse |
| 12/12/2007 | Ah | S has a left inverse |
| 12/11/2007 | In fact... | functions, statements, expressions |
| 12/07/2007 | The rest? | Subtext 2 Video |
| 11/28/2007 | Not sure | What have I created? |
| 11/13/2007 | :) | Caja: Capability Javascript |
| 11/08/2007 | Perhaps tangential... | Universal Type System |
| 11/06/2007 | Dependent Classes | Dependent Classes |
| 11/06/2007 | And a question... | Dependent Classes |
| 11/07/2007 | Makes sense | Dependent Classes |
| 11/05/2007 | Yes | On the origins of Bisimulation, Coinduction, and Fixed Points |
| 10/29/2007 | Hmm... | Searching for a quote |
| 10/25/2007 | I'm a little confused | XQuery language design issues |
| 10/23/2007 | Anybody at OOPSLA? | Anybody at OOPSLA? |
| 09/19/2007 | It is right | Lambda Calculus: fixed point theorem help |
| 09/19/2007 | Depends on the context... | Lambda Calculus: fixed point theorem help |
| 09/19/2007 | Makes sense... | Lambda Calculus: fixed point theorem help |
| 09/18/2007 | and NEXT... | On creating an ad hoc assembly interpreter to aid studying |
| 09/11/2007 | ...with wrong ideas that appeal to you... | Question about the Monad associativity law |
| 09/10/2007 | Depends | Q: Modularizing SQL? |
| 09/08/2007 | Higher-order XQuery | Q: Modularizing SQL? |
| 08/29/2007 | More... | What is a state? |
| 09/02/2007 | Interesting... | What is a state? |
| 09/06/2007 | Thanks! | What is a state? |
| 08/22/2007 | Also note... | Compiling with Continuations, Continued |
| 07/23/2007 | Votes! | Best LtU humour |
| 07/16/2007 | Fun stuff | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/13/2007 | Abstract Interpretation | Type inference for free? |
| 07/16/2007 | Isn't that what "axiomatization" means? | A Natural Axiomatization of Church's Thesis |
| 07/02/2007 | Good question | Good Language Design Principals for Scripting Languages |
| 07/02/2007 | What indeed? | Good Language Design Principals for Scripting Languages |
| 07/02/2007 | +1 | Branching affordance? |
| 06/08/2007 | You're not alone | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 05/24/2007 | +1 | function overriding workaround in dynamically typed languages |
| 01/07/2008 | Regarding essential complexity | Social Processes and Proofs of Theorems and Programs |
| 01/07/2008 | Yes | Social Processes and Proofs of Theorems and Programs |
| 05/22/2007 | Nice paper | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 05/23/2007 | Actually, that helps a lot! | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 05/19/2007 | "Nam myoho renge kyo," the provisional is itself the absolute! | Is Integer wrapping an exceptional condition? |
| 03/19/2008 | Hmm... | The Monad.Reader |
| 03/19/2008 | Haha | The Monad.Reader |
| 05/07/2007 | Nice! | Church's Thesis and Functional Programming |
| 04/24/2007 | So... | Twitter and Rails brouhaha |
| 09/26/2007 | SPAM | Mutable variables eliminated from .NET |
| 03/23/2007 | No Ifs, Ands, or Buts | No Ifs, Ands, or Buts |
| 03/22/2007 | Devil's advocate... | A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language |
| 03/21/2007 | A Topos Foundation for Theories of Physics | A Topos Foundation for Theories of Physics |
| 03/23/2007 | Agreed | A Topos Foundation for Theories of Physics |
| 02/27/2007 | Clarification | MapReduce |
| 02/14/2007 | a bit unfair, maybe... | Easy to learn and use |
| 02/12/2007 | Gradual Typing for Objects | Gradual Typing for Objects |
| 02/08/2007 | Yes! | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | If we add STM as a tool high | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | a bit more... | Patrick Logan on Software Transaction Memory |
| 02/07/2007 | Maybe your PL is just too "static"! | Programming Shorthands |
| 02/08/2007 | yes, but... dependent syntax? | Programming Shorthands |
| 02/09/2007 | relation between termination and productivity | Termination Checking with Types |
| 12/13/2007 | closures | What is a "fully featured closure"? Request for comments. |
| 01/17/2007 | Most obvious, perhaps not most significant... | Great Expectations: Java Virtual Machine |
| 01/09/2007 | Preliminary Fortress Interpreter | Preliminary Fortress Interpreter |
| 01/04/2007 | Matching Objects With Patterns | Matching Objects With Patterns |
| 01/24/2008 | Agree with Philippa | Derivatives and dissections of data types |
| 01/03/2007 | Done | Lambda The Ultimate comes to SecondLife |
| 12/21/2006 | Seminar: Classical vs. Quantum Computation | Seminar: Classical vs. Quantum Computation |
| 12/21/2006 | Yikes | Comparing Approaches to Generic Programming in Haskell |
| 12/22/2006 | But... | Comparing Approaches to Generic Programming in Haskell |
| 12/23/2006 | Yes and no... | Comparing Approaches to Generic Programming in Haskell |
| 12/18/2006 | And... | Why do we need finally in try? |
| 12/15/2006 | Yes, much better... | Java Open Review Project |
| 12/07/2006 | Squeak | Directness and liveness in the morphic user interface construction environment |
| 12/07/2006 | Of course... | Programming (language) puzzles |
| 12/08/2006 | My point | Programming (language) puzzles |
| 11/30/2006 | How to... | Mechanized Metatheory Model-Checking |
| 11/30/2006 | This is nice... | Modular Type Classes |
| 12/04/2006 | Neat | Modular Type Classes |
| 11/16/2006 | The right track... | Video: The Scala Experiment |
| 11/15/2006 | missing link? | Sun Open Sources Java Platform |
| 11/15/2006 | ah, sorry... | Sun Open Sources Java Platform |
| 05/15/2008 | Implicit conversions | Dodo |
| 12/01/2006 | Has anyone come across | Type inference and union types |
| 12/04/2006 | Yes | Type inference and union types |
| 11/07/2006 | For you and for everyone... | Want to learn something new |
| 10/27/2006 | Practical OCaml | Practical OCaml |
| 11/09/2006 | Completely agree | Practical OCaml |
| 10/23/2006 | Holodeck games and CCCs | Holodeck games and CCCs |
| 10/13/2006 | A Madman Dreams of Turing Machines | A Madman Dreams of Turing Machines |
| 09/21/2006 | The plot thickens | Parser that allow syntax extensions |
| 08/09/2006 | Revisiting Google's MapReduce | Revisiting Google's MapReduce |
| 04/11/2007 | Blog post | Revisiting Google's MapReduce |
| 08/10/2006 | Paper Link | PMD with CLOS-style Method Combination |
| 08/08/2006 | Comonadic Functional Attribute Evaluation | Comonadic Functional Attribute Evaluation |
| 08/08/2006 | Code to share? | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/09/2006 | I agree | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/13/2008 | Ah, but you've been deceived... | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 08/04/2006 | Hmm... | eWeek: Sun Digging Deep for Dynamic Language Support |
| 08/03/2006 | Software Extension and Integration with Type Classes | Software Extension and Integration with Type Classes |
| 07/27/2006 | Generics as a Library | Generics as a Library |
| 07/27/2006 | Expression problem | Generics as a Library |
| 08/01/2006 | Also... | Generics as a Library |
| 07/26/2006 | Not quite true, is it? | Advantages of Soft Typing |
| 07/26/2006 | I see | Advantages of Soft Typing |
| 07/12/2006 | Event-Based Programming without Inversion of Control | Event-Based Programming without Inversion of Control |
| 07/13/2006 | Wrong comparison? | Event-Based Programming without Inversion of Control |
| 07/03/2006 | And in the interest of concrete examples... | LtU: Policies document |
| 06/15/2006 | The Semicolon Wars | The Semicolon Wars |
| 05/18/2006 | "Why We Fight" | ruby vs python |
| 01/23/2008 | Getting far... | ruby vs python |
| 05/12/2006 | Jumbo Lambda Calculus | Jumbo Lambda Calculus |
| 05/12/2006 | Whoops... | Jumbo Lambda Calculus |
| 05/07/2006 | Link... | Multidimensional Virtual Classes |
| 05/08/2006 | Yes, they do... | Designing a Type Notation for a Stack Based Functional Language |
| 05/02/2006 | Funny... | This Is the Title of This Story, Which Is Also Found Several Times in the Story Itself |
| 05/05/2006 | Lua | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/01/2006 | Didn't the Kleisli Query System do this? | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 05/16/2006 | I'm not sure about that... | How do Java generics correspond to System F-(omega)? |
| 03/29/2006 | Previously... | [ANN] Scala-2 |
| 03/31/2006 | Technical vs non-technical. | Class hierarchies and Ontologies |
| 03/31/2006 | One thing... | Class hierarchies and Ontologies |
| 03/26/2006 | Because someone is bound to say it... | Extremely static language? |
| 03/24/2006 | Latin... | Using continuations in Web applications is patented |
| 03/20/2006 | Ok... | Design Patterns as Higher-Order Datatype-Generic Programs. |
| 03/12/2006 | Cool... | ACM Queue: A Conversation with Steve Ross-Talbot |
| 03/10/2006 | DSLs: How and When? | DSLs: How and When? |
| 03/10/2006 | Definitely | DSLs: How and When? |
| 03/10/2006 | Question about R6RS macros... | Scheme Language Steering Committee Report to the Community |
| 03/10/2006 | Thanks for the overview. I'm | Scheme Language Steering Committee Report to the Community |
| 03/10/2006 | Thanks! | Scheme Language Steering Committee Report to the Community |
| 03/13/2006 | Funny, but... | Scheme Language Steering Committee Report to the Community |
| 03/14/2006 | SRFI 32 | Scheme Language Steering Committee Report to the Community |
| 02/28/2006 | Imperative languages don't | Tail call elimination decorator in Python |
| 02/27/2006 | Can you share? | Introduction to the Java EE 5 Platform |
| 03/01/2006 | Spring critique | Introduction to the Java EE 5 Platform |
| 03/02/2006 | Agreed | Introduction to the Java EE 5 Platform |
| 02/11/2006 | Type theory question... | Type theory question... |
| 02/11/2006 | Thanks! | Type theory question... |
| 02/11/2006 | (an interface to what, you might ask) | Guido: Language Design Is Not Just Solving Puzzles |
| 02/10/2006 | What does any of this have to do with AI? | eWeek: 'Exotic' Programming Tools Go Mainstream |
| 02/06/2006 | It's about the benjamins... | hypothetical question |
| 02/05/2006 | Good idea, but... | Unix as programming language |
| 10/26/2009 | Bingo! | The Next Mainstream Programming Languages |
| 10/26/2009 | Be nicer. | The Next Mainstream Programming Languages |
| 10/26/2009 | Not done. | The Next Mainstream Programming Languages |
| 02/05/2006 | The verbosity "problem"... | The Next Mainstream Programming Languages |
| 01/31/2006 | Robert Harper Named as ACM Fellow | Robert Harper Named as ACM Fellow |
| 01/31/2006 | hmm... | Weak vs. strong typing |
| 01/31/2006 | Strong Opinions | line breaks? |
| 02/10/2006 | Formatting in RSS feeds | line breaks? |
| 02/11/2006 | Maybe just comments? | line breaks? |
| 01/31/2006 | Smooth Operators | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Hmm... | Lambda the Ultimate Set Comprehension |
| 01/25/2006 | Nice! | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/25/2006 | Of course... | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/26/2006 | Still not convinced. | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/27/2006 | Sure | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/24/2006 | A guess... | Haskell is not not ML |
| 02/08/2007 | OCaml | Haskell vs. Erlang, Reloaded |
| 01/25/2006 | Everyone else is doing it... | Choice of OS of LtU readers |
| 01/18/2006 | Scala 2 | Scala 2 |
| 01/18/2006 | Great question... | Scala 2 |
| 01/19/2006 | Yes... | Scala 2 |
| 01/30/2006 | Also... | Scala 2 |
| 01/17/2006 | Done! | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/17/2006 | Incidentally... | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/17/2006 | One of the most important thi | Paul Vick: Language Design & Paying the UI "Tax" |
| 06/19/2008 | Awesome! | New language for kids: Scratch - Logo meets Squeak Smalltalk? |
| 01/06/2006 | Concerning Unix pipes, I have | The new old or The "Return" to Concurrency |
| 01/06/2006 | Yep | The new old or The "Return" to Concurrency |
| 01/01/2006 | Too many exceptions means it's not much of a rule. | Return of the Global Variables? |
| 01/01/2006 | Agreed. | Return of the Global Variables? |
| 01/03/2006 | Another approach... | Return of the Global Variables? |
| 12/30/2005 | There's more to his point... | Joel Spolsky views on CS education |
| 12/22/2005 | And we do... | Beyond "Beyond Java" etc. |
| 12/19/2005 | sure | The Behavior of Behavior |
| 12/13/2005 | Top N Papers 2005 | Top N Papers 2005 |
| 01/03/2006 | Forgot one... | Top N Papers 2005 |
| 12/09/2005 | Authors... | Continuations from Generalized Stack Inspection |
| 12/12/2005 | Yet another... | Practical: Designing a graph matching language. |
| 12/11/2005 | Ha! | Envisioning a New Language: A Conversation With Victoria Livschitz |
| 12/12/2005 | "needing" monads | The breaking point of language usability? |
| 12/12/2005 | interesting | The breaking point of language usability? |
| 11/25/2005 | You beat me! | Generalized Algebraic Data Types and Object-Oriented Programming |
| 12/12/2005 | Come on, guys! | Generalized Algebraic Data Types and Object-Oriented Programming |
| 11/20/2005 | Monads in Ruby | Monads in Ruby |
| 11/21/2005 | Need? | Monads in Ruby |
| 11/21/2005 | Not yet... | Monads in Ruby |
| 11/21/2005 | Static types are syntactic. | Ruby the Rival |
| 11/19/2005 | Well... | Ruby the Rival |
| 11/15/2005 | Extensible Records With Scoped Labels | Extensible Records With Scoped Labels |
| 11/16/2005 | Yes, but... | Extensible Records With Scoped Labels |
| 11/16/2005 | This might help... | Extensible Records With Scoped Labels |
| 11/08/2005 | The Reasoned Schemer | The Reasoned Schemer |
| 11/08/2005 | And yes... | The Reasoned Schemer |
| 11/28/2005 | My advice... | The Reasoned Schemer |
| 11/03/2005 | Hmm... | Smalltalk case-statement |
| 11/03/2005 | I know! I'll just keep saying this until everyone agrees! | OOPSLA 2005 Reports |
| 10/28/2005 | And... | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/27/2005 | Seems like I always mention this... | Why Lists? |
| 10/21/2005 | Terminology proposal | Terminology proposal |
| 10/26/2005 | exactly! | Terminology proposal |
| 10/21/2005 | Interesting note... | Bruce Tate: Technologies that may challenge Java |
| 10/22/2005 | Responses, clarification, etc. etc. etc. | Bruce Tate: Technologies that may challenge Java |
| 11/09/2005 | Just for fun... | Bruce Tate: Technologies that may challenge Java |
| 10/19/2005 | Lua does this | Best default sequence? |
| 11/04/2005 | Nice paper | Formal methods for O/R mapping |
| 10/12/2005 | End times... | Macros/Syntax vs. AST manipulation |
| 09/30/2005 | "Dynamic" vs. "dynamically typed"... | Invokedynamic |
| 10/05/2005 | Interesting... | Invokedynamic |
| 09/29/2005 | My 2 cents... | LtU: Style and Focus |
| 09/21/2005 | Maybe Standard ML? | Good languages with simple grammar |
| 09/20/2005 | Dynamic typing in OCaml | Dynamic typing in OCaml |
| 09/16/2005 | Have you looked at "views"? | Visual Basic and LINQ |
| 09/27/2005 | Thanks! | Generic implementation of all four *F* operators: from control0 to shift |
| 09/02/2005 | Rails is that smart. | Ruby on Rails: An Interview with David Heinemeier Hansson |
| 08/30/2005 | It does not | Tim Bray on Ruby |
| 08/31/2005 | Sure... | Tim Bray on Ruby |
| 08/23/2005 | Scalable Component Abstractions | Scalable Component Abstractions |
| 08/24/2005 | OK, sign me up... | Scalable Component Abstractions |
| 08/25/2005 | Speaking of which... | Ivory Towers and Gelfand's Principle |
| 08/29/2005 | I'm not sure I get it... | Ivory Towers and Gelfand's Principle |
| 08/29/2005 | Cool! | Ivory Towers and Gelfand's Principle |
| 08/23/2005 | "Lazy passing of unevaluated | When to create syntax? |
| 08/23/2005 | not quite right... | When to create syntax? |
| 08/18/2005 | Maybe even easier... | Neko 1.0 |
| 08/22/2005 | not necessarily... | Neko 1.0 |
| 08/16/2005 | "web-based" may be the problem... | Forum usability |
| 08/16/2005 | (There are other kinds of abs | Syntax Design |
| 08/19/2005 | I agree... | Syntax Design |
| 08/10/2005 | Analogy... | Concatenative Language Kont |
| 04/03/2010 | Until August... | Vacation |
| 07/29/2005 | More praise... | Happy Birthday, dear Lambda |
| 12/16/2005 | Interesting | AdbmaL |
| 12/19/2005 | Still not sure... | AdbmaL |
| 06/29/2005 | Organizing papers... | Organizing papers... |
| 06/30/2005 | Yeah, that's pretty much it... | Organizing papers... |
| 06/29/2005 | cool! | Hungarian Notation vs The Right Thing |
| 05/31/2005 | (meta) edit request... | Today's Status of Functional Programming Languages for Verification Tools ? |
| 06/05/2006 | Wow | Let's make a programming language! |
| 05/05/2005 | "[debugging] the empty program" | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/05/2005 | Of course most of this stems | Why do they program in C++? |
| 06/04/2009 | Lua? | Lisp-Stat does not seem to be in good health lately. |
| 09/27/2005 | Hmmm... | expressivity of "idiomatic C++" |
| 03/18/2005 | This is pretty far out of my | Halting program density? |
| 02/28/2005 | Thank you so much! | New RSS Feed(s) |
| 02/24/2005 | IANAW3CL, but... | SPARQL Query Language for RDF |
| 02/24/2005 | I think not | SPARQL Query Language for RDF |
| 02/10/2005 | another example... | Stupid Question. |
| 01/27/2005 | Surely it's much easier to de | "Popular vs. Good" in Programming Languages |
| 01/21/2005 | my own... | Getting Started |
| 01/21/2005 | Let's see it from a practical | OOP Is Much Better in Theory Than in Practice |
| 12/16/2004 | related? | Killer Props for Computer Scientist! |
| 12/09/2004 | looks more like... | CiteULike |
| 12/08/2004 | The XSL example should read: | Logix: Multi-Language Programming |
| 12/08/2004 | and, to be fair... | Logix: Multi-Language Programming |
| 12/02/2004 | That statement sounds very RD | RDF Elevator Pitch |
| 12/02/2004 | Yeah, I'm definitely aware of | RDF Elevator Pitch |
| 12/03/2004 | thanks as always... | RDF Elevator Pitch |
| 12/01/2004 | Lua | Downwardly Scalable Languages |
| 12/01/2004 | The problem is that I'm very | Language Oriented Programming |
| 11/11/2004 | Parameterized modules in Erlang | Parameterized modules in Erlang |
| 11/09/2004 | Sure... | Where is everyone? |
| 11/02/2004 | also, apropos the grad school question... | Amusing |
| 10/14/2004 | i agree | Language design: Escaping escapes |
| 10/07/2004 | It's funny... | Paul Graham's invited talk at ILC 2003 |
| 10/12/2004 | beauty is so rare a thing... | Paul Graham's invited talk at ILC 2003 |
| 08/12/2004 | New Paul Graham thing... | New Paul Graham thing... |
| 08/12/2004 | New Paul Graham thing... | New Paul Graham thing... |
| 08/10/2004 | Quick question... | Quick question... |
| 08/11/2004 | Not that same thing, is it? | Why type systems are interesting - part II |
| 08/13/2004 | Why type systems are interesting - part II | Why type systems are interesting - part II |
| 08/17/2004 | Very cool! | Morrow & First-class Labels |
| 08/06/2004 | "Cult of Conor"? | Eliminating Array Bound Checking through Non-dependent types |
| 08/03/2004 | Yes, but... | Tail of Nil and Its Type |
| 08/02/2004 | Another minor usability gripe... | Another minor usability gripe... |
| 08/02/2004 | Wow... | Another minor usability gripe... |
| 03/10/2005 | Actually... | Another minor usability gripe... |
| 07/30/2004 | As usual... | Francis Crick (1916-2004) |
| 07/28/2004 | Actually... | Derrida's Machines |
| 07/28/2004 | you might check out Lua | Mila |
| 08/05/2004 | Hmmm... | Why type systems are interesting |
| 08/05/2004 | I'm just about done... | Why type systems are interesting |
| 12/10/2008 | Hmmm | Explaining monads |
| 01/03/2009 | Perfect | Explaining monads |
| 01/05/2009 | Of course | Explaining monads |
| 01/07/2009 | Of course! | Explaining monads |
| 01/07/2009 | I'm sorry... | Explaining monads |
| 12/06/2006 | Remembrance of things past... | Understanding continuations |
| 06/21/2004 | Site usage question... | Site usage question... |
| 06/21/2004 | Also... | Site usage question... |
| 06/21/2004 | Better already | Site usage question... |
| 06/21/2004 | Site usage question... | The site discussions forum |
| 05/24/2004 | Re: Case Study in Practical Language Use | Case Study in Practical Language Use |
| 05/19/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/09/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 06/10/2004 | Re: Damn! (was Re: The Case for First Class Messages) | The Case for First Class Messages |
| 06/16/2004 | Re: The Case for First Class Messages | The Case for First Class Messages |
| 04/27/2004 | Re: Udell: Radical software customization | Udell: Radical software customization |
| 02/12/2004 | Re: Udell: Programs that write programs | Udell: Programs that write programs |
| 02/02/2004 | Re: Data as code | Data as code |
| 01/15/2004 | Brian Harvey books available online | Brian Harvey books available online |
| 12/09/2003 | Book opinions? | Book opinions? |
| 12/09/2003 | Re: Book opinions? | Book opinions? |
| 12/05/2003 | Re: Python Scripting Everywhere | Python Scripting Everywhere |
| 11/21/2003 | Re: PyLogo | PyLogo |
| 11/20/2003 | Re: Viewing code - how much is just right? | Viewing code - how much is just right? |
| 11/13/2003 | Re: You call that a Monad? This HERE's a Monad.... And a Sh | You call that a Monad? This HERE's a Monad.... And a Shell. |
| 11/05/2003 | Re: Bertrand Meyer on Software Quality | Bertrand Meyer on Software Quality |
| 10/31/2003 | Re: (side site issue) | Macros vs. Higher-order Programming |
| 10/07/2003 | Re: OO Best Feature Poll | OO Best Feature Poll |
| 09/23/2003 | Re: Philip Greenspun: Lisp diehards = Holocaust deniers | Philip Greenspun: Lisp diehards = Holocaust deniers |
| 09/15/2003 | Re: Wither Self | Whither Self |
| 08/29/2003 | Re: The Little Haskellist (once again) | The Little Haskellist (once again) |
| 08/27/2003 | Re: Dynamic languages and virtual machines | Dynamic languages and virtual machines |
| 08/27/2003 | Re: Dynamic languages and virtual machines | Dynamic languages and virtual machines |
| 08/04/2003 | [meta] RSS feed questions... | [meta] RSS feed questions... |
| 08/05/2003 | Re: [meta] RSS feed questions... | [meta] RSS feed questions... |
| 08/08/2003 | Re: [meta] RSS feed questions... | [meta] RSS feed questions... |
| 08/08/2003 | Re: [meta] RSS feed questions... | [meta] RSS feed questions... |
| 07/30/2003 | Re: The Little MLer | The Little MLer |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/24/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/25/2003 | Re: Java Is a Language for the Masses | Java Is a Language for the Masses |
| 07/23/2003 | Re: Message Object Oriented vs Function Object Oriented | Message Object Oriented vs Function Object Oriented |
| 07/23/2003 | Re: Are delegates the moniker of .NET? | Are delegates the moniker of .NET? |
| 07/24/2003 | Re: Are delegates the moniker of .NET? | Are delegates the moniker of .NET? |
| 07/21/2003 | Re: Types and Programming Languages: TNG | Types and Programming Languages: TNG |
| 07/15/2003 | Re: Invocations as objects | Invocations as objects |
| 07/14/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/15/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/15/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/15/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 07/15/2003 | Re: Jef Raskin: The Woes of IDEs | Jef Raskin: The Woes of IDEs |
| 06/24/2003 | Re: Charming Python: Using combinatorial functions in the it | Charming Python: Using combinatorial functions in the itertools module |
| 06/23/2003 | Re: Concepts, Techniques and Models of Computer Programming | Concepts, Techniques and Models of Computer Programming |
| 06/24/2003 | Re: Concepts, Techniques and Models of Computer Programming | Concepts, Techniques and Models of Computer Programming |
| 05/29/2003 | Re: Variance in Java Generics | Variance in Java Generics |
| 05/28/2003 | Re: What's wrong with C++ templates? | What's wrong with C++ templates? |
| 05/23/2003 | Re: Article on F# | Article on F# |
| 05/23/2003 | Re: Identity crisis | Identity crisis |
| 05/14/2003 | Re: Don Box on C# generics vs. C++ generics | Don Box on C# generics vs. C++ generics |
| 05/12/2003 | Re: Joshua Bloch interview on new features in Java 1.5 | Joshua Bloch interview on new features in Java 1.5 |
| 05/08/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 05/08/2003 | Re: The New C++: Trip Report, October 2002 | The New C++: Trip Report, October 2002 |
| 05/02/2003 | Re: Unifying Tables, Objects and Documents | Unifying Tables, Objects and Documents |
| 04/23/2003 | Re: Python Metaclass Programming | Python Metaclass Programming |
| 04/22/2003 | Re: Lojban | Lojban |
| 04/23/2003 | Re: Lojban | Lojban |
| 04/14/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/16/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/17/2003 | Re: Hundred Year Language | Hundred Year Language |
| 04/08/2003 | Re: Insecure Macho Love | Insecure Macho Love |
| 02/17/2003 | Re: Contrary Accumulator Generator | Contrary Accumulator Generator |
| 02/17/2003 | Re: Designing Reusable Classes (PDF) | Designing Reusable Classes (PDF) |
| 02/11/2003 | Re: Wearing the hair shirt: a retrospective on Haskell | Wearing the hair shirt: a retrospective on Haskell |
| 02/11/2003 | Re: Wearing the hair shirt: a retrospective on Haskell | Wearing the hair shirt: a retrospective on Haskell |
| 05/20/2003 | Re: Revisiting an old thread: choosing a foundation language | Revisiting an old thread: choosing a foundation language |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |