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

Posts By: munificent

  Date    Post    Topic  
07/16/2012To my horror, I realized theLanguage Implementation 101
07/16/2012I don't know whether to be reassured or horrified.Language Implementation 101
06/19/2012JavaNull, bottom, etc.?
03/29/2012Here you goDisruptive PLT Revisited
03/29/2012A few off the top of myDisruptive PLT Revisited
02/06/2012Dart supports thisActive Variables in Common Lisp
11/15/2011Java?Is the Expression Problem Fundamental?
10/17/2011Data structures that blend"Crutches in language design", accidental complexity and feature overlap
10/18/2011"inferred" -> "implicit""Crutches in language design", accidental complexity and feature overlap
10/17/2011Just not implementedGoogle's Dart announced
10/17/2011Less protos and more object literalsGoogle's Dart announced
09/22/2011Yup.Google's "The Future of JavaScript" internal memo leaked
03/23/2011Once again...Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
03/10/2011Namespaces for methods?Namespaces for methods?
03/10/20111. Resolve each unqualifiedNamespaces for methods?
03/10/2011I'm consider CLOS-styleNamespaces for methods?
03/14/2011When the qualification isNamespaces for methods?
03/14/2011So in your example functionNamespaces for methods?
03/17/2011Its not clear if the "usingNamespaces for methods?
03/14/2011I agree completely. What I'mNamespaces for methods?
03/15/2011Thanks, those links areNamespaces for methods?
03/17/2011munificent's desire is to beNamespaces for methods?
03/17/2011Magpie does have interfaces,Namespaces for methods?
02/27/2011C# does thatInfoQ video + transcript of Rob Pike on Go
02/14/2011Extending Syntax from Within a LanguageExtending Syntax from Within a Language
02/14/2011YupExtending Syntax from Within a Language
02/15/2011CorrectExtending Syntax from Within a Language
02/16/2011I can see that, but inExtending Syntax from Within a Language
02/09/2011+1Strongly Typed Coroutines (minor question)
02/09/2011Good QuestionStrongly Typed Coroutines (minor question)
01/24/2011OOPifyingPoints in the Pattern Matching Design Space
01/24/2011I'm roughly familiar withPoints in the Pattern Matching Design Space
01/25/2011Understood. Magpie has bothPoints in the Pattern Matching Design Space
01/25/2011Another possibility, if youPoints in the Pattern Matching Design Space
01/25/2011Points in the Pattern Matching Design SpacePoints in the Pattern Matching Design Space
01/25/2011Yes and no. Magpie'sPoints in the Pattern Matching Design Space
01/26/2011Hmm, I don't follow whatPoints in the Pattern Matching Design Space
01/25/2011Pretty muchPoints in the Pattern Matching Design Space
01/25/2011How do you distinguishPoints in the Pattern Matching Design Space
01/26/2011Giving all objects a _0Points in the Pattern Matching Design Space
01/16/2011Library functionThe AST Typing Problem
01/18/2011Bound and unbound ASTThe AST Typing Problem
11/29/2010PostTolerant vs. Demanding Software
11/15/2010TangentClojure's Solutions to the Expression Problem
11/15/2010Magpie is semanticallyClojure's Solutions to the Expression Problem
11/16/2010If you toss static checkingClojure's Solutions to the Expression Problem
11/17/2010ClarifyClojure's Solutions to the Expression Problem
10/30/2010A Self-Checking Type SystemA Self-Checking Type System
10/31/2010The type system itself isn'tA Self-Checking Type System
11/05/20101.a. (A, B, C) <: (A, B) <:A Self-Checking Type System
11/02/2010DocsA Self-Checking Type System
11/03/2010Not there yet...A Self-Checking Type System
11/03/2010What happens when that codeA Self-Checking Type System
11/04/2010That said, the error duringA Self-Checking Type System
11/05/2010But of course I'm amongA Self-Checking Type System
11/03/2010YupA Self-Checking Type System
11/03/2010That said, it's not entirelyA Self-Checking Type System
11/03/2010AgreedA Self-Checking Type System
11/04/2010Good questionsA Self-Checking Type System
11/05/2010If I understand youA Self-Checking Type System
11/05/2010Agreed. Magpie isA Self-Checking Type System
11/05/2010since types are first class,A Self-Checking Type System
11/06/2010Exactly right. ParenthesesA Self-Checking Type System
11/06/2010I wonder if there might beA Self-Checking Type System
11/07/2010Good question. I mayA Self-Checking Type System
11/04/2010If a language feature is tooA Self-Checking Type System
10/12/2010Hard to Keep UpThe barrier to take-up of language innovation
10/12/2010As a UI person, I reallyThe barrier to take-up of language innovation
10/13/2010Hmm, the most important useThe barrier to take-up of language innovation
10/15/2010When I dive into someoneThe barrier to take-up of language innovation
09/17/2010I dug itThyrd at Emerging Languages Camp
09/16/2010Scala has something similarMildly Extended MixFix
09/16/2010OopsMildly Extended MixFix
09/14/2010First, it seems to me thatGADTs in a dynamically type-checked language?
09/16/2010I'm not sure I understandGADTs in a dynamically type-checked language?
09/16/2010If the static type systemGADTs in a dynamically type-checked language?
09/16/2010That's exactly how I look atGADTs in a dynamically type-checked language?
09/16/2010it's possible to distinguishGADTs in a dynamically type-checked language?
09/16/2010Why not both?GADTs in a dynamically type-checked language?
09/05/2010Makes the dependencies too visibleDependency injection via parameterized types (?!)
09/07/2010C# canThe Grafwegen Hi Compiler named Hic release 0.1
09/05/2010Alas, no FinchOSCON 2010 Emerging Languages Camp
09/20/2010Server downOSCON 2010 Emerging Languages Camp
09/09/2010I was wondering the sameiPhone PL lockdown
11/08/2010Have calls that run intoGo's proposed panic/recover exception-like mechanism
12/08/2010ScalaThis class type

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

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