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

Posts By: Matt M

  Date    Post    Topic  
07/06/2012Widget identityImmediate mode GUIs
07/03/2012They are (by visualLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/26/2012Google sucks at email searchACM A.M. Turing Centenary Celebration
06/20/2012Justification?Null, bottom, etc.?
06/20/2012This is a terrible conversation :)Null, bottom, etc.?
06/21/2012I agree with some of theNull, bottom, etc.?
06/20/2012Isn't this just a trivial argument over what "value" means?Null, bottom, etc.?
06/20/2012So consider the functionsNull, bottom, etc.?
06/20/2012Did you see my point?Null, bottom, etc.?
06/20/2012OKNull, bottom, etc.?
06/21/2012Odd terminologyNull, bottom, etc.?
06/19/2012Sounds like an interesting place to visitNull, bottom, etc.?
06/21/2012That sounds a lot like Aha!,Why are exceptions not described as 'purely functional'?
06/14/2012Type class instance selection is staticType classes in a dynamic language
06/14/2012We had an exchange along those linesType classes in a dynamic language
06/15/2012One rationale for doingType classes in a dynamic language
06/15/2012I have some other ideas andType classes in a dynamic language
06/15/2012More informationType classes in a dynamic language
06/09/2012You should make the linkFinally a reason to get an iPad?
06/12/2012Red HerringWhy Do Some Programming Languages Live and Others Die?
06/12/2012I don't see why would youWhy Do Some Programming Languages Live and Others Die?
06/12/2012Category errorWhy Do Some Programming Languages Live and Others Die?
06/12/2012Programming in the matrixWhy Do Some Programming Languages Live and Others Die?
06/13/2012Apologies in advance for the sarcasmWhy Do Some Programming Languages Live and Others Die?
06/13/2012Maybe not too far apartWhy Do Some Programming Languages Live and Others Die?
06/13/2012Maybe we're not so closeWhy Do Some Programming Languages Live and Others Die?
06/13/2012I seeWhy Do Some Programming Languages Live and Others Die?
06/09/2012False vs. FailureAha! Programming Language
06/10/2012Of course it's not *really* necessaryAha! Programming Language
06/10/2012An advantage of Boolean overAha! Programming Language
06/12/2012Sounds reasonable, but IAha! Programming Language
06/12/2012WellAha! Programming Language
06/12/2012Right, so that's what weAha! Programming Language
06/12/2012I'm asking why not have (x >Aha! Programming Language
05/29/2012I can imagine the FAQ for this languageLanguages with 'unique' programs
06/02/2012Has someone verified thatLanguages & Niches
05/17/2012Encoding System Fw in predicative dependent type theoryEncoding System Fw in predicative dependent type theory
05/17/2012ThanksEncoding System Fw in predicative dependent type theory
05/17/2012autoEncoding System Fw in predicative dependent type theory
05/17/2012Modularity of the encodingEncoding System Fw in predicative dependent type theory
05/23/2012Partial modelEncoding System Fw in predicative dependent type theory
05/24/2012ThanksEncoding System Fw in predicative dependent type theory
05/24/2012DupEncoding System Fw in predicative dependent type theory
05/08/2012Can be the same structureProofs as programs
05/08/2012RE: Your idea for using actual procedures to prove thingsProofs as programs
05/08/2012SorryProofs as programs
05/14/2012Not programmingCommon Lisp: The Untold Story
05/14/2012PhotoshopCommon Lisp: The Untold Story
04/18/2012What's a tautology?Certified Programming with Dependent Types: home stretch!
04/15/2012Look over there...Symmetry in type systems
04/20/2012Combination of thingsQuantitative comparison of unit testing vs. static typing?
04/20/2012Sort of agree, but not reallyQuantitative comparison of unit testing vs. static typing?
04/21/2012Dynamic languages maximizeQuantitative comparison of unit testing vs. static typing?
04/22/2012Examples and what 'dynamic' meansQuantitative comparison of unit testing vs. static typing?
04/22/2012No smoking gunQuantitative comparison of unit testing vs. static typing?
04/22/2012I think Newspeak's approachQuantitative comparison of unit testing vs. static typing?
04/23/2012Live programming is hardQuantitative comparison of unit testing vs. static typing?
04/22/2012Good exampleQuantitative comparison of unit testing vs. static typing?
04/23/2012ThanksQuantitative comparison of unit testing vs. static typing?
04/22/2012Types carry propositionsQuantitative comparison of unit testing vs. static typing?
03/31/2012Not reallyQuantitative comparison of unit testing vs. static typing?
03/31/2012Still disagreeQuantitative comparison of unit testing vs. static typing?
03/31/2012I think the people designingQuantitative comparison of unit testing vs. static typing?
03/31/2012Experience is extremelyQuantitative comparison of unit testing vs. static typing?
03/31/2012For the recordQuantitative comparison of unit testing vs. static typing?
04/01/2012Out of curiosityQuantitative comparison of unit testing vs. static typing?
04/13/2012You could do thisEscaping the Maze of Twisty Classes
03/25/2012Garbage collectionRetrospective Thoughts on BitC
03/25/2012So what happens when youRetrospective Thoughts on BitC
03/27/2012Good pointRetrospective Thoughts on BitC
03/25/2012Immovable objects and unstoppable forcesParsing: The Solved Problem That Isn't
04/06/2012I'm SkepticalParsing: The Solved Problem That Isn't
04/06/2012Well, there's that state --Parsing: The Solved Problem That Isn't
04/06/2012A distinctionParsing: The Solved Problem That Isn't
04/06/2012OKParsing: The Solved Problem That Isn't
04/06/2012A puddle in a small room in an IMAX movie theatre in Reading, MAParsing: The Solved Problem That Isn't
04/08/2012Still skepticalParsing: The Solved Problem That Isn't
04/08/2012I understand you to beParsing: The Solved Problem That Isn't
04/02/2012Parsing is still neededParsing: The Solved Problem That Isn't
04/02/2012Care to elaborate?Parsing: The Solved Problem That Isn't
04/02/2012How are the key sequencesParsing: The Solved Problem That Isn't
04/02/2012I'm not arguing for traditional editingParsing: The Solved Problem That Isn't
04/02/2012Right, that's basically whatParsing: The Solved Problem That Isn't
04/02/2012Right, I do that too, exceptParsing: The Solved Problem That Isn't
04/04/2012Nonetheless, if I can obtainParsing: The Solved Problem That Isn't
03/23/2012I suspect Jules hadDisruptive PLT Revisited
03/23/2012Disruptive generalityDisruptive PLT Revisited
03/19/2012Now you've got me curious...References about the importance of formalism in programming language design
03/05/2012Data and computation are not distinctWhat does focusing tell us about language design?
03/05/2012Total painWhat does focusing tell us about language design?
03/05/2012Maybe I did misread you. IWhat does focusing tell us about language design?
03/05/2012What's the appropriate formalism?What does focusing tell us about language design?
03/06/2012I'm not sure whether this answers your question, but ...What does focusing tell us about language design?
03/06/2012ExampleWhat does focusing tell us about language design?
03/06/2012I'm saying I want values toWhat does focusing tell us about language design?
03/06/2012I should have said "even CPBV"What does focusing tell us about language design?
03/06/2012Type directed evaluation orderWhat does focusing tell us about language design?
03/05/2012Compared to what?Informed dissent: William Cook contra Bob Harper on OOP
03/22/2012Subtyping is intuitive and mathematically simpleInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012Sub-typing vs. type systems that track sub-typesInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012I agreeInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012I disgree that subtyping is complexifyingInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012The One True WayInformed dissent: William Cook contra Bob Harper on OOP
02/23/2012Let me guess...A Concept Design for C++
02/23/2012Concept mapsA Concept Design for C++
02/04/2012Mostly agreeProgramming as collaborative reference
02/04/2012AsynchronousProgramming as collaborative reference
02/08/2012Hiding informationProgramming as collaborative reference
02/04/2012I'd say that it's not thatPeak Abstraction
02/03/2012A thoughtful craftsman blames his toolsPeak Abstraction
02/03/2012Support for future abstractionPeak Abstraction
02/04/2012Natural for the solution, not the problemPeak Abstraction
01/30/2012log nEvolution of mainstream programming language paradigms
02/08/2012Mmmm curryEvolution of mainstream programming language paradigms
01/31/2012I agreeEvolution of mainstream programming language paradigms
01/31/2012Makes senseEvolution of mainstream programming language paradigms
01/17/2012Comparison to single parameter type classescrazy PL idea: prescriptive trait inference
01/17/2012I don't follow. Haskellcrazy PL idea: prescriptive trait inference
01/19/2012Type classescrazy PL idea: prescriptive trait inference
01/23/2012Modularitycrazy PL idea: prescriptive trait inference
01/24/2012Do you have in mind a way tocrazy PL idea: prescriptive trait inference
01/25/2012Still a few questionscrazy PL idea: prescriptive trait inference
01/26/2012Oh yeahcrazy PL idea: prescriptive trait inference
01/27/2012I need to think ...crazy PL idea: prescriptive trait inference
01/29/2012Wellcrazy PL idea: prescriptive trait inference
01/30/2012Rightcrazy PL idea: prescriptive trait inference
01/30/2012Fair enoughcrazy PL idea: prescriptive trait inference
03/25/2012Maybe other issues?crazy PL idea: prescriptive trait inference
03/25/2012Rightcrazy PL idea: prescriptive trait inference
01/19/2012Confused by this subthreadcrazy PL idea: prescriptive trait inference
01/20/2012Ah hacrazy PL idea: prescriptive trait inference
01/20/2012Ok, I'm with youcrazy PL idea: prescriptive trait inference
01/20/2012I don't find this examplecrazy PL idea: prescriptive trait inference
01/20/2012Ok...crazy PL idea: prescriptive trait inference
01/20/2012I see what you're doingcrazy PL idea: prescriptive trait inference
01/21/2012I was actually talking aboutcrazy PL idea: prescriptive trait inference
01/17/2012Are you just talking about the namespace issue?crazy PL idea: prescriptive trait inference
01/20/2012I concurcrazy PL idea: prescriptive trait inference
01/11/2012Can you explain your definition of completeness?Usage of Range Dependencies may not Lead to NP-Complete Problems
01/02/2012<a href="deca#comment-68766" class="active">Too soon</a>Deca, an LtU-friendly bare metal systems programming language
12/30/2011Suggestion for maybe unifying your definitionsProgrammer Archeologists
12/30/2011I don't followProgrammer Archeologists
12/31/2011OkayProgrammer Archeologists
12/16/2011crack :: Foo t =&gt; t a -&gt; aWhat is this type of type called?
12/17/2011Needs more infoWhat is this type of type called?
12/06/2011I agree with Jules.General purpose as a special case?
11/06/2011Examples?extending functions vs. extending objects
11/07/2011Okextending functions vs. extending objects
11/01/2011Modifying a running programmingExtensible Programming with First-Class Cases
01/22/2012I'm not up to date on theFoundations of Inference
11/01/2011Curry HowardThe Experimental Effectiveness of Mathematical Proof
11/01/2011Do you mean Church-style vs. Curry-style?The Experimental Effectiveness of Mathematical Proof
11/01/2011Jules Jacobs: The usefulnessThe Experimental Effectiveness of Mathematical Proof
11/01/2011Asking for the same level of assurance is unfairThe Experimental Effectiveness of Mathematical Proof
10/29/2011Type systems will win"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011Mostly agreement"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011What kind of IDE features do"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011In general, with the type"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011Inference bounds"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011You mean that's not .5"We Really Don't Know How to Compute!" by Gerald Sussman
10/22/2011Other free theoremsOther free theorems
10/23/2011ParametricityOther free theorems
10/23/2011NormalizationOther free theorems
10/23/2011UpdateOther free theorems
10/18/2011Blame in the wrong place"Crutches in language design", accidental complexity and feature overlap
10/17/2011Not that nasty"Crutches in language design", accidental complexity and feature overlap
10/10/2011Powerful type systems should be unsoundGoogle's Dart announced
10/10/2011We're not too far apart, I thinkGoogle's Dart announced
10/10/2011Wouldn't the Haskell type be more like...Google's Dart announced
10/11/2011It also depends on other choices Scala has madeGoogle's Dart announced
10/11/2011What are you getting at?Google's Dart announced
10/11/2011I'm really not schizophrenicGoogle's Dart announced
10/11/2011I didn't say thatGoogle's Dart announced
10/11/2011Predicate subtypesGoogle's Dart announced
10/06/2011Type class of enumerableData, Codata, and Their Implications for Equality, and Serialization
10/06/2011YesData, Codata, and Their Implications for Equality, and Serialization
10/08/2011On the origin of species equationsData, Codata, and Their Implications for Equality, and Serialization
10/09/2011The other example seems differentData, Codata, and Their Implications for Equality, and Serialization
10/11/2011pigworker tricked usData, Codata, and Their Implications for Equality, and Serialization
10/11/2011What's an isotope?Data, Codata, and Their Implications for Equality, and Serialization
10/12/2011Informal isotopesData, Codata, and Their Implications for Equality, and Serialization
10/26/2011I think you're reading that too literallyOpen thread: RIP Steve Jobs
10/03/2011Prototypical LtU comment?SECD Machine - RAP?
09/24/2011Open datatypes in a dynamic languageOverloading in a dynamic functional language
09/24/2011Two ideasOverloading in a dynamic functional language
09/20/2011True state [conclusions disputed]What Does Functional Programming Mean?
09/28/2011The multi-light curved surface problemSample applications for programming languages
09/22/2011Absolute paths considered harmfulSample applications for programming languages
09/26/2011My largely uninformed opinion of FRPSample applications for programming languages
09/27/2011Oh, I seeSample applications for programming languages
09/28/2011Final commentSample applications for programming languages
09/26/2011Hopefully not too much time offGoogle's "The Future of JavaScript" internal memo leaked
09/12/2011Tagged valuesThe SAFE Platform
09/13/2011But...The SAFE Platform
09/09/2011I don't think anyone hereWhat needs to be done?
09/09/2011Before you object...What needs to be done?
09/12/2011Edges cases don't factorWhat needs to be done?
09/13/2011Too much anthropomorphizationWhat needs to be done?
09/13/2011I suspect otherwiseWhat needs to be done?
09/21/2011Thank you!What needs to be done?
09/14/2011Not impossibleWhat needs to be done?
09/17/2011Cross-module transformationsWhat needs to be done?
09/13/2011Would it be fair then to say thatThe Trouble with Erlang
09/05/2011WordingBehavioral subtyping and errors
09/08/2011What is abstractive power?the gnu extension language
09/10/2011Ok I read through this newthe gnu extension language
09/03/2011I didn't start the firethe gnu extension language
09/04/2011This is what I'm implementing with my three day weekendthe gnu extension language
09/04/2011Thanks for the link. I'llthe gnu extension language
09/04/2011Thanks, I'll check this outthe gnu extension language
08/30/2011The way I heard it...Forum Topics and Story
08/12/2011Python is weirdThe this argument in dynamic programming languages with OO and first-class functions
08/13/2011Other optionsThe this argument in dynamic programming languages with OO and first-class functions
08/16/2011Still kinda weirdThe this argument in dynamic programming languages with OO and first-class functions
08/17/2011Parameterized effectsProgramming and Scaling
08/18/2011If you want encapsulation,Programming and Scaling
08/18/2011I was talking about usingProgramming and Scaling
08/18/2011Plenty of security issuesProgramming and Scaling
08/19/2011Wholistic remediesProgramming and Scaling
08/18/2011So if you serialize theProgramming and Scaling
08/19/2011Parametric effects againProgramming and Scaling
08/19/2011The role of parametric effects in securityProgramming and Scaling
08/19/2011CorrectionProgramming and Scaling
08/19/2011So you'd need some way toProgramming and Scaling
08/22/2011IIRC, one of Church's earlyProgramming and Scaling
08/04/2011I don't followLightweight Monadic Programming in ML
08/04/2011Processes and subtypingLightweight Monadic Programming in ML
08/04/2011Signals as CapabilitiesLightweight Monadic Programming in ML
08/05/2011One more pointLightweight Monadic Programming in ML
08/04/2011Forget monads - Processes are nicerLightweight Monadic Programming in ML
08/05/2011First class signalsLightweight Monadic Programming in ML
08/08/2011Quite similarLightweight Monadic Programming in ML
08/08/2011DifferencesLightweight Monadic Programming in ML
08/10/2011ThanksLightweight Monadic Programming in ML
07/21/2011WellIs it possible to write code that works the very first time?
07/21/2011I don't think this is the pointIs it possible to write code that works the very first time?
07/22/2011Let's compare apples to applesIs it possible to write code that works the very first time?
07/19/2011Try/throw highlights problems with delimited continuationsImplementor's guide/tutorial to delimited continuations?
07/20/2011Leaking shiftImplementor's guide/tutorial to delimited continuations?
07/14/2011Could beThe Last Language?
07/20/2011No?The Last Language?
07/20/2011""build morphisms externally""The Last Language?
07/11/2011"Inherently unsafe stuff"Knockout JS
06/27/2011Is it this season again?Wittgenstein versus Turing on Inconsistency Robustness
06/24/2011If it includes names ofmodules are anti-modular
06/16/2011Hand wavingCatamorphisms and anamorphisms = general or primitive recursion?
05/26/2011Holy Grails, BatmanYet another programming language with customizable syntax
05/26/2011Minor bugYet another programming language with customizable syntax
05/26/2011I think you can lump andYet another programming language with customizable syntax
05/27/2011Perhaps heading off topic, but...Yet another programming language with customizable syntax
05/24/2011Can you explain how fields work?Yet another programming language with customizable syntax
06/23/2011Where does it end?Yet another programming language with customizable syntax
05/17/2011Imperative programming did well for the last fifty years?Why is tail call optimization an issue in GC'd languages?
05/17/2011I think how well imperativeWhy is tail call optimization an issue in GC'd languages?
05/16/2011How are you going toOne Pass Real-Time Generational Mark-Sweep Garbage Collection
05/17/2011Seems overly complicatedData Representation Synthesis
04/29/2011Comments of this caliberTypes from imported modules "leaking" into a module's public interface
04/29/2011Ban on importsTypes from imported modules "leaking" into a module's public interface
05/01/2011How do you formalize all of this?Types from imported modules "leaking" into a module's public interface
04/16/2011Requires a windows live accountCoding at the Speed of Touch
04/16/2011It's the mobile siteCoding at the Speed of Touch
04/13/2011Not reallyRedhat's New Language
04/13/2011You don't have to name everyRedhat's New Language
04/14/2011Semantics behind slide 29Redhat's New Language
04/14/2011Still don't followRedhat's New Language
04/14/2011IMO it works like this:Redhat's New Language
04/15/2011Why?Redhat's New Language
04/15/2011Clearly I'm speculatingRedhat's New Language
04/14/2011Yes, it's a good thingRedhat's New Language
03/24/2011My sense/centsBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011It's mainly that I preferBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011Can you elaborate / specifyBob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011I don't understandBob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011I still don't see theBob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011There's a required runtimeBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011I agree with you that'sBob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011Gradients of the form DavidBob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011Let's think about this...Bob Harper of CMU is blogging about programming languages and introductory CS education
06/28/2012The definition of concurrency and parallelismBob Harper of CMU is blogging about programming languages and introductory CS education
03/11/2011Why don't you just startReference request: running out of countably many variable names
03/11/2011How are you going to proveStrict data constructors + non-strict application?
03/10/2011Based on how it sounds likeNamespaces for methods?
03/10/2011OK, your example answers myNamespaces for methods?
03/09/2011Linear per compilation unit?Middle History of Logic Programming
03/10/2011What's the other 95%?InfoQ video + transcript of Rob Pike on Go
02/18/2011diff Haskell HabitThe Habit Programming Language: The Revised Preliminary Report
02/15/2011Arguing for definitionsMonads vs. Actors
02/16/2011Monads are ratherMonads vs. Actors
02/17/2011Capabilities are simplyMonads vs. Actors
02/17/2011I understand yourMonads vs. Actors
02/17/2011The point is that I considerMonads vs. Actors
02/17/2011I think you misunderstood myMonads vs. Actors
02/22/2011Have you written anyMonads vs. Actors
02/24/2011Not choiceMonads vs. Actors
02/24/2011ShrugMonads vs. Actors
02/28/2011You missed a clause in my claimMonads vs. Actors
02/28/2011Thanks for the link. IMonads vs. Actors
02/28/2011This connection to choiceMonads vs. Actors
02/10/2011Typing coroutines via pipesStrongly Typed Coroutines (minor question)
01/25/2011On purposePoints in the Pattern Matching Design Space
01/21/2011Minor disagreementguy steele on how (not) to think of parallel programming
01/21/2011Less disagreement, but still some differenceguy steele on how (not) to think of parallel programming
01/09/2011Must be eclipseFast Compilers
01/05/2011I'm with LeonRuntime code generation for partial application?
01/05/2011I don't think it was me,Runtime code generation for partial application?
01/05/2011I read the paragraph IRuntime code generation for partial application?
01/05/2011I had previously argued thatRuntime code generation for partial application?
12/30/2010I agree with this answer.The AST Typing Problem
12/17/2010What if there is ayacc death revisited
12/17/2010Ah you're right. Wrongyacc death revisited
12/17/2010Actually, thinking about ityacc death revisited
12/17/2010Other take aways: Don'tyacc death revisited
11/23/2010Probability measuresWhat is computation? Concurrency versus Turing's Model
11/24/2010Probability vs. probability zeroWhat is computation? Concurrency versus Turing's Model
11/24/2010Too weakWhat is computation? Concurrency versus Turing's Model
11/24/2010My argument isn't mathematicalWhat is computation? Concurrency versus Turing's Model
11/25/2010If you allow NTMs whichWhat is computation? Concurrency versus Turing's Model
11/21/2010Trade-off between strong and flexibleClojure's Solutions to the Expression Problem
11/21/2010Half trueClojure's Solutions to the Expression Problem
11/24/2010Practical completeness of type systemsClojure's Solutions to the Expression Problem
11/15/2010Actually, the survey foundA Preliminary Survey on Functional Programming
11/10/2010Mutability in an immutable worldLambda the Ultimate seems an Overstatement (not)
11/27/2010Concurrency is not computationLambda the Ultimate seems an Overstatement (not)
11/27/2010I consider calculation andLambda the Ultimate seems an Overstatement (not)
11/27/2010I'm not arguing that monadsLambda the Ultimate seems an Overstatement (not)
11/29/2010Models of computation don't implement resourcesLambda the Ultimate seems an Overstatement (not)
11/29/2010I'll direct you to aLambda the Ultimate seems an Overstatement (not)
11/30/2010Is Lazy State a counterexample?Lambda the Ultimate seems an Overstatement (not)
12/01/2010Jones and Gibbons' algorithmLambda the Ultimate seems an Overstatement (not)
12/01/2010One clarifying remark ILambda the Ultimate seems an Overstatement (not)
11/04/2010Type checking quantificationA Self-Checking Type System
11/04/2010What I don't like about thatA Self-Checking Type System
11/01/2010Modularity requires run-time dispatchThe Myths of Object-Orientation
11/01/2010Standard libraries are still librariesThe Myths of Object-Orientation
11/01/2010Standards and coresThe Myths of Object-Orientation
11/02/2010Rambling repliesThe Myths of Object-Orientation
11/03/2010Modularity and ArchitectureThe Myths of Object-Orientation
11/03/2010I don't really disagreeThe Myths of Object-Orientation
11/03/2010Sorry, I was using myThe Myths of Object-Orientation
11/03/2010Configurability isn't theThe Myths of Object-Orientation
11/04/2010I agree with yourThe Myths of Object-Orientation
11/04/2010The reason I askThe Myths of Object-Orientation
11/02/2010The problem with librariesThe Myths of Object-Orientation
12/20/2010Well, we just had anotherThe Myths of Object-Orientation
10/11/2010TangentThe barrier to take-up of language innovation
11/29/2010The definition of crazy isNew Dataflow Programming Language
09/10/2010PeeveIs Transactional Programming Actually Easier?
09/18/2011That ref is only readHow to classify type of ML's exn ? (Naive question)
08/06/2010Distribution doesn't require inconsistent logicsIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010Does notIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010I don't know much aboutIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010I'm assuming the sameIncompleteness Theorems: The Logical Necessity of Inconsistency
08/06/2010I meant distributedIncompleteness Theorems: The Logical Necessity of Inconsistency
07/25/2010Commentspaper: "Purely Functional Structured Programming"
07/26/2010I understand the reason thatpaper: "Purely Functional Structured Programming"
07/26/2010Sorry, I misread yourpaper: "Purely Functional Structured Programming"
07/26/2010Actually, comparing yourpaper: "Purely Functional Structured Programming"
07/27/2010I didn't really have thatpaper: "Purely Functional Structured Programming"
07/28/2010The confusion I have is thatpaper: "Purely Functional Structured Programming"
07/28/2010Couldn't you move 'def' topaper: "Purely Functional Structured Programming"
07/19/2010I dunnoA proof engine for Eiffel
07/20/2010FallaciesA proof engine for Eiffel
07/02/2010CommentsLogic programming based GUI framework
07/02/20101. I see what you meant -Logic programming based GUI framework
07/02/2010Don't ever look at the codeSF-calculus
06/30/2010There are manifoldWhy Undergraduates Should Learn the Principles of Programming Languages
06/18/2010And when you didn't includehappy rebirth day, LtU NG!
05/28/2010What does this simplify?Functional Pearl: Species and Functors and Types, Oh My!
06/03/2010Parametricity?Adding Type Constructor Parameterization to Java
06/04/2010Standard typing vs. tagging caveats applyAdding Type Constructor Parameterization to Java
06/04/2010Parametricity in generalAdding Type Constructor Parameterization to Java
06/08/2010"Parametricity" theoremAdding Type Constructor Parameterization to Java
06/08/2010What for...Adding Type Constructor Parameterization to Java
06/08/2010Not vacuousAdding Type Constructor Parameterization to Java
06/08/2010Ok, maybe vacuousAdding Type Constructor Parameterization to Java
05/17/2010Why block login of newThe War on Spam
05/17/2010What's the name for this model of computation?What's the name for this model of computation?
05/17/2010Thank youWhat's the name for this model of computation?
05/17/2010Bohm-like treesWhat's the name for this model of computation?
05/17/2010I'm familiar with de BruijnWhat's the name for this model of computation?
05/13/2010Comprehensive summaryAgileWiki theory/tool outline
05/13/2010Additional informationAgileWiki theory/tool outline
04/26/2010Pearls are simple, elegant, and beautifulThe Monad Zipper
05/05/2010There would need to some way to pickThe Monad Zipper
05/01/2010ElaborationThe Monad Zipper
05/02/2010Does this not work?The Monad Zipper
05/02/2010An edit and a commentThe Monad Zipper
05/02/2010Will send soonThe Monad Zipper
04/22/2010Re: the hybrid approach you see in many modern languagesSeeking thoughtful criticisms of functional programming and languages
04/22/2010The closest thing I canSeeking thoughtful criticisms of functional programming and languages
04/22/2010Two different issuesSeeking thoughtful criticisms of functional programming and languages
04/23/2010Pure functions, not purely lambdasSeeking thoughtful criticisms of functional programming and languages
04/24/2010RE: Infinite regress. TheSeeking thoughtful criticisms of functional programming and languages
04/25/2010Escaping the paradigmSeeking thoughtful criticisms of functional programming and languages
04/25/2010It seems to me thatSeeking thoughtful criticisms of functional programming and languages
04/25/2010Batteries not includedSeeking thoughtful criticisms of functional programming and languages
04/25/2010Much disagreementSeeking thoughtful criticisms of functional programming and languages
04/25/2010Seeking examplesSeeking thoughtful criticisms of functional programming and languages
04/26/2010You can think of the monadicSeeking thoughtful criticisms of functional programming and languages
04/26/2010I'm not saying anything too deepSeeking thoughtful criticisms of functional programming and languages
04/26/2010You are correct that you canSeeking thoughtful criticisms of functional programming and languages
04/23/2010Don't blame the mathSeeking thoughtful criticisms of functional programming and languages
04/23/2010Monad transformers and stuffSeeking thoughtful criticisms of functional programming and languages
04/25/2010Monad transformers still considered harmfulSeeking thoughtful criticisms of functional programming and languages
04/25/2010Why bother...Seeking thoughtful criticisms of functional programming and languages
05/22/2010Why does it need to be explicit?Seeking thoughtful criticisms of functional programming and languages
06/10/2010Can matterSeeking thoughtful criticisms of functional programming and languages
06/10/2010If you don't care, you don't careSeeking thoughtful criticisms of functional programming and languages
05/27/2010Even constraint and logicSeeking thoughtful criticisms of functional programming and languages
06/23/2010Programs don't rot, but they can become obsoleteseL4: Formal Verification of an Operating-System Kernel
06/23/2010A program is only part of a systemseL4: Formal Verification of an Operating-System Kernel
06/23/2010Oh yes, I should correct...seL4: Formal Verification of an Operating-System Kernel
06/23/2010Still differseL4: Formal Verification of an Operating-System Kernel
06/23/2010TerminologyseL4: Formal Verification of an Operating-System Kernel
06/23/2010You're implicitly makingseL4: Formal Verification of an Operating-System Kernel
06/23/2010I disagreeseL4: Formal Verification of an Operating-System Kernel
06/23/2010I'm not arging for formalityseL4: Formal Verification of an Operating-System Kernel
06/23/2010Further, I do not see anyseL4: Formal Verification of an Operating-System Kernel
06/23/2010Great Scott!seL4: Formal Verification of an Operating-System Kernel
06/24/2010I don't need to spread theseL4: Formal Verification of an Operating-System Kernel
06/23/2010I'm not arging for formalityseL4: Formal Verification of an Operating-System Kernel
04/16/2010Well clearlyHow can C Programs be so Reliable?
04/16/2010There ya goHow can C Programs be so Reliable?
04/16/2010I guess I'll do bothHow can C Programs be so Reliable?
04/18/2010Memory failure and multi-processingHow can C Programs be so Reliable?
04/09/2010Unenforceable in generaliPhone PL lockdown
12/09/2011It's easyiPhone PL lockdown
04/09/2010Confusingsplitting the program into formalizable vs. non-formalizable parts?
04/15/2010Minor pointsplitting the program into formalizable vs. non-formalizable parts?
04/14/2010Further reading leads to further incredulitysplitting the program into formalizable vs. non-formalizable parts?
04/15/2010Testing many universessplitting the program into formalizable vs. non-formalizable parts?
04/12/2010Questionsplitting the program into formalizable vs. non-formalizable parts?
04/14/2010P vs. NPSpecifying Solvers?
04/15/2010Depends on the logicSpecifying Solvers?
04/07/2010Mind explaning what's going on with the syntax?Higher order functions vs. function arity and calling conventions
04/08/2010Missing itHigher order functions vs. function arity and calling conventions
04/08/2010# let multiply x y = x *Higher order functions vs. function arity and calling conventions
04/09/2010The flip sideHigher order functions vs. function arity and calling conventions
04/04/2010Is it a diagrammatic language?A Formal System For Euclid's Elements
04/05/2010Not the sameA Formal System For Euclid's Elements
04/10/2010Continuing the tangentGo's proposed panic/recover exception-like mechanism
04/07/2010YesGo's proposed panic/recover exception-like mechanism
04/02/2010Alternative: Uniqueness typing for commentsGo's proposed panic/recover exception-like mechanism
02/07/2012Non-Inductive datatypesSmall is Beautiful: the design of Lua
03/30/2010Stay tuned for the following postFirst-class environments. Discuss. ;)
03/30/2010For sake of the marginFirst-class environments. Discuss. ;)
03/19/2010Is every theorem prover based on Curry-Howard?On the (Alleged) Value of Proof for Assurance
03/22/2010When applies appliesOn the (Alleged) Value of Proof for Assurance
03/12/2010Not to knock nockUrbit: Functional programming from scratch
03/11/2010None of the aboveShould let be generalized?
03/12/2010GADTs are bizzare, type classes arent relations, and Tim's rightShould let be generalized?
03/07/2010No problemLISP basis for computable functions on S-Expressions.
03/08/2010Church encodingLISP basis for computable functions on S-Expressions.
03/01/2010How can a pure function not have the advantages of purity?Advantages of Purity
03/01/2010Don't blame purityAdvantages of Purity
03/19/2010Needs subtypingAdvantages of Purity
03/16/2010Apples and orangesAdvantages of Purity
03/04/2010Is binding special?Extending the Scope of Syntactic Abstraction
03/04/2010TrueExtending the Scope of Syntactic Abstraction
03/04/2010I just meant macros are ableExtending the Scope of Syntactic Abstraction
03/15/2010Does "the cited paper" referfunctional equivalance?
02/26/2010Abstract of the paper Frank citesfunctional equivalance?
03/11/2010Provable vs. Auditablefunctional equivalance?
03/11/2010Ramblingsfunctional equivalance?
03/11/2010One time, at band campfunctional equivalance?
02/26/2010Folks, this paper is 8 pages long and easy to read.plt vs. something else for programming in the large?
02/22/2010Link brokenObjects to Unify Type Classes and GADTs
02/24/2010Misisng his pointTesting release of a platform for hosting pure functional web applications
02/24/2010Don't really followTesting release of a platform for hosting pure functional web applications
02/25/2010User vs. applicationsTesting release of a platform for hosting pure functional web applications
02/25/2010Trusted applicationsTesting release of a platform for hosting pure functional web applications
02/26/2010A machine may have more thanTesting release of a platform for hosting pure functional web applications
02/26/2010What is a UI?Testing release of a platform for hosting pure functional web applications
02/26/2010Still no counter-exampleTesting release of a platform for hosting pure functional web applications
02/26/2010Still no saleTesting release of a platform for hosting pure functional web applications
02/26/2010:)Testing release of a platform for hosting pure functional web applications
02/25/2010ScreenshotsTesting release of a platform for hosting pure functional web applications
02/26/2010Extremely fine grained compositionTesting release of a platform for hosting pure functional web applications
02/20/2010More than web hostingReminder: OOPSLA is now SPLASH
02/05/2010Might be niceAlternatives to parentheses for grouping
02/05/2010OhAlternatives to parentheses for grouping
02/05/2010ResultContinuity Analysis of Programs
02/05/2010Not totally computableContinuity Analysis of Programs
02/05/2010Not that complicatedContinuity Analysis of Programs
02/05/2010RE: computable on all computable real numbersContinuity Analysis of Programs
02/05/2010Thus, any input for which IContinuity Analysis of Programs
02/05/2010So what are these computable reals?Continuity Analysis of Programs
02/05/2010ImpredicitivityContinuity Analysis of Programs
02/06/2010Properties of realsContinuity Analysis of Programs
02/09/2010My mistakeContinuity Analysis of Programs
02/06/2010No implementation has every desireable propertyContinuity Analysis of Programs
02/06/2010The originalContinuity Analysis of Programs
01/31/2010Problem with that argumentDeclarative reactive tables
01/21/2010Typo?The Theory and Calculus of Aliasing
01/20/2010Analysis I is usually rigorous calculus.Academic advice: Mathematics or Computer Science?
01/22/2010I had a similar reaction,Academic advice: Mathematics or Computer Science?
01/26/2010Sounds coolDiscoverability, Language Features, and the First Step Toward Composition
01/18/2010A better analogyQuantum Lambda Calculus
01/19/2010Has something like that ever been observed?Quantum Lambda Calculus
01/19/2010Still seem to be missing the pointQuantum Lambda Calculus
01/21/2010The objection that naasking linked toQuantum Lambda Calculus
01/21/2010sureQuantum Lambda Calculus
01/23/2010Trancendental constant?Quantum Lambda Calculus
01/23/2010The transcendental constantQuantum Lambda Calculus
01/23/2010Is that true?Quantum Lambda Calculus
01/24/2010NoneQuantum Lambda Calculus
01/08/2010ThanksRapid Prototyping tools & environments from academia
01/08/2010Just that most of the waysRapid Prototyping tools & environments from academia
12/28/2009It is what it isIs (probabilistic) non-determinism pure ?
12/28/2009I should have noticed...Is (probabilistic) non-determinism pure ?
01/05/2010Not reallyParameterized Modules
12/19/2009Understanding the author's point of viewClaiming Infinity
12/16/2009Pretty sillyClaiming Infinity
12/16/2009CrankClaiming Infinity
12/18/2009Woolly mammothClaiming Infinity
12/12/2009Staged mutable meta-programming?Metaprogramming and Heron : Five Years Later
12/13/2009Identity function is still slightly differentMetaprogramming and Heron : Five Years Later
12/10/2009Does it do that?ChucK : A Strongly timed language
12/04/2009Random commentsPragmatic declarative event abstraction
12/03/2009SimilarWhy Object-Oriented Languages Need Tail Calls
12/04/2009Question beggingWhy Object-Oriented Languages Need Tail Calls
12/04/2009Not exactly my pointWhy Object-Oriented Languages Need Tail Calls
12/04/2009One more pokeWhy Object-Oriented Languages Need Tail Calls
12/04/2009How is this different from GC in general?Why Object-Oriented Languages Need Tail Calls
12/04/2009ReachabilityWhy Object-Oriented Languages Need Tail Calls
12/05/2009A flawWhy Object-Oriented Languages Need Tail Calls
12/05/2009Rhetorical answersWhy Object-Oriented Languages Need Tail Calls
12/03/2009One perfect languageEleven Theses on Clojure
11/19/2009I assume he meant for Dodo...The perfect advanced programming language for the productive industrial developer
11/19/2009I think this question wouldThe perfect advanced programming language for the productive industrial developer
01/04/2010Clearly crazyExplanation of Computer Theory for Lawyers
01/05/2010Physical bitsExplanation of Computer Theory for Lawyers
11/06/2009LibrariesJohn Hughes on Erlang and Haskell
11/07/2009Mathematicians have good librariesJohn Hughes on Erlang and Haskell
11/13/2009Proof systems and type systems are equivalently expressiveJohn Hughes on Erlang and Haskell
11/22/2009Russell's paradoxJohn Hughes on Erlang and Haskell
11/22/2009Set theory isn't so badJohn Hughes on Erlang and Haskell
11/13/2009Abstractive strengthJohn Hughes on Erlang and Haskell
11/21/2009Separately-compiled 'libraries' considered harmful?John Hughes on Erlang and Haskell
11/21/2009Not an optimizationJohn Hughes on Erlang and Haskell
11/22/2009Libraries aren't deployed?John Hughes on Erlang and Haskell
11/18/2009What's a type?John Hughes on Erlang and Haskell
11/18/2009Typeful programmingJohn Hughes on Erlang and Haskell
11/18/2009Open programs tooJohn Hughes on Erlang and Haskell
11/18/2009DifferencesJohn Hughes on Erlang and Haskell
11/04/2009Same facts, different conclusionOn Understanding Data Abstraction, Revisited
11/04/2009As a library writer, IOn Understanding Data Abstraction, Revisited
11/06/2009Composite patternOn Understanding Data Abstraction, Revisited
11/06/2009The Composite PatternOn Understanding Data Abstraction, Revisited
11/06/2009I didn't really follow thisOn Understanding Data Abstraction, Revisited
11/06/2009What is internal composition?On Understanding Data Abstraction, Revisited
11/07/2009Internal vs. ExternalOn Understanding Data Abstraction, Revisited
11/06/2009You can construct new onesOn Understanding Data Abstraction, Revisited
10/28/2009Why doesn't unification work?Desperately seeking monomorphic typing
11/12/2009What is this comment based on?Compilation to C, a definitive guide?
11/12/2009One (not so big) problemCompilation to C, a definitive guide?
11/12/2009Looking at the sourceCompilation to C, a definitive guide?
09/23/2009I have something very similar to this...Turning every module into a functor automatically?
09/26/2009YesTurning every module into a functor automatically?
09/23/2009CommentsTurning every module into a functor automatically?
09/26/2009FixedTurning every module into a functor automatically?
09/28/2009Broken linkTurning every module into a functor automatically?
09/29/2009ThanksTurning every module into a functor automatically?
08/26/2009Cyclic dependenciesReview NP-complete Library Versioning Problem
08/26/2009Ah thanksReview NP-complete Library Versioning Problem
09/02/2009I don't understandReview NP-complete Library Versioning Problem
09/02/2009Different interfaces?Review NP-complete Library Versioning Problem
09/02/2009TerminologyReview NP-complete Library Versioning Problem
08/21/2009Standard libraries?Scheme to be split into two languages
08/19/2009LensesFP, auto-generated code..
08/24/2009I stopped reading when itTheoretical Foundations for Practical Totally Functional Programming, by Colin Kemp
08/19/2009If I may ask...best superset language...
08/19/2009Nit pickingfunctions vs procedures..
08/16/2009RE: structure editor vs clever incremental parsing/type checkingEastwest: a new programming language and structure editor
08/16/2009the following are legalEastwest: a new programming language and structure editor
08/15/2009I agreePerl Cannot Be Parsed: A Formal Proof
08/15/2009Decision problemPerl Cannot Be Parsed: A Formal Proof
08/13/2009macros over meta-object protocol?Receiver knowing the sender?
08/14/2009Don't throw the meta-object protocol out with the bathwaterReceiver knowing the sender?
08/13/2009Empty shellThe End of the GPU Roadmap
08/17/2009I imagine he meant somethingThe End of the GPU Roadmap
08/16/2009Continuous timeThe End of the GPU Roadmap
08/16/2009I don't think we're far apartThe End of the GPU Roadmap
08/16/2009'Now' makes for a good separation of concernsThe End of the GPU Roadmap
08/16/2009Why?The End of the GPU Roadmap
08/16/2009I'm curious as to whatThe End of the GPU Roadmap
08/11/2009WellAvoid a Void: eradicating null-pointer dereferencing
08/10/2009Practical usesA Veriļ¬ed Compiler for an Impure Functional Language
08/20/2009Halting problem remains unsolvedObservational Equality, Now!
12/23/2009Buzzword involution interjectionObjects as Modules in Newspeak
12/23/2009Right, but I didn't reply toObjects as Modules in Newspeak
08/03/2009It's been discussed before,Creator of Qi Calls It Quits
08/04/2009Thank you, thank youCreator of Qi Calls It Quits
07/23/2009WeirdResolved Debates in Syntax Design ?
07/23/2009I wasn't very clearResolved Debates in Syntax Design ?
07/12/2009Analog copiesRepRap: the self-replicating machine
07/04/2009On-topic?Help, this is driving me mad!
07/04/2009WelpHelp, this is driving me mad!
07/05/2009AhhHelp, this is driving me mad!
06/27/2009Counter-exampleMost powerful terminating semantics?
06/27/2009For the recordMost powerful terminating semantics?
06/27/2009A simpler exampleMost powerful terminating semantics?
06/27/2009Heading out the windowMost powerful terminating semantics?
06/27/2009OopsMost powerful terminating semantics?
06/27/2009Fast enoughMost powerful terminating semantics?
06/29/2009"reasonably"Most powerful terminating semantics?
07/01/2009By this reasoning...Most powerful terminating semantics?
07/03/2009(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((...Most powerful terminating semantics?
07/03/2009Mostly agreedMost powerful terminating semantics?
07/03/2009O(N)Most powerful terminating semantics?
07/03/2009Proof is validMost powerful terminating semantics?
07/03/2009The other analogyMost powerful terminating semantics?
07/03/2009ShrugMost powerful terminating semantics?
07/03/2009What strictures?Most powerful terminating semantics?
07/03/2009CS is is CS doesMost powerful terminating semantics?
07/01/2009In practice, this idea works in theoryMost powerful terminating semantics?
07/01/2009In practice, C programs aren't FSMsMost powerful terminating semantics?
07/02/2009That helps, butMost powerful terminating semantics?
07/01/2009But...Most powerful terminating semantics?
07/01/2009putchar / getcharMost powerful terminating semantics?
07/14/2009terminating semanticsMost powerful terminating semantics?
07/14/2009In practice, it works in theory, againMost powerful terminating semantics?
07/14/2009InfiniteMost powerful terminating semantics?
06/26/2009LoD on DSLFully Encapsulated Languages? Are there any out there?
06/26/2009Modules implement abstractionsFully Encapsulated Languages? Are there any out there?
06/26/2009o.OFully Encapsulated Languages? Are there any out there?
06/19/2009Actual linkSSA vs. CPS (and ANF?)
06/15/2009Tricky indeed!GRS vs LTRS
06/14/2009I was assuming automaticPreventing downcasting and adding a universal variant
06/07/2009Source controlA Case for Gestures/Visualizations and Against Concrete Syntax
06/07/2009I think concrete is goodA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009Apologies for the strawmanA Case for Gestures/Visualizations and Against Concrete Syntax
06/08/2009Let me see if I understand...A Case for Gestures/Visualizations and Against Concrete Syntax
06/01/2009Turing-completenessComputing Needs Time
06/01/2009Mostly I agree with youComputing Needs Time
05/13/2009Good as DSLs, not in generalComputer music: a bastion of interactive visual dataflow languages
05/13/2009What is a paradigm?Computer music: a bastion of interactive visual dataflow languages
05/06/2009That's the issueStatic typing may require runtime type checking?
04/30/2009That's easyWhat is the best literate programming tool/environment/research work?
04/12/2009An all-pairs dating service?ADD 50 TO COBOL GIVING COBOL
04/12/2009This comes to mindADD 50 TO COBOL GIVING COBOL
04/12/2009SubjectADD 50 TO COBOL GIVING COBOL
04/09/2009What is Intuition?Why are objects so unintuitive?
04/09/2009A likely titleWhy are objects so unintuitive?
04/09/2009OOP languagesWhy are objects so unintuitive?
04/10/2009OOPWhy are objects so unintuitive?
04/12/2009Usually we have lots ofWhy are objects so unintuitive?
04/12/2009Not even Scrabble or Boggle?Why are objects so unintuitive?
04/12/2009It's still not very clearWhy are objects so unintuitive?
04/12/2009Sounds goodWhy are objects so unintuitive?
04/14/2009I've never blamed the languageWhy are objects so unintuitive?
11/18/2010Domain models as typingWhy are objects so unintuitive?
04/07/2009To be fair...zip in the point free style
04/07/2009Fully RigorousA Computer-Generated Proof that P=NP
03/30/2009It turns out...Subsumption at all costs
10/13/2011The issue is name shadowingSubsumption at all costs
03/31/2009And even if...Subsumption at all costs
10/13/2011Name clashes are inevitableSubsumption at all costs
10/13/2011You're rightSubsumption at all costs
03/25/2009Default finalEliminating fuzziness of access modifiers
03/26/2009Poor translationEliminating fuzziness of access modifiers
03/22/2009ThanksTiered approaches to higher order programming?
03/11/2009Was this parody?Languages and security: a short reading list
03/25/2009counter-exampleInfluence of cognitive models on programming language design
03/04/2009Confusingly,The Meta-LtU Thread
03/08/2009Pistrami, Lettuce, TomatoThe Meta-LtU Thread
03/02/2009call-by-name and call-by-valueimplementing by-value reduction in lambda calculus
03/02/2009leftmost-outermostimplementing by-value reduction in lambda calculus
02/20/2009ConfusedDenotational design with type class morphisms
02/21/2009I got a different senseDenotational design with type class morphisms
02/22/2009Manic Algebra SetsDenotational design with type class morphisms
02/22/2009Typeclasses as theoriesDenotational design with type class morphisms
02/09/2009All we really needOn the (Im)possibility of Obfuscating Programs
02/10/2009An uncertainty principleOn the (Im)possibility of Obfuscating Programs
02/10/2009EncryptionOn the (Im)possibility of Obfuscating Programs
02/10/2009Probably...On the (Im)possibility of Obfuscating Programs
02/10/2009Another venue?On the (Im)possibility of Obfuscating Programs
02/11/2009Spared!On the (Im)possibility of Obfuscating Programs
02/09/2009Non-issue?On the (Im)possibility of Obfuscating Programs
02/04/2009If I understand...What is the dual of { } ?
02/08/2009With diffidence...What is the dual of { } ?
02/08/2009CIC...What is the dual of { } ?
02/10/2009Sets and suchWhat is the dual of { } ?
02/11/2009Intuitiveness vs. intuitive correctnessWhat is the dual of { } ?
02/08/2009Not well groundedWhat is the dual of { } ?
02/08/2009Oops, thanksWhat is the dual of { } ?
02/04/2009Reopening recursionOpen Recursion
02/04/2009Similar ideaOpen Recursion
02/05/2009Can and hasOpen Recursion
02/03/2009Unit nitsRuling out nonsensical data type definitions
02/03/2009I consider "datatype" inRuling out nonsensical data type definitions
02/03/2009I'm reluctant to perpetuateRuling out nonsensical data type definitions
02/03/2009What sort of logic is that?Ruling out nonsensical data type definitions
02/06/2009Agreed.PL Grand Challenges
02/10/2009Are you calling me yellah?PL Grand Challenges
01/26/2009Why?Introducing Ambi
01/23/2009Regarding IRC...Detailed discussion forum and/or IRC channel?
01/23/2009You've applied his quote toTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/23/2009Sample value of arbitrary typeTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/23/2009Really?Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/21/2009For efficiency?Nested functions - how many nesting levels are really needed?
01/22/2009Values shared across multiple closuresNested functions - how many nesting levels are really needed?
01/22/2009What am I missing?Nested functions - how many nesting levels are really needed?
01/22/2009Still missing itNested functions - how many nesting levels are really needed?
01/22/2009Nesting Level Irrelevant was my pointNested functions - how many nesting levels are really needed?
01/21/2009In Haskell...Nested functions - how many nesting levels are really needed?
01/18/2009Look atMacro systems
01/16/2009Doesn't this reduce to theWeird computability problem relating to state + lambda calculus
01/21/2009"Only semantic"Introducing Dawn - yet another new language
01/13/2009Zero based indexingWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Libraries don't have to be optionalWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009NoWhat Are The Resolved Debates in General Purpose Language Design?
01/15/2009Libraries can depend on other librariesWhat Are The Resolved Debates in General Purpose Language Design?
01/15/2009Hierarchies of LanguagesWhat Are The Resolved Debates in General Purpose Language Design?
01/15/2009[...] a core language shouldWhat Are The Resolved Debates in General Purpose Language Design?
01/15/2009Not abstract syntax onlyWhat Are The Resolved Debates in General Purpose Language Design?
01/16/2009What means 'core language'What Are The Resolved Debates in General Purpose Language Design?
01/21/2009No language expressiveWhat Are The Resolved Debates in General Purpose Language Design?
01/21/2009TrueWhat Are The Resolved Debates in General Purpose Language Design?
01/11/2009Do you mean ...?Using coalgebraic structures for traversing ADTs lazily
01/11/2009InterestingUsing coalgebraic structures for traversing ADTs lazily
01/09/2009Combinator calculus2008 In Review - What Happened with Programming Languages?
12/17/2008then your language is aparametricAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/18/2008Parametricity at the type level?Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/18/2008Another distinctionAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/26/2008A guessAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/26/2008Example?Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/26/2008This is a good exampleAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/26/2008AgreedAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/27/2008Yes, I think most everythingAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/20/2008From contextAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/20/2008YaAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/31/2008RightProgrammable Concurrency in a Pure and Lazy Language
12/20/2008Garbage collectionFundamental Flaws in Current Programming Language Type Systems
01/13/2009MPEG-2Fundamental Flaws in Current Programming Language Type Systems
01/14/2009How would it work?Fundamental Flaws in Current Programming Language Type Systems
01/14/2009"code depends on interfaces, not classes"Fundamental Flaws in Current Programming Language Type Systems
01/14/2009FairFundamental Flaws in Current Programming Language Type Systems
01/15/2009Basically, I'm suggestingFundamental Flaws in Current Programming Language Type Systems
01/15/2009Still missing the exampleFundamental Flaws in Current Programming Language Type Systems
01/15/2009This module is only correctFundamental Flaws in Current Programming Language Type Systems
01/15/2009The stronger typing can beFundamental Flaws in Current Programming Language Type Systems
01/16/2009Ah, but continuing myFundamental Flaws in Current Programming Language Type Systems
01/16/2009Did I miss your proposal inFundamental Flaws in Current Programming Language Type Systems
01/12/2009Control over representationFundamental Flaws in Current Programming Language Type Systems
01/12/2009Semantics of representation annotationsFundamental Flaws in Current Programming Language Type Systems
01/13/2009"The language"Fundamental Flaws in Current Programming Language Type Systems
01/13/2009Not incompatibleFundamental Flaws in Current Programming Language Type Systems
12/17/2008Analysis?The Genuine Sieve of Eratosthenes
12/17/2008Too lazyThe Genuine Sieve of Eratosthenes
12/17/2008A simple boundThe Genuine Sieve of Eratosthenes
12/17/2008Poking a holeThe Genuine Sieve of Eratosthenes
12/18/2008AgreedThe Genuine Sieve of Eratosthenes
12/17/2008Avoiding the log-log term, but at what cost?The Genuine Sieve of Eratosthenes
12/23/2008Recheck?The Genuine Sieve of Eratosthenes
12/23/2008"There is no way this is linear"The Genuine Sieve of Eratosthenes
01/04/2009I don't think it's O(n)The Genuine Sieve of Eratosthenes
01/05/2009How many terms are generatedThe Genuine Sieve of Eratosthenes
01/05/2009And by now I am certain itThe Genuine Sieve of Eratosthenes
01/05/2009Is that really O(n)? Yes.The Genuine Sieve of Eratosthenes
01/11/2009ThanksThe Genuine Sieve of Eratosthenes
03/11/2009Different motivationThe Genuine Sieve of Eratosthenes
03/11/2009On what count?The Genuine Sieve of Eratosthenes
11/02/2008Be carefulTotal functional language self interpreter?
11/04/2008WellTotal functional language self interpreter?
11/05/2008The other branchTotal functional language self interpreter?
06/27/2009Something very similar toTotal functional language self interpreter?
11/05/2008More detailTotal functional language self interpreter?
11/05/2008It is not clear that 'anyTotal functional language self interpreter?
11/05/2008Well I agree that a typeTotal functional language self interpreter?
11/05/2008DisconnectTotal functional language self interpreter?
11/06/2008...Total functional language self interpreter?
11/06/2008Throw and catchTotal functional language self interpreter?
11/19/2008Be careful againTotal functional language self interpreter?
11/19/2008Which example?Total functional language self interpreter?
10/30/2008Dragging and droppingDeclarative layout and/or UI languages?
10/05/2008Monads don't require static typingClojure talk videos
10/06/2008YesClojure talk videos
10/08/2008Huh?Clojure talk videos
10/04/2008Possibly...To CPS or not to CPS
10/05/2008Originally I was strongly inHelp with Mixfix in Bison?
09/25/2008MixinsMultiple inheritance with a single global ordering of classes
09/23/2008Data.Typeable sounds closeSpecializing values in a functional language
09/22/2008Maybe related...A graph puzzle
09/21/2008EncapsulationIs API evolution of exceptions special?
09/23/2008Type of handleException is wrongIs API evolution of exceptions special?
09/23/2008First-class MacrosFirst-class Macros
09/23/2008Macros and InterpretersFirst-class Macros
09/23/2008For example, I don't thinkFirst-class Macros
09/19/2008Where do they end? A blankFirst-class Macros
09/22/2008Macros vs. Meta-programmingFirst-class Macros
09/22/2008Maybe somewhat equivalentFirst-class Macros
09/22/2008We both would have theFirst-class Macros
08/31/2008Looks hard to me!What makes backreferences impossible in a DFA regular expressions evaluator?
08/28/2008You don't need mutation to create cyclesTowards Hard Real-Time Erlang
08/26/2008Draconian?Languages ready for API Evolution
08/20/2008Where, not whatError Messages in Dynamically Typed Languages
08/14/2008f == \x. f xProgramming Language Beauty: Look Closure
08/09/2008I think you're right thatUsefullness of constants
08/12/2008Similar reactionPatrick Logan on patterns
08/10/2008Even if you aren't worriedLightweight Monadic Regions
08/10/2008LIFOLightweight Monadic Regions
08/05/2008Counterexample?A Question Concerning Effect Types
08/06/2008DistilledA Question Concerning Effect Types
08/08/2008You could probably parse theGarbage Collection Representations
08/09/2008What if you build a maskGarbage Collection Representations
08/09/2008Static callsGarbage Collection Representations
07/25/2008Apologies to Philippa if I'm off base here, but...Type classes and type generator restrictions
07/22/2008Virtualization helpsSystems programming in languages other than C?
06/23/2010It's a reasonable analogy,The A-Z of Programming Languages
06/22/2008You can no more ignore theWriting a new language - ideas?
06/23/2008Yes, I saw it coming as soonWriting a new language - ideas?
06/20/2008What is local type inference?Scaling Type Inference
06/11/2008So a complete theoremOn the importance of Turing completeness
06/11/2008HmmmOn the importance of Turing completeness
06/11/2008So, I still feel like I amOn the importance of Turing completeness
06/11/2008Ya, I actually just readOn the importance of Turing completeness
06/11/2008Even theorem provers...On the importance of Turing completeness
07/02/2008DifferenceMultiple Value Return - Common Lisp vs. Tuples and destructuring
05/02/2008Maybe this will help...Is Halting Problem Valid for P?
04/23/2008Static Typing and ExpressivityStatic Typing and Expressivity
04/23/2008Even that "obvious"Static Typing and Expressivity
04/23/2008Alternate realityStatic Typing and Expressivity
04/25/2008How do you do overloadStatic Typing and Expressivity
04/26/2008For example if f :: Int -&gt;Static Typing and Expressivity
04/17/2008The irreducible physicality of security propertiesThe irreducible physicality of security properties
04/18/2008It seems to me the actualThe irreducible physicality of security properties
04/18/2008Right, I agree with yourThe irreducible physicality of security properties
04/14/2008DisagreeApplications of formal semantics
04/10/2008CPU caches are also covertSafe and Secure Software in Ada
04/11/2008Ok, so it sounds like partlySafe and Secure Software in Ada
04/11/2008As jeff_marshall notesSafe and Secure Software in Ada
04/12/2008These are all the sameSafe and Secure Software in Ada
04/07/2008The difficulty you will runStatic Analysis for Duck Typing
04/27/2008My guess is that the OP thatStatic Analysis for Duck Typing
04/27/2008Consider a pair where theStatic Analysis for Duck Typing
04/27/2008Ya, this example would onlyStatic Analysis for Duck Typing
05/03/2008All class methods are knownStatic Analysis for Duck Typing
05/03/2008Ah ok, that actually makesStatic Analysis for Duck Typing
04/05/2008I think there are advantagesApril 1st special: The War of the Worlds
04/05/2008IIRC, monad is a term likeApril 1st special: The War of the Worlds
04/06/2008Semantics semanticsApril 1st special: The War of the Worlds
04/05/2008Thanks for the detailedApril 1st special: The War of the Worlds
04/22/2008Dependent types are typesDependent Types, Generic Programming and Overloading.
03/15/2008As stated...Higher-Order Programming without Closures?
03/16/2008The & syntax you outlinedHigher-Order Programming without Closures?
03/16/2008Ok, so modules are reallyHigher-Order Programming without Closures?
03/17/2008Hmm, this seems circular.Higher-Order Programming without Closures?
03/17/2008Nevermind, I see. ('b,'c) tHigher-Order Programming without Closures?
03/17/2008Ok good, so I did understandHigher-Order Programming without Closures?
03/18/2008Ok I see - I was actuallyHigher-Order Programming without Closures?
03/18/2008ThanksHigher-Order Programming without Closures?
03/18/2008I think naasking's idea wasHigher-Order Programming without Closures?
03/07/2008Monads can not implement true mutable stateConfused Deputies in Programming Languages
03/07/2008ThanksConfused Deputies in Programming Languages
03/13/2008ConfusedConfused Deputies in Programming Languages
03/13/2008I agree I'd like to see aConfused Deputies in Programming Languages
03/13/2008World is no longer anConfused Deputies in Programming Languages
03/13/2008The code you just posted inConfused Deputies in Programming Languages
03/14/2008WellConfused Deputies in Programming Languages
03/14/2008This is basically what I wasConfused Deputies in Programming Languages
03/14/2008You get to write the interpreterConfused Deputies in Programming Languages
03/14/2008I don't think you'dConfused Deputies in Programming Languages
03/14/2008I think the type of syntaxConfused Deputies in Programming Languages
03/14/2008Actually, I don't thinkConfused Deputies in Programming Languages
03/15/2008Confused Deputies in Programming LanguagesConfused Deputies in Programming Languages
02/27/2008What's the aim here?exceptions again
02/22/2008Why isn't every front page item on the discussions page?Why isn't every front page item on the discussions page?
02/22/2008Hmm, I thought I'd posted toWhy isn't every front page item on the discussions page?
02/22/2008Thanks for the explanationWhy isn't every front page item on the discussions page?
02/23/2008Thanks EhudWhy isn't every front page item on the discussions page?
02/20/2008You can 'do' anythingWhen Is A Functional Program Not A Functional Program?
02/21/2008Sensible?When Is A Functional Program Not A Functional Program?
02/21/2008Good point ;)When Is A Functional Program Not A Functional Program?
02/21/2008ActuallyWhen Is A Functional Program Not A Functional Program?
02/22/2008G is some function invokingWhen Is A Functional Program Not A Functional Program?
02/22/2008h' doesn't return thingsWhen Is A Functional Program Not A Functional Program?
02/22/2008Replying to your editWhen Is A Functional Program Not A Functional Program?
02/23/2008G and h are supposed to beWhen Is A Functional Program Not A Functional Program?
02/22/2008I actually agree with someGilad Bracha: Cutting out Static
02/08/2008Have you looked at Cayenne?Lanugages with built-in rules/tests?
02/05/2008TerminologyLatest usability for polymorphism?
02/13/2008Explicit is better than implicit?Languages and data conversions.
02/14/2008What about overloading / typeclasses?Languages and data conversions.
02/14/2008What about typeclasses?Languages and data conversions.
02/02/2008Pedantic, but...A name for this form of variable capture?
01/30/2008With symbol generationArc is released
02/02/2008I don't see itThe YNot Project
02/02/2008Still don't see itThe YNot Project
02/02/2008I realize nothing'sThe YNot Project
01/29/2008Sounds mostly good to meThe YNot Project
01/23/2008o OHow useful is reflection, anyway?
01/23/2008Is it possible that you'reHow useful is reflection, anyway?
01/22/2008Static?Compile-Time Execution in an Object Oriented Language
01/22/2008Static members?Compile-Time Execution in an Object Oriented Language
01/19/2008BottomImpact of OO language style on code
01/19/2008What Pierce saysImpact of OO language style on code
03/30/2009confusedClosing the Stage: From Staged Code to Typed Closures
12/12/2007Yes?S has a left inverse
12/08/2007Your definitionfunctions, statements, expressions
12/09/2007I see your pointfunctions, statements, expressions
12/22/2007Counterexample?A Growable Language Manifesto
11/10/2007ZF Turing Complete?Universal Type System
11/10/2007IANAL, but...Universal Type System
11/11/2007ZF as a type systemUniversal Type System
11/12/2007Just wait until you cross paths with a big WikipediaUniversal Type System
11/12/2007Interesting - thanks for the reference!Universal Type System
11/12/2007I'm (dis) agreeable with thatUniversal Type System
06/11/2008The term monad is confusingDiagram showing all programming paradigms and their relationships
06/12/2008Thought experimentDiagram showing all programming paradigms and their relationships
06/15/2008That's not the same as L2Diagram showing all programming paradigms and their relationships
06/15/2008This is not a postDiagram showing all programming paradigms and their relationships
08/08/2007With call/cc, you can do:continuations and trampolining
02/17/2008???"Practical" advantages of lazy evaluation
04/01/2008Maybe because it was prettyExtensible Pattern Matching via a Lightweight Language
02/23/2007Types are not sets?Types vs classes: what is the difference?
02/23/2007I assumed the statementTypes vs classes: what is the difference?
03/18/2010Types as setsTypes vs classes: what is the difference?
03/18/2010OopsTypes vs classes: what is the difference?
03/18/2010Re: Re: Fwd: Re: Types as setsTypes vs classes: what is the difference?
02/21/2007For example, if a functionDimensional analysis typing
02/21/2007Thanks, that makes plenty ofDimensional analysis typing
02/10/2007Math checkPatrick Logan on Software Transaction Memory
12/22/2006And of course if you moveA Usability question: Too much typing?
12/23/2006If you insert the inferredA Usability question: Too much typing?
12/12/2006DohThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006I think that since you'reThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006[dup] dip evalThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006Another alternative solutionThe Problem with "dup" and "swap" in Stack-Based Languages
12/11/2006One thing you could try isThe Problem with "dup" and "swap" in Stack-Based Languages
12/07/2006T: (A) -&gt; (B, C)The Cat Language Kind System
12/07/2006I just noticed your reply toThe Cat Language Kind System
12/07/2006The problem here is that theThe Cat Language Kind System
12/07/2006Sorry, the &lt;: is less-thanThe Cat Language Kind System
12/02/2006I think first you should tryHow to write a Programming Language Paper?
12/03/2006Oops - I actually intendedHow to write a Programming Language Paper?
11/25/2006Branching on Type?Type inference and union types
02/07/2009The Procedure MonadProcess calculi for transactions
02/07/2009plain-old-datatype?Process calculi for transactions
02/07/2009Welcome dmbarbourProcess calculi for transactions
12/05/2006Why not optional typing?unchecked exceptions are like runtime type checking?
12/07/2006Thanks! (and to Chris)unchecked exceptions are like runtime type checking?
07/28/2008What I want to know is...Chuck - Concurrent audio programming language
04/16/2010A rather different readingCombinators for contracts
12/07/2008What if Actor isn't a leaf class?The Next Mainstream Programming Languages
12/08/2008WorkaroundsThe Next Mainstream Programming Languages
10/26/2009Since Andreas didn't mention it...The Next Mainstream Programming Languages
10/26/2009I would hope notThe Next Mainstream Programming Languages
10/26/2009I'm thinking of going intoThe Next Mainstream Programming Languages
06/14/2009It's worse than that...The Next Mainstream Programming Languages
06/14/2009I figured...The Next Mainstream Programming Languages
06/01/2009Irony?Code Reading
07/15/2009Infinite vs. unboundedThe Church-Turing Thesis: Breaking the Myth
07/15/2009QuestionsThe Church-Turing Thesis: Breaking the Myth
07/15/2009HmmThe Church-Turing Thesis: Breaking the Myth
07/15/2009Different topologyThe Church-Turing Thesis: Breaking the Myth
07/15/2009My configuration space is aThe Church-Turing Thesis: Breaking the Myth
07/16/2009Tape configurationsThe Church-Turing Thesis: Breaking the Myth
12/19/2006Is copying necessary?Transparent Persistence
05/16/2012Some differencesHigher order versus Object order
05/16/2012We probably don't disagree on muchHigher order versus Object order
05/16/2012I agree with you that weHigher order versus Object order
05/17/2012Closed systemsHigher order versus Object order
05/17/2012Not trueHigher order versus Object order
05/17/2012I didn't word that wellHigher order versus Object order
05/17/2012YesHigher order versus Object order
01/07/2009More technical?Explaining monads
01/07/2009I responded because IExplaining monads
01/07/2009IO and monadsExplaining monads
01/07/2009Monads are a structureExplaining monads
01/08/2009Agree, except...Explaining monads
01/09/2009OopsExplaining monads
01/08/2009Understanding dissectionsExplaining monads
01/07/2009WellExplaining monads

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