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

Posts By: Andreas Rossberg

  Date    Post    Topic  
07/17/2012I don't followOO type systems and BNFs
06/26/2012Some truthsLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Wrong conclusionLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012.NET isn't really multi-languageLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012NoneLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Not type inferenceLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Valid pointLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012YesLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/28/2012GCLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012What programmers valueLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/01/2012ProductivityLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/03/2012ThanksLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/18/2012StrictnessNull, bottom, etc.?
06/18/2012Just a pretentiousNull, bottom, etc.?
06/21/2012No messNull, bottom, etc.?
06/22/2012TrueNull, bottom, etc.?
06/22/2012GeneralisationNull, bottom, etc.?
06/19/2012ClarificationsNull, bottom, etc.?
06/19/2012Not sure what you are getting atNull, bottom, etc.?
06/19/2012Same in untypedNull, bottom, etc.?
06/20/2012NoNull, bottom, etc.?
06/20/2012"Contracts"Null, bottom, etc.?
06/20/2012BecauseNull, bottom, etc.?
06/21/2012Disagree indeedNull, bottom, etc.?
06/21/2012Too speculativeNull, bottom, etc.?
06/20/2012Lazy performance is harderNull, bottom, etc.?
06/20/2012Except thatNull, bottom, etc.?
06/21/2012Don't followNull, bottom, etc.?
06/21/2012Weird conclusionNull, bottom, etc.?
06/21/2012Operational semantics?Null, bottom, etc.?
06/22/2012Observing vs knowingNull, bottom, etc.?
06/22/2012SillyNull, bottom, etc.?
06/22/2012Giving upNull, bottom, etc.?
06/23/2012Your tracer is brokenNull, bottom, etc.?
06/23/2012Straw manNull, bottom, etc.?
06/23/2012Of course it isNull, bottom, etc.?
06/25/2012The ability to predictNull, bottom, etc.?
06/19/2012Er...Null, bottom, etc.?
06/20/2012What's the misunderstanding?Null, bottom, etc.?
06/19/2012Void isn't voidNull, bottom, etc.?
06/19/2012Well, the "void" keyword didNull, bottom, etc.?
06/14/2012ImpossibleType classes in a dynamic language
06/14/2012Not so sureType classes in a dynamic language
06/08/2012Escaping the fly trapWat
06/09/2012If your point isWat
06/09/2012JavaScript's successWat
05/28/2012CoherenceImplementing abstract classes automatically?
05/29/2012The damageImplementing abstract classes automatically?
05/30/2012Essential propertiesImplementing abstract classes automatically?
05/30/2012Nice oneLanguages with 'unique' programs
05/07/2012RegionsFeather: A Heapless Functional Programming Language
05/09/2012Separate compilationCommon Lisp: The Untold Story
05/11/2012AmbiguousCommon Lisp: The Untold Story
05/11/2012Not sure about the Java detailsCommon Lisp: The Untold Story
05/11/2012Java interfacesCommon Lisp: The Untold Story
05/09/2012Make and incrementalCommon Lisp: The Untold Story
05/09/2012Parallel requires independentCommon Lisp: The Untold Story
04/14/2012Duality of computationSymmetry in type systems
03/31/2012"Right"?Quantitative comparison of unit testing vs. static typing?
04/24/2012Higher levels of abstraction are essentialQuantitative comparison of unit testing vs. static typing?
04/23/2012Random data pointQuantitative comparison of unit testing vs. static typing?
04/24/2012Lack of 'eval' considered a featureQuantitative comparison of unit testing vs. static typing?
04/24/2012Eval is too powerfulQuantitative comparison of unit testing vs. static typing?
04/18/2012Null exceptions are a greatQuantitative comparison of unit testing vs. static typing?
04/19/2012Null pointer exceptions are so 1980Quantitative comparison of unit testing vs. static typing?
04/20/2012Non-proliferation of failureQuantitative comparison of unit testing vs. static typing?
04/20/2012Good will and disciplineQuantitative comparison of unit testing vs. static typing?
04/21/2012Cyclic initialisationQuantitative comparison of unit testing vs. static typing?
04/22/2012TechnicallyQuantitative comparison of unit testing vs. static typing?
04/22/2012Function.prototype.toStringQuantitative comparison of unit testing vs. static typing?
04/22/2012Can youQuantitative comparison of unit testing vs. static typing?
04/23/2012No conflationQuantitative comparison of unit testing vs. static typing?
04/21/2012PessimisticQuantitative comparison of unit testing vs. static typing?
04/21/2012The usability issue is with specification, not checkingQuantitative comparison of unit testing vs. static typing?
03/31/2012Many wrong assumptionsQuantitative comparison of unit testing vs. static typing?
03/31/2012Unavoidable biasQuantitative comparison of unit testing vs. static typing?
03/31/2012Just to be clear, my postQuantitative comparison of unit testing vs. static typing?
04/01/2012Measuring the quality ofQuantitative comparison of unit testing vs. static typing?
04/06/2012Instrumenting the type systemQuantitative comparison of unit testing vs. static typing?
04/06/2012Not realisticQuantitative comparison of unit testing vs. static typing?
04/07/2012ExamplesQuantitative comparison of unit testing vs. static typing?
04/07/2012YesQuantitative comparison of unit testing vs. static typing?
04/07/2012Hm...Quantitative comparison of unit testing vs. static typing?
04/08/2012Fair enoughQuantitative comparison of unit testing vs. static typing?
04/08/2012Abstraction as encryptionQuantitative comparison of unit testing vs. static typing?
04/08/2012The closure remarkQuantitative comparison of unit testing vs. static typing?
04/11/2012No disagreement thereQuantitative comparison of unit testing vs. static typing?
03/25/2012By-refRetrospective Thoughts on BitC
03/25/2012Algol 68 can handle thatRetrospective Thoughts on BitC
03/25/2012Yes, butRetrospective Thoughts on BitC
03/27/2012Dynamic scope checksRetrospective Thoughts on BitC
03/28/2012Well, sure, butRetrospective Thoughts on BitC
03/28/2012RC vs GCRetrospective Thoughts on BitC
03/28/2012ContinuumRetrospective Thoughts on BitC
04/08/2012I agree it's a hackishRetrospective Thoughts on BitC
03/22/2012That is already happeningDisruptive PLT Revisited
03/24/2012Not so easyDisruptive PLT Revisited
03/24/2012Sounds familiarDisruptive PLT Revisited
03/11/2012Huh?References about the importance of formalism in programming language design
03/11/2012Indirect effect?References about the importance of formalism in programming language design
03/11/2012ArgumentsReferences about the importance of formalism in programming language design
03/11/2012NoReferences about the importance of formalism in programming language design
03/12/2012Popularity?References about the importance of formalism in programming language design
03/12/2012Since whenReferences about the importance of formalism in programming language design
03/12/2012MisunderstandingReferences about the importance of formalism in programming language design
03/13/2012ExactlyReferences about the importance of formalism in programming language design
03/16/2012WowReferences about the importance of formalism in programming language design
03/16/2012Proofs are tediousReferences about the importance of formalism in programming language design
03/16/2012Goes both waysReferences about the importance of formalism in programming language design
03/19/2012I could easily name papersReferences about the importance of formalism in programming language design
03/17/2012I don't get your (1)References about the importance of formalism in programming language design
03/19/2012Scientific maturityReferences about the importance of formalism in programming language design
03/19/2012Non sequiturReferences about the importance of formalism in programming language design
03/20/2012TautologyReferences about the importance of formalism in programming language design
03/20/2012FunnyReferences about the importance of formalism in programming language design
03/21/2012Interesting but somewhat outdatedReferences about the importance of formalism in programming language design
03/22/2012All that Gabriel saidInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012Intuitive??Informed dissent: William Cook contra Bob Harper on OOP
03/22/2012Or so it seemsInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012Well, in literature,Informed dissent: William Cook contra Bob Harper on OOP
03/22/2012Despite the titleInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012Right foundations?Informed dissent: William Cook contra Bob Harper on OOP
03/22/2012For exampleInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012I seeInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012Type classes aren't subtypingInformed dissent: William Cook contra Bob Harper on OOP
02/28/2012There is no programmingwhy first-class functions
03/01/2012Unless...why first-class functions
03/01/2012Second-class functionswhy first-class functions
02/19/2012Hard problemA Concept Design for C++
02/20/2012Only at the point of a gunA Concept Design for C++
02/21/2012From the distanceA Concept Design for C++
02/22/2012How aboutA Concept Design for C++
02/22/2012What language design problemA Concept Design for C++
02/23/2012I'm not an expert on stagedA Concept Design for C++
02/23/2012This speaks to theA Concept Design for C++
02/23/2012DoubtfulA Concept Design for C++
02/23/2012Frankly, if those are yourA Concept Design for C++
02/24/2012FrustratingA Concept Design for C++
02/24/2012Principles, not toolsA Concept Design for C++
02/25/2012AFAICS, nobody here hasA Concept Design for C++
02/27/2012Two examplesA Concept Design for C++
02/29/2012Much of the damageA Concept Design for C++
03/02/2012Leaky abstractionsA Concept Design for C++
03/04/2012Without doubtA Concept Design for C++
03/01/2012Wrong principles or wrong toolsA Concept Design for C++
02/15/2012ParametricityWhy Concatenative Programming Matters
02/19/2012Useful characterisation?Why Concatenative Programming Matters
02/20/2012Why bytes?Why Concatenative Programming Matters
02/20/2012What is "program text"?Why Concatenative Programming Matters
02/21/2012Impure?Why Concatenative Programming Matters
02/21/2012Old-school BASICWhy Concatenative Programming Matters
02/21/2012StructureWhy Concatenative Programming Matters
02/27/2012Representational abstractionWhy Concatenative Programming Matters
01/30/2012Previously on LtU: Tim SweeneyEvolution of mainstream programming language paradigms
12/22/2011MathematicalCambridge Course on "Usability of Programming Languages"
11/12/2011Not specific to typesIs the Expression Problem Fundamental?
11/15/2011Ilegitimate complaintIs the Expression Problem Fundamental?
11/09/2011More expressiveHaskell V Java type checking
11/01/2011OCaml's objects are poly recordsExtensible Programming with First-Class Cases
11/02/2011Different issueExtensible Programming with First-Class Cases
10/30/2011[OT] Please include authors in postThe Experimental Effectiveness of Mathematical Proof
10/29/2011Fabric"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011Yes"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011You just want structural types"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Structural"We Really Don't Know How to Compute!" by Gerald Sussman
11/01/2011OO vs type classes"We Really Don't Know How to Compute!" by Gerald Sussman
11/07/2011Er..."We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011For example"We Really Don't Know How to Compute!" by Gerald Sussman
11/10/2011Language feature or implementation technique?"We Really Don't Know How to Compute!" by Gerald Sussman
11/10/2011Don't see how that helps"We Really Don't Know How to Compute!" by Gerald Sussman
11/10/2011Wrapping state"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Modularity requirement"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Under the hood"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Not the same thing"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011You assume"We Really Don't Know How to Compute!" by Gerald Sussman
11/01/2011Confusion"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011There is no order"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011You are changing your statement"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011Types are irrelevant here, Vol. XVI"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011Mutable state ≠ mutable definitions"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011Sorry, but"We Really Don't Know How to Compute!" by Gerald Sussman
10/29/2011Yes, I disagree"We Really Don't Know How to Compute!" by Gerald Sussman
10/18/2011Standard ML"Crutches in language design", accidental complexity and feature overlap
10/17/2011C preprocessorDennis Ritchie passed away
10/12/2011Tail calls in JavaScriptGoogle's Dart announced
10/10/2011Makes me wanna cryGoogle's Dart announced
10/11/2011In other wordsGoogle's Dart announced
10/11/2011Well...Google's Dart announced
10/11/2011Subsumption vs subtypingGoogle's Dart announced
10/11/2011Read onGoogle's Dart announced
10/07/2011Soundness?Open thread: RIP Steve Jobs
10/08/2011B-team?Open thread: RIP Steve Jobs
09/21/2011AgreeForum Topics and Story
08/13/2011This is fundamentally brokenThe this argument in dynamic programming languages with OO and first-class functions
08/22/2011Error-proneThe this argument in dynamic programming languages with OO and first-class functions
08/01/2011ClarificationImplementor's guide/tutorial to delimited continuations?
08/02/2011Nitpicking onlyImplementor's guide/tutorial to delimited continuations?
07/14/2011Don't waste your timeThe Last Language?
07/15/2011Absurd reasoningThe Last Language?
07/16/2011Mathematical?The Last Language?
07/10/2011Tools can be good or badKnockout JS
07/11/2011These languagesKnockout JS
07/11/2011A bad tool is a bad toolKnockout JS
07/11/2011Point takenKnockout JS
07/10/2011JS as a compilation targetKnockout JS
06/24/2011No reflection involvedmodules are anti-modular
06/24/2011Rightmodules are anti-modular
06/24/2011Assumptionsmodules are anti-modular
06/25/2011Why?modules are anti-modular
04/23/2011Control effectsNomenclature for impure functions
05/18/2011Of coursePatterns in Functional Programming
04/13/2011Looks OK, but what for?Redhat's New Language
04/14/2011Same thingRedhat's New Language
04/15/2011LeibnizRedhat's New Language
04/12/2011I disagree with muchStaking Claims: A History of Programming Language Design Claims and Evidence
04/19/2011Of courseStaking Claims: A History of Programming Language Design Claims and Evidence
03/28/2011Sounds familiarExtensible nesting of classes
03/29/2011"Containment"Extensible nesting of classes
03/29/2011Syntax confusionExtensible nesting of classes
03/30/2011Ah, noExtensible nesting of classes
03/30/2011YesExtensible nesting of classes
03/30/2011Sorry, I still don't get itExtensible nesting of classes
03/24/2011NahBob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011Numeric towersBob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011That requires existentialsBob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011Either wayBob Harper of CMU is blogging about programming languages and introductory CS education
03/28/2011Forms of data abstractionBob Harper of CMU is blogging about programming languages and introductory CS education
06/28/2012The blogBob Harper of CMU is blogging about programming languages and introductory CS education
03/09/2011Not a real issueMiddle History of Logic Programming
03/09/2011And...Middle History of Logic Programming
03/09/2011Abstract signaturesMiddle History of Logic Programming
03/09/2011Not funnyMiddle History of Logic Programming
03/09/2011Come on...Middle History of Logic Programming
03/09/2011IndeedMiddle History of Logic Programming
03/09/2011NiceMiddle History of Logic Programming
02/26/2011My 2 cents, having looked atInfoQ video + transcript of Rob Pike on Go
02/26/2011Be that as it may beInfoQ video + transcript of Rob Pike on Go
02/28/2011Not equivalentInfoQ video + transcript of Rob Pike on Go
03/01/2011Accidental?InfoQ video + transcript of Rob Pike on Go
03/05/2011Interfaces are structural object types, mostlyInfoQ video + transcript of Rob Pike on Go
03/08/2011"Runtime dispatch"InfoQ video + transcript of Rob Pike on Go
03/10/2011Code update is hardInfoQ video + transcript of Rob Pike on Go
03/10/2011DependsInfoQ video + transcript of Rob Pike on Go
01/10/2011...include filesFast Compilers
01/10/2011Transitive inclusionFast Compilers
01/11/2011Precompiled headersFast Compilers
01/12/2011Backwards compatibilityFast Compilers
01/14/2011Not specific to CFast Compilers
11/17/2010Computation Spaces?Clojure's Solutions to the Expression Problem
11/18/2010Don't think soClojure's Solutions to the Expression Problem
11/18/2010Full abstractionClojure's Solutions to the Expression Problem
11/20/2010HmClojure's Solutions to the Expression Problem
11/19/2010PlotkinClojure's Solutions to the Expression Problem
11/21/2010Trade-off between strong and flexibleClojure's Solutions to the Expression Problem
11/22/2010Meta programming?Clojure's Solutions to the Expression Problem
11/21/2010TrueClojure's Solutions to the Expression Problem
11/26/2010Bad examplesClojure's Solutions to the Expression Problem
11/26/2010See hereClojure's Solutions to the Expression Problem
11/07/2010DefunctionalizationClosures without function pointers
10/31/2010"Task" vs future?Asynchronous Programming, Monads and Continuations in C#, F# and Scala
10/31/2010Why not fix that?Asynchronous Programming, Monads and Continuations in C#, F# and Scala
10/31/2010InterestingAsynchronous Programming, Monads and Continuations in C#, F# and Scala
10/27/2010Marx misread (once again?)The Myths of Object-Orientation
10/29/2010RPCs bad?The Myths of Object-Orientation
10/29/2010Very commonThe Myths of Object-Orientation
10/29/2010Deeper call chainsThe Myths of Object-Orientation
10/29/2010Proto buffersThe Myths of Object-Orientation
10/29/2010Asynchronous RPCs = synchronous RPCs + threadsThe Myths of Object-Orientation
11/03/2010Not safeThe Myths of Object-Orientation
12/19/2010Circular?The Myths of Object-Orientation
10/15/2010SomeProgramming languages with higher kinds?
10/16/2010Set notationThe barrier to take-up of language innovation
10/16/2010Explicit tail callsThe barrier to take-up of language innovation
10/16/2010Not concerned with error messagesThe barrier to take-up of language innovation
10/16/2010Violent agreement?The barrier to take-up of language innovation
10/14/2010Statically checkedThe barrier to take-up of language innovation
10/16/2010YesThe barrier to take-up of language innovation
10/16/2010How?The barrier to take-up of language innovation
10/16/2010That's not dependent typesThe barrier to take-up of language innovation
10/16/2010Alternative function syntaxThe barrier to take-up of language innovation
10/17/2010Dependent on "runtime" valuesThe barrier to take-up of language innovation
10/18/2010Properties as typesThe barrier to take-up of language innovation
09/16/2010Coq notMildly Extended MixFix
09/15/2010You cannot have your cake and eat it, tooGADTs in a dynamically type-checked language?
09/16/2010Type or data?GADTs in a dynamically type-checked language?
08/25/2010Premature optimization?The Grafwegen Hi Compiler named Hic release 0.1
09/03/2010It's not about punishing bad programmersThe Grafwegen Hi Compiler named Hic release 0.1
08/16/2010Not quiteMod sys with external binding of mods to mod sigs, where all mod imports must be sigs only
08/13/2010Module System >= Namespace ManagementThe ideal style/system for namespaces.
08/13/2010Yes you canThe ideal style/system for namespaces.
09/18/2011One ref per exnHow to classify type of ML's exn ? (Naive question)
08/09/2010Extensible/open datatype/sumHow to classify type of ML's exn ? (Naive question)
08/09/2010In a sense, yesHow to classify type of ML's exn ? (Naive question)
08/10/2010Hm, I'm not sureHow to classify type of ML's exn ? (Naive question)
08/01/2010Take a closer lookOverlapping Instances + Functional Dependencies Unsound?
06/04/2010Parametricity vs castsAdding Type Constructor Parameterization to Java
06/07/2010Parametric relationsAdding Type Constructor Parameterization to Java
06/08/2010What for?Adding Type Constructor Parameterization to Java
06/07/2010No difference with top typeAdding Type Constructor Parameterization to Java
05/28/201020 years is over-optimisticAlan Kay's 70th
05/28/2010C++ adopted them with templatesAlan Kay's 70th
04/30/2010What's wrong?Typed Lambda Calculus
05/01/2010Er...Typed Lambda Calculus
05/03/2010BarendregtTyped Lambda Calculus
05/04/2010Variables =~ base typesTyped Lambda Calculus
05/05/2010Type constructorsTyped Lambda Calculus
05/05/2010ProbablyTyped Lambda Calculus
05/05/2010If you are suggestingTyped Lambda Calculus
05/04/2010"Most left-nested"Typed Lambda Calculus
05/04/2010Yes, it's 2nd orderTyped Lambda Calculus
04/29/2010Not safeLinear & Dependent types of ATS applied to the Cairo graphics library
04/29/2010Too constrainedLinear & Dependent types of ATS applied to the Cairo graphics library
04/30/2010True, butLinear & Dependent types of ATS applied to the Cairo graphics library
04/30/2010Yes to all thatLinear & Dependent types of ATS applied to the Cairo graphics library
04/30/2010OTLinear & Dependent types of ATS applied to the Cairo graphics library
04/21/2010FunctorsSeeking thoughtful criticisms of functional programming and languages
04/22/2010FP and reasoningSeeking thoughtful criticisms of functional programming and languages
04/23/2010That, andSeeking thoughtful criticisms of functional programming and languages
04/23/2010Didn't claim thatSeeking thoughtful criticisms of functional programming and languages
04/23/2010The tyranny of the predominant paradigmSeeking thoughtful criticisms of functional programming and languages
04/24/2010IronicallySeeking thoughtful criticisms of functional programming and languages
04/24/2010YetSeeking thoughtful criticisms of functional programming and languages
04/16/2010s/PLDI/TLDI/hot topics in type theorem
04/22/2010The alternative being...?How can C Programs be so Reliable?
04/23/2010C can get in the wayHow can C Programs be so Reliable?
04/23/2010Assembly not meaningful?How can C Programs be so Reliable?
04/22/2010Undefined behaviourHow can C Programs be so Reliable?
04/21/2010Call-chains aren't always first-orderHow can C Programs be so Reliable?
04/21/2010Has been proposed alreadyHow can C Programs be so Reliable?
04/08/2010N-ary functions vs currying vs tuplingHigher order functions vs. function arity and calling conventions
03/31/2010I'm not convincedGo's proposed panic/recover exception-like mechanism
04/03/2010No suggestionGo's proposed panic/recover exception-like mechanism
04/07/2010Exceptions + FuturesGo's proposed panic/recover exception-like mechanism
04/07/2010RightGo's proposed panic/recover exception-like mechanism
01/04/2012Abstracting over exception specificationsGo's proposed panic/recover exception-like mechanism
04/01/2010ConfusedCan functional programming be liberated from the von Neumann paradigm?
03/27/2010Whose misunderstandingTcl the Misunderstood
03/25/2010Natural language translationWill data-intensive computing revolutionize programming languages?
03/26/2010Mille vs millionWill data-intensive computing revolutionize programming languages?
03/26/2010And the Explorers sayWill data-intensive computing revolutionize programming languages?
03/24/2010+1jsMath support?
03/18/2010Types are not setsType system design choices
02/19/2010MystifiedSmall PL Thought Experiment
02/22/2010CleannessSmall PL Thought Experiment
02/13/2010InterestingA few billion lines of code later: using static analysis to find bugs in the real world
02/13/2010Prolonging lifeA few billion lines of code later: using static analysis to find bugs in the real world
02/09/2010Common problemNaNs and reflexivity
01/05/2010Sufficiently smart IDEParameterized Modules
12/24/2009More like 30Unfulfilled Promises of Software Technologies? (!)
12/11/2009Record polymorphismImplementation of Cardelli and Daan Leijen Style Record Systems?
12/11/2009In OO termsImplementation of Cardelli and Daan Leijen Style Record Systems?
12/11/2009Objects are recordsImplementation of Cardelli and Daan Leijen Style Record Systems?
12/12/2009"Generic programming on record types"?Implementation of Cardelli and Daan Leijen Style Record Systems?
12/12/2009Misunderstanding?Implementation of Cardelli and Daan Leijen Style Record Systems?
12/12/2009Ill-typed updateImplementation of Cardelli and Daan Leijen Style Record Systems?
12/12/2009RightImplementation of Cardelli and Daan Leijen Style Record Systems?
12/11/2009Poor man's row polymorphismImplementation of Cardelli and Daan Leijen Style Record Systems?
12/12/2009EncodingImplementation of Cardelli and Daan Leijen Style Record Systems?
12/12/2009Not sureImplementation of Cardelli and Daan Leijen Style Record Systems?
12/02/2009Genuine innovationEleven Theses on Clojure
11/19/2009No substituteConnections between Transactions and Promises/Futures?
11/17/2009Maybe Pierce's ICFP talkI Seek a Reasonable Survey on the Concept of "Module System"
01/04/2010What Type is your Value?Explanation of Computer Theory for Lawyers
01/04/2010The equivalent to "program"Explanation of Computer Theory for Lawyers
01/04/2010LawyersExplanation of Computer Theory for Lawyers
11/24/2009Saner rulesGo or Unladen Swallow?
02/07/2011And half of itGo or Unladen Swallow?
11/17/2009TypesJohn Hughes on Erlang and Haskell
11/17/2009Cannot readily leverageJohn Hughes on Erlang and Haskell
11/18/2009Greenspunning type systemsJohn Hughes on Erlang and Haskell
11/19/2009In open distributed systemsJohn Hughes on Erlang and Haskell
11/19/2009Equivalent problemsJohn Hughes on Erlang and Haskell
11/20/2009Still equivalentJohn Hughes on Erlang and Haskell
11/18/2009Closed programs are not interestingJohn Hughes on Erlang and Haskell
11/18/2009How does this differ?John Hughes on Erlang and Haskell
11/04/2009Enforcing abstractionOn Understanding Data Abstraction, Revisited
11/08/2009I don't even trust myselfOn Understanding Data Abstraction, Revisited
11/02/2009WeirdOn Understanding Data Abstraction, Revisited
10/28/2009ContractsWhat is a Type?
11/12/2009Um, noCompilation to C, a definitive guide?
11/12/2009Mh, interestingCompilation to C, a definitive guide?
09/19/2009Mass overridingTurning every module into a functor automatically?
09/22/2009Modules vs componentsTurning every module into a functor automatically?
09/23/2009Yes, it mattersTurning every module into a functor automatically?
09/25/2009YesTurning every module into a functor automatically?
09/29/2009It isTurning every module into a functor automatically?
09/19/2009Interfaces vs overridingTurning every module into a functor automatically?
08/07/2009Overriding vs. overloadingVarious binding styles in OO
12/23/2009Wish for the new yearObjects as Modules in Newspeak
12/24/2009Both forms are usedObjects as Modules in Newspeak
12/24/2009Modularity BasicsObjects as Modules in Newspeak
12/24/2009PerhapsObjects as Modules in Newspeak
07/30/2009Yacc + some handworkParsing user defined operators with precedence/assoc ala ML
08/01/2009Yes, but...Parsing user defined operators with precedence/assoc ala ML
08/01/2009Avoiding mutable state altogether?Parsing user defined operators with precedence/assoc ala ML
07/30/2009Two propertiesDefinition of Functional Programming Language
07/03/2009Journal versionA Possible Future of Software Development
06/25/2009Purpose of encapsulationFully Encapsulated Languages? Are there any out there?
06/26/2009I don't followFully Encapsulated Languages? Are there any out there?
06/18/2009CoqPerlis Languages
06/23/2009Algol vs CPerlis Languages
06/13/2009ParametricityPreventing downcasting and adding a universal variant
06/14/2009Language vs termsPreventing downcasting and adding a universal variant
06/09/2009ConceptsA new idea in OOP. Please comment.
06/06/2009ThanksThe Myth of the Genius Programmer
05/19/2009Yes, but...Extension Methods versus Structural Typing of Traits for solving the expression problem
05/14/2009HilariousA Brief, Incomplete ... History of Programming Languages
05/04/2009This is not runtime typingStatic typing may require runtime type checking?
05/06/2009Case analysisStatic typing may require runtime type checking?
10/13/2011SubsumptionSubsumption at all costs
03/08/2009Futures vs. FuturesC++ Futures
03/09/2009I would put it like thisC++ Futures
03/09/2009Spot onC++ Futures
03/09/2009Not quiteC++ Futures
03/10/2009"Initiation ≤ Completion"C++ Futures
03/10/2009Ah, OKC++ Futures
03/10/2009Concurrent lazinessC++ Futures
03/11/2009Not necessarilyC++ Futures
03/12/2009AssignmentC++ Futures
03/12/2009PromisesC++ Futures
03/12/2009Multiple assignmentC++ Futures
02/03/2009ZINC paperTagged Arithmetic Optimization
01/30/2009Turner's quotePL Grand Challenges
01/22/2009Denotational semanticsSpecifying semantics and type rules
01/22/2009Maybe does not need to leakTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/15/2009WeaknessLooking for papers describing advanced language topics in terms of C programming
01/16/2009In essenceLooking for papers describing advanced language topics in terms of C programming
01/15/2009Continuations, tooWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009"Illusion" = abstraction2008 In Review - What Happened with Programming Languages?
12/26/2008AnswersThe Lambda Cube & Some Programming Languages
12/27/2008SubtypingThe Lambda Cube & Some Programming Languages
12/27/2008Curious about what?The Lambda Cube & Some Programming Languages
12/29/2008YesThe Lambda Cube & Some Programming Languages
12/19/2008EasyAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/16/2008PremisesPracticality of Exclusively Compiler-Driven Unboxing
12/14/2008Type DynamicFundamental Flaws in Current Programming Language Type Systems
12/20/2008Type Is Not A TypeFundamental Flaws in Current Programming Language Type Systems
12/22/2008From the abstractFundamental Flaws in Current Programming Language Type Systems
12/04/2008Depends on the style of data flow variableFunctional building blocks as concurrency patterns
12/05/2008Choice operatorFunctional building blocks as concurrency patterns
11/29/2008Not possible as libraryFunctional building blocks as concurrency patterns
11/29/2008That doesn't work...Functional building blocks as concurrency patterns
11/30/2008PrimitivesFunctional building blocks as concurrency patterns
12/04/2008Easy implementation?Functional building blocks as concurrency patterns
11/24/2008False vs. malformedNon-standard type theories for FP
11/17/2008Dependent TypesMicrosoft PDC "Language" Talks
02/11/2009ActuallyMicrosoft PDC "Language" Talks
02/12/2009Contracts can indeed be done away withMicrosoft PDC "Language" Talks
11/10/2008Implicit injectionExtensible tuples?
11/10/2008Unary tuplesExtensible tuples?
11/11/2008Destroys completenessExtensible tuples?
11/14/2008UnsoundExtensible tuples?
11/14/2008TypoExtensible tuples?
11/14/2008Associativity applies both waysExtensible tuples?
11/14/2008No inconsistencyExtensible tuples?
11/15/2008I don't know what you're getting atExtensible tuples?
11/15/2008ConfusionExtensible tuples?
11/15/2008Er...Extensible tuples?
11/15/2008So howExtensible tuples?
11/15/2008Right. So?Extensible tuples?
11/17/2008MootExtensible tuples?
11/17/2008I assumedExtensible tuples?
11/14/2008VR and MR are very similarSubtyping + overloading
11/12/2008Monomorphism restrictionSubtyping + overloading
11/14/2008No copying possibleSubtyping + overloading
11/17/2008OverloadingSubtyping + overloading
11/17/2008WeirdSubtyping + overloading
11/17/2008NoSubtyping + overloading
11/14/2008Polymorphic recursionThe Origins of the BitC Programming Language
11/14/2008That's an existential typeThe Origins of the BitC Programming Language
10/23/2008OCamlWhy do OOPLs type objects as classes?
10/13/2008EnforcingOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/13/2008The burden of a proofOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/13/2008He didn't restrict his claimOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/15/2008IncompletenessOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/15/2008Mistaken?On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/03/2008SML#To CPS or not to CPS
10/10/2008bitmasks so natural representations can be usedTo CPS or not to CPS
09/29/20085) abolish non-const subtypingMISRA C++:2008
09/22/2008Compiler technologyTwilight of the GPU
09/04/2008Fixpoint combinatordoing letrec with lambdas
08/27/2008"ML"Haskell for AI?
08/09/2008Relative JumpsGarbage Collection Representations
08/10/2008YesGarbage Collection Representations
08/10/2008I don't knowGarbage Collection Representations
08/08/2008ImpressedHappy Birthday, dear Lambda!
07/08/2008Call/cc breaks abstractionThe hits and misses of Microsoft
07/08/2008Goto in C/C++The hits and misses of Microsoft
07/02/2008No closuresWhy Multi-Core is Easy and Internet is Hard
06/18/2008Type-Indexed definitionsHigher-order type constructor polymorphism vs./and template style specialization
06/17/2008They do [in any language]?Programming -- Principles and Practice Using C++
06/16/2008Expressiveness =/= ComplexityProgramming -- Principles and Practice Using C++
06/17/2008Or can any programmingFunctional Programming in the ACM CS Curriculum
06/15/2008Lambda calculus with futuresFunctional Programming in the ACM CS Curriculum
06/03/2008UnificationMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/30/2008Different issueMultiple Value Return - Common Lisp vs. Tuples and destructuring
07/02/2008Tuple with named fields = recordMultiple Value Return - Common Lisp vs. Tuples and destructuring
07/02/2008Implicit conversionsMultiple Value Return - Common Lisp vs. Tuples and destructuring
05/28/2008Runtime typesSoftware complexity as means of professional advancement
05/29/2008Not quiteSoftware complexity as means of professional advancement
05/26/2008ML modules vs ScalaScala Lift Off Unconference review
05/26/2008Interesting...Scala Lift Off Unconference review
04/25/2008All I can say2nd Revision of "Thoughts about the Best Introductory Language"
04/25/2008And besides2nd Revision of "Thoughts about the Best Introductory Language"
04/24/2008ConcurrencyOn Presenting Operational Semantics
04/23/2008Does not workStatic Typing and Expressivity
04/23/2008FallacyStatic Typing and Expressivity
04/23/2008Well, the point isStatic Typing and Expressivity
03/16/2008Modules?Higher-Order Programming without Closures?
03/16/2008ATS vs your proposalHigher-Order Programming without Closures?
03/17/2008Relation to initial proposalHigher-Order Programming without Closures?
03/17/2008Closures are not just curryingHigher-Order Programming without Closures?
03/17/2008Such a definition is not possible?Higher-Order Programming without Closures?
03/18/2008Lambda-liftingHigher-Order Programming without Closures?
03/18/2008Typed closure conversionHigher-Order Programming without Closures?
03/19/2008CostsHigher-Order Programming without Closures?
03/19/2008Only one indirectionHigher-Order Programming without Closures?
04/24/2008You just discoveredHigher-Order Programming without Closures?
04/24/2008CapturingHigher-Order Programming without Closures?
03/07/2008No contradictionConfused Deputies in Programming Languages
03/07/2008I think the idea isConfused Deputies in Programming Languages
03/07/2008Overstatement?Confused Deputies in Programming Languages
03/04/2008Runtime rep of optionIs null needed?
03/04/2008Right, nullary constructorsIs null needed?
03/04/2008Why does first-classIs null needed?
03/05/2008You seem to be implyingIs null needed?
03/07/2008On trackIs null needed?
07/21/2008Higher KindsIs null needed?
07/23/2008I didn't realise that youIs null needed?
07/24/2008Not type passingIs null needed?
07/24/2008That's not itIs null needed?
07/24/2008Fortunately, this layout canIs null needed?
07/27/2008RightIs null needed?
07/28/2008Bits in pointersIs null needed?
07/22/2008If I understand correctly,Is null needed?
07/23/2008Agree and disagreeIs null needed?
07/24/2008MisinterpretationsIs null needed?
07/24/2008Null pointers vs optionsIs null needed?
02/27/2008Phantom variantsGilad Bracha: Cutting out Static
02/27/2008Absence of capabilitiesGilad Bracha: Cutting out Static
02/02/2008Loop variableA name for this form of variable capture?
01/17/2008Mixin modulesJ&: Nested Intersection for Scalable Software Composition
01/18/2008MixML and first-class modulesJ&: Nested Intersection for Scalable Software Composition
01/18/2008ComplexityJ&: Nested Intersection for Scalable Software Composition
01/18/2008TechnicalJ&: Nested Intersection for Scalable Software Composition
12/13/2007I must confessAvi Bryant: Ruby IS-A Smalltalk
12/13/2007Not their jobCUFP write-up
12/08/2007Uncertainty?functions, statements, expressions
12/09/2007Closures ~ first-class functionsfunctions, statements, expressions
12/08/2007Actually...functions, statements, expressions
12/09/2007First-class modulesfunctions, statements, expressions
12/08/2007Curry/uncurry rulefunctions, statements, expressions
12/10/2007Not fully generalfunctions, statements, expressions
12/10/2007Quite the contraryfunctions, statements, expressions
12/10/2007Now I'm confusedfunctions, statements, expressions
12/11/2007Class objectsfunctions, statements, expressions
12/11/2007Language precisionfunctions, statements, expressions
12/10/2007No references in Javafunctions, statements, expressions
12/10/2007You are rightfunctions, statements, expressions
12/09/2007Serializing functionsfunctions, statements, expressions
12/09/2007Keeping the source aroundfunctions, statements, expressions
12/09/2007First-classness not necessarily neededfunctions, statements, expressions
12/10/2007No differencefunctions, statements, expressions
12/11/2007Clarificationfunctions, statements, expressions
12/08/2007There are only 3 features missingA Growable Language Manifesto
12/10/2007[OT] EmailA Growable Language Manifesto
12/06/2007...by which you mean Algolpoll: syntax
12/06/2007TAPLConnecting the first steps
11/25/2007C++ minus everythingSamurai - Protecting Critical Data in Unsafe Languages
11/23/2007For something to qualify as first-classWhat are the properties of "Functional Programming Languages"?
11/25/2007More pedantry gamesWhat are the properties of "Functional Programming Languages"?
11/25/2007There's no such thing as aWhat are the properties of "Functional Programming Languages"?
11/25/2007First-order functional languagesWhat are the properties of "Functional Programming Languages"?
11/06/2007IncompletenessUniversal Type System
11/08/2007Late bindingDependent Classes
11/08/2007PolymorphismDependent Classes
11/02/2007Not enoughOn the Importance of Purity
10/30/2007Right, but...ECMAScript 4 overview paper
11/19/2007ParadigmsExamples of large-scale functional language projects
09/25/2007Expressiveness of futuresThe Future(s)
09/03/2007Language vs. libraryEscape from Zurg: An Exercise in Logic Programming
09/06/2007"Language"?Escape from Zurg: An Exercise in Logic Programming
08/24/2007Structural subtypingDuck Typing advocated where?
08/23/2007SimplerA question on free variable capture.
08/17/2007In theory(Alice ML + monads - value cells) > Haskell?
08/08/2007ModulesUnifying functions and functors
08/10/2007IndirectionUnifying functions and functors
08/04/2007OCaml, Haskell/GHC, Moscow MLFirst-class Polymorphism
08/05/2007AdvantagesFirst-class Polymorphism
04/27/20102010, the year of even more spamLtU turns 7: The year of spam
07/12/2007Exponential behaviourSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/07/2007In other wordsAsynchronous calls and error handling
06/10/2007OverspecificationECMAScript Edition 4 Reference Implementation
06/11/2007Mh...ECMAScript Edition 4 Reference Implementation
06/11/2007Evaluation orderECMAScript Edition 4 Reference Implementation
06/11/2007Overspecifying the unobservable?ECMAScript Edition 4 Reference Implementation
06/11/2007IO monadECMAScript Edition 4 Reference Implementation
06/11/2007ThanksECMAScript Edition 4 Reference Implementation
06/09/2007The cultural pessimist in me thinks...HOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/10/2007Indeed we haveHOPL III: Evolving a language in and for the real world: C++ 1991-2006
05/31/2007Exceptions are impure"Practical" advantages of lazy evaluation
02/14/2008One can be enough"Practical" advantages of lazy evaluation
05/15/2007Does this need eval?Sun's new JavaFX Script language
05/04/2007Some might include...Functional Object-Oriented Programming
05/04/2007Care is the right keyword :)Functional Object-Oriented Programming
05/05/2007Sure, that is clever template hackeryFunctional Object-Oriented Programming
05/05/2007Invoking Turing equivalenceFunctional Object-Oriented Programming
05/06/2007Regions manual?Functional Object-Oriented Programming
05/15/2007Libraries without GCMicrosoft's new Dynamic Language Runtime (DLR)
05/15/2007OwnershipMicrosoft's new Dynamic Language Runtime (DLR)
04/20/2007Thoughts about the Best Introductory LanguageThoughts about the Best Introductory Language
04/20/2007Since TAPLThoughts about the Best Introductory Language
04/20/2007Teletype fontsThoughts about the Best Introductory Language
04/10/2007His conclusion?Cforall
04/16/2007Type ErasureDeliverable code?
03/13/2007Dynamic codeThe Current Practical Limit of Static Typing
03/15/2007PreviouslyThe Current Practical Limit of Static Typing
03/11/2007Byproduct?Gilad Bracha on tuples
03/12/2007Evaluation orderGilad Bracha on tuples
03/01/2007Separation of concernsThe Computer Revolution Hasn't Happened Yet
02/23/2007Types are more than just setsTypes vs classes: what is the difference?
03/18/2010Re: Types as setsTypes vs classes: what is the difference?
02/21/2007Classes are factoriesTypes vs classes: what is the difference?
02/16/2007Lua-MLThreads in JavaScript?
02/16/2007Multi-methods = dynamic overloadingEasy to learn and use
06/11/2007Runtime types are more than metadataSteps Toward The Reinvention of Programming
06/11/2007MonomorphisationSteps Toward The Reinvention of Programming
06/11/2007Jitting does not solveSteps Toward The Reinvention of Programming
06/12/2007Dynamic specialisationSteps Toward The Reinvention of Programming
06/13/2007From the sound of itSteps Toward The Reinvention of Programming
06/11/2007Sum typesSteps Toward The Reinvention of Programming
01/16/2007The type of evalIntellisense for dynamic languages
01/16/2007Well, I agreeIntellisense for dynamic languages
03/09/2007Pointer bumpWhy people don't use functional programming?
03/09/2007In practice, GGCs copyWhy people don't use functional programming?
02/28/2007Bad exampleWhy people don't use functional programming?
03/01/2007So the example was even worse than I thought :-)Why people don't use functional programming?
03/02/2007The hitchWhy people don't use functional programming?
01/16/2007And...Interlanguage Migration: From Scripts to Programs
01/15/2007Exhaustiveness/redundancy checksMatching Objects With Patterns
12/26/2006BlockquoteTheme styles
12/22/2006"Genericity...Comparing Approaches to Generic Programming in Haskell
12/14/2006It's the sixth security anti-patternJava Open Review Project
12/12/2006Focus on getting realexcitement in language research?
12/11/2006Maybe I'm missing somethingThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006It's really simpleThe Problem with "dup" and "swap" in Stack-Based Languages
12/12/2006ExplanationsThe Problem with "dup" and "swap" in Stack-Based Languages
11/29/2006You forgot the most important oneC++ has indeed become too "expert friendly"
12/04/2006CarefulC++ has indeed become too "expert friendly"
12/04/2006Problem with closuresC++ has indeed become too "expert friendly"
12/04/2006Call-by-referenceC++ has indeed become too "expert friendly"
12/05/2006IrrelevantC++ has indeed become too "expert friendly"
12/05/2006No copyingC++ has indeed become too "expert friendly"
12/05/2006So whatC++ has indeed become too "expert friendly"
12/05/2006OptionsC++ has indeed become too "expert friendly"
12/05/2006Mh...C++ has indeed become too "expert friendly"
11/28/2006Forall/ref bugMechanized Metatheory Model-Checking
11/29/2006DiscoveryMechanized Metatheory Model-Checking
11/29/2006The advantage of formal specsMechanized Metatheory Model-Checking
11/29/2006Discussion forumsThe Future of LtU
11/30/2006AdvocacyThe Future of LtU
11/30/2006ExampleThe Future of LtU
12/01/2006ExplanationThe Future of LtU
11/19/2006Kind of rowsif Records - Labels = Tuples then Rows - Labels = what?
11/14/2006What would be the meaning, in general?Type Difference
11/14/2006Does not fulfill requirementsType Difference
11/14/2006Actually...Type Difference
11/15/2006Contravariance and Honest NotationType Difference
11/16/2006Looks a bit like row polymorphismType Difference
11/19/2006ThanksType Difference
11/15/2006C/C++ and TCOFunctional programming and software engineering
11/14/2006List comprehensionsDodo
11/24/2006Does not mix with polymorphismType inference and union types
11/27/2006Hacks, IMOType inference and union types
10/30/2006Maybe hard, but manageableBest Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!!
11/07/2006Phase distinctionWant to learn something new
11/07/2006I don't think so either, but...Future of software design?
11/08/2006That's an encodingFuture of software design?
10/16/2006Objects as recordsGood Ideas, Through the Looking Glass
10/13/2006Type class implementationRun time type checking
10/14/2006Not the same as subtypingRun time type checking
10/22/2006Type classes as kindsRun time type checking
10/06/2006Local type inferenceGoogle Code Search
10/06/2006Links on local type inferenceGoogle Code Search
09/06/2006CorrectionsSmall Value Set Types
08/31/2006It doesDynamic Semantics
09/04/2006Think higher-orderDynamic Semantics
08/08/2006ML is not that impoverishedautomatic theorem proving
08/09/2006Clarificationautomatic theorem proving
08/02/2006Mutability precludes varianceCovariance and typing
08/02/2006Type safety and object layoutCovariance and typing
08/03/2006Artefact of low-level semanticsCovariance and typing
08/03/2006Slicing is specific to C++Covariance and typing
08/04/2006Definition of slicingCovariance and typing
08/04/2006I have to disagreeCovariance and typing
07/24/2006Specifications and correctnessCost of provably-correct code
07/28/2006No exhaustive testingCost of provably-correct code
07/31/2006Exhaustiveness?Cost of provably-correct code
07/25/2006Redundancy is of the essenceCost of provably-correct code
08/01/2006"Dynamic properties"?Cost of provably-correct code
07/21/2006OrthogonalityErlang concurrency: why asynchronious messages?
07/24/2006Simple solutionAdvantages of Soft Typing
07/26/2006"Value restriction"Advantages of Soft Typing
07/26/2006Does not workAdvantages of Soft Typing
07/26/2006Word-aroundsAdvantages of Soft Typing
07/21/2006What you want to inferAdvantages of Soft Typing
07/17/2006Static semanticsHOPL III and the History of Haskell
07/18/2006Different valuesOOP Parallel class hierarchies
07/11/2006Correct link?Programming Languages and Lambda Calculi
06/24/2006Ancient technologyPetition for adding garbage collection to C++.
06/22/2006Tail call property dependent on context?Rules for Developing Safety-Critical Code
06/22/2006Yes, but...Rules for Developing Safety-Critical Code
06/24/2006ElitarianWhat are the real benefits of FP?
06/21/2006FP shopping listWhat are the real benefits of FP?
06/20/2006For type functionsVariance and Generalized Constraints for C# Generics
06/21/2006Prerequisite, not replacementVariance and Generalized Constraints for C# Generics
06/20/2006Remember gotoThe OO barrier
06/21/2006Original quoteThe OO barrier
06/08/2006Prolog execution modelWhy Are ALL Programming Languages So Low Level?
06/08/2006CP declarative? NoWhy Are ALL Programming Languages So Low Level?
06/08/2006Type checking is a toolRelevance of Curry-Howard
06/01/2006SoundnessType checking and logical errors
06/02/2006Same problem in dynamic languagesType checking and logical errors
06/01/2006If you prove it...Type checking and logical errors
05/30/2006Row polymorphismFirst Class Values, Types as values within a Programming Language
05/31/2006Impredicativity and existential typesFirst Class Values, Types as values within a Programming Language
05/29/2006Existential typesFirst Class Values, Types as values within a Programming Language
05/30/2006Fundamentally differentFirst Class Values, Types as values within a Programming Language
05/31/2006Not problems but featuresFirst Class Values, Types as values within a Programming Language
05/31/2006Subtyping and unions againFirst Class Values, Types as values within a Programming Language
06/01/2006CirclingFirst Class Values, Types as values within a Programming Language
05/30/2006Dependent typesFirst Class Values, Types as values within a Programming Language
05/31/2006The point being?First Class Values, Types as values within a Programming Language
07/19/2006Not separateFirst Class Values, Types as values within a Programming Language
05/29/2006Closures to the rescueBuried Treasure - No Fluff Just Stuff
05/29/2006What's repeated?Buried Treasure - No Fluff Just Stuff
05/29/2006Mh...Buried Treasure - No Fluff Just Stuff
05/30/2006Almost what I meantBuried Treasure - No Fluff Just Stuff
05/30/2006Remote callsBuried Treasure - No Fluff Just Stuff
05/30/2006Well...Buried Treasure - No Fluff Just Stuff
05/30/2006Linking vs IPCBuried Treasure - No Fluff Just Stuff
05/29/2006Termination is provableBuried Treasure - No Fluff Just Stuff
06/06/2006Combinatorial ExplosionBuried Treasure - No Fluff Just Stuff
05/29/2006Type inference and structural typesBuried Treasure - No Fluff Just Stuff
05/22/2006RelictEthnographic Study of Copy and Paste Programming Practices in OOPL
09/13/2009Yikes!ruby vs python
05/10/2006it is not possible toParameteric Polymorphism from a C++ Perspective (good or bad?)
05/03/2006InformaticsProofs are Programs: 19th Century Logic and 21st Century Computing
05/04/2006AFAIK most people haveProofs are Programs: 19th Century Logic and 21st Century Computing
05/03/2006Type vs representationPatterns of Integer Usage
03/29/2006It isType Inference in Object Oriented Languages
03/28/2006Um, noExtremely static language?
03/29/2006Typing is formal verificationExtremely static language?
03/15/2006Choice of set theory does not matterWhen is one thing equal to some other thing?
02/25/2006Implementation strategySignature Based Polymorphism, Structural Subtyping and Duck Typing
02/25/2006YesSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/26/2006No run-time types necessarySignature Based Polymorphism, Structural Subtyping and Duck Typing
03/02/2006Please see aboveSignature Based Polymorphism, Structural Subtyping and Duck Typing
03/02/2006Not mandatorySignature Based Polymorphism, Structural Subtyping and Duck Typing
02/27/2006Template meta programming vs type class meta programmingSignature Based Polymorphism, Structural Subtyping and Duck Typing
02/28/2006...right, and...Gilad Is Right
02/23/2006HoopsGilad Is Right
02/23/2006No, it can'tGilad Is Right
02/23/2006Not the sameGilad Is Right
02/24/2006Where's the advantage on discovering errors later??Gilad Is Right
03/01/2006Lack of invariants causes lack of informationGilad Is Right
02/24/2006Highly scepticalGilad Is Right
02/24/2006Bottom-upGilad Is Right
02/25/2006But that is static type checking!Gilad Is Right
02/25/2006Don't see how this followsGilad Is Right
02/25/2006On the meaning of "static"Gilad Is Right
02/25/2006ContextGilad Is Right
10/26/2009Now that is just as badThe Next Mainstream Programming Languages
10/26/2009Except that...The Next Mainstream Programming Languages
10/26/2009Ask the other way roundThe Next Mainstream Programming Languages
10/26/2009Call it what you wantThe Next Mainstream Programming Languages
10/26/2009And all this is subclassingThe Next Mainstream Programming Languages
10/26/2009BrieflyThe Next Mainstream Programming Languages
10/26/2009Oleg's exampleThe Next Mainstream Programming Languages
10/26/2009Non-solutionsThe Next Mainstream Programming Languages
02/03/2006Futures, maybeThe Next Mainstream Programming Languages
02/03/2006Good questionsThe Next Mainstream Programming Languages
02/09/2006In principle, yesThe Next Mainstream Programming Languages
12/05/2005Not necessarilyThe breaking point of language usability?
11/21/2005Java is hybridRuby the Rival
11/21/2005Method invocations are checked in JavaRuby the Rival
11/21/2005"Normal"?Ruby the Rival
11/21/2005PleaseRuby the Rival
11/22/2005Stretching forth and backRuby the Rival
11/09/2005Type NomenclatureType Nomenclature
11/08/2005Type abstraction can be reconciled with typecaseOOPSLA 2005 Reports
11/08/2005There are statically typed laOOPSLA 2005 Reports
11/08/2005Rather Compiler.evalOOPSLA 2005 Reports
10/26/2005Trees are omnipresentWhy Lists?
10/19/2005PersistenceObject Oriented Programming + Referential Transparency
08/09/2006Caveats with lazinessObject Oriented Programming + Referential Transparency
08/09/2006Laziness vs call-by-need?Object Oriented Programming + Referential Transparency
08/17/2006Unfortunately, I don't haveObject Oriented Programming + Referential Transparency
10/20/2005Syntactic abuseExpressions vs Statements
09/22/2005I don't think soDynamic vs. Static Typing - A Pattern-Based Analysis
09/22/2005Greenspun dualismDynamic vs. Static Typing - A Pattern-Based Analysis
09/21/2005Algol-styleGood languages with simple grammar
09/22/2005Re: Exciting syntaxGood languages with simple grammar
09/22/2005Types also add expressivenessDynamic typing in OCaml
09/20/2005Effect systemsMost Productive FP Lang?
09/23/2005You canMost Productive FP Lang?
09/11/2006Nonsensical languageVisual Basic and LINQ
08/17/2005The necessity of jargon'Information and Computation' Open Access
08/17/2005Stop trolling'Information and Computation' Open Access
08/20/2005Re'Information and Computation' Open Access
08/12/2005Look at existing languagesSyntax Design
08/15/2005Not TclSyntax Design
08/15/2005Abstraction in TclSyntax Design
08/15/2005AbstractionSyntax Design
08/13/2005Not so much due to typesConcatenative Language Kont
08/05/2005To Have or Not To HaveObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/13/2005Yes... butObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005C syntax does not rock at allObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005SyntaxObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005MythsObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005No to what?Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/06/2005Correctness is only one aimObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/05/2005Objective scientific proof of OOP's validity? Don't need no stinkun' proof.Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/03/2005What about Haskell's approach?A Java/Python hybrid?
08/03/2005No such thing in most OO languagesAn interview with Chris Date
08/10/2005No unique candidateA question about subtypes inference
07/28/2005No longer MLML without GC
07/20/2005Lot to disagree withOn the Revival of Dynamic Languages
07/21/2005Java is only weakly typedOn the Revival of Dynamic Languages
07/21/2005Where to draw the lineOn the Revival of Dynamic Languages
07/22/2005YesOn the Revival of Dynamic Languages
07/14/2005Harper's thesisStatic Typing Where Possible, Dynamic Typing When Needed
04/06/2010"Type inference"Static Typing Where Possible, Dynamic Typing When Needed
07/20/2005FP compilers are advanced AI?Static Typing Where Possible, Dynamic Typing When Needed
04/07/2010Incompatible with separate compilationStatic Typing Where Possible, Dynamic Typing When Needed
04/07/2010Recent workStatic Typing Where Possible, Dynamic Typing When Needed
07/10/2005Dataflow is intrusiveCTM
07/10/2005Default?CTM
06/30/2005VarianceGenerics are a mistake?
07/01/2005Sarcasm uncalled forGenerics are a mistake?
06/27/2005Would render functions 2nd classFunctions as Classes: Which languages?
06/27/2005Huh?Functions as Classes: Which languages?
06/20/2005Ruby, really?Book stats
05/22/2006Objective CamlJavaScript 2.0: Evolving a Language for Evolving Systems
06/22/2005Portability vs. AvailabilityEmbedded Languages in Java
06/23/2005I don't buy itEmbedded Languages in Java
06/23/2005AbstractionEmbedded Languages in Java
06/24/2005The original pointEmbedded Languages in Java
07/12/2005We already had thatEmbedded Languages in Java
06/16/2005Extends vs. implementsJava Generics, Arrays, and Comparables
05/27/2005Orthogonal to type-erasureGenerics: The Importance of Wildcards
05/23/2005DependsTwo Thank Yous for Peter van Roy
06/26/2008Naturally?Let's make a programming language!
06/26/2008MathLet's make a programming language!
05/03/2005Typed unit testingCall for Papers: ACM Symposium on Dynamic Languages
05/02/2005If you want dynamic typing...Call for Papers: ACM Symposium on Dynamic Languages
05/02/2005Worse...Call for Papers: ACM Symposium on Dynamic Languages
04/25/2005MisconceptionWhy do they program in C++?
06/09/2005He is comparing paradigmsWhy do they program in C++?
04/27/2005Scala is trying thisWhy do they program in C++?
04/26/2005You'd need a much longer listWhy do they program in C++?
01/15/2005Is on old version of SMLCommentary on Standard ML
01/15/2005Oh yes!Commentary on Standard ML
01/02/2005Comments on CTM in AliceNew Year's Resolutions
01/03/2005Code was changed to use the INew Year's Resolutions
01/04/2005Does 9999*9999 really overflow?New Year's Resolutions
01/04/2005Phew...New Year's Resolutions
12/28/2004There were reasons for developing SeamAlice Through the Looking Glass
12/28/2004Same VM as used by Mozart/Oz,Alice Through the Looking Glass
05/13/2012AgreeHigher order versus Object order
05/26/2006Formal language specsWhy type systems are interesting

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