Posts By: Douglas McClean
| Date | Post | Topic |
| 10/31/2011 | Recursive check is unnecessary? | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/22/2011 | Partial application | Other free theorems |
| 10/06/2011 | Data, Codata, and Their Implications for Equality, and Serialization | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/06/2011 | I agree | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/07/2011 | Data? | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/08/2011 | Reals | Data, Codata, and Their Implications for Equality, and Serialization |
| 01/28/2011 | Constructors | Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing |
| 12/31/2010 | Overlapping instances without chaos | Overlapping instances without chaos |
| 12/30/2010 | Foggy memory | The AST Typing Problem |
| 12/04/2010 | 36? | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 07/02/2010 | Operationally? | Denotational semantics with other notions of convergence |
| 06/30/2010 | Link | Compiling Structural Types on the JVM |
| 03/10/2010 | Should let be generalized? | Should let be generalized? |
| 03/11/2010 | Good point | Should let be generalized? |
| 03/12/2010 | Right on | Should let be generalized? |
| 03/01/2010 | Good question | Advantages of Purity |
| 02/26/2010 | Unifying map and mapM through subtyping? | Unifying map and mapM through subtyping? |
| 02/27/2010 | Great idea | Unifying map and mapM through subtyping? |
| 02/20/2010 | Something else worth considering? | Reminder: OOPSLA is now SPLASH |
| 02/17/2010 | Possibilities | Small PL Thought Experiment |
| 02/06/2010 | I'm not sure | Continuity Analysis of Programs |
| 02/06/2010 | Exactly, so why insist that | Continuity Analysis of Programs |
| 02/02/2010 | Doesn't it depend on the definition of "not"? | Depends on what "is" is |
| 02/02/2010 | Exactly. And, having | Depends on what "is" is |
| 12/10/2010 | Why have functions of no arguments? | Babel-17 v0.2 spec is out |
| 12/11/2009 | On Citeseer | Implementation of Cardelli and Daan Leijen Style Record Systems? |
| 11/18/2009 | Taking your broader point, | I Seek a Reasonable Survey on the Concept of "Module System" |
| 11/07/2009 | Seems like front page material to me | Haskell Type Constraints Unleashed |
| 11/01/2009 | Branching constructs in intermediate languages | Branching constructs in intermediate languages |
| 11/02/2009 | Sounds right | Branching constructs in intermediate languages |
| 07/31/2009 | Great idea | Definition of Functional Programming Language |
| 07/29/2009 | Collectible Dynamic Types | New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM |
| 07/29/2009 | I share your confusion | New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM |
| 08/10/2009 | Call-by-need again | New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM |
| 07/28/2009 | Better forums for this type of question | very simple haskell question |
| 07/24/2009 | Others for phantom types? | (Very) Simpleminded kind question |
| 07/24/2009 | Oops | Resolved Debates in Syntax Design ? |
| 07/02/2009 | In a type-inference setting | Explaining database query or constraint-satisfaction failures |
| 06/25/2009 | Stating the obvious | Most powerful terminating semantics? |
| 06/29/2009 | You can if... | Most powerful terminating semantics? |
| 07/01/2009 | Even on the call stack? | Most powerful terminating semantics? |
| 07/01/2009 | True, but | Most powerful terminating semantics? |
| 07/03/2009 | O(N) or O(1)? | Most powerful terminating semantics? |
| 06/10/2009 | Because it creates a global namespace? | A new idea in OOP. Please comment. |
| 06/04/2009 | Are extensible records first class patterns? | Are extensible records first class patterns? |
| 06/08/2009 | Developing intuition about why | Are extensible records first class patterns? |
| 11/07/2011 | I agree, it's exactly that | Are extensible records first class patterns? |
| 06/03/2009 | Great stuff | Monadic Constraint Programming |
| 02/02/2009 | Ruling out nonsensical data type definitions | Ruling out nonsensical data type definitions |
| 02/02/2009 | Right, but... | Ruling out nonsensical data type definitions |
| 02/02/2009 | Thanks for your patience | Ruling out nonsensical data type definitions |
| 02/02/2009 | Light dawns | Ruling out nonsensical data type definitions |
| 02/03/2009 | But void is unit? | Ruling out nonsensical data type definitions |
| 12/17/2008 | I share this confusion | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 08/20/2008 | Languages without operator precedence | Languages without operator precedence |
| 08/20/2008 | Good point | Languages without operator precedence |
| 08/20/2008 | I knew there was a reason I should branch out from xml-schema | Languages without operator precedence |
| 08/21/2008 | Thanks | Languages without operator precedence |
| 08/21/2008 | Side effects | Languages without operator precedence |
| 08/24/2008 | Where aren't the nasal demons lurking in C? | Languages without operator precedence |
| 07/23/2008 | Type classes and type generator restrictions | Type classes and type generator restrictions |
| 07/24/2008 | These new constraints? | Type classes and type generator restrictions |
| 07/24/2008 | Just when I thought I was getting somewhere | Type classes and type generator restrictions |
| 07/24/2008 | (Possible) Differences from Haskell | Type classes and type generator restrictions |
| 07/24/2008 | Yup. | Type classes and type generator restrictions |
| 07/25/2008 | Thanks! This looks like a | Type classes and type generator restrictions |
| 07/25/2008 | Exactly on topic | Type classes and type generator restrictions |
| 01/13/2011 | See also | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 11/01/2009 | Years later, exactly that happened | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |