Posts By: Philippa Cowderoy
| Date | Post | Topic |
| 10/13/2011 | I'm a little late to the | Dennis Ritchie passed away |
| 07/11/2010 | Is it HM if you don't generalise? | The Rust Language |
| 05/02/2010 | With the benefit of the | Typed Lambda Calculus |
| 05/02/2010 | I'm not aware of any | Typed Lambda Calculus |
| 05/03/2010 | Does your intuition | Typed Lambda Calculus |
| 04/26/2010 | The Monad Zipper | The Monad Zipper |
| 05/02/2010 | Challenge for bonus points | The Monad Zipper |
| 04/22/2010 | There's a perspective it | Seeking thoughtful criticisms of functional programming and languages |
| 04/25/2010 | Monads and Reasoning | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | A matter of taste | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | Have you tried structuring | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Shifting Goalposts | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Extensible data isn't unique | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Funnily enough you're | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | I'm pointing out the | Seeking thoughtful criticisms of functional programming and languages |
| 04/24/2010 | I am pointing out weaknesses | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Monads certainly do not | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Asking why monads don't | Seeking thoughtful criticisms of functional programming and languages |
| 04/24/2010 | Monad transformers still | Seeking thoughtful criticisms of functional programming and languages |
| 04/25/2010 | Monad transformers considered unavoidable? | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Non-OO UI | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | You don't need to do | Seeking thoughtful criticisms of functional programming and languages |
| 04/25/2010 | Hiding stacks | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | Given the amount of | SEC interested in formalising contracts ... in Python |
| 01/25/2010 | I suspect 1 == 2 != 3 == 4 | Operator precedence |
| 12/14/2009 | Most of it's fairly | Naive Question? Definition of "Higher Order" |
| 11/22/2009 | The Problem with Custom Type Systems | John Hughes on Erlang and Haskell |
| 10/07/2009 | I don't mind the | A Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions |
| 09/23/2009 | Does it matter? | Turning every module into a functor automatically? |
| 04/03/2009 | And so the joke's on them - | LtU: Forum not blog |
| 04/03/2009 | Feeling foolish | LtU: Forum not blog |
| 03/25/2009 | Declarative metaprogramming hurts sometimes | D is for Domain and Declarative |
| 03/25/2009 | Incidentally, this is not | Influence of cognitive models on programming language design |
| 03/25/2009 | The notation really does | Influence of cognitive models on programming language design |
| 03/07/2009 | Partial miss? | The Meta-LtU Thread |
| 03/08/2009 | Pretty Lossy Term? | The Meta-LtU Thread |
| 03/08/2009 | Commiserations | The Meta-LtU Thread |
| 03/06/2009 | comp.unqualified.dolescum? | The Meta-LtU Thread |
| 03/07/2009 | Assuming blogosphere = | The Meta-LtU Thread |
| 03/08/2009 | I get the gist, but there is | The Meta-LtU Thread |
| 03/08/2009 | Many of these I'm fine with. | The Meta-LtU Thread |
| 02/14/2009 | Warning flags | Parameterized Notions of Computation |
| 02/01/2009 | I think you're both actually trying to make the same point | PL Grand Challenges |
| 01/14/2009 | Nearly globals | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Goto considered poor man's tail call | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Haskell is another notable | What Are The Resolved Debates in General Purpose Language Design? |
| 01/11/2009 | Lazy languages have an | Monads = lazy, effect types = strict? |
| 01/12/2009 | I've gone with monadic IO in | Monads = lazy, effect types = strict? |
| 12/29/2008 | Implementation approaches | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 12/30/2008 | It'd be easier if you didn't ignore me! | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 12/31/2008 | I personally understand most | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 12/25/2008 | Changing user requirements, | If Programming Languages were <T> |
| 12/25/2008 | ...Girlfriends on your Foot? | If Programming Languages were <T> |
| 12/25/2008 | Instance selection | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/26/2008 | That's not actually allowed | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/26/2008 | Suppose we have a Map | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/26/2008 | Yep, that's one possible | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/26/2008 | The obvious thing in my case | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/31/2008 | Variable lookup in such an | Programmable Concurrency in a Pure and Lazy Language |
| 11/24/2008 | Yes there is - it's (forall | Non-standard type theories for FP |
| 11/25/2008 | Note that our simple | Non-standard type theories for FP |
| 12/16/2008 | rank-2 ala Hugs? | Non-standard type theories for FP |
| 12/31/2008 | That's just an evaluated | Non-standard type theories for FP |
| 11/22/2008 | As far as I can tell, Num | Subtyping + overloading |
| 11/19/2008 | Less to bug you than you might think | Subtyping + overloading |
| 11/24/2008 | Since when does Haskell98 have existentials? | Subtyping + overloading |
| 11/24/2008 | Object vs meta | Subtyping + overloading |
| 11/24/2008 | Don't panic | Subtyping + overloading |
| 11/07/2008 | We can probably summarise | Question concerning parameterization over literals |
| 11/07/2008 | Apparently I just wasn't clear enough :-) | Question concerning parameterization over literals |
| 11/01/2008 | A matter of perspective? | Total functional language self interpreter? |
| 10/31/2008 | Recursive types are needed | Implementations of untyped lazy lambda calculus |
| 11/01/2008 | Separate syntax and semantics | Implementations of untyped lazy lambda calculus |
| 09/29/2008 | Take a pass? | Help with Mixfix in Bison? |
| 09/09/2008 | I think the obvious idea | Review of a potential pramming language: Lima |
| 09/04/2008 | Chrome's a "tech adoption" | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 09/03/2008 | In reply to Ehud, I don't | What makes backreferences impossible in a DFA regular expressions evaluator? |
| 08/13/2008 | Proof by monad? | Programming Language Beauty: Look Closure |
| 08/14/2008 | GHC's debugger is worth | Balancing the tension of dev vs. debug? |
| 08/13/2008 | Why would you write a fold | Patrick Logan on patterns |
| 07/30/2008 | The network computer is a | Two Computers & An Ethernet Cable -- Also A Computer? |
| 03/16/2009 | Not even that far off-topic | Beyond FRP: physics-inspired programming abstractions? |
| 03/16/2009 | Starting points | Beyond FRP: physics-inspired programming abstractions? |
| 07/24/2008 | In theory you just need to | Type classes and type generator restrictions |
| 07/24/2008 | No new constraints | Type classes and type generator restrictions |
| 07/23/2008 | Pure Functions and Metaprogramming | FP in D 2.0 |
| 07/25/2008 | Giving the programmer the | FP in D 2.0 |
| 07/23/2008 | Logging the Haskell Way | FP in D 2.0 |
| 07/23/2008 | Solving the wrong problem | FP in D 2.0 |
| 07/24/2008 | Fundamentally, monads just aren't about linearisation | FP in D 2.0 |
| 07/24/2008 | To individual monads, yes. | FP in D 2.0 |
| 06/20/2008 | Tooling | Scaling Type Inference |
| 06/20/2008 | Views on code? Factoring types? | Scaling Type Inference |
| 06/17/2008 | Not so unique | Programming -- Principles and Practice Using C++ |
| 06/17/2008 | There have been flamewars | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | Simula didn't define OO, it just gave birth to it | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | That's not entirely fair | Functional Programming in the ACM CS Curriculum |
| 06/02/2008 | The good news is this: the | Types Considered Harmful |
| 06/02/2008 | Are there any languages out | Types Considered Harmful |
| 06/03/2008 | It wants generalising a | Types Considered Harmful |
| 06/03/2008 | Channeling PKD | Types Considered Harmful |
| 05/31/2008 | The ICFP Contest got there first... | Computational Thinking |
| 05/13/2008 | Cultural Shift | service course in logic and logic programming: crazy? |
| 05/15/2008 | OO and simulation | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 04/21/2008 | I could be mistaken, but | FPH: First-class Polymorphism for Haskell |
| 04/23/2008 | With great difficulty, as | Static Typing and Expressivity |
| 04/23/2008 | Not all statically-typed languages are created equal | Static Typing and Expressivity |
| 04/13/2008 | You might want to take a | Can local variables assignments be considered pure functional without monads? |
| 04/27/2008 | Matt M stated no such thing. | Static Analysis for Duck Typing |
| 04/27/2008 | I'll be quack | Static Analysis for Duck Typing |
| 04/06/2008 | Drawbacks may be overstated | April 1st special: The War of the Worlds |
| 03/28/2008 | it would be nice if mapM, | The Disciplined Disciple Compiler |
| 03/05/2008 | Tail recursion and CPS buy an awful lot | Uniqueness Typing Simplified |
| 03/07/2008 | Purity = ???? ; Profit! | Confused Deputies in Programming Languages |
| 03/08/2008 | In an ideal world... | Confused Deputies in Programming Languages |
| 03/07/2008 | State is far from | Confused Deputies in Programming Languages |
| 03/13/2008 | Nitpick | Confused Deputies in Programming Languages |
| 03/13/2008 | Airmchair philosophy at high noon! | Confused Deputies in Programming Languages |
| 03/13/2008 | Why take apart IO? | Confused Deputies in Programming Languages |
| 03/15/2008 | So I could also achieve my | Confused Deputies in Programming Languages |
| 03/15/2008 | Stretch and relax | Confused Deputies in Programming Languages |
| 03/15/2008 | All the authority necessary | Confused Deputies in Programming Languages |
| 03/18/2008 | Philippa seemed to imply | Confused Deputies in Programming Languages |
| 03/15/2008 | The short answer is that | Confused Deputies in Programming Languages |
| 03/15/2008 | A quick footnote | Confused Deputies in Programming Languages |
| 02/25/2008 | Sounds a lot like Sheard's | Foundations for Structured Programming with GADTs |
| 02/21/2008 | From the docs for | When Is A Functional Program Not A Functional Program? |
| 02/21/2008 | It is not much like C at all | When Is A Functional Program Not A Functional Program? |
| 02/22/2008 | You have an awfully funny notion of exactness | When Is A Functional Program Not A Functional Program? |
| 02/22/2008 | Fair catch | When Is A Functional Program Not A Functional Program? |
| 02/22/2008 | Dynamic checking typically | Gilad Bracha: Cutting out Static |
| 02/22/2008 | Not quite | Gilad Bracha: Cutting out Static |
| 02/26/2008 | GHC at least offers you that | Gilad Bracha: Cutting out Static |
| 02/17/2008 | I think the suggestion's | succinctness |
| 02/17/2008 | It was never said that it | succinctness |
| 02/17/2008 | There are sometimes | succinctness |
| 02/18/2008 | Pretty much anything with | succinctness |
| 02/16/2008 | This would be equivalent to | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
| 02/11/2008 | It's worth everyone's | Qis of the Future |
| 02/05/2008 | We call it typiiiing! | Latest usability for polymorphism? |
| 02/05/2008 | And 'generics' is so | Latest usability for polymorphism? |
| 02/14/2008 | I tend to find typeclasses | Languages and data conversions. |
| 02/02/2008 | Nothing's stopping you from | The YNot Project |
| 02/02/2008 | A lot can be done with a | The YNot Project |
| 01/26/2008 | I see how the lhs can be | Question from Pierce's Types and Programming Languages |
| 01/23/2008 | Abstraction!=ADT | How useful is reflection, anyway? |
| 01/24/2008 | It's not supposed to satisfy | How useful is reflection, anyway? |
| 01/23/2008 | Haskell98 is in no way | How useful is reflection, anyway? |
| 01/27/2008 | Are we really talking about H-M? | The Design and Implementation of Typed Scheme |
| 01/27/2008 | I don't see how this is | The Design and Implementation of Typed Scheme |
| 01/27/2008 | Okay, re-reading it appears | The Design and Implementation of Typed Scheme |
| 01/19/2008 | You're mixing up your | Impact of OO language style on code |
| 01/21/2008 | But I don't see why web | Open5G web app language/system |
| 01/16/2008 | I think you're being asked | Treetop: Packrat Parser Generator for Ruby |
| 01/16/2008 | EBNF doesn't fix it either | Treetop: Packrat Parser Generator for Ruby |
| 01/22/2008 | My own experience of being | ACM Classic Books Series |
| 01/16/2008 | Topicality | SimCity Source Code Released |
| 01/17/2008 | Class-based OO is a subset of OO | Ruby vs. Smalltalk |
| 01/16/2008 | Sounds like you're looking | Understanding category theory and its practical applications |
| 01/18/2008 | I don't think most Haskell | Prediction for 2008 |
| 01/14/2008 | That said, college/uni | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/14/2008 | I find it rather telling | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/04/2008 | So your problem isn't | Protium .. |
| 12/12/2007 | Mostly that it doesn't scale | CUFP write-up |
| 12/12/2007 | If you build it, they still won't know it's there | CUFP write-up |
| 12/08/2007 | I just added a comment to | functions, statements, expressions |
| 12/08/2007 | On another note... | functions, statements, expressions |
| 12/08/2007 | No argument there | functions, statements, expressions |
| 12/09/2007 | I'm going to regret this, aren't I? | functions, statements, expressions |
| 12/08/2007 | They're second-class within | functions, statements, expressions |
| 12/10/2007 | Not true | functions, statements, expressions |
| 12/10/2007 | Takes more time for who to decipher? | poll: syntax |
| 12/14/2007 | Perhaps we could start with | poll: syntax |
| 12/06/2007 | Study the lambda calculus. | Connecting the first steps |
| 12/03/2007 | Straight away this lets us | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 12/04/2007 | I think it's a bit premature | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 12/04/2007 | Hacking ahoy! | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 11/25/2007 | It should be noted that | A survey and discussion of taming effects |
| 11/21/2007 | (FWIW, I loved Haskell when | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Later feature after feature | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/19/2007 | Lambdas are insufficiently necessary | What are the properties of "Functional Programming Languages"? |
| 11/19/2007 | They're not first class (or | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | Pedantry | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | In particular, viewing | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | ANF et al, anyone? | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | The obvious rule of thumb is | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Agreed. That said, I'd be | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | Fooled by the language? | What are the properties of "Functional Programming Languages"? |
| 11/08/2007 | Not quite | Universal Type System |
| 11/12/2007 | Getting JITery | Dependent Classes |
| 11/13/2007 | The Other DLL Hell | Dependent Classes |
| 11/08/2007 | You can have a little bit of | Dependent Classes |
| 11/08/2007 | Access control is nothing new | Dependent Classes |
| 11/25/2007 | Even without reading the | Dependent Classes |
| 10/27/2007 | No magic mirror | Gödel, Nagel, minds and machines |
| 11/02/2007 | I'll second that this seems | Gödel, Nagel, minds and machines |
| 10/29/2007 | It's not RT because you're | On the Importance of Purity |
| 11/02/2007 | That's why we don't have | On the Importance of Purity |
| 11/30/2007 | *cough* | On the Importance of Purity |
| 11/02/2007 | I'll emphasise point 5 a | On the Importance of Purity |
| 11/03/2007 | If you view objects as | On the Importance of Purity |
| 11/05/2007 | They effectively are. We're | On the Importance of Purity |
| 10/31/2007 | And how much more safety | On the Importance of Purity |
| 11/01/2007 | Changing a value to a | On the Importance of Purity |
| 11/02/2007 | Refuting nihilism | On the Importance of Purity |
| 11/28/2007 | What part of "that is not a | On the Importance of Purity |
| 10/30/2007 | On the Importance of Purity | On the Importance of Purity |
| 10/31/2007 | On the Importance of Purity | On the Importance of Purity |
| 11/01/2007 | You don't have the moon, you | On the Importance of Purity |
| 11/02/2007 | Maps ain't RT 'cos the map ain't the road | On the Importance of Purity |
| 11/28/2007 | Argumentum ad contradictio | On the Importance of Purity |
| 10/27/2007 | How are 1 + y and 2 + y | On the Importance of Purity |
| 10/30/2007 | No, the other problem is | ECMAScript 4 overview paper |
| 10/30/2007 | From a basic user's point of | ECMAScript 4 overview paper |
| 10/29/2007 | You know you're an architecture astronaut when... | ECMAScript 4 overview paper |
| 10/29/2007 | Waaah, pie! | ECMAScript 4 overview paper |
| 10/17/2007 | It should definitely be | grammars as a shared executable specification for language processing tools |
| 10/17/2007 | Describing parsers written | grammars as a shared executable specification for language processing tools |
| 10/17/2007 | There're definite tradeoffs | grammars as a shared executable specification for language processing tools |
| 10/13/2007 | The other functional language | Examples of large-scale functional language projects |
| 10/11/2007 | Languages with higher-order | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | The obvious questions | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | It's probably not totally | It's Time to Stop Calling Circuits "Hardware" |
| 09/30/2007 | That said, an example of | Witnessing Side-Effects |
| 09/30/2007 | I agree re Ehud's comment. | Witnessing Side-Effects |
| 10/02/2007 | There's still a design issue | Witnessing Side-Effects |
| 10/02/2007 | PEGs have a "left-biased | OMeta: an Object-Oriented Language for Pattern Matching |
| 10/03/2007 | There are no ambiguous PEGs | OMeta: an Object-Oriented Language for Pattern Matching |
| 09/24/2007 | I'd say that Combinator | Binary Lambda Calculus and Combinatory Logic |
| 09/24/2007 | So would you go to the other | Binary Lambda Calculus and Combinatory Logic |
| 09/24/2007 | ANF's just the extreme form | Binary Lambda Calculus and Combinatory Logic |
| 09/28/2007 | Sure, I'm discussing in the | Binary Lambda Calculus and Combinatory Logic |
| 09/28/2007 | Contemplating the nature of | Binary Lambda Calculus and Combinatory Logic |
| 09/18/2007 | The obvious scalability | Uniqueness Types Instead STM |
| 09/28/2007 | I think the comment was | Minimal FORTH compiler and tutorial |
| 10/02/2007 | No, in monads that can't be | Question about the Monad associativity law |
| 10/09/2007 | Okay, I'm going to use | Question about the Monad associativity law |
| 10/09/2007 | Yes. Those monads | Question about the Monad associativity law |
| 09/08/2007 | Out of interest, would you | Generating useful errors in a functional stream parser |
| 09/06/2007 | "Computation performed by | Q: Modularizing SQL? |
| 09/07/2007 | Wrong value of "function" :-) | Q: Modularizing SQL? |
| 09/05/2007 | Explicit "forall" is a | Tagless Staged Interpreters for Simpler Typed Languages |
| 08/28/2007 | Note also that one of the | What is a state? |
| 08/28/2007 | Yeah, I find the distinction | What is a state? |
| 09/06/2007 | In practice there's | What is a state? |
| 09/06/2007 | Shifting goalposts | What is a state? |
| 08/25/2007 | If we had IDEs, one of the | An Accidental Simula User, Luca Cardelli |
| 08/25/2007 | Taken from GHCI just | An Accidental Simula User, Luca Cardelli |
| 08/25/2007 | I'd want control over the | An Accidental Simula User, Luca Cardelli |
| 06/09/2008 | Misleading summary | Diagram showing all programming paradigms and their relationships |
| 06/15/2008 | Monads via interpreters | Diagram showing all programming paradigms and their relationships |
| 08/14/2007 | I suspect you've misread the | Skipping C - SPE and synthetic programming in Python |
| 08/14/2007 | As a quick technical note, I | Skipping C - SPE and synthetic programming in Python |
| 08/15/2007 | The bus architecture's | Skipping C - SPE and synthetic programming in Python |
| 08/15/2007 | Most databases are strongly | Metaprogramming with Traits |
| 08/19/2007 | You don't even need JIT - | Metaprogramming with Traits |
| 08/04/2007 | It sounds to me like you'd | Amazon Flexible Payments Service |
| 08/01/2007 | One that can return multiple | Monad Description For Imperative Programmer |
| 08/01/2007 | Apparently a reading error | Monad Description For Imperative Programmer |
| 08/02/2007 | I'd say that the structure's | Monad Description For Imperative Programmer |
| 08/02/2007 | I think most of the other | Monad Description For Imperative Programmer |
| 08/18/2007 | Actually functions and | Monad Description For Imperative Programmer |
| 08/18/2007 | There is (except perhaps in | Monad Description For Imperative Programmer |
| 08/21/2007 | Identity is a rather | Monad Description For Imperative Programmer |
| 08/18/2007 | It's worth bearing in mind | Monad Description For Imperative Programmer |
| 08/19/2007 | The categorical definition | Monad Description For Imperative Programmer |
| 08/21/2007 | The combination of both a | Monad Description For Imperative Programmer |
| 07/31/2007 | The Karmasphere DP language | The Karmasphere DP language |
| 07/29/2007 | I'm not convinced this is | LtU turns 7: The year of spam |
| 07/29/2007 | Perhaps if we just solve the | LtU turns 7: The year of spam |
| 08/05/2007 | Did the early posts about | LtU turns 7: The year of spam |
| 08/01/2007 | Perhaps naasking is your real name? | LtU turns 7: The year of spam |
| 08/28/2007 | There's another middle | Comprehensions with ‘Order by' and ‘Group by' |
| 07/24/2007 | The first minute's just | Wrapping the Cloud with .NET |
| 07/25/2007 | unsafePerformIO was not what | Wrapping the Cloud with .NET |
| 07/21/2007 | Quite possibly - it was an | Language Nirvana - Simon Peyton-Jones |
| 08/01/2007 | Mind if I snag this for my | Language Nirvana - Simon Peyton-Jones |
| 07/13/2007 | AngloHaskell 2007 - date and venue confirmed | AngloHaskell 2007 - date and venue confirmed |
| 07/15/2007 | Not "we're all so geeky | AngloHaskell 2007 - date and venue confirmed |
| 08/14/2007 | I'm pretty wiped after the | AngloHaskell 2007 - date and venue confirmed |
| 08/25/2007 | We've now got slides | AngloHaskell 2007 - date and venue confirmed |
| 08/25/2007 | Interesting, will read more | AngloHaskell 2007 - date and venue confirmed |
| 07/12/2007 | The example you give with | Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) |
| 07/02/2007 | Presumably because there | Branching affordance? |
| 07/03/2007 | Using just the stack to hold | Forth in hardware ("not dead yet") |
| 07/05/2007 | Your language shows bias - a | Forth in hardware ("not dead yet") |
| 07/05/2007 | I suspect part of the answer | Forth in hardware ("not dead yet") |
| 07/10/2007 | Well, I don't think Forth | Thinking Forth & Starting Forth |
| 07/13/2007 | Funny, they're exactly the | Thinking Forth & Starting Forth |
| 06/27/2007 | In Haskell, working with | Simple ADT-based "side-band" state? |
| 06/26/2007 | You might find it worth | Fully Inferable Languages |
| 06/26/2007 | A typing is a | Fully Inferable Languages |
| 06/30/2007 | Your post is considerably | Pirahã living-in-the-present language |
| 07/01/2007 | For what it's worth, while | Pirahã living-in-the-present language |
| 06/28/2007 | For what it's worth, I think | Standing on each others' feet |
| 06/22/2007 | I think the point was | Python 3000 Status Update |
| 06/22/2007 | While I understand the | Python 3000 Status Update |
| 06/22/2007 | At risk of descending into | Python 3000 Status Update |
| 06/13/2007 | Ease of login? Also, then | User names |
| 06/11/2007 | This would be true if | ECMAScript Edition 4 Reference Implementation |
| 06/11/2007 | The IO monad gives you means | ECMAScript Edition 4 Reference Implementation |
| 06/08/2007 | It certainly wouldn't have | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/12/2007 | I believe you can go a long | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/03/2007 | You may find Ook useful? | IM IN UR COMPUTER, HAXIN UR CODE |
| 06/01/2007 | Generating queries and | "Practical" advantages of lazy evaluation |
| 02/14/2008 | Similarly it can be done at | "Practical" advantages of lazy evaluation |
| 02/17/2008 | Note that adding a | "Practical" advantages of lazy evaluation |
| 02/17/2008 | I think it's a bit much | "Practical" advantages of lazy evaluation |
| 02/17/2008 | Your space leak as presented | "Practical" advantages of lazy evaluation |
| 02/17/2008 | Sorry, but you are wrong. | "Practical" advantages of lazy evaluation |
| 02/18/2008 | "Space leak" sounds an awful | "Practical" advantages of lazy evaluation |
| 02/18/2008 | All I need in a non-strict | "Practical" advantages of lazy evaluation |
| 05/21/2007 | AngloHaskell 2007 | AngloHaskell 2007 |
| 05/20/2007 | I'd probably consider an | What is a "domain specific language"? |
| 05/20/2007 | If you're having to supply a | What is a "domain specific language"? |
| 01/03/2008 | The right tools can | Social Processes and Proofs of Theorems and Programs |
| 01/03/2008 | Definitely. The main problem | Social Processes and Proofs of Theorems and Programs |
| 01/06/2008 | It's perhaps worth | Social Processes and Proofs of Theorems and Programs |
| 05/22/2007 | Achilleas and I had much | How to make the static represent the dynamic? |
| 05/22/2007 | Thanks, that's the one I had | How to make the static represent the dynamic? |
| 05/22/2007 | Two parts (GHC) Haskell to | How to make the static represent the dynamic? |
| 05/22/2007 | I don't know that you could | How to make the static represent the dynamic? |
| 05/09/2007 | If you add a llama, would it | LC for kids (alligators, oh my!) |
| 05/09/2007 | There aren't any definitive | LC for kids (alligators, oh my!) |
| 05/13/2007 | I haven't read the code | The Monad.Reader |
| 04/20/2007 | This doesn't half get | Thoughts about the Best Introductory Language |
| 04/19/2007 | Misattributing beliefs is | Thoughts about the Best Introductory Language |
| 04/20/2007 | He did no such thing, he | Thoughts about the Best Introductory Language |
| 04/18/2007 | The languages you cited are | Thoughts about the Best Introductory Language |
| 04/18/2007 | Personally I've restricted | Thoughts about the Best Introductory Language |
| 04/19/2007 | No, it was split by choosing | Thoughts about the Best Introductory Language |
| 04/19/2007 | MuPad's free edition appears | Thoughts about the Best Introductory Language |
| 04/19/2007 | Attack of the Hysterical Raisins | Thoughts about the Best Introductory Language |
| 04/19/2007 | It's one of those things | Thoughts about the Best Introductory Language |
| 04/23/2007 | Floppies aren't really | Thoughts about the Best Introductory Language |
| 04/23/2007 | I suspect what was intended | Thoughts about the Best Introductory Language |
| 04/24/2007 | I don't know about you, but | Thoughts about the Best Introductory Language |
| 04/16/2007 | There's no good reason to | Deliverable code? |
| 03/24/2007 | Removing the part about | Living it up with a Live Programming Language |
| 03/26/2007 | It would be nice if browsers | Living it up with a Live Programming Language |
| 03/19/2007 | Skipping blockquotes in the | Subject headings |
| 03/16/2007 | Why would you want an | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/16/2007 | Try building yourself a tiny | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/13/2007 | I'd propose | Implementation Inheritance |
| 02/28/2007 | Drawing pixels for output is | The Computer Revolution Hasn't Happened Yet |
| 03/01/2007 | Sure, but the program's | The Computer Revolution Hasn't Happened Yet |
| 03/04/2007 | Requiring publishers to know | The Computer Revolution Hasn't Happened Yet |
| 02/23/2007 | It's not, but it has more to | Real Haskell projects query |
| 02/24/2007 | Certainly it wasn't ready | Real Haskell projects query |
| 02/23/2007 | That plus historical force | Regular Expression Matching Can Be Simple And Fast |
| 08/13/2008 | Doesn't work the way you've | Patrick Logan on Software Transaction Memory |
| 06/12/2007 | Types are defined in terms | Steps Toward The Reinvention of Programming |
| 06/13/2007 | It's easily distinguishable, | Steps Toward The Reinvention of Programming |
| 02/03/2007 | I'm not sure imperative vs | [RFC] Cat: A Typed Functional Stack Based Language |
| 01/14/2007 | Your final coalgebras are | Ninety-nine Lisp Problems |
| 01/14/2007 | Normally the generation of | Ninety-nine Lisp Problems |
| 02/06/2007 | I've had plenty of logical | Why people don't use functional programming? |
| 02/07/2007 | To be fair, a lot of the | Why people don't use functional programming? |
| 02/19/2007 | They have, only without | Why people don't use functional programming? |
| 03/03/2007 | The fact that Scheme is a | Why people don't use functional programming? |
| 03/03/2007 | Point, I'd been half meaning | Why people don't use functional programming? |
| 03/04/2007 | Lisp's greater popularity | Why people don't use functional programming? |
| 03/05/2007 | The consequence of adding | Why people don't use functional programming? |
| 03/07/2007 | GADTs effectively do this - | Why people don't use functional programming? |
| 03/02/2007 | Mh, Haskell does not require | Why people don't use functional programming? |
| 01/23/2008 | You can't really get around | Derivatives and dissections of data types |
| 06/01/2008 | At the moment there's a few | Lambda The Ultimate comes to SecondLife |
| 06/02/2008 | Probably the easiest thing | Lambda The Ultimate comes to SecondLife |
| 12/15/2006 | The ST monad and Oleg's | Java Open Review Project |
| 12/01/2006 | Lambda calculus is more | SK Calculus not Consider SeKsy? |
| 11/29/2006 | Not all imperative | The Future of LtU |
| 11/28/2006 | This is not a programming | The Future of LtU |
| 11/30/2006 | This is not a programming | The Future of LtU |
| 11/28/2006 | I'd certainly be interested. | The Future of LtU |
| 11/20/2006 | Just out of interest, how | if Records - Labels = Tuples then Rows - Labels = what? |
| 11/17/2006 | But set != ordered set, and | Abstractly typed languages |
| 11/22/2006 | If you have no typing per se | Haskell -> Javascript converter, kind of |
| 11/15/2006 | It's a hell of a threat if | Second Life Faces Threat to its Virtual Economy |
| 11/12/2006 | And how would it differ from | Functional programming and software engineering |
| 11/12/2006 | Translate the syntax into a | Functional programming and software engineering |
| 11/20/2006 | And approaches such as | Functional programming and software engineering |
| 11/15/2006 | Some may find flexibility | Random "if it bends it is funny, if it breaks it isn't funny" line of thought |
| 11/14/2006 | Concatenation's actually | Dodo |
| 07/16/2007 | In short, yes - it loses far | Dodo |
| 11/20/2006 | Making strong claims when | Future of software design? |
| 10/19/2006 | I'm not sure I buy your | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/19/2006 | It depends on the things | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/19/2006 | In which case you're left | Constraint based hybrid typing and the Curry Howard Isomorphism |
| 10/23/2006 | The verifier is likely a | Good Ideas, Through the Looking Glass |
| 10/16/2006 | It would certainly be | Good Ideas, Through the Looking Glass |
| 10/14/2006 | Passing an extra parameter | Run time type checking |
| 10/14/2006 | Yes, but type classes aren't | Run time type checking |
| 10/21/2006 | Just thought of this and | Run time type checking |
| 10/02/2006 | Or rather, abstract | Tim Bray: Dynamic-Language IDEs |
| 10/02/2006 | It won't help you until | Tim Bray: Dynamic-Language IDEs |
| 09/24/2006 | SSI might be appropriate - | SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? |
| 09/12/2006 | I think most of us associate | Dynamic Languages Symposium Program Online |
| 09/10/2006 | Which languages do you know | Parser that allow syntax extensions |
| 09/11/2006 | They just don't mean being | Parser that allow syntax extensions |
| 09/05/2006 | Yes, type-checking in a | Small Value Set Types |
| 08/30/2006 | It probably has to be in | Gradual Typing for Functional Languages |
| 08/30/2006 | GHC's type system is only | Dynamic Semantics |
| 08/30/2006 | I could be wrong, I was | Dynamic Semantics |
| 09/04/2006 | Oh yes, and I forget whether | Dynamic Semantics |
| 08/28/2006 | However, the asymptotic | Implementing arrays |
| 08/25/2006 | It's an incredibly good idea | Multi-Stage Languages |
| 08/28/2006 | Only that's not much good if | Multi-Stage Languages |
| 08/25/2006 | I'd like to see a unit test | unchecked exceptions are like runtime type checking? |
| 08/25/2006 | You're repeating the same | unchecked exceptions are like runtime type checking? |
| 08/28/2006 | For many functions units | unchecked exceptions are like runtime type checking? |
| 08/28/2006 | I think it's a little unfair | unchecked exceptions are like runtime type checking? |
| 08/26/2006 | If our ultimate language is | unchecked exceptions are like runtime type checking? |
| 08/25/2006 | As an aside, now we have | unchecked exceptions are like runtime type checking? |
| 08/28/2006 | With nominal versus | unchecked exceptions are like runtime type checking? |
| 08/30/2006 | Not if you're interoperating | Closures for Java or money back |
| 08/21/2006 | An IDE for a type-inferenced | Closures for Java or money back |
| 08/31/2006 | You can likely improve the | Closures for Java or money back |
| 08/31/2006 | If I'm going to use type | Closures for Java or money back |
| 08/31/2006 | The type inferenced | Closures for Java or money back |
| 07/24/2006 | Is it legit to have | Lightweight Static Capabilities |
| 07/18/2006 | That's usually accomplished | Advantages of Soft Typing |
| 07/18/2006 | You're still making | Advantages of Soft Typing |
| 07/19/2006 | I think the point is that it | Advantages of Soft Typing |
| 07/19/2006 | Nastier: in case of | Advantages of Soft Typing |
| 07/15/2006 | Once we have a wiki | OOP Parallel class hierarchies |
| 07/16/2006 | I think it's worth noting | OOP Parallel class hierarchies |
| 07/18/2006 | They don't do the exact same | OOP Parallel class hierarchies |
| 07/18/2006 | Pattern-matching on | OOP Parallel class hierarchies |
| 07/18/2006 | Presumably Felicia knows by | OOP Parallel class hierarchies |
| 07/04/2006 | This isn't true, or there | Lexical structure of scripting languages |
| 07/03/2006 | (while I would _love_ to be | A new implementation of recursive-descent parsing? |
| 07/04/2006 | I'd deliberately not named | A new implementation of recursive-descent parsing? |
| 07/04/2006 | I'm not directly referring | A new implementation of recursive-descent parsing? |
| 07/01/2006 | You're not the only one to | Amusing question |
| 06/27/2006 | The word "post" might be | LtU: Policies document |
| 06/22/2006 | You realise Moe'll keep | Rules for Developing Safety-Critical Code |
| 06/22/2006 | One good reason would be | What are the real benefits of FP? |
| 06/24/2006 | You can always rebuild | What are the real benefits of FP? |
| 06/15/2006 | For typechecking: are you | Dataflow programming for PIC microcontrollers |
| 06/16/2006 | These are now issues in your | Dataflow programming for PIC microcontrollers |
| 06/16/2006 | I had that in mind for | Dataflow programming for PIC microcontrollers |
| 06/15/2006 | Bloat in the standard libs | Why only 'minimal' languages |
| 06/15/2006 | It's exponentially more | Why only 'minimal' languages |
| 06/15/2006 | Sufficiently good purist | Why only 'minimal' languages |
| 06/15/2006 | [1,2,3] vs 1:2:3:[] is | Why only 'minimal' languages |
| 06/17/2006 | I've not yet talked about | Why only 'minimal' languages |
| 06/17/2006 | We do all these things in | Why only 'minimal' languages |
| 06/17/2006 | Almost everything Jeff lists | Why only 'minimal' languages |
| 06/17/2006 | But those features are only | Why only 'minimal' languages |
| 06/17/2006 | IME, it does pretty well at | Why only 'minimal' languages |
| 06/17/2006 | One advantage of macros that | Why only 'minimal' languages |
| 06/14/2006 | Haskell with the Dynamic | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/14/2006 | I take it generating Neko | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/14/2006 | Fair enough. Don't suppose | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/15/2006 | Will post source somewhere | HLVM - High Level Virtual Machine toolkit for dynamic languages |
| 06/13/2006 | I suspect the "better | Church-Turning is False? |
| 06/11/2006 | On a conceptual level, | Human Factors Research On Programming Language Syntax |
| 06/11/2006 | This isn't quite true if you | A Brief History of Scala |
| 06/08/2006 | Your phrasing in your first | LtU: blog not forum! |
| 06/08/2006 | I did try to address part of | LtU: blog not forum! |
| 06/07/2006 | Why are ALL such criticisms so ill-founded? | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | You appear to be complaining | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | Perhaps because you wouldn't | Why Are ALL Programming Languages So Low Level? |
| 06/08/2006 | In fact, it sounds a lot | Why Are ALL Programming Languages So Low Level? |
| 06/02/2006 | There's been some talk of | Relevance of Curry-Howard |
| 06/06/2006 | There's an argument for | Relevance of Curry-Howard |
| 06/07/2006 | I'm not trying to. I do | Relevance of Curry-Howard |
| 06/07/2006 | I'm not sure I see a | Relevance of Curry-Howard |
| 06/08/2006 | I'm not sure I see (for | Relevance of Curry-Howard |
| 06/08/2006 | My gut instinct is yes, so | Relevance of Curry-Howard |
| 06/08/2006 | And now I'm wondering if | Relevance of Curry-Howard |
| 06/09/2006 | Congratulations, you just | Relevance of Curry-Howard |
| 06/09/2006 | Thanks, I should've seen | Relevance of Curry-Howard |
| 06/08/2006 | Not in the CIC, but in the | Relevance of Curry-Howard |
| 06/02/2006 | You can't return an STRef | Type checking and logical errors |
| 06/02/2006 | While there's no value of | Type checking and logical errors |
| 06/02/2006 | It's not possible to | Type checking and logical errors |
| 06/01/2006 | I actually think of Haskell | Javascript department |
| 05/31/2006 | Application-Embedded | Narrative Javascript |
| 05/29/2006 | Not necessarily - it could | First Class Values, Types as values within a Programming Language |
| 05/30/2006 | I also miss it sometimes. A | First Class Values, Types as values within a Programming Language |
| 05/31/2006 | I was rather dismayed | First Class Values, Types as values within a Programming Language |
| 05/31/2006 | They are not the same thing, | First Class Values, Types as values within a Programming Language |
| 06/01/2006 | No. I might have more than | First Class Values, Types as values within a Programming Language |
| 07/19/2006 | Depends how wide your value | First Class Values, Types as values within a Programming Language |
| 05/29/2006 | I'd be interested to know | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | I can find plenty of | Buried Treasure - No Fluff Just Stuff |
| 06/01/2006 | A quick nitpick: inferred vs | Buried Treasure - No Fluff Just Stuff |
| 06/03/2006 | And in having been done | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | A fan of | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Which puts you back to | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | I had a "fun" case with page | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | It's not an entirely | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | As soon as the contents of | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | And it shows intent | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | You might like to post | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | For certain values of formal | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | It is, though. All too often | Buried Treasure - No Fluff Just Stuff |
| 06/06/2006 | Have you dealt with variance | Buried Treasure - No Fluff Just Stuff |
| 06/07/2006 | Can you correctly type "list | Buried Treasure - No Fluff Just Stuff |
| 06/07/2006 | If the array in question's | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | The "complicated" way could | Buried Treasure - No Fluff Just Stuff |
| 06/06/2006 | You might not have the | Buried Treasure - No Fluff Just Stuff |
| 05/29/2006 | You're being picked up on a | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Your interpreter's likely to | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | The host language might | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | The host language may not be | Buried Treasure - No Fluff Just Stuff |
| 05/30/2006 | Types tend to be associated | Buried Treasure - No Fluff Just Stuff |
| 05/24/2006 | The UI has plenty to do with | Gilad Bracha: Will Continuations continue? |
| 05/20/2006 | I find a good binding | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/21/2006 | I guess my point is that let | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/21/2006 | Does local-in-end differ | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/21/2006 | So "where for binding | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/21/2006 | It seems to me that rather | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
| 05/18/2006 | I think the scary thing | Paul Vick: BASIC principles |
| 05/18/2006 | Unless "most" QB code uses | Paul Vick: BASIC principles |
| 05/18/2006 | If I've understood | Paul Vick: BASIC principles |
| 05/20/2006 | Your last statement doesn't | ruby vs python |
| 05/20/2006 | I figure we're all Joe Moron | ruby vs python |
| 05/22/2006 | I fail to see how you're | ruby vs python |
| 05/24/2006 | And not everyone agrees with | ruby vs python |
| 05/22/2006 | Unfortunately, what's needed | ruby vs python |
| 05/22/2006 | Any sufficiently aggressive | ruby vs python |
| 05/18/2006 | How do you find Haskell? It | ruby vs python |
| 05/18/2006 | Am I weird for liking the | ruby vs python |
| 05/18/2006 | Or to put it another way, ST | ruby vs python |
| 05/24/2006 | You get used to it with some | ruby vs python |
| 09/16/2009 | I talked about it at | ruby vs python |
| 05/16/2006 | Other optimisations may well | The Cat Programming Language |
| 05/14/2006 | In fairness this particular | Non-null references? |
| 05/09/2006 | Java was initially being | The Nature of Lisp (a tutorial) |
| 05/10/2006 | Scheme vs C is hardly fair | The Nature of Lisp (a tutorial) |
| 06/09/2006 | One thing I do believe is | Multidimensional Virtual Classes |
| 06/10/2006 | I'd been about to link to | Multidimensional Virtual Classes |
| 05/05/2006 | That fundamentally messes up | Open data types and open functions |
| 05/05/2006 | Termination isn't guaranteed | Open data types and open functions |
| 05/06/2006 | There's one significant | Open data types and open functions |
| 05/06/2006 | No, implementing Collection | Open data types and open functions |
| 05/06/2006 | This suggests to me the need | Open data types and open functions |
| 05/03/2006 | There's a Flash plugin for | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/04/2006 | "How about just putting the | What do you believe about Programming Languages (that you can't prove (yet))? |
| 03/06/2008 | Parsing debugging info | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/30/2006 | They don't necessarily give | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 05/02/2006 | Starting with purity and | A Language-Based Approach to Unifying Events and Threads |
| 05/16/2006 | Consider a language with a | How do Java generics correspond to System F-(omega)? |
| 05/16/2006 | But it doesn't quite work if | How do Java generics correspond to System F-(omega)? |
| 05/17/2006 | Sort of. The easiest thing | How do Java generics correspond to System F-(omega)? |
| 04/20/2006 | Then you're a bigger part of | Lang .NET 2006 |
| 04/04/2006 | For certain values of | any functional language without GC? |
| 03/29/2006 | I'm not sure it's difficult | Type Inference in Object Oriented Languages |
| 03/27/2006 | How tight is your spec and | Extremely static language? |
| 03/27/2006 | I've found myself faking | Extremely static language? |
| 03/27/2006 | In the extreme, static | Extremely static language? |
| 03/27/2006 | To go a step further, | Extremely static language? |
| 03/15/2006 | For most users voice has | Programming: 50, 100 years from now |
| 03/17/2006 | The ST monad will likely | ACM Queue: On Usability of Programming Languages |
| 03/17/2006 | You have a tendency to ask | ACM Queue: On Usability of Programming Languages |
| 03/17/2006 | There are many, many ways to | ACM Queue: On Usability of Programming Languages |
| 03/14/2006 | When I'm reading blurb, | ACM Queue: A Conversation with Steve Ross-Talbot |
| 03/04/2006 | Reading off the categorical | When is one thing equal to some other thing? |
| 02/27/2006 | Yes, as anyone who codes in | Leak Free Javascript Closures |
| 03/14/2006 | It takes a matter of minutes | Rich resource site for the programming language "K" |
| 02/24/2006 | For certain exceedingly | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/24/2006 | Yeah. No mandatory | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/25/2006 | Within Haskell98, no. As | Signature Based Polymorphism, Structural Subtyping and Duck Typing |
| 02/22/2006 | First-classness and being a | Stroustrup: A Brief Look at C++0x |
| 02/27/2006 | The statements about first | Stroustrup: A Brief Look at C++0x |
| 02/28/2006 | Nobody's said they are, only | Stroustrup: A Brief Look at C++0x |
| 02/24/2006 | We're talking about 20-odd | Specifying C++ Concepts |
| 02/27/2006 | So wrap the primitives once | Specifying C++ Concepts |
| 02/11/2006 | And everyone with any sense | Guido: Language Design Is Not Just Solving Puzzles |
| 02/09/2006 | I don't know if this counts | How are GADTs useful in practical programming? |
| 02/07/2006 | It is when there's more | Programming Languages: Application and Interpretation |
| 07/26/2006 | I can easily see any game | The Next Mainstream Programming Languages |
| 08/22/2007 | The average project | The Next Mainstream Programming Languages |
| 01/24/2006 | As Joel, I and a number of | Haskell vs. Erlang, Reloaded |
| 01/24/2006 | What's wrong is that it | Haskell vs. Erlang, Reloaded |
| 01/20/2006 | Haskell monads are nowhere ne | Lisp is sin |
| 01/19/2006 | There's another usage of "mon | Lisp is sin |
| 01/19/2006 | Algebraic datatypes are typef | Spring School on Datatype-Generic Programming 2006 |
| 01/19/2006 | I meant that the fundamental | Spring School on Datatype-Generic Programming 2006 |
| 01/17/2006 | By which you mean "modern PC | Project Oberon |
| 01/18/2006 | IDEs cannot use traditional t | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/17/2006 | This isn't about separation o | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/12/2006 | Singleton = module? | Singleton classes really that bad? |
| 01/13/2006 | You're assuming the singleton | Singleton classes really that bad? |
| 01/13/2006 | That's because most people ca | Singleton classes really that bad? |
| 01/15/2006 | Alternative 1 might have one | Singleton classes really that bad? |
| 10/12/2006 | The foundations are totally | Tradeoffs between Unique Types and Monads |
| 10/13/2006 | A pure implementation of the | Tradeoffs between Unique Types and Monads |
| 10/13/2006 | Sure. It's also possible to | Tradeoffs between Unique Types and Monads |
| 10/13/2006 | I can't see how you'd get | Tradeoffs between Unique Types and Monads |
| 12/14/2005 | I think that a widely popular | Back to the future... |
| 11/29/2005 | Maybe's left concrete in Hask | Collection of links to monad implementations in various languages. |
| 11/29/2005 | Yep, any monad implemented in | Collection of links to monad implementations in various languages. |
| 11/21/2005 | That's far from the only reas | Monads in Ruby |
| 11/10/2005 | By not being worth the pain c | Battling Bugs: A Digital Quagmire |
| 11/10/2005 | You mean "it's ok, it's just | Battling Bugs: A Digital Quagmire |
| 11/10/2005 | There are. The problem is whe | Battling Bugs: A Digital Quagmire |
| 11/11/2005 | A mechanism already exists | Battling Bugs: A Digital Quagmire |
| 11/15/2005 | Not as-is, you've not got a f | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | And one chapter on mutable st | Type Nomenclature |
| 10/30/2005 | I think you're trying to rein | The Type-System-Feature-Creep Death Spiral |
| 11/01/2005 | And furthermore, many functio | The Type-System-Feature-Creep Death Spiral |
| 11/02/2005 | Stageable dynamically checked | The Type-System-Feature-Creep Death Spiral |
| 11/02/2005 | Compile-time is but a stage. | The Type-System-Feature-Creep Death Spiral |
| 10/30/2005 | At least part of the point fo | Does Visual Studio Rot the Mind? |
| 10/31/2005 | Identifiers in Haskell always | Does Visual Studio Rot the Mind? |
| 11/03/2005 | Depends on your value of 'lan | OOPSLA 2005 Reports |
| 11/05/2005 | And low-overhead, secure conc | An Overview of the Singularity Project |
| 12/07/2006 | More conventionally (at | Linear types for aliased resources |
| 12/07/2006 | And what we actually get is | Linear types for aliased resources |
| 11/04/2005 | I'd like to add here that the | Bruce Tate: Technologies that may challenge Java |
| 11/03/2005 | Funnily enough, statically ty | Bruce Tate: Technologies that may challenge Java |
| 11/03/2005 | readFile certainly isn't the | Bruce Tate: Technologies that may challenge Java |
| 11/03/2005 | Nearly. You've missed out the | Bruce Tate: Technologies that may challenge Java |
| 10/22/2005 | Similarly it's beautiful as a | Bruce Tate: Technologies that may challenge Java |
| 10/21/2005 | You might like to take a look | Best default sequence? |
| 08/16/2006 | My intuition tells me that a | Object Oriented Programming + Referential Transparency |
| 08/16/2006 | Sure, production behaviour | Object Oriented Programming + Referential Transparency |
| 09/05/2006 | Yampa's a somewhat odd | Object Oriented Programming + Referential Transparency |
| 10/18/2005 | But I'm fairly confident that | Territorial Exception Handling |
| 10/18/2005 | Pattern matching is nice, but | Territorial Exception Handling |
| 10/18/2005 | It exists partly because you | LINQ BOF at OOPSLA |
| 10/14/2005 | Lazy passes | Implementing Higher Order Messages |
| 10/14/2005 | The C variable corresponds to | Expressions vs Statements |
| 10/17/2005 | Storage isn't entirely an imp | Expressions vs Statements |
| 10/18/2005 | That sort of thing actually m | Expressions vs Statements |
| 10/18/2005 | Agreed. While I could live wi | Expressions vs Statements |
| 10/18/2005 | The FP situation is equivalen | Expressions vs Statements |
| 10/10/2005 | Or perhaps it's fatally flawe | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Take a UTM, add a couple of s | The Church-Turing Thesis: Breaking the Myth |
| 10/11/2005 | It'll work, it'll still be ru | The Church-Turing Thesis: Breaking the Myth |
| 10/05/2005 | You can use static typing to | Static type inference & late binding? |
| 10/05/2005 | Looks like an unfold to me, t | "The Anatomy of a Loop" |
| 09/28/2005 | Uses for Debuggers | Looking for FP Debuggers |
| 09/28/2005 | Purity helps a lot, you can r | Looking for FP Debuggers |
| 09/28/2005 | There can be an overlap betwe | LtU: Style and Focus |
| 09/29/2005 | Killfiling is age-old traditi | LtU: Style and Focus |
| 09/29/2005 | A traditional forum troll is | LtU: Style and Focus |
| 09/28/2005 | I don't think Paul was talkin | Continuations library for Java |
| 09/23/2005 | From where I'm sitting, intui | What is Intuitive? |
| 09/23/2005 | When I use a monad to write i | Ruby: Language of the Programming Übermensch? |
| 09/24/2005 | If you're writing in haskell, | Ruby: Language of the Programming Übermensch? |
| 01/12/2006 | I'm afraid I at best scan-rea | The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene |
| 09/21/2005 | You'll have looked at it alre | Good languages with simple grammar |
| 09/21/2005 | SSA is still insufficiently p | Most Productive FP Lang? |
| 09/22/2005 | Sure. Unnecessary state merel | Most Productive FP Lang? |
| 09/23/2005 | No, others would not. We're t | Most Productive FP Lang? |
| 09/21/2005 | Talking of things getting imp | Most Productive FP Lang? |
| 09/21/2005 | If you dig into the compiler | Most Productive FP Lang? |
| 09/22/2005 | You commented on possibilitie | Most Productive FP Lang? |
| 09/22/2005 | He's talking about having the | Most Productive FP Lang? |
| 09/23/2005 | Boquist's PhD thesis uses a m | Most Productive FP Lang? |
| 09/23/2005 | John Meacham's been doing fur | Most Productive FP Lang? |
| 09/23/2005 | I'm pretty sure it'll outdo G | Most Productive FP Lang? |
| 09/23/2005 | Glad to hear it, I figured th | Most Productive FP Lang? |
| 09/23/2005 | Most of this stuff guarantees | Most Productive FP Lang? |
| 09/09/2005 | Personally I program in Haske | Haskell and creative freedom |
| 09/11/2005 | You say: "In the few cases wh | Haskell and creative freedom |
| 09/11/2005 | You can't use the "this code | Haskell and creative freedom |
| 09/13/2005 | One of the ways in which low- | Haskell and creative freedom |
| 09/09/2005 | Monads encode the implicit | Haskell and creative freedom |
| 09/12/2005 | It's not the problem, but for | Haskell and creative freedom |
| 09/12/2005 | C users do have switch statem | Haskell and creative freedom |
| 09/12/2005 | Pretty much nothing. I don't | Haskell and creative freedom |
| 09/11/2005 | I suspect the answer is that | System programming using FP |
| 09/02/2005 | Haskellised layers? | ContextL |
| 08/21/2005 | Something can be versatile bu | Formal semantics for working programmers |
| 08/19/2005 | The *s is searchable, boldnes | Forum usability |
| 08/13/2005 | FSMs are graphs, which have m | Concatenative Language Kont |
| 08/11/2005 | hs-plugins certainly makes an | Concatenative Language Kont |
| 08/09/2005 | Suppose one can have state bu | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/10/2005 | Personally I'm quite aware th | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/09/2005 | Perhaps being able to express | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/09/2005 | Which requires a whole class | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/10/2005 | Sigma' is any supertype of si | A question about subtypes inference |
| 08/10/2005 | The only actual constraint at | A question about subtypes inference |
| 08/03/2005 | I really wouldn't call basic | Static Typing Where Possible, Dynamic Typing When Needed |
| 06/03/2005 | The IO monad itself pretty mu | Variables as Channels |
| 05/27/2005 | What's it like if you run sha | Competitive Collaborative Specification of GUI Applications through User Test Cases and Merit-Based Conflict Resolution |
| 05/24/2005 | Haskell programs aimed at rep | Haskell for C Programmers |
| 05/24/2005 | Personally I've actively enjo | Haskell for C Programmers |
| 05/24/2005 | The sorting almost certainly | Haskell for C Programmers |
| 05/29/2005 | It seems to me one way to do | Haskell for C Programmers |
| 06/04/2006 | So you end up with users | Let's make a programming language! |
| 06/05/2006 | Could you explain to me how | Let's make a programming language! |
| 06/05/2006 | Visible for purposes of | Let's make a programming language! |
| 06/05/2006 | Regarding an interpreter, | Let's make a programming language! |
| 06/04/2006 | Lisp-style macros are | Let's make a programming language! |
| 06/04/2006 | You might think so. | Let's make a programming language! |
| 06/04/2006 | Your idea of "99% of the | Let's make a programming language! |
| 04/30/2005 | It's not that hard to believe | The long tail of programming languages |
| 10/03/2005 | The breakage is in the functi | From Perl Monks: "pissed off about functional programming" |
| 05/12/2005 | For language manipulation and | Why do they program in C++? |
| 04/18/2005 | For my own projects I should | What happened to Charity? |
| 09/21/2005 | I'd be surprised if it happen | expressivity of "idiomatic C++" |
| 03/22/2005 | Compiling with Continuations | Print.google.com |
| 03/22/2005 | *Embarassment* | Print.google.com |
| 09/05/2006 | STRef doesn't hide anything. | Transparent Persistence |
| 09/05/2006 | There's a lazy version of | Transparent Persistence |
| 09/06/2006 | Depends on what you're | Transparent Persistence |
| 09/05/2006 | A good many type systems in | Transparent Persistence |
| 09/05/2006 | The ST monad is my friend! | Transparent Persistence |
| 12/20/2006 | Encoding the equivalent, | Transparent Persistence |
| 12/20/2006 | And just as easy to tell | Transparent Persistence |
| 10/24/2005 | I actually visualise monads i | the Chinese natual language |
| 12/24/2007 | I imagine the problem's | The 90 Minute Scheme to C compiler |
| 12/08/2006 | Power = Rope = Ability to | Why type systems are interesting - part II |
| 09/11/2005 | I made this neat thing, I'll call it a wheel | Why type systems are interesting - part II |
| 05/28/2006 | I figure any 'catchable' | Why type systems are interesting |
| 05/29/2006 | State does strike me as a | Why type systems are interesting |
| 07/06/2008 | there is still knowledge | Why type systems are interesting |
| 07/07/2008 | Confirming what we know | Why type systems are interesting |
| 07/13/2006 | It's special in the sense | Explaining monads |
| 07/13/2006 | Not quite true - monads | Explaining monads |
| 12/17/2008 | Do notation is closely | Explaining monads |
| 01/30/2009 | Monads describe higher-order | Explaining monads |
| 01/09/2009 | On the other hand, it may | Explaining monads |
| 01/10/2009 | Actual design decisions | Explaining monads |
| 01/11/2009 | Of what? The first example | Explaining monads |
| 01/11/2009 | Explaining monads | Explaining monads |
| 01/11/2009 | The dangers of abusing terminology | Explaining monads |
| 01/12/2009 | I was discussing arrows in | Explaining monads |
| 12/05/2006 | Unfortunately that simple | Understanding continuations |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |