Posts By: Matt M
Date | Post | Topic |
07/06/2012 | Widget identity | Immediate mode GUIs |
07/03/2012 | They are (by visual | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
06/26/2012 | Google sucks at email search | ACM A.M. Turing Centenary Celebration |
06/20/2012 | Justification? | Null, bottom, etc.? |
06/20/2012 | This is a terrible conversation :) | Null, bottom, etc.? |
06/21/2012 | I agree with some of the | Null, bottom, etc.? |
06/20/2012 | Isn't this just a trivial argument over what "value" means? | Null, bottom, etc.? |
06/20/2012 | So consider the functions | Null, bottom, etc.? |
06/20/2012 | Did you see my point? | Null, bottom, etc.? |
06/20/2012 | OK | Null, bottom, etc.? |
06/21/2012 | Odd terminology | Null, bottom, etc.? |
06/19/2012 | Sounds like an interesting place to visit | Null, bottom, etc.? |
06/21/2012 | That sounds a lot like Aha!, | Why are exceptions not described as 'purely functional'? |
06/14/2012 | Type class instance selection is static | Type classes in a dynamic language |
06/14/2012 | We had an exchange along those lines | Type classes in a dynamic language |
06/15/2012 | One rationale for doing | Type classes in a dynamic language |
06/15/2012 | I have some other ideas and | Type classes in a dynamic language |
06/15/2012 | More information | Type classes in a dynamic language |
06/09/2012 | You should make the link | Finally a reason to get an iPad? |
06/12/2012 | Red Herring | Why Do Some Programming Languages Live and Others Die? |
06/12/2012 | I don't see why would you | Why Do Some Programming Languages Live and Others Die? |
06/12/2012 | Category error | Why Do Some Programming Languages Live and Others Die? |
06/12/2012 | Programming in the matrix | Why Do Some Programming Languages Live and Others Die? |
06/13/2012 | Apologies in advance for the sarcasm | Why Do Some Programming Languages Live and Others Die? |
06/13/2012 | Maybe not too far apart | Why Do Some Programming Languages Live and Others Die? |
06/13/2012 | Maybe we're not so close | Why Do Some Programming Languages Live and Others Die? |
06/13/2012 | I see | Why Do Some Programming Languages Live and Others Die? |
06/09/2012 | False vs. Failure | Aha! Programming Language |
06/10/2012 | Of course it's not *really* necessary | Aha! Programming Language |
06/10/2012 | An advantage of Boolean over | Aha! Programming Language |
06/12/2012 | Sounds reasonable, but I | Aha! Programming Language |
06/12/2012 | Well | Aha! Programming Language |
06/12/2012 | Right, so that's what we | Aha! Programming Language |
06/12/2012 | I'm asking why not have (x > | Aha! Programming Language |
05/29/2012 | I can imagine the FAQ for this language | Languages with 'unique' programs |
06/02/2012 | Has someone verified that | Languages & Niches |
05/17/2012 | Encoding System Fw in predicative dependent type theory | Encoding System Fw in predicative dependent type theory |
05/17/2012 | Thanks | Encoding System Fw in predicative dependent type theory |
05/17/2012 | auto | Encoding System Fw in predicative dependent type theory |
05/17/2012 | Modularity of the encoding | Encoding System Fw in predicative dependent type theory |
05/23/2012 | Partial model | Encoding System Fw in predicative dependent type theory |
05/24/2012 | Thanks | Encoding System Fw in predicative dependent type theory |
05/24/2012 | Dup | Encoding System Fw in predicative dependent type theory |
05/08/2012 | Can be the same structure | Proofs as programs |
05/08/2012 | RE: Your idea for using actual procedures to prove things | Proofs as programs |
05/08/2012 | Sorry | Proofs as programs |
05/14/2012 | Not programming | Common Lisp: The Untold Story |
05/14/2012 | Photoshop | Common Lisp: The Untold Story |
04/18/2012 | What's a tautology? | Certified Programming with Dependent Types: home stretch! |
04/15/2012 | Look over there... | Symmetry in type systems |
04/20/2012 | Combination of things | Quantitative comparison of unit testing vs. static typing? |
04/20/2012 | Sort of agree, but not really | Quantitative comparison of unit testing vs. static typing? |
04/21/2012 | Dynamic languages maximize | Quantitative comparison of unit testing vs. static typing? |
04/22/2012 | Examples and what 'dynamic' means | Quantitative comparison of unit testing vs. static typing? |
04/22/2012 | No smoking gun | Quantitative comparison of unit testing vs. static typing? |
04/22/2012 | I think Newspeak's approach | Quantitative comparison of unit testing vs. static typing? |
04/23/2012 | Live programming is hard | Quantitative comparison of unit testing vs. static typing? |
04/22/2012 | Good example | Quantitative comparison of unit testing vs. static typing? |
04/23/2012 | Thanks | Quantitative comparison of unit testing vs. static typing? |
04/22/2012 | Types carry propositions | Quantitative comparison of unit testing vs. static typing? |
03/31/2012 | Not really | Quantitative comparison of unit testing vs. static typing? |
03/31/2012 | Still disagree | Quantitative comparison of unit testing vs. static typing? |
03/31/2012 | I think the people designing | Quantitative comparison of unit testing vs. static typing? |
03/31/2012 | Experience is extremely | Quantitative comparison of unit testing vs. static typing? |
03/31/2012 | For the record | Quantitative comparison of unit testing vs. static typing? |
04/01/2012 | Out of curiosity | Quantitative comparison of unit testing vs. static typing? |
04/13/2012 | You could do this | Escaping the Maze of Twisty Classes |
03/25/2012 | Garbage collection | Retrospective Thoughts on BitC |
03/25/2012 | So what happens when you | Retrospective Thoughts on BitC |
03/27/2012 | Good point | Retrospective Thoughts on BitC |
03/25/2012 | Immovable objects and unstoppable forces | Parsing: The Solved Problem That Isn't |
04/06/2012 | I'm Skeptical | Parsing: The Solved Problem That Isn't |
04/06/2012 | Well, there's that state -- | Parsing: The Solved Problem That Isn't |
04/06/2012 | A distinction | Parsing: The Solved Problem That Isn't |
04/06/2012 | OK | Parsing: The Solved Problem That Isn't |
04/06/2012 | A puddle in a small room in an IMAX movie theatre in Reading, MA | Parsing: The Solved Problem That Isn't |
04/08/2012 | Still skeptical | Parsing: The Solved Problem That Isn't |
04/08/2012 | I understand you to be | Parsing: The Solved Problem That Isn't |
04/02/2012 | Parsing is still needed | Parsing: The Solved Problem That Isn't |
04/02/2012 | Care to elaborate? | Parsing: The Solved Problem That Isn't |
04/02/2012 | How are the key sequences | Parsing: The Solved Problem That Isn't |
04/02/2012 | I'm not arguing for traditional editing | Parsing: The Solved Problem That Isn't |
04/02/2012 | Right, that's basically what | Parsing: The Solved Problem That Isn't |
04/02/2012 | Right, I do that too, except | Parsing: The Solved Problem That Isn't |
04/04/2012 | Nonetheless, if I can obtain | Parsing: The Solved Problem That Isn't |
03/23/2012 | I suspect Jules had | Disruptive PLT Revisited |
03/23/2012 | Disruptive generality | Disruptive PLT Revisited |
03/19/2012 | Now you've got me curious... | References about the importance of formalism in programming language design |
03/05/2012 | Data and computation are not distinct | What does focusing tell us about language design? |
03/05/2012 | Total pain | What does focusing tell us about language design? |
03/05/2012 | Maybe I did misread you. I | What does focusing tell us about language design? |
03/05/2012 | What's the appropriate formalism? | What does focusing tell us about language design? |
03/06/2012 | I'm not sure whether this answers your question, but ... | What does focusing tell us about language design? |
03/06/2012 | Example | What does focusing tell us about language design? |
03/06/2012 | I'm saying I want values to | What does focusing tell us about language design? |
03/06/2012 | I should have said "even CPBV" | What does focusing tell us about language design? |
03/06/2012 | Type directed evaluation order | What does focusing tell us about language design? |
03/05/2012 | Compared to what? | Informed dissent: William Cook contra Bob Harper on OOP |
03/22/2012 | Subtyping is intuitive and mathematically simple | Informed dissent: William Cook contra Bob Harper on OOP |
03/22/2012 | Sub-typing vs. type systems that track sub-types | Informed dissent: William Cook contra Bob Harper on OOP |
03/22/2012 | I agree | Informed dissent: William Cook contra Bob Harper on OOP |
03/22/2012 | I disgree that subtyping is complexifying | Informed dissent: William Cook contra Bob Harper on OOP |
03/22/2012 | The One True Way | Informed dissent: William Cook contra Bob Harper on OOP |
02/23/2012 | Let me guess... | A Concept Design for C++ |
02/23/2012 | Concept maps | A Concept Design for C++ |
02/04/2012 | Mostly agree | Programming as collaborative reference |
02/04/2012 | Asynchronous | Programming as collaborative reference |
02/08/2012 | Hiding information | Programming as collaborative reference |
02/04/2012 | I'd say that it's not that | Peak Abstraction |
02/03/2012 | A thoughtful craftsman blames his tools | Peak Abstraction |
02/03/2012 | Support for future abstraction | Peak Abstraction |
02/04/2012 | Natural for the solution, not the problem | Peak Abstraction |
01/30/2012 | log n | Evolution of mainstream programming language paradigms |
02/08/2012 | Mmmm curry | Evolution of mainstream programming language paradigms |
01/31/2012 | I agree | Evolution of mainstream programming language paradigms |
01/31/2012 | Makes sense | Evolution of mainstream programming language paradigms |
01/17/2012 | Comparison to single parameter type classes | crazy PL idea: prescriptive trait inference |
01/17/2012 | I don't follow. Haskell | crazy PL idea: prescriptive trait inference |
01/19/2012 | Type classes | crazy PL idea: prescriptive trait inference |
01/23/2012 | Modularity | crazy PL idea: prescriptive trait inference |
01/24/2012 | Do you have in mind a way to | crazy PL idea: prescriptive trait inference |
01/25/2012 | Still a few questions | crazy PL idea: prescriptive trait inference |
01/26/2012 | Oh yeah | crazy PL idea: prescriptive trait inference |
01/27/2012 | I need to think ... | crazy PL idea: prescriptive trait inference |
01/29/2012 | Well | crazy PL idea: prescriptive trait inference |
01/30/2012 | Right | crazy PL idea: prescriptive trait inference |
01/30/2012 | Fair enough | crazy PL idea: prescriptive trait inference |
03/25/2012 | Maybe other issues? | crazy PL idea: prescriptive trait inference |
03/25/2012 | Right | crazy PL idea: prescriptive trait inference |
01/19/2012 | Confused by this subthread | crazy PL idea: prescriptive trait inference |
01/20/2012 | Ah ha | crazy PL idea: prescriptive trait inference |
01/20/2012 | Ok, I'm with you | crazy PL idea: prescriptive trait inference |
01/20/2012 | I don't find this example | crazy PL idea: prescriptive trait inference |
01/20/2012 | Ok... | crazy PL idea: prescriptive trait inference |
01/20/2012 | I see what you're doing | crazy PL idea: prescriptive trait inference |
01/21/2012 | I was actually talking about | crazy PL idea: prescriptive trait inference |
01/17/2012 | Are you just talking about the namespace issue? | crazy PL idea: prescriptive trait inference |
01/20/2012 | I concur | crazy PL idea: prescriptive trait inference |
01/11/2012 | Can 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/2011 | Suggestion for maybe unifying your definitions | Programmer Archeologists |
12/30/2011 | I don't follow | Programmer Archeologists |
12/31/2011 | Okay | Programmer Archeologists |
12/16/2011 | crack :: Foo t => t a -> a | What is this type of type called? |
12/17/2011 | Needs more info | What is this type of type called? |
12/06/2011 | I agree with Jules. | General purpose as a special case? |
11/06/2011 | Examples? | extending functions vs. extending objects |
11/07/2011 | Ok | extending functions vs. extending objects |
11/01/2011 | Modifying a running programming | Extensible Programming with First-Class Cases |
01/22/2012 | I'm not up to date on the | Foundations of Inference |
11/01/2011 | Curry Howard | The Experimental Effectiveness of Mathematical Proof |
11/01/2011 | Do you mean Church-style vs. Curry-style? | The Experimental Effectiveness of Mathematical Proof |
11/01/2011 | Jules Jacobs: The usefulness | The Experimental Effectiveness of Mathematical Proof |
11/01/2011 | Asking for the same level of assurance is unfair | The Experimental Effectiveness of Mathematical Proof |
10/29/2011 | Type systems will win | "We Really Don't Know How to Compute!" by Gerald Sussman |
10/30/2011 | Mostly agreement | "We Really Don't Know How to Compute!" by Gerald Sussman |
10/30/2011 | What kind of IDE features do | "We Really Don't Know How to Compute!" by Gerald Sussman |
10/30/2011 | In general, with the type | "We Really Don't Know How to Compute!" by Gerald Sussman |
10/30/2011 | Inference bounds | "We Really Don't Know How to Compute!" by Gerald Sussman |
11/09/2011 | You mean that's not .5 | "We Really Don't Know How to Compute!" by Gerald Sussman |
10/22/2011 | Other free theorems | Other free theorems |
10/23/2011 | Parametricity | Other free theorems |
10/23/2011 | Normalization | Other free theorems |
10/23/2011 | Update | Other free theorems |
10/18/2011 | Blame in the wrong place | "Crutches in language design", accidental complexity and feature overlap |
10/17/2011 | Not that nasty | "Crutches in language design", accidental complexity and feature overlap |
10/10/2011 | Powerful type systems should be unsound | Google's Dart announced |
10/10/2011 | We're not too far apart, I think | Google's Dart announced |
10/10/2011 | Wouldn't the Haskell type be more like... | Google's Dart announced |
10/11/2011 | It also depends on other choices Scala has made | Google's Dart announced |
10/11/2011 | What are you getting at? | Google's Dart announced |
10/11/2011 | I'm really not schizophrenic | Google's Dart announced |
10/11/2011 | I didn't say that | Google's Dart announced |
10/11/2011 | Predicate subtypes | Google's Dart announced |
10/06/2011 | Type class of enumerable | Data, Codata, and Their Implications for Equality, and Serialization |
10/06/2011 | Yes | Data, Codata, and Their Implications for Equality, and Serialization |
10/08/2011 | On the origin of species equations | Data, Codata, and Their Implications for Equality, and Serialization |
10/09/2011 | The other example seems different | Data, Codata, and Their Implications for Equality, and Serialization |
10/11/2011 | pigworker tricked us | Data, Codata, and Their Implications for Equality, and Serialization |
10/11/2011 | What's an isotope? | Data, Codata, and Their Implications for Equality, and Serialization |
10/12/2011 | Informal isotopes | Data, Codata, and Their Implications for Equality, and Serialization |
10/26/2011 | I think you're reading that too literally | Open thread: RIP Steve Jobs |
10/03/2011 | Prototypical LtU comment? | SECD Machine - RAP? |
09/24/2011 | Open datatypes in a dynamic language | Overloading in a dynamic functional language |
09/24/2011 | Two ideas | Overloading in a dynamic functional language |
09/20/2011 | True state [conclusions disputed] | What Does Functional Programming Mean? |
09/28/2011 | The multi-light curved surface problem | Sample applications for programming languages |
09/22/2011 | Absolute paths considered harmful | Sample applications for programming languages |
09/26/2011 | My largely uninformed opinion of FRP | Sample applications for programming languages |
09/27/2011 | Oh, I see | Sample applications for programming languages |
09/28/2011 | Final comment | Sample applications for programming languages |
09/26/2011 | Hopefully not too much time off | Google's "The Future of JavaScript" internal memo leaked |
09/12/2011 | Tagged values | The SAFE Platform |
09/13/2011 | But... | The SAFE Platform |
09/09/2011 | I don't think anyone here | What needs to be done? |
09/09/2011 | Before you object... | What needs to be done? |
09/12/2011 | Edges cases don't factor | What needs to be done? |
09/13/2011 | Too much anthropomorphization | What needs to be done? |
09/13/2011 | I suspect otherwise | What needs to be done? |
09/21/2011 | Thank you! | What needs to be done? |
09/14/2011 | Not impossible | What needs to be done? |
09/17/2011 | Cross-module transformations | What needs to be done? |
09/13/2011 | Would it be fair then to say that | The Trouble with Erlang |
09/05/2011 | Wording | Behavioral subtyping and errors |
09/08/2011 | What is abstractive power? | the gnu extension language |
09/10/2011 | Ok I read through this new | the gnu extension language |
09/03/2011 | I didn't start the fire | the gnu extension language |
09/04/2011 | This is what I'm implementing with my three day weekend | the gnu extension language |
09/04/2011 | Thanks for the link. I'll | the gnu extension language |
09/04/2011 | Thanks, I'll check this out | the gnu extension language |
08/30/2011 | The way I heard it... | Forum Topics and Story |
08/12/2011 | Python is weird | The this argument in dynamic programming languages with OO and first-class functions |
08/13/2011 | Other options | The this argument in dynamic programming languages with OO and first-class functions |
08/16/2011 | Still kinda weird | The this argument in dynamic programming languages with OO and first-class functions |
08/17/2011 | Parameterized effects | Programming and Scaling |
08/18/2011 | If you want encapsulation, | Programming and Scaling |
08/18/2011 | I was talking about using | Programming and Scaling |
08/18/2011 | Plenty of security issues | Programming and Scaling |
08/19/2011 | Wholistic remedies | Programming and Scaling |
08/18/2011 | So if you serialize the | Programming and Scaling |
08/19/2011 | Parametric effects again | Programming and Scaling |
08/19/2011 | The role of parametric effects in security | Programming and Scaling |
08/19/2011 | Correction | Programming and Scaling |
08/19/2011 | So you'd need some way to | Programming and Scaling |
08/22/2011 | IIRC, one of Church's early | Programming and Scaling |
08/04/2011 | I don't follow | Lightweight Monadic Programming in ML |
08/04/2011 | Processes and subtyping | Lightweight Monadic Programming in ML |
08/04/2011 | Signals as Capabilities | Lightweight Monadic Programming in ML |
08/05/2011 | One more point | Lightweight Monadic Programming in ML |
08/04/2011 | Forget monads - Processes are nicer | Lightweight Monadic Programming in ML |
08/05/2011 | First class signals | Lightweight Monadic Programming in ML |
08/08/2011 | Quite similar | Lightweight Monadic Programming in ML |
08/08/2011 | Differences | Lightweight Monadic Programming in ML |
08/10/2011 | Thanks | Lightweight Monadic Programming in ML |
07/21/2011 | Well | Is it possible to write code that works the very first time? |
07/21/2011 | I don't think this is the point | Is it possible to write code that works the very first time? |
07/22/2011 | Let's compare apples to apples | Is it possible to write code that works the very first time? |
07/19/2011 | Try/throw highlights problems with delimited continuations | Implementor's guide/tutorial to delimited continuations? |
07/20/2011 | Leaking shift | Implementor's guide/tutorial to delimited continuations? |
07/14/2011 | Could be | The Last Language? |
07/20/2011 | No? | The Last Language? |
07/20/2011 | ""build morphisms externally"" | The Last Language? |
07/11/2011 | "Inherently unsafe stuff" | Knockout JS |
06/27/2011 | Is it this season again? | Wittgenstein versus Turing on Inconsistency Robustness |
06/24/2011 | If it includes names of | modules are anti-modular |
06/16/2011 | Hand waving | Catamorphisms and anamorphisms = general or primitive recursion? |
05/26/2011 | Holy Grails, Batman | Yet another programming language with customizable syntax |
05/26/2011 | Minor bug | Yet another programming language with customizable syntax |
05/26/2011 | I think you can lump and | Yet another programming language with customizable syntax |
05/27/2011 | Perhaps heading off topic, but... | Yet another programming language with customizable syntax |
05/24/2011 | Can you explain how fields work? | Yet another programming language with customizable syntax |
06/23/2011 | Where does it end? | Yet another programming language with customizable syntax |
05/17/2011 | Imperative programming did well for the last fifty years? | Why is tail call optimization an issue in GC'd languages? |
05/17/2011 | I think how well imperative | Why is tail call optimization an issue in GC'd languages? |
05/16/2011 | How are you going to | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
05/17/2011 | Seems overly complicated | Data Representation Synthesis |
04/29/2011 | Comments of this caliber | Types from imported modules "leaking" into a module's public interface |
04/29/2011 | Ban on imports | Types from imported modules "leaking" into a module's public interface |
05/01/2011 | How do you formalize all of this? | Types from imported modules "leaking" into a module's public interface |
04/16/2011 | Requires a windows live account | Coding at the Speed of Touch |
04/16/2011 | It's the mobile site | Coding at the Speed of Touch |
04/13/2011 | Not really | Redhat's New Language |
04/13/2011 | You don't have to name every | Redhat's New Language |
04/14/2011 | Semantics behind slide 29 | Redhat's New Language |
04/14/2011 | Still don't follow | Redhat's New Language |
04/14/2011 | IMO it works like this: | Redhat's New Language |
04/15/2011 | Why? | Redhat's New Language |
04/15/2011 | Clearly I'm speculating | Redhat's New Language |
04/14/2011 | Yes, it's a good thing | Redhat's New Language |
03/24/2011 | My sense/cents | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/24/2011 | It's mainly that I prefer | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/24/2011 | Can you elaborate / specify | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/25/2011 | I don't understand | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/25/2011 | I still don't see the | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/25/2011 | There's a required runtime | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/24/2011 | I agree with you that's | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/30/2011 | Gradients of the form David | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/30/2011 | Let's think about this... | Bob Harper of CMU is blogging about programming languages and introductory CS education |
06/28/2012 | The definition of concurrency and parallelism | Bob Harper of CMU is blogging about programming languages and introductory CS education |
03/11/2011 | Why don't you just start | Reference request: running out of countably many variable names |
03/11/2011 | How are you going to prove | Strict data constructors + non-strict application? |
03/10/2011 | Based on how it sounds like | Namespaces for methods? |
03/10/2011 | OK, your example answers my | Namespaces for methods? |
03/09/2011 | Linear per compilation unit? | Middle History of Logic Programming |
03/10/2011 | What's the other 95%? | InfoQ video + transcript of Rob Pike on Go |
02/18/2011 | diff Haskell Habit | The Habit Programming Language: The Revised Preliminary Report |
02/15/2011 | Arguing for definitions | Monads vs. Actors |
02/16/2011 | Monads are rather | Monads vs. Actors |
02/17/2011 | Capabilities are simply | Monads vs. Actors |
02/17/2011 | I understand your | Monads vs. Actors |
02/17/2011 | The point is that I consider | Monads vs. Actors |
02/17/2011 | I think you misunderstood my | Monads vs. Actors |
02/22/2011 | Have you written any | Monads vs. Actors |
02/24/2011 | Not choice | Monads vs. Actors |
02/24/2011 | Shrug | Monads vs. Actors |
02/28/2011 | You missed a clause in my claim | Monads vs. Actors |
02/28/2011 | Thanks for the link. I | Monads vs. Actors |
02/28/2011 | This connection to choice | Monads vs. Actors |
02/10/2011 | Typing coroutines via pipes | Strongly Typed Coroutines (minor question) |
01/25/2011 | On purpose | Points in the Pattern Matching Design Space |
01/21/2011 | Minor disagreement | guy steele on how (not) to think of parallel programming |
01/21/2011 | Less disagreement, but still some difference | guy steele on how (not) to think of parallel programming |
01/09/2011 | Must be eclipse | Fast Compilers |
01/05/2011 | I'm with Leon | Runtime code generation for partial application? |
01/05/2011 | I don't think it was me, | Runtime code generation for partial application? |
01/05/2011 | I read the paragraph I | Runtime code generation for partial application? |
01/05/2011 | I had previously argued that | Runtime code generation for partial application? |
12/30/2010 | I agree with this answer. | The AST Typing Problem |
12/17/2010 | What if there is a | yacc death revisited |
12/17/2010 | Ah you're right. Wrong | yacc death revisited |
12/17/2010 | Actually, thinking about it | yacc death revisited |
12/17/2010 | Other take aways: Don't | yacc death revisited |
11/23/2010 | Probability measures | What is computation? Concurrency versus Turing's Model |
11/24/2010 | Probability vs. probability zero | What is computation? Concurrency versus Turing's Model |
11/24/2010 | Too weak | What is computation? Concurrency versus Turing's Model |
11/24/2010 | My argument isn't mathematical | What is computation? Concurrency versus Turing's Model |
11/25/2010 | If you allow NTMs which | What is computation? Concurrency versus Turing's Model |
11/21/2010 | Trade-off between strong and flexible | Clojure's Solutions to the Expression Problem |
11/21/2010 | Half true | Clojure's Solutions to the Expression Problem |
11/24/2010 | Practical completeness of type systems | Clojure's Solutions to the Expression Problem |
11/15/2010 | Actually, the survey found | A Preliminary Survey on Functional Programming |
11/10/2010 | Mutability in an immutable world | Lambda the Ultimate seems an Overstatement (not) |
11/27/2010 | Concurrency is not computation | Lambda the Ultimate seems an Overstatement (not) |
11/27/2010 | I consider calculation and | Lambda the Ultimate seems an Overstatement (not) |
11/27/2010 | I'm not arguing that monads | Lambda the Ultimate seems an Overstatement (not) |
11/29/2010 | Models of computation don't implement resources | Lambda the Ultimate seems an Overstatement (not) |
11/29/2010 | I'll direct you to a | Lambda the Ultimate seems an Overstatement (not) |
11/30/2010 | Is Lazy State a counterexample? | Lambda the Ultimate seems an Overstatement (not) |
12/01/2010 | Jones and Gibbons' algorithm | Lambda the Ultimate seems an Overstatement (not) |
12/01/2010 | One clarifying remark I | Lambda the Ultimate seems an Overstatement (not) |
11/04/2010 | Type checking quantification | A Self-Checking Type System |
11/04/2010 | What I don't like about that | A Self-Checking Type System |
11/01/2010 | Modularity requires run-time dispatch | The Myths of Object-Orientation |
11/01/2010 | Standard libraries are still libraries | The Myths of Object-Orientation |
11/01/2010 | Standards and cores | The Myths of Object-Orientation |
11/02/2010 | Rambling replies | The Myths of Object-Orientation |
11/03/2010 | Modularity and Architecture | The Myths of Object-Orientation |
11/03/2010 | I don't really disagree | The Myths of Object-Orientation |
11/03/2010 | Sorry, I was using my | The Myths of Object-Orientation |
11/03/2010 | Configurability isn't the | The Myths of Object-Orientation |
11/04/2010 | I agree with your | The Myths of Object-Orientation |
11/04/2010 | The reason I ask | The Myths of Object-Orientation |
11/02/2010 | The problem with libraries | The Myths of Object-Orientation |
12/20/2010 | Well, we just had another | The Myths of Object-Orientation |
10/11/2010 | Tangent | The barrier to take-up of language innovation |
11/29/2010 | The definition of crazy is | New Dataflow Programming Language |
09/10/2010 | Peeve | Is Transactional Programming Actually Easier? |
09/18/2011 | That ref is only read | How to classify type of ML's exn ? (Naive question) |
08/06/2010 | Distribution doesn't require inconsistent logics | Incompleteness Theorems: The Logical Necessity of Inconsistency |
08/06/2010 | Does not | Incompleteness Theorems: The Logical Necessity of Inconsistency |
08/06/2010 | I don't know much about | Incompleteness Theorems: The Logical Necessity of Inconsistency |
08/06/2010 | I'm assuming the same | Incompleteness Theorems: The Logical Necessity of Inconsistency |
08/06/2010 | I meant distributed | Incompleteness Theorems: The Logical Necessity of Inconsistency |
07/25/2010 | Comments | paper: "Purely Functional Structured Programming" |
07/26/2010 | I understand the reason that | paper: "Purely Functional Structured Programming" |
07/26/2010 | Sorry, I misread your | paper: "Purely Functional Structured Programming" |
07/26/2010 | Actually, comparing your | paper: "Purely Functional Structured Programming" |
07/27/2010 | I didn't really have that | paper: "Purely Functional Structured Programming" |
07/28/2010 | The confusion I have is that | paper: "Purely Functional Structured Programming" |
07/28/2010 | Couldn't you move 'def' to | paper: "Purely Functional Structured Programming" |
07/19/2010 | I dunno | A proof engine for Eiffel |
07/20/2010 | Fallacies | A proof engine for Eiffel |
07/02/2010 | Comments | Logic programming based GUI framework |
07/02/2010 | 1. I see what you meant - | Logic programming based GUI framework |
07/02/2010 | Don't ever look at the code | SF-calculus |
06/30/2010 | There are manifold | Why Undergraduates Should Learn the Principles of Programming Languages |
06/18/2010 | And when you didn't include | happy rebirth day, LtU NG! |
05/28/2010 | What does this simplify? | Functional Pearl: Species and Functors and Types, Oh My! |
06/03/2010 | Parametricity? | Adding Type Constructor Parameterization to Java |
06/04/2010 | Standard typing vs. tagging caveats apply | Adding Type Constructor Parameterization to Java |
06/04/2010 | Parametricity in general | Adding Type Constructor Parameterization to Java |
06/08/2010 | "Parametricity" theorem | Adding Type Constructor Parameterization to Java |
06/08/2010 | What for... | Adding Type Constructor Parameterization to Java |
06/08/2010 | Not vacuous | Adding Type Constructor Parameterization to Java |
06/08/2010 | Ok, maybe vacuous | Adding Type Constructor Parameterization to Java |
05/17/2010 | Why block login of new | The War on Spam |
05/17/2010 | What's the name for this model of computation? | What's the name for this model of computation? |
05/17/2010 | Thank you | What's the name for this model of computation? |
05/17/2010 | Bohm-like trees | What's the name for this model of computation? |
05/17/2010 | I'm familiar with de Bruijn | What's the name for this model of computation? |
05/13/2010 | Comprehensive summary | AgileWiki theory/tool outline |
05/13/2010 | Additional information | AgileWiki theory/tool outline |
04/26/2010 | Pearls are simple, elegant, and beautiful | The Monad Zipper |
05/05/2010 | There would need to some way to pick | The Monad Zipper |
05/01/2010 | Elaboration | The Monad Zipper |
05/02/2010 | Does this not work? | The Monad Zipper |
05/02/2010 | An edit and a comment | The Monad Zipper |
05/02/2010 | Will send soon | The Monad Zipper |
04/22/2010 | Re: the hybrid approach you see in many modern languages | Seeking thoughtful criticisms of functional programming and languages |
04/22/2010 | The closest thing I can | Seeking thoughtful criticisms of functional programming and languages |
04/22/2010 | Two different issues | Seeking thoughtful criticisms of functional programming and languages |
04/23/2010 | Pure functions, not purely lambdas | Seeking thoughtful criticisms of functional programming and languages |
04/24/2010 | RE: Infinite regress. The | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | Escaping the paradigm | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | It seems to me that | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | Batteries not included | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | Much disagreement | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | Seeking examples | Seeking thoughtful criticisms of functional programming and languages |
04/26/2010 | You can think of the monadic | Seeking thoughtful criticisms of functional programming and languages |
04/26/2010 | I'm not saying anything too deep | Seeking thoughtful criticisms of functional programming and languages |
04/26/2010 | You are correct that you can | Seeking thoughtful criticisms of functional programming and languages |
04/23/2010 | Don't blame the math | Seeking thoughtful criticisms of functional programming and languages |
04/23/2010 | Monad transformers and stuff | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | Monad transformers still considered harmful | Seeking thoughtful criticisms of functional programming and languages |
04/25/2010 | Why bother... | Seeking thoughtful criticisms of functional programming and languages |
05/22/2010 | Why does it need to be explicit? | Seeking thoughtful criticisms of functional programming and languages |
06/10/2010 | Can matter | Seeking thoughtful criticisms of functional programming and languages |
06/10/2010 | If you don't care, you don't care | Seeking thoughtful criticisms of functional programming and languages |
05/27/2010 | Even constraint and logic | Seeking thoughtful criticisms of functional programming and languages |
06/23/2010 | Programs don't rot, but they can become obsolete | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | A program is only part of a system | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | Oh yes, I should correct... | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | Still differ | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | Terminology | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | You're implicitly making | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | I disagree | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | I'm not arging for formality | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | Further, I do not see any | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | Great Scott! | seL4: Formal Verification of an Operating-System Kernel |
06/24/2010 | I don't need to spread the | seL4: Formal Verification of an Operating-System Kernel |
06/23/2010 | I'm not arging for formality | seL4: Formal Verification of an Operating-System Kernel |
04/16/2010 | Well clearly | How can C Programs be so Reliable? |
04/16/2010 | There ya go | How can C Programs be so Reliable? |
04/16/2010 | I guess I'll do both | How can C Programs be so Reliable? |
04/18/2010 | Memory failure and multi-processing | How can C Programs be so Reliable? |
04/09/2010 | Unenforceable in general | iPhone PL lockdown |
12/09/2011 | It's easy | iPhone PL lockdown |
04/09/2010 | Confusing | splitting the program into formalizable vs. non-formalizable parts? |
04/15/2010 | Minor point | splitting the program into formalizable vs. non-formalizable parts? |
04/14/2010 | Further reading leads to further incredulity | splitting the program into formalizable vs. non-formalizable parts? |
04/15/2010 | Testing many universes | splitting the program into formalizable vs. non-formalizable parts? |
04/12/2010 | Question | splitting the program into formalizable vs. non-formalizable parts? |
04/14/2010 | P vs. NP | Specifying Solvers? |
04/15/2010 | Depends on the logic | Specifying Solvers? |
04/07/2010 | Mind explaning what's going on with the syntax? | Higher order functions vs. function arity and calling conventions |
04/08/2010 | Missing it | Higher 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/2010 | The flip side | Higher order functions vs. function arity and calling conventions |
04/04/2010 | Is it a diagrammatic language? | A Formal System For Euclid's Elements |
04/05/2010 | Not the same | A Formal System For Euclid's Elements |
04/10/2010 | Continuing the tangent | Go's proposed panic/recover exception-like mechanism |
04/07/2010 | Yes | Go's proposed panic/recover exception-like mechanism |
04/02/2010 | Alternative: Uniqueness typing for comments | Go's proposed panic/recover exception-like mechanism |
02/07/2012 | Non-Inductive datatypes | Small is Beautiful: the design of Lua |
03/30/2010 | Stay tuned for the following post | First-class environments. Discuss. ;) |
03/30/2010 | For sake of the margin | First-class environments. Discuss. ;) |
03/19/2010 | Is every theorem prover based on Curry-Howard? | On the (Alleged) Value of Proof for Assurance |
03/22/2010 | When applies applies | On the (Alleged) Value of Proof for Assurance |
03/12/2010 | Not to knock nock | Urbit: Functional programming from scratch |
03/11/2010 | None of the above | Should let be generalized? |
03/12/2010 | GADTs are bizzare, type classes arent relations, and Tim's right | Should let be generalized? |
03/07/2010 | No problem | LISP basis for computable functions on S-Expressions. |
03/08/2010 | Church encoding | LISP basis for computable functions on S-Expressions. |
03/01/2010 | How can a pure function not have the advantages of purity? | Advantages of Purity |
03/01/2010 | Don't blame purity | Advantages of Purity |
03/19/2010 | Needs subtyping | Advantages of Purity |
03/16/2010 | Apples and oranges | Advantages of Purity |
03/04/2010 | Is binding special? | Extending the Scope of Syntactic Abstraction |
03/04/2010 | True | Extending the Scope of Syntactic Abstraction |
03/04/2010 | I just meant macros are able | Extending the Scope of Syntactic Abstraction |
03/15/2010 | Does "the cited paper" refer | functional equivalance? |
02/26/2010 | Abstract of the paper Frank cites | functional equivalance? |
03/11/2010 | Provable vs. Auditable | functional equivalance? |
03/11/2010 | Ramblings | functional equivalance? |
03/11/2010 | One time, at band camp | functional equivalance? |
02/26/2010 | Folks, this paper is 8 pages long and easy to read. | plt vs. something else for programming in the large? |
02/22/2010 | Link broken | Objects to Unify Type Classes and GADTs |
02/24/2010 | Misisng his point | Testing release of a platform for hosting pure functional web applications |
02/24/2010 | Don't really follow | Testing release of a platform for hosting pure functional web applications |
02/25/2010 | User vs. applications | Testing release of a platform for hosting pure functional web applications |
02/25/2010 | Trusted applications | Testing release of a platform for hosting pure functional web applications |
02/26/2010 | A machine may have more than | Testing release of a platform for hosting pure functional web applications |
02/26/2010 | What is a UI? | Testing release of a platform for hosting pure functional web applications |
02/26/2010 | Still no counter-example | Testing release of a platform for hosting pure functional web applications |
02/26/2010 | Still no sale | Testing 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/2010 | Screenshots | Testing release of a platform for hosting pure functional web applications |
02/26/2010 | Extremely fine grained composition | Testing release of a platform for hosting pure functional web applications |
02/20/2010 | More than web hosting | Reminder: OOPSLA is now SPLASH |
02/05/2010 | Might be nice | Alternatives to parentheses for grouping |
02/05/2010 | Oh | Alternatives to parentheses for grouping |
02/05/2010 | Result | Continuity Analysis of Programs |
02/05/2010 | Not totally computable | Continuity Analysis of Programs |
02/05/2010 | Not that complicated | Continuity Analysis of Programs |
02/05/2010 | RE: computable on all computable real numbers | Continuity Analysis of Programs |
02/05/2010 | Thus, any input for which I | Continuity Analysis of Programs |
02/05/2010 | So what are these computable reals? | Continuity Analysis of Programs |
02/05/2010 | Impredicitivity | Continuity Analysis of Programs |
02/06/2010 | Properties of reals | Continuity Analysis of Programs |
02/09/2010 | My mistake | Continuity Analysis of Programs |
02/06/2010 | No implementation has every desireable property | Continuity Analysis of Programs |
02/06/2010 | The original | Continuity Analysis of Programs |
01/31/2010 | Problem with that argument | Declarative reactive tables |
01/21/2010 | Typo? | The Theory and Calculus of Aliasing |
01/20/2010 | Analysis I is usually rigorous calculus. | Academic advice: Mathematics or Computer Science? |
01/22/2010 | I had a similar reaction, | Academic advice: Mathematics or Computer Science? |
01/26/2010 | Sounds cool | Discoverability, Language Features, and the First Step Toward Composition |
01/18/2010 | A better analogy | Quantum Lambda Calculus |
01/19/2010 | Has something like that ever been observed? | Quantum Lambda Calculus |
01/19/2010 | Still seem to be missing the point | Quantum Lambda Calculus |
01/21/2010 | The objection that naasking linked to | Quantum Lambda Calculus |
01/21/2010 | sure | Quantum Lambda Calculus |
01/23/2010 | Trancendental constant? | Quantum Lambda Calculus |
01/23/2010 | The transcendental constant | Quantum Lambda Calculus |
01/23/2010 | Is that true? | Quantum Lambda Calculus |
01/24/2010 | None | Quantum Lambda Calculus |
01/08/2010 | Thanks | Rapid Prototyping tools & environments from academia |
01/08/2010 | Just that most of the ways | Rapid Prototyping tools & environments from academia |
12/28/2009 | It is what it is | Is (probabilistic) non-determinism pure ? |
12/28/2009 | I should have noticed... | Is (probabilistic) non-determinism pure ? |
01/05/2010 | Not really | Parameterized Modules |
12/19/2009 | Understanding the author's point of view | Claiming Infinity |
12/16/2009 | Pretty silly | Claiming Infinity |
12/16/2009 | Crank | Claiming Infinity |
12/18/2009 | Woolly mammoth | Claiming Infinity |
12/12/2009 | Staged mutable meta-programming? | Metaprogramming and Heron : Five Years Later |
12/13/2009 | Identity function is still slightly different | Metaprogramming and Heron : Five Years Later |
12/10/2009 | Does it do that? | ChucK : A Strongly timed language |
12/04/2009 | Random comments | Pragmatic declarative event abstraction |
12/03/2009 | Similar | Why Object-Oriented Languages Need Tail Calls |
12/04/2009 | Question begging | Why Object-Oriented Languages Need Tail Calls |
12/04/2009 | Not exactly my point | Why Object-Oriented Languages Need Tail Calls |
12/04/2009 | One more poke | Why Object-Oriented Languages Need Tail Calls |
12/04/2009 | How is this different from GC in general? | Why Object-Oriented Languages Need Tail Calls |
12/04/2009 | Reachability | Why Object-Oriented Languages Need Tail Calls |
12/05/2009 | A flaw | Why Object-Oriented Languages Need Tail Calls |
12/05/2009 | Rhetorical answers | Why Object-Oriented Languages Need Tail Calls |
12/03/2009 | One perfect language | Eleven Theses on Clojure |
11/19/2009 | I assume he meant for Dodo... | The perfect advanced programming language for the productive industrial developer |
11/19/2009 | I think this question would | The perfect advanced programming language for the productive industrial developer |
01/04/2010 | Clearly crazy | Explanation of Computer Theory for Lawyers |
01/05/2010 | Physical bits | Explanation of Computer Theory for Lawyers |
11/06/2009 | Libraries | John Hughes on Erlang and Haskell |
11/07/2009 | Mathematicians have good libraries | John Hughes on Erlang and Haskell |
11/13/2009 | Proof systems and type systems are equivalently expressive | John Hughes on Erlang and Haskell |
11/22/2009 | Russell's paradox | John Hughes on Erlang and Haskell |
11/22/2009 | Set theory isn't so bad | John Hughes on Erlang and Haskell |
11/13/2009 | Abstractive strength | John Hughes on Erlang and Haskell |
11/21/2009 | Separately-compiled 'libraries' considered harmful? | John Hughes on Erlang and Haskell |
11/21/2009 | Not an optimization | John Hughes on Erlang and Haskell |
11/22/2009 | Libraries aren't deployed? | John Hughes on Erlang and Haskell |
11/18/2009 | What's a type? | John Hughes on Erlang and Haskell |
11/18/2009 | Typeful programming | John Hughes on Erlang and Haskell |
11/18/2009 | Open programs too | John Hughes on Erlang and Haskell |
11/18/2009 | Differences | John Hughes on Erlang and Haskell |
11/04/2009 | Same facts, different conclusion | On Understanding Data Abstraction, Revisited |
11/04/2009 | As a library writer, I | On Understanding Data Abstraction, Revisited |
11/06/2009 | Composite pattern | On Understanding Data Abstraction, Revisited |
11/06/2009 | The Composite Pattern | On Understanding Data Abstraction, Revisited |
11/06/2009 | I didn't really follow this | On Understanding Data Abstraction, Revisited |
11/06/2009 | What is internal composition? | On Understanding Data Abstraction, Revisited |
11/07/2009 | Internal vs. External | On Understanding Data Abstraction, Revisited |
11/06/2009 | You can construct new ones | On Understanding Data Abstraction, Revisited |
10/28/2009 | Why doesn't unification work? | Desperately seeking monomorphic typing |
11/12/2009 | What is this comment based on? | Compilation to C, a definitive guide? |
11/12/2009 | One (not so big) problem | Compilation to C, a definitive guide? |
11/12/2009 | Looking at the source | Compilation to C, a definitive guide? |
09/23/2009 | I have something very similar to this... | Turning every module into a functor automatically? |
09/26/2009 | Yes | Turning every module into a functor automatically? |
09/23/2009 | Comments | Turning every module into a functor automatically? |
09/26/2009 | Fixed | Turning every module into a functor automatically? |
09/28/2009 | Broken link | Turning every module into a functor automatically? |
09/29/2009 | Thanks | Turning every module into a functor automatically? |
08/26/2009 | Cyclic dependencies | Review NP-complete Library Versioning Problem |
08/26/2009 | Ah thanks | Review NP-complete Library Versioning Problem |
09/02/2009 | I don't understand | Review NP-complete Library Versioning Problem |
09/02/2009 | Different interfaces? | Review NP-complete Library Versioning Problem |
09/02/2009 | Terminology | Review NP-complete Library Versioning Problem |
08/21/2009 | Standard libraries? | Scheme to be split into two languages |
08/19/2009 | Lenses | FP, auto-generated code.. |
08/24/2009 | I stopped reading when it | Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp |
08/19/2009 | If I may ask... | best superset language... |
08/19/2009 | Nit picking | functions vs procedures.. |
08/16/2009 | RE: structure editor vs clever incremental parsing/type checking | Eastwest: a new programming language and structure editor |
08/16/2009 | the following are legal | Eastwest: a new programming language and structure editor |
08/15/2009 | I agree | Perl Cannot Be Parsed: A Formal Proof |
08/15/2009 | Decision problem | Perl Cannot Be Parsed: A Formal Proof |
08/13/2009 | macros over meta-object protocol? | Receiver knowing the sender? |
08/14/2009 | Don't throw the meta-object protocol out with the bathwater | Receiver knowing the sender? |
08/13/2009 | Empty shell | The End of the GPU Roadmap |
08/17/2009 | I imagine he meant something | The End of the GPU Roadmap |
08/16/2009 | Continuous time | The End of the GPU Roadmap |
08/16/2009 | I don't think we're far apart | The End of the GPU Roadmap |
08/16/2009 | 'Now' makes for a good separation of concerns | The End of the GPU Roadmap |
08/16/2009 | Why? | The End of the GPU Roadmap |
08/16/2009 | I'm curious as to what | The End of the GPU Roadmap |
08/11/2009 | Well | Avoid a Void: eradicating null-pointer dereferencing |
08/10/2009 | Practical uses | A Verified Compiler for an Impure Functional Language |
08/20/2009 | Halting problem remains unsolved | Observational Equality, Now! |
12/23/2009 | Buzzword involution interjection | Objects as Modules in Newspeak |
12/23/2009 | Right, but I didn't reply to | Objects as Modules in Newspeak |
08/03/2009 | It's been discussed before, | Creator of Qi Calls It Quits |
08/04/2009 | Thank you, thank you | Creator of Qi Calls It Quits |
07/23/2009 | Weird | Resolved Debates in Syntax Design ? |
07/23/2009 | I wasn't very clear | Resolved Debates in Syntax Design ? |
07/12/2009 | Analog copies | RepRap: the self-replicating machine |
07/04/2009 | On-topic? | Help, this is driving me mad! |
07/04/2009 | Welp | Help, this is driving me mad! |
07/05/2009 | Ahh | Help, this is driving me mad! |
06/27/2009 | Counter-example | Most powerful terminating semantics? |
06/27/2009 | For the record | Most powerful terminating semantics? |
06/27/2009 | A simpler example | Most powerful terminating semantics? |
06/27/2009 | Heading out the window | Most powerful terminating semantics? |
06/27/2009 | Oops | Most powerful terminating semantics? |
06/27/2009 | Fast enough | Most powerful terminating semantics? |
06/29/2009 | "reasonably" | Most powerful terminating semantics? |
07/01/2009 | By this reasoning... | Most powerful terminating semantics? |
07/03/2009 | (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((... | Most powerful terminating semantics? |
07/03/2009 | Mostly agreed | Most powerful terminating semantics? |
07/03/2009 | O(N) | Most powerful terminating semantics? |
07/03/2009 | Proof is valid | Most powerful terminating semantics? |
07/03/2009 | The other analogy | Most powerful terminating semantics? |
07/03/2009 | Shrug | Most powerful terminating semantics? |
07/03/2009 | What strictures? | Most powerful terminating semantics? |
07/03/2009 | CS is is CS does | Most powerful terminating semantics? |
07/01/2009 | In practice, this idea works in theory | Most powerful terminating semantics? |
07/01/2009 | In practice, C programs aren't FSMs | Most powerful terminating semantics? |
07/02/2009 | That helps, but | Most powerful terminating semantics? |
07/01/2009 | But... | Most powerful terminating semantics? |
07/01/2009 | putchar / getchar | Most powerful terminating semantics? |
07/14/2009 | terminating semantics | Most powerful terminating semantics? |
07/14/2009 | In practice, it works in theory, again | Most powerful terminating semantics? |
07/14/2009 | Infinite | Most powerful terminating semantics? |
06/26/2009 | LoD on DSL | Fully Encapsulated Languages? Are there any out there? |
06/26/2009 | Modules implement abstractions | Fully Encapsulated Languages? Are there any out there? |
06/26/2009 | o.O | Fully Encapsulated Languages? Are there any out there? |
06/19/2009 | Actual link | SSA vs. CPS (and ANF?) |
06/15/2009 | Tricky indeed! | GRS vs LTRS |
06/14/2009 | I was assuming automatic | Preventing downcasting and adding a universal variant |
06/07/2009 | Source control | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/07/2009 | I think concrete is good | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/08/2009 | Apologies for the strawman | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/08/2009 | Let me see if I understand... | A Case for Gestures/Visualizations and Against Concrete Syntax |
06/01/2009 | Turing-completeness | Computing Needs Time |
06/01/2009 | Mostly I agree with you | Computing Needs Time |
05/13/2009 | Good as DSLs, not in general | Computer music: a bastion of interactive visual dataflow languages |
05/13/2009 | What is a paradigm? | Computer music: a bastion of interactive visual dataflow languages |
05/06/2009 | That's the issue | Static typing may require runtime type checking? |
04/30/2009 | That's easy | What is the best literate programming tool/environment/research work? |
04/12/2009 | An all-pairs dating service? | ADD 50 TO COBOL GIVING COBOL |
04/12/2009 | This comes to mind | ADD 50 TO COBOL GIVING COBOL |
04/12/2009 | Subject | ADD 50 TO COBOL GIVING COBOL |
04/09/2009 | What is Intuition? | Why are objects so unintuitive? |
04/09/2009 | A likely title | Why are objects so unintuitive? |
04/09/2009 | OOP languages | Why are objects so unintuitive? |
04/10/2009 | OOP | Why are objects so unintuitive? |
04/12/2009 | Usually we have lots of | Why are objects so unintuitive? |
04/12/2009 | Not even Scrabble or Boggle? | Why are objects so unintuitive? |
04/12/2009 | It's still not very clear | Why are objects so unintuitive? |
04/12/2009 | Sounds good | Why are objects so unintuitive? |
04/14/2009 | I've never blamed the language | Why are objects so unintuitive? |
11/18/2010 | Domain models as typing | Why are objects so unintuitive? |
04/07/2009 | To be fair... | zip in the point free style |
04/07/2009 | Fully Rigorous | A Computer-Generated Proof that P=NP |
03/30/2009 | It turns out... | Subsumption at all costs |
10/13/2011 | The issue is name shadowing | Subsumption at all costs |
03/31/2009 | And even if... | Subsumption at all costs |
10/13/2011 | Name clashes are inevitable | Subsumption at all costs |
10/13/2011 | You're right | Subsumption at all costs |
03/25/2009 | Default final | Eliminating fuzziness of access modifiers |
03/26/2009 | Poor translation | Eliminating fuzziness of access modifiers |
03/22/2009 | Thanks | Tiered approaches to higher order programming? |
03/11/2009 | Was this parody? | Languages and security: a short reading list |
03/25/2009 | counter-example | Influence of cognitive models on programming language design |
03/04/2009 | Confusingly, | The Meta-LtU Thread |
03/08/2009 | Pistrami, Lettuce, Tomato | The Meta-LtU Thread |
03/02/2009 | call-by-name and call-by-value | implementing by-value reduction in lambda calculus |
03/02/2009 | leftmost-outermost | implementing by-value reduction in lambda calculus |
02/20/2009 | Confused | Denotational design with type class morphisms |
02/21/2009 | I got a different sense | Denotational design with type class morphisms |
02/22/2009 | Manic Algebra Sets | Denotational design with type class morphisms |
02/22/2009 | Typeclasses as theories | Denotational design with type class morphisms |
02/09/2009 | All we really need | On the (Im)possibility of Obfuscating Programs |
02/10/2009 | An uncertainty principle | On the (Im)possibility of Obfuscating Programs |
02/10/2009 | Encryption | On the (Im)possibility of Obfuscating Programs |
02/10/2009 | Probably... | On the (Im)possibility of Obfuscating Programs |
02/10/2009 | Another venue? | On the (Im)possibility of Obfuscating Programs |
02/11/2009 | Spared! | On the (Im)possibility of Obfuscating Programs |
02/09/2009 | Non-issue? | On the (Im)possibility of Obfuscating Programs |
02/04/2009 | If I understand... | What is the dual of { } ? |
02/08/2009 | With diffidence... | What is the dual of { } ? |
02/08/2009 | CIC... | What is the dual of { } ? |
02/10/2009 | Sets and such | What is the dual of { } ? |
02/11/2009 | Intuitiveness vs. intuitive correctness | What is the dual of { } ? |
02/08/2009 | Not well grounded | What is the dual of { } ? |
02/08/2009 | Oops, thanks | What is the dual of { } ? |
02/04/2009 | Reopening recursion | Open Recursion |
02/04/2009 | Similar idea | Open Recursion |
02/05/2009 | Can and has | Open Recursion |
02/03/2009 | Unit nits | Ruling out nonsensical data type definitions |
02/03/2009 | I consider "datatype" in | Ruling out nonsensical data type definitions |
02/03/2009 | I'm reluctant to perpetuate | Ruling out nonsensical data type definitions |
02/03/2009 | What sort of logic is that? | Ruling out nonsensical data type definitions |
02/06/2009 | Agreed. | PL Grand Challenges |
02/10/2009 | Are you calling me yellah? | PL Grand Challenges |
01/26/2009 | Why? | Introducing Ambi |
01/23/2009 | Regarding IRC... | Detailed discussion forum and/or IRC channel? |
01/23/2009 | You've applied his quote to | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | Sample value of arbitrary type | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/23/2009 | Really? | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
01/21/2009 | For efficiency? | Nested functions - how many nesting levels are really needed? |
01/22/2009 | Values shared across multiple closures | Nested functions - how many nesting levels are really needed? |
01/22/2009 | What am I missing? | Nested functions - how many nesting levels are really needed? |
01/22/2009 | Still missing it | Nested functions - how many nesting levels are really needed? |
01/22/2009 | Nesting Level Irrelevant was my point | Nested functions - how many nesting levels are really needed? |
01/21/2009 | In Haskell... | Nested functions - how many nesting levels are really needed? |
01/18/2009 | Look at | Macro systems |
01/16/2009 | Doesn't this reduce to the | Weird computability problem relating to state + lambda calculus |
01/21/2009 | "Only semantic" | Introducing Dawn - yet another new language |
01/13/2009 | Zero based indexing | What Are The Resolved Debates in General Purpose Language Design? |
01/14/2009 | Libraries don't have to be optional | What Are The Resolved Debates in General Purpose Language Design? |
01/14/2009 | No | What Are The Resolved Debates in General Purpose Language Design? |
01/15/2009 | Libraries can depend on other libraries | What Are The Resolved Debates in General Purpose Language Design? |
01/15/2009 | Hierarchies of Languages | What Are The Resolved Debates in General Purpose Language Design? |
01/15/2009 | [...] a core language should | What Are The Resolved Debates in General Purpose Language Design? |
01/15/2009 | Not abstract syntax only | What Are The Resolved Debates in General Purpose Language Design? |
01/16/2009 | What means 'core language' | What Are The Resolved Debates in General Purpose Language Design? |
01/21/2009 | No language expressive | What Are The Resolved Debates in General Purpose Language Design? |
01/21/2009 | True | What Are The Resolved Debates in General Purpose Language Design? |
01/11/2009 | Do you mean ...? | Using coalgebraic structures for traversing ADTs lazily |
01/11/2009 | Interesting | Using coalgebraic structures for traversing ADTs lazily |
01/09/2009 | Combinator calculus | 2008 In Review - What Happened with Programming Languages? |
12/17/2008 | then your language is aparametric | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/18/2008 | Parametricity 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/2008 | Another distinction | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/26/2008 | A guess | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/26/2008 | Example? | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/26/2008 | This is a good example | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/26/2008 | Agreed | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/27/2008 | Yes, I think most everything | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/20/2008 | From context | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/20/2008 | Ya | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
12/31/2008 | Right | Programmable Concurrency in a Pure and Lazy Language |
12/20/2008 | Garbage collection | Fundamental Flaws in Current Programming Language Type Systems |
01/13/2009 | MPEG-2 | Fundamental Flaws in Current Programming Language Type Systems |
01/14/2009 | How 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/2009 | Fair | Fundamental Flaws in Current Programming Language Type Systems |
01/15/2009 | Basically, I'm suggesting | Fundamental Flaws in Current Programming Language Type Systems |
01/15/2009 | Still missing the example | Fundamental Flaws in Current Programming Language Type Systems |
01/15/2009 | This module is only correct | Fundamental Flaws in Current Programming Language Type Systems |
01/15/2009 | The stronger typing can be | Fundamental Flaws in Current Programming Language Type Systems |
01/16/2009 | Ah, but continuing my | Fundamental Flaws in Current Programming Language Type Systems |
01/16/2009 | Did I miss your proposal in | Fundamental Flaws in Current Programming Language Type Systems |
01/12/2009 | Control over representation | Fundamental Flaws in Current Programming Language Type Systems |
01/12/2009 | Semantics of representation annotations | Fundamental Flaws in Current Programming Language Type Systems |
01/13/2009 | "The language" | Fundamental Flaws in Current Programming Language Type Systems |
01/13/2009 | Not incompatible | Fundamental Flaws in Current Programming Language Type Systems |
12/17/2008 | Analysis? | The Genuine Sieve of Eratosthenes |
12/17/2008 | Too lazy | The Genuine Sieve of Eratosthenes |
12/17/2008 | A simple bound | The Genuine Sieve of Eratosthenes |
12/17/2008 | Poking a hole | The Genuine Sieve of Eratosthenes |
12/18/2008 | Agreed | The Genuine Sieve of Eratosthenes |
12/17/2008 | Avoiding the log-log term, but at what cost? | The Genuine Sieve of Eratosthenes |
12/23/2008 | Recheck? | The Genuine Sieve of Eratosthenes |
12/23/2008 | "There is no way this is linear" | The Genuine Sieve of Eratosthenes |
01/04/2009 | I don't think it's O(n) | The Genuine Sieve of Eratosthenes |
01/05/2009 | How many terms are generated | The Genuine Sieve of Eratosthenes |
01/05/2009 | And by now I am certain it | The Genuine Sieve of Eratosthenes |
01/05/2009 | Is that really O(n)? Yes. | The Genuine Sieve of Eratosthenes |
01/11/2009 | Thanks | The Genuine Sieve of Eratosthenes |
03/11/2009 | Different motivation | The Genuine Sieve of Eratosthenes |
03/11/2009 | On what count? | The Genuine Sieve of Eratosthenes |
11/02/2008 | Be careful | Total functional language self interpreter? |
11/04/2008 | Well | Total functional language self interpreter? |
11/05/2008 | The other branch | Total functional language self interpreter? |
06/27/2009 | Something very similar to | Total functional language self interpreter? |
11/05/2008 | More detail | Total functional language self interpreter? |
11/05/2008 | It is not clear that 'any | Total functional language self interpreter? |
11/05/2008 | Well I agree that a type | Total functional language self interpreter? |
11/05/2008 | Disconnect | Total functional language self interpreter? |
11/06/2008 | ... | Total functional language self interpreter? |
11/06/2008 | Throw and catch | Total functional language self interpreter? |
11/19/2008 | Be careful again | Total functional language self interpreter? |
11/19/2008 | Which example? | Total functional language self interpreter? |
10/30/2008 | Dragging and dropping | Declarative layout and/or UI languages? |
10/05/2008 | Monads don't require static typing | Clojure talk videos |
10/06/2008 | Yes | Clojure talk videos |
10/08/2008 | Huh? | Clojure talk videos |
10/04/2008 | Possibly... | To CPS or not to CPS |
10/05/2008 | Originally I was strongly in | Help with Mixfix in Bison? |
09/25/2008 | Mixins | Multiple inheritance with a single global ordering of classes |
09/23/2008 | Data.Typeable sounds close | Specializing values in a functional language |
09/22/2008 | Maybe related... | A graph puzzle |
09/21/2008 | Encapsulation | Is API evolution of exceptions special? |
09/23/2008 | Type of handleException is wrong | Is API evolution of exceptions special? |
09/23/2008 | First-class Macros | First-class Macros |
09/23/2008 | Macros and Interpreters | First-class Macros |
09/23/2008 | For example, I don't think | First-class Macros |
09/19/2008 | Where do they end? A blank | First-class Macros |
09/22/2008 | Macros vs. Meta-programming | First-class Macros |
09/22/2008 | Maybe somewhat equivalent | First-class Macros |
09/22/2008 | We both would have the | First-class Macros |
08/31/2008 | Looks hard to me! | What makes backreferences impossible in a DFA regular expressions evaluator? |
08/28/2008 | You don't need mutation to create cycles | Towards Hard Real-Time Erlang |
08/26/2008 | Draconian? | Languages ready for API Evolution |
08/20/2008 | Where, not what | Error Messages in Dynamically Typed Languages |
08/14/2008 | f == \x. f x | Programming Language Beauty: Look Closure |
08/09/2008 | I think you're right that | Usefullness of constants |
08/12/2008 | Similar reaction | Patrick Logan on patterns |
08/10/2008 | Even if you aren't worried | Lightweight Monadic Regions |
08/10/2008 | LIFO | Lightweight Monadic Regions |
08/05/2008 | Counterexample? | A Question Concerning Effect Types |
08/06/2008 | Distilled | A Question Concerning Effect Types |
08/08/2008 | You could probably parse the | Garbage Collection Representations |
08/09/2008 | What if you build a mask | Garbage Collection Representations |
08/09/2008 | Static calls | Garbage Collection Representations |
07/25/2008 | Apologies to Philippa if I'm off base here, but... | Type classes and type generator restrictions |
07/22/2008 | Virtualization helps | Systems programming in languages other than C? |
06/23/2010 | It's a reasonable analogy, | The A-Z of Programming Languages |
06/22/2008 | You can no more ignore the | Writing a new language - ideas? |
06/23/2008 | Yes, I saw it coming as soon | Writing a new language - ideas? |
06/20/2008 | What is local type inference? | Scaling Type Inference |
06/11/2008 | So a complete theorem | On the importance of Turing completeness |
06/11/2008 | Hmmm | On the importance of Turing completeness |
06/11/2008 | So, I still feel like I am | On the importance of Turing completeness |
06/11/2008 | Ya, I actually just read | On the importance of Turing completeness |
06/11/2008 | Even theorem provers... | On the importance of Turing completeness |
07/02/2008 | Difference | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
05/02/2008 | Maybe this will help... | Is Halting Problem Valid for P? |
04/23/2008 | Static Typing and Expressivity | Static Typing and Expressivity |
04/23/2008 | Even that "obvious" | Static Typing and Expressivity |
04/23/2008 | Alternate reality | Static Typing and Expressivity |
04/25/2008 | How do you do overload | Static Typing and Expressivity |
04/26/2008 | For example if f :: Int -> | Static Typing and Expressivity |
04/17/2008 | The irreducible physicality of security properties | The irreducible physicality of security properties |
04/18/2008 | It seems to me the actual | The irreducible physicality of security properties |
04/18/2008 | Right, I agree with your | The irreducible physicality of security properties |
04/14/2008 | Disagree | Applications of formal semantics |
04/10/2008 | CPU caches are also covert | Safe and Secure Software in Ada |
04/11/2008 | Ok, so it sounds like partly | Safe and Secure Software in Ada |
04/11/2008 | As jeff_marshall notes | Safe and Secure Software in Ada |
04/12/2008 | These are all the same | Safe and Secure Software in Ada |
04/07/2008 | The difficulty you will run | Static Analysis for Duck Typing |
04/27/2008 | My guess is that the OP that | Static Analysis for Duck Typing |
04/27/2008 | Consider a pair where the | Static Analysis for Duck Typing |
04/27/2008 | Ya, this example would only | Static Analysis for Duck Typing |
05/03/2008 | All class methods are known | Static Analysis for Duck Typing |
05/03/2008 | Ah ok, that actually makes | Static Analysis for Duck Typing |
04/05/2008 | I think there are advantages | April 1st special: The War of the Worlds |
04/05/2008 | IIRC, monad is a term like | April 1st special: The War of the Worlds |
04/06/2008 | Semantics semantics | April 1st special: The War of the Worlds |
04/05/2008 | Thanks for the detailed | April 1st special: The War of the Worlds |
04/22/2008 | Dependent types are types | Dependent Types, Generic Programming and Overloading. |
03/15/2008 | As stated... | Higher-Order Programming without Closures? |
03/16/2008 | The & syntax you outlined | Higher-Order Programming without Closures? |
03/16/2008 | Ok, so modules are really | Higher-Order Programming without Closures? |
03/17/2008 | Hmm, this seems circular. | Higher-Order Programming without Closures? |
03/17/2008 | Nevermind, I see. ('b,'c) t | Higher-Order Programming without Closures? |
03/17/2008 | Ok good, so I did understand | Higher-Order Programming without Closures? |
03/18/2008 | Ok I see - I was actually | Higher-Order Programming without Closures? |
03/18/2008 | Thanks | Higher-Order Programming without Closures? |
03/18/2008 | I think naasking's idea was | Higher-Order Programming without Closures? |
03/07/2008 | Monads can not implement true mutable state | Confused Deputies in Programming Languages |
03/07/2008 | Thanks | Confused Deputies in Programming Languages |
03/13/2008 | Confused | Confused Deputies in Programming Languages |
03/13/2008 | I agree I'd like to see a | Confused Deputies in Programming Languages |
03/13/2008 | World is no longer an | Confused Deputies in Programming Languages |
03/13/2008 | The code you just posted in | Confused Deputies in Programming Languages |
03/14/2008 | Well | Confused Deputies in Programming Languages |
03/14/2008 | This is basically what I was | Confused Deputies in Programming Languages |
03/14/2008 | You get to write the interpreter | Confused Deputies in Programming Languages |
03/14/2008 | I don't think you'd | Confused Deputies in Programming Languages |
03/14/2008 | I think the type of syntax | Confused Deputies in Programming Languages |
03/14/2008 | Actually, I don't think | Confused Deputies in Programming Languages |
03/15/2008 | Confused Deputies in Programming Languages | Confused Deputies in Programming Languages |
02/27/2008 | What's the aim here? | exceptions again |
02/22/2008 | Why isn't every front page item on the discussions page? | Why isn't every front page item on the discussions page? |
02/22/2008 | Hmm, I thought I'd posted to | Why isn't every front page item on the discussions page? |
02/22/2008 | Thanks for the explanation | Why isn't every front page item on the discussions page? |
02/23/2008 | Thanks Ehud | Why isn't every front page item on the discussions page? |
02/20/2008 | You can 'do' anything | When Is A Functional Program Not A Functional Program? |
02/21/2008 | Sensible? | When Is A Functional Program Not A Functional Program? |
02/21/2008 | Good point ;) | When Is A Functional Program Not A Functional Program? |
02/21/2008 | Actually | When Is A Functional Program Not A Functional Program? |
02/22/2008 | G is some function invoking | When Is A Functional Program Not A Functional Program? |
02/22/2008 | h' doesn't return things | When Is A Functional Program Not A Functional Program? |
02/22/2008 | Replying to your edit | When Is A Functional Program Not A Functional Program? |
02/23/2008 | G and h are supposed to be | When Is A Functional Program Not A Functional Program? |
02/22/2008 | I actually agree with some | Gilad Bracha: Cutting out Static |
02/08/2008 | Have you looked at Cayenne? | Lanugages with built-in rules/tests? |
02/05/2008 | Terminology | Latest usability for polymorphism? |
02/13/2008 | Explicit is better than implicit? | Languages and data conversions. |
02/14/2008 | What about overloading / typeclasses? | Languages and data conversions. |
02/14/2008 | What about typeclasses? | Languages and data conversions. |
02/02/2008 | Pedantic, but... | A name for this form of variable capture? |
01/30/2008 | With symbol generation | Arc is released |
02/02/2008 | I don't see it | The YNot Project |
02/02/2008 | Still don't see it | The YNot Project |
02/02/2008 | I realize nothing's | The YNot Project |
01/29/2008 | Sounds mostly good to me | The YNot Project |
01/23/2008 | o O | How useful is reflection, anyway? |
01/23/2008 | Is it possible that you're | How useful is reflection, anyway? |
01/22/2008 | Static? | Compile-Time Execution in an Object Oriented Language |
01/22/2008 | Static members? | Compile-Time Execution in an Object Oriented Language |
01/19/2008 | Bottom | Impact of OO language style on code |
01/19/2008 | What Pierce says | Impact of OO language style on code |
03/30/2009 | confused | Closing the Stage: From Staged Code to Typed Closures |
12/12/2007 | Yes? | S has a left inverse |
12/08/2007 | Your definition | functions, statements, expressions |
12/09/2007 | I see your point | functions, statements, expressions |
12/22/2007 | Counterexample? | A Growable Language Manifesto |
11/10/2007 | ZF Turing Complete? | Universal Type System |
11/10/2007 | IANAL, but... | Universal Type System |
11/11/2007 | ZF as a type system | Universal Type System |
11/12/2007 | Just wait until you cross paths with a big Wikipedia | Universal Type System |
11/12/2007 | Interesting - thanks for the reference! | Universal Type System |
11/12/2007 | I'm (dis) agreeable with that | Universal Type System |
06/11/2008 | The term monad is confusing | Diagram showing all programming paradigms and their relationships |
06/12/2008 | Thought experiment | Diagram showing all programming paradigms and their relationships |
06/15/2008 | That's not the same as L2 | Diagram showing all programming paradigms and their relationships |
06/15/2008 | This is not a post | Diagram showing all programming paradigms and their relationships |
08/08/2007 | With call/cc, you can do: | continuations and trampolining |
02/17/2008 | ??? | "Practical" advantages of lazy evaluation |
04/01/2008 | Maybe because it was pretty | Extensible Pattern Matching via a Lightweight Language |
02/23/2007 | Types are not sets? | Types vs classes: what is the difference? |
02/23/2007 | I assumed the statement | Types vs classes: what is the difference? |
03/18/2010 | Types as sets | Types vs classes: what is the difference? |
03/18/2010 | Oops | Types vs classes: what is the difference? |
03/18/2010 | Re: Re: Fwd: Re: Types as sets | Types vs classes: what is the difference? |
02/21/2007 | For example, if a function | Dimensional analysis typing |
02/21/2007 | Thanks, that makes plenty of | Dimensional analysis typing |
02/10/2007 | Math check | Patrick Logan on Software Transaction Memory |
12/22/2006 | And of course if you move | A Usability question: Too much typing? |
12/23/2006 | If you insert the inferred | A Usability question: Too much typing? |
12/12/2006 | Doh | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | I think that since you're | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | [dup] dip eval | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | Another alternative solution | The Problem with "dup" and "swap" in Stack-Based Languages |
12/11/2006 | One thing you could try is | The Problem with "dup" and "swap" in Stack-Based Languages |
12/07/2006 | T: (A) -> (B, C) | The Cat Language Kind System |
12/07/2006 | I just noticed your reply to | The Cat Language Kind System |
12/07/2006 | The problem here is that the | The Cat Language Kind System |
12/07/2006 | Sorry, the <: is less-than | The Cat Language Kind System |
12/02/2006 | I think first you should try | How to write a Programming Language Paper? |
12/03/2006 | Oops - I actually intended | How to write a Programming Language Paper? |
11/25/2006 | Branching on Type? | Type inference and union types |
02/07/2009 | The Procedure Monad | Process calculi for transactions |
02/07/2009 | plain-old-datatype? | Process calculi for transactions |
02/07/2009 | Welcome dmbarbour | Process calculi for transactions |
12/05/2006 | Why not optional typing? | unchecked exceptions are like runtime type checking? |
12/07/2006 | Thanks! (and to Chris) | unchecked exceptions are like runtime type checking? |
07/28/2008 | What I want to know is... | Chuck - Concurrent audio programming language |
04/16/2010 | A rather different reading | Combinators for contracts |
12/07/2008 | What if Actor isn't a leaf class? | The Next Mainstream Programming Languages |
12/08/2008 | Workarounds | The Next Mainstream Programming Languages |
10/26/2009 | Since Andreas didn't mention it... | The Next Mainstream Programming Languages |
10/26/2009 | I would hope not | The Next Mainstream Programming Languages |
10/26/2009 | I'm thinking of going into | The Next Mainstream Programming Languages |
06/14/2009 | It's worse than that... | The Next Mainstream Programming Languages |
06/14/2009 | I figured... | The Next Mainstream Programming Languages |
06/01/2009 | Irony? | Code Reading |
07/15/2009 | Infinite vs. unbounded | The Church-Turing Thesis: Breaking the Myth |
07/15/2009 | Questions | The Church-Turing Thesis: Breaking the Myth |
07/15/2009 | Hmm | The Church-Turing Thesis: Breaking the Myth |
07/15/2009 | Different topology | The Church-Turing Thesis: Breaking the Myth |
07/15/2009 | My configuration space is a | The Church-Turing Thesis: Breaking the Myth |
07/16/2009 | Tape configurations | The Church-Turing Thesis: Breaking the Myth |
12/19/2006 | Is copying necessary? | Transparent Persistence |
05/16/2012 | Some differences | Higher order versus Object order |
05/16/2012 | We probably don't disagree on much | Higher order versus Object order |
05/16/2012 | I agree with you that we | Higher order versus Object order |
05/17/2012 | Closed systems | Higher order versus Object order |
05/17/2012 | Not true | Higher order versus Object order |
05/17/2012 | I didn't word that well | Higher order versus Object order |
05/17/2012 | Yes | Higher order versus Object order |
01/07/2009 | More technical? | Explaining monads |
01/07/2009 | I responded because I | Explaining monads |
01/07/2009 | IO and monads | Explaining monads |
01/07/2009 | Monads are a structure | Explaining monads |
01/08/2009 | Agree, except... | Explaining monads |
01/09/2009 | Oops | Explaining monads |
01/08/2009 | Understanding dissections | Explaining monads |
01/07/2009 | Well | Explaining monads |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |