Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: David B. Held

  Date    Post    Topic  
03/03/2007Isn't it about cost?Patrick Logan on Software Transaction Memory
03/03/2007P.S.Patrick Logan on Software Transaction Memory
11/08/2005Type NomenclatureType Nomenclature
11/08/2005TomahtoType Nomenclature
11/08/2005Good pointsType Nomenclature
11/08/2005I own itType Nomenclature
11/08/2005Representation, I/OType Nomenclature
11/08/2005Yes, of courseType Nomenclature
11/09/2005LazyType Nomenclature
11/04/2005Make it GoogleableProgramming Language Names
11/04/2005Music TheoryProgramming Language Names
11/01/2005The point...The Type-System-Feature-Creep Death Spiral
11/01/2005I think you areThe Type-System-Feature-Creep Death Spiral
11/02/2005Not everyone likes VMsThe Type-System-Feature-Creep Death Spiral
11/01/2005What does it mean...The Type-System-Feature-Creep Death Spiral
10/31/2005Which means...Does Visual Studio Rot the Mind?
10/31/2005Java == simpleDoes Visual Studio Rot the Mind?
10/31/2005SimplicityDoes Visual Studio Rot the Mind?
11/01/2005HaskellDoes Visual Studio Rot the Mind?
10/31/2005Syntactic simplicityDoes Visual Studio Rot the Mind?
11/01/2005Crutch or Power Tool?Does Visual Studio Rot the Mind?
11/02/2005ConfusedOOPSLA 2005 Reports
11/03/2005True HybridOOPSLA 2005 Reports
11/03/2005They stole my name!OOPSLA 2005 Reports
11/04/2005Let them eat cake?OOPSLA 2005 Reports
11/03/2005Example?OOPSLA 2005 Reports
11/03/2005Academic?OOPSLA 2005 Reports
11/04/2005CluelessOOPSLA 2005 Reports
11/04/2005Not quite thereOOPSLA 2005 Reports
11/04/2005ThanksOOPSLA 2005 Reports
11/04/2005My apologies!!OOPSLA 2005 Reports
11/04/2005NirvanaOOPSLA 2005 Reports
11/04/2005Type as Unifying ForceOOPSLA 2005 Reports
11/04/2005Static == FastOOPSLA 2005 Reports
11/04/2005To Infinity, and Beyond!!OOPSLA 2005 Reports
11/04/2005ContractsOOPSLA 2005 Reports
11/04/2005Ok, I will!OOPSLA 2005 Reports
11/04/2005But is that the point?OOPSLA 2005 Reports
11/04/2005Contract <=>TypeOOPSLA 2005 Reports
11/04/2005Yes it canOOPSLA 2005 Reports
11/04/2005Well, it isOOPSLA 2005 Reports
11/04/2005Context, context, contextOOPSLA 2005 Reports
11/05/2005Misleading indeedOOPSLA 2005 Reports
11/04/2005EffortOOPSLA 2005 Reports
11/04/2005I don't mean to set the bar too highOOPSLA 2005 Reports
11/04/2005Short MemoryOOPSLA 2005 Reports
10/28/2005On the other hand...An Overview of the Singularity Project
10/28/2005Are you sure?An Overview of the Singularity Project
10/24/2005Why Lists?Why Lists?
10/24/2005True, but annoyingWhy Lists?
10/25/2005MisquoteWhy Lists?
10/25/2005Copying isn't the issueWhy Lists?
10/25/2005No it isn't ;)Why Lists?
10/25/2005So...Why Lists?
10/25/2005Hmm...Why Lists?
10/24/2005Structurally, yesWhy Lists?
10/24/2005car & cdr "low-level"??Why Lists?
10/24/2005PerformanceWhy Lists?
10/24/2005Tree more fundamentalWhy Lists?
10/24/2005ExactlyWhy Lists?
10/24/2005BothWhy Lists?
10/24/2005Is Sequence standard?Why Lists?
10/25/2005ExampleWhy Lists?
10/25/2005Not quite iteratorsWhy Lists?
10/25/2005InterestingWhy Lists?
10/22/2005Aliasing considered harmfulLinear types for aliased resources
10/24/2005Perhaps you did not understand mineLinear types for aliased resources
10/31/2005Not quite as simple as thatLinear types for aliased resources
10/31/2005Bad exampleLinear types for aliased resources
10/22/2005Sapir-WhorfWhat do you mean by studying "programming languages"?
10/22/2005AudienceWhat do you mean by studying "programming languages"?
10/25/2005Who's WhoWhat do you mean by studying "programming languages"?
11/03/2005How many different ways?Bruce Tate: Technologies that may challenge Java
11/03/2005State the problem...Bruce Tate: Technologies that may challenge Java
11/03/2005Error safe?Bruce Tate: Technologies that may challenge Java
11/03/2005Simplicity != FlexibilityBruce Tate: Technologies that may challenge Java
11/03/2005For a suitable value of "beat"Bruce Tate: Technologies that may challenge Java
11/03/2005Is that so?Bruce Tate: Technologies that may challenge Java
11/03/2005TrueBruce Tate: Technologies that may challenge Java
10/25/2005TradeoffsBruce Tate: Technologies that may challenge Java
10/25/2005EclipseBruce Tate: Technologies that may challenge Java
10/25/2005DelphiBruce Tate: Technologies that may challenge Java
10/25/2005Code Generation and ParsingBruce Tate: Technologies that may challenge Java
10/26/2005Interesting...C#: Yesterday, Today, and Tomorrow: An Interview with Anders Hejlsberg
10/18/20052c++Best default sequence?
10/19/2005HehBest default sequence?
10/19/2005The secondBest default sequence?
10/20/2005Why not?Best default sequence?
10/20/2005Relational ProgrammingBest default sequence?
10/21/2005Even so...Best default sequence?
10/21/2005LINQ == flexibleBest default sequence?
10/21/2005Not sureBest default sequence?
10/19/2005F#Commercial Users of Functional Programming (CUFP)
10/17/2005Possible != DesirableObject Oriented Programming + Referential Transparency
10/18/2005Are you sure?Object Oriented Programming + Referential Transparency
10/18/2005YesObject Oriented Programming + Referential Transparency
10/19/2005Data-Intensive AppsObject Oriented Programming + Referential Transparency
10/17/2005Exceptions considered harmful?Territorial Exception Handling
10/17/2005C exceptionsTerritorial Exception Handling
10/17/2005Error HandlingTerritorial Exception Handling
10/17/2005FP vs. ImpTerritorial Exception Handling
10/17/2005Null not exceptionalTerritorial Exception Handling
10/17/2005Abstraction CostTerritorial Exception Handling
10/17/2005Haskell doesn't really let yoTerritorial Exception Handling
10/17/2005Monad Strikes Back!Territorial Exception Handling
10/17/2005Null Pointers, of course ;>Territorial Exception Handling
10/17/2005Maybe-as-status-code == badTerritorial Exception Handling
10/14/2005Evolution, not revolutionNew GUI paradigm
10/13/2005ValueExpressions vs Statements
10/14/2005Depends...Expressions vs Statements
10/17/2005ParsingExpressions vs Statements
10/19/2005Binding semanticsExpressions vs Statements
10/20/2005Example?Expressions vs Statements
10/20/2005Machine Intelligence?Expressions vs Statements
10/21/2005Definition of "machine"Expressions vs Statements
10/21/2005NameExpressions vs Statements
10/12/2005Third Manifesto?Formal methods for O/R mapping
10/13/2005PostgresFormal methods for O/R mapping
10/17/2005LINQ?Formal methods for O/R mapping
10/10/2005Not an expertPLT and College
10/13/2005Abstract AlgebraPLT and College
10/12/2005Correction correction ;>Macros/Syntax vs. AST manipulation
10/10/2005Wow!The Church-Turing Thesis: Breaking the Myth
10/10/2005I knowThe Church-Turing Thesis: Breaking the Myth
10/10/2005IndeedThe Church-Turing Thesis: Breaking the Myth
10/10/2005Your brain on TMs...The Church-Turing Thesis: Breaking the Myth
10/10/2005DisagreeThe Church-Turing Thesis: Breaking the Myth
10/10/2005Dynamic TMThe Church-Turing Thesis: Breaking the Myth
10/10/2005UTMsThe Church-Turing Thesis: Breaking the Myth
10/10/2005Try it...The Church-Turing Thesis: Breaking the Myth
10/10/2005Proof?The Church-Turing Thesis: Breaking the Myth
10/10/2005MisunderstandingThe Church-Turing Thesis: Breaking the Myth
10/10/2005Literature?The Church-Turing Thesis: Breaking the Myth
10/10/2005Argument?The Church-Turing Thesis: Breaking the Myth
10/11/2005ReferenceThe Church-Turing Thesis: Breaking the Myth
10/10/2005GEBThe Church-Turing Thesis: Breaking the Myth
10/10/2005NoThe Church-Turing Thesis: Breaking the Myth
10/10/2005"Universal" Turing MachinesThe Church-Turing Thesis: Breaking the Myth
10/10/2005If one redefines "powerful" tThe Church-Turing Thesis: Breaking the Myth
10/10/2005Computable Universe?The Church-Turing Thesis: Breaking the Myth
10/07/2005The "Problem"Scalability
10/07/2005Attribution of causalityScalability
10/07/2005Double StandardScalability
10/10/2005Not a puzzleScalability
10/03/2005C++?Number-Parameterized Types by Oleg Kiselyov
10/04/2005S/N ratioThe English-Likeness Monster
09/30/2005Yes"The Anatomy of a Loop"
10/04/2005Difference"The Anatomy of a Loop"
10/04/2005Not buying"The Anatomy of a Loop"
10/04/2005?"The Anatomy of a Loop"
10/05/2005Apples?"The Anatomy of a Loop"
10/04/2005Of course"The Anatomy of a Loop"
10/04/2005Non-example"The Anatomy of a Loop"
10/04/2005The Irreducible Cost of Abstraction"The Anatomy of a Loop"
10/04/2005Pure->Mutable?"The Anatomy of a Loop"
10/04/2005Theorists"The Anatomy of a Loop"
10/05/2005Duly noted"The Anatomy of a Loop"
10/05/2005Good point"The Anatomy of a Loop"
10/05/2005Higher order == good"The Anatomy of a Loop"
10/05/2005What if it's not really important?"The Anatomy of a Loop"
09/30/2005NamesLtU etiquette
09/28/2005Wow!Looking for FP Debuggers
09/29/2005Don't get me wrong...Looking for FP Debuggers
09/28/2005Hmm...LtU: Style and Focus
09/29/2005AdvocacyLtU: Style and Focus
09/23/2005JavaNon-Lisp, natively extensible?
09/23/2005Linearity?Abstractions considered harmful?
09/27/2005RepliesAbstractions considered harmful?
09/22/2005Is meaningfulWhat is Intuitive?
09/27/2005Ahh...What is Intuitive?
09/28/2005Iteration vs. recursion?What is Intuitive?
09/22/2005But...Mondo bizarro
09/23/2005Or, to put it another way...Select/From versus From/Select
09/22/2005If LispRuby: Language of the Programming Übermensch?
09/23/2005MonadsRuby: Language of the Programming Übermensch?
09/23/2005I disagreeRuby: Language of the Programming Übermensch?
09/23/2005NitpickRuby: Language of the Programming Übermensch?
09/23/2005Bare metalDon Box: Scheme Is Love
09/21/2005Must...avoid...thread...Dynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Heh...Dynamic vs. Static Typing - A Pattern-Based Analysis
09/27/2005The pointSeaFunc meets Tues. Sept. 27th
09/22/2005EasyGood languages with simple grammar
09/21/2005AgreeDynamic typing in OCaml
09/15/2005Most Productive FP Lang?Most Productive FP Lang?
09/16/2005Am I mistaken...Most Productive FP Lang?
09/16/2005F# may be free...Most Productive FP Lang?
09/20/2005Maybe so...Most Productive FP Lang?
09/17/2005SummaryMost Productive FP Lang?
09/19/2005Or maybe...Most Productive FP Lang?
09/19/2005Ah, yes...Most Productive FP Lang?
09/19/2005The point of the exercise...Most Productive FP Lang?
09/20/2005ScalaMost Productive FP Lang?
09/20/2005Yes, exactly. Not only are wMost Productive FP Lang?
09/20/2005Half empty?Most Productive FP Lang?
09/21/2005EconomicsMost Productive FP Lang?
09/21/2005At least...Most Productive FP Lang?
09/23/2005Well...Most Productive FP Lang?
09/20/2005Unfortunately...Most Productive FP Lang?
09/23/2005Too bad...Most Productive FP Lang?
09/23/2005Yes, yesMost Productive FP Lang?
09/19/2005Hahaha!!System programming using FP
08/24/2005Ahead of his time, or out on a limb?Should Computer Science Get Rid of Protocols?
08/19/2005That's good news...ObjectiveCLIPS Released
08/16/2005DatesForum usability
08/17/2005Recent PostsForum usability
08/17/2005Sounds goodForum usability
08/18/2005Observation...'Information and Computation' Open Access
08/18/2005Through interaction...'Information and Computation' Open Access
08/18/2005Community IQ'Information and Computation' Open Access
08/19/2005Nature'Information and Computation' Open Access
08/19/2005You win'Information and Computation' Open Access
08/11/2005More expressivity == better?Larger Subroutines == Fewer Defects
08/12/2005You have to remember...Larger Subroutines == Fewer Defects
08/09/2005ExpressivityExpressivity
08/09/2005But...Expressivity
08/09/2005The problem...Expressivity
08/09/2005If it were Turing complete...Expressivity
08/10/2005Good pointExpressivity
08/10/2005My point...Expressivity
08/11/2005Excellent link!Expressivity
08/11/2005Hmm...Expressivity
08/11/2005Yes, exactly...Expressivity
08/11/2005A temporary by any other name...Concatenative Language Kont
08/08/2005The Imperative PerspectiveCoupling of concepts - good or bad
08/08/2005Write once, Read manyOverloading - Syntactic Heroin?
08/08/2005Actually...Overloading - Syntactic Heroin?
08/05/2005How about...Overloading - Syntactic Heroin?
08/05/2005Proper operator overloadingOverloading - Syntactic Heroin?
08/05/2005Yes, it canOverloading - Syntactic Heroin?
08/05/2005Let's Go All The WayOverloading - Syntactic Heroin?
08/04/2005Ivory TowersObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005Example?Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/09/2005However...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/12/2005I wonder...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005You are talking about performObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005FP AcceptanceObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Code Complete Ain't Just for NoobsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Code Completion + Sensible Types == WinObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Clarification...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Not a VS fan...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005If you tried...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005Which version?Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005Ahh...yes.Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005I mostly agree...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005PsychologyObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005Well...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Fast ErlangObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/08/2005Not standardObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Interesting...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005YupObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005Less than Failure, but Less than SuccessObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Don't be mistaken...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005RebuttalObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Is Assembly Any Good?Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Platform IndependenceObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Reference counting...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Refcounting is not a panaceaObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005It's HelpfulObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/14/2005Actually...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Thanks!Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/07/2005Is it just me...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/11/2005OO : Relational :: Oil : WaterObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/11/2005Example...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/11/2005So...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/11/2005I'll take a shotObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/04/2005Slow software sucksACM Queue: Security Problem Solved?
08/05/2005"It's the Economy, stupid!"ACM Queue: Security Problem Solved?
08/04/2005Context-Sensitive grammarsThe Language Machine - a toolkit for language and grammar
08/04/2005Dynamic parsingThe Language Machine - a toolkit for language and grammar
09/28/2005Rebel without a cause?The Language Machine - a toolkit for language and grammar
09/29/2005Ok...The Language Machine - a toolkit for language and grammar
08/04/2005Depends on "environment"Memory fault and segmentation faults
09/19/2005?expressivity of "idiomatic C++"
09/19/2005In what way...expressivity of "idiomatic C++"
09/20/2005Hmm...expressivity of "idiomatic C++"
09/26/2005C++ versionexpressivity of "idiomatic C++"
09/19/2005Here's a slightly better version...expressivity of "idiomatic C++"
09/19/2005You can generate...expressivity of "idiomatic C++"
09/20/2005Example?expressivity of "idiomatic C++"
09/20/2005Order vs. Chaosexpressivity of "idiomatic C++"
09/27/2005I have to agreeexpressivity of "idiomatic C++"
09/27/2005Syntactic brevityexpressivity of "idiomatic C++"
09/28/2005No GC ;>expressivity of "idiomatic C++"
10/22/2005Misguidedthe Chinese natual language
10/21/2005Highly doubtfulthe Chinese natual language
10/25/2005Musical language?the Chinese natual language
10/03/2005Example?Ken Shan: Shift to Control
10/04/2005Concrete?Ken Shan: Shift to Control
10/04/2005OkKen Shan: Shift to Control
08/03/2005Johnny Come LatelyWhy type systems are interesting
08/02/2005I realize this thread is overFunctional programming in Java

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