Posts By: James Iry
| Date | Post | Topic |
| 06/21/2012 | Actually... | Null, bottom, etc.? |
| 06/22/2012 | Yes, but | Null, bottom, etc.? |
| 06/21/2012 | Doesn't count | Null, bottom, etc.? |
| 06/19/2012 | null vs bottom | Null, bottom, etc.? |
| 07/10/2012 | div 0 | Why are exceptions not described as 'purely functional'? |
| 04/02/2012 | Type based dispatch | Quantitative comparison of unit testing vs. static typing? |
| 03/28/2012 | Soot, Java, and size | Learn python to implement a complicated static code analyzer |
| 03/22/2012 | Parsing: The Solved Problem That Isn't | Parsing: The Solved Problem That Isn't |
| 04/02/2012 | deleted | Parsing: The Solved Problem That Isn't |
| 03/09/2012 | Language mystery: identify the source language to a worm based on its object code | Language mystery: identify the source language to a worm based on its object code |
| 03/19/2012 | Mystery solved | Language mystery: identify the source language to a worm based on its object code |
| 03/02/2012 | Front page | Lang.NEXT 2012 - Session Videos Coming Online |
| 02/24/2012 | When Formal Systems Kill: Computer Ethics and Formal Methods | When Formal Systems Kill: Computer Ethics and Formal Methods |
| 02/24/2012 | Full disclosure | PLT humor on Twitter |
| 02/22/2012 | [Meta] Are we Reddit? | [Meta] Are we Reddit? |
| 02/15/2012 | A Concept Design for C++ | A Concept Design for C++ |
| 02/16/2012 | Thanks! | A Concept Design for C++ |
| 02/14/2012 | Why Concatenative Programming Matters | Why Concatenative Programming Matters |
| 01/31/2012 | Semantic checks | Syntax Desugaring Algorithm Question |
| 12/19/2011 | Cambridge Course on "Usability of Programming Languages" | Cambridge Course on "Usability of Programming Languages" |
| 12/23/2011 | Theory and practice | Cambridge Course on "Usability of Programming Languages" |
| 12/09/2011 | "Casting" | Designing a languge — what theory is a must? |
| 06/22/2011 | See | 50 in 50: Steele & Gabriel at RailsConf 2011 |
| 05/23/2011 | Got the t-shirt | Rob Pike: Public Static Void |
| 05/16/2011 | [citation needed] | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | Taken back but with a different question | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | reclamation order | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | Reclaiming space | Why is tail call optimization an issue in GC'd languages? |
| 05/16/2011 | Problems with C | Why is tail call optimization an issue in GC'd languages? |
| 05/13/2011 | A Larger Decidable Semiunification Problem | A Larger Decidable Semiunification Problem |
| 05/10/2011 | One Pass Real-Time Generational Mark-Sweep Garbage Collection | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 04/13/2011 | Not in Scala | Redhat's New Language |
| 04/13/2011 | "First class" functions | Redhat's New Language |
| 04/14/2011 | Equality | Redhat's New Language |
| 03/28/2011 | Finding and Understanding Bugs in C Compilers | Finding and Understanding Bugs in C Compilers |
| 06/28/2012 | Definitions, definitions | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/02/2011 | OCaps vs destructive reflection | Object capabilities for protecting object slots in prototype-based languages? |
| 03/09/2011 | C++ compile times | Middle History of Logic Programming |
| 03/04/2011 | Type classes? | InfoQ video + transcript of Rob Pike on Go |
| 03/07/2011 | Got ya | InfoQ video + transcript of Rob Pike on Go |
| 02/18/2011 | The Habit Programming Language: The Revised Preliminary Report | The Habit Programming Language: The Revised Preliminary Report |
| 02/24/2011 | Arbiter | Monads vs. Actors |
| 02/24/2011 | Maybe not choice | Monads vs. Actors |
| 01/27/2011 | Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing | Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing |
| 01/24/2011 | Not just destructuring, pattern matching | Points in the Pattern Matching Design Space |
| 02/07/2011 | Limitations? | I've run out of programming languages to study |
| 02/09/2011 | Okay | I've run out of programming languages to study |
| 01/11/2011 | Language Virtualization for Heterogeneous Parallel Computing | Language Virtualization for Heterogeneous Parallel Computing |
| 01/10/2011 | Extended synopsis | Scala Team Wins ERC Grant |
| 01/11/2011 | Small correction and a clarification | Runtime code generation for partial application? |
| 12/21/2010 | The Semicolon Wars | The Semicolon Wars |
| 12/20/2010 | Azul's Pauseless Garbage Collector | Azul's Pauseless Garbage Collector |
| 12/20/2010 | May not qualify | Interesting Standard Libraries to Study |
| 12/20/2010 | Never meta-programming I didn't like | Prototyping a new language with Haskell |
| 12/16/2010 | Stressed by Distributed Programming? Well, CALM Down. | Stressed by Distributed Programming? Well, CALM Down. |
| 12/02/2010 | Yeah | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
| 11/29/2010 | Yacc is dead | Yacc is dead |
| 11/09/2010 | Confused | Gosu Released |
| 11/09/2010 | Still confused | Gosu Released |
| 11/10/2010 | Wording | Gosu Released |
| 11/10/2010 | Clear now | Gosu Released |
| 11/02/2010 | Conservative Logic | Conservative Logic |
| 10/28/2010 | Reflexive | Do you happen to hear about pre-equivalence? |
| 10/28/2010 | Not graphical | Do you happen to hear about pre-equivalence? |
| 10/28/2010 | Same to isomorphism | Do you happen to hear about pre-equivalence? |
| 10/26/2010 | [Admin] Front page worthy | Erasure and Polymorphism in Pure Type Systems |
| 10/26/2010 | Conor McBride | Erasure and Polymorphism in Pure Type Systems |
| 09/21/2010 | Prior Art | FunLoft reactive, concurrent programming language |
| 09/16/2010 | Not quite | Mildly Extended MixFix |
| 09/08/2010 | Fairness and Interactivity | Is Transactional Programming Actually Easier? |
| 08/27/2010 | More? | Theoretical Computer Science StackExchange Beta now open |
| 09/13/2010 | Actors changing behavior | Unifying Actors and Objects? |
| 07/28/2010 | What's in a name? | It's been ten years! |
| 07/26/2010 | Bounded Existentials | Containers and Inheritance |
| 07/22/2010 | nope | The Future of C# |
| 07/07/2010 | Come on in, the sun in shining and the tar is warm | Uncle Bob's talk at RailsConf 2010 |
| 06/30/2010 | Compiling Structural Types on the JVM | Compiling Structural Types on the JVM |
| 06/30/2010 | facepalm | Compiling Structural Types on the JVM |
| 05/30/2010 | Don't follow | Adding Type Constructor Parameterization to Java |
| 06/01/2010 | It does | Adding Type Constructor Parameterization to Java |
| 06/02/2010 | "Impure" | Adding Type Constructor Parameterization to Java |
| 06/03/2010 | Arrays and such | Adding Type Constructor Parameterization to Java |
| 06/08/2010 | Not seeing it | Adding Type Constructor Parameterization to Java |
| 06/04/2010 | Very weak | Adding Type Constructor Parameterization to Java |
| 06/07/2010 | <Austrian accent>Weak like a puny little baby | Adding Type Constructor Parameterization to Java |
| 05/14/2010 | The Right Tool | The Right Tool |
| 05/15/2010 | "Code" Studies? | "Critical code studies" |
| 05/12/2010 | Parametric polymorphism | A solution to the catcall problem in Eiffel |
| 05/12/2010 | Correct and Reliable | A solution to the catcall problem in Eiffel |
| 04/15/2010 | seL4: Formal Verification of an Operating-System Kernel | seL4: Formal Verification of an Operating-System Kernel |
| 06/16/2010 | Fixed | seL4: Formal Verification of an Operating-System Kernel |
| 04/16/2010 | Reliability through pain | How can C Programs be so Reliable? |
| 04/14/2010 | C | Representing Type Information in Dynamically Typed Languages |
| 09/09/2010 | Rescinded | iPhone PL lockdown |
| 01/05/2012 | Contrasting exceptions and continuations | Go's proposed panic/recover exception-like mechanism |
| 03/22/2010 | Interview with Robin Milner | Late Robin Milner |
| 03/10/2010 | Outside ACM Paywall | Should let be generalized? |
| 03/10/2010 | Scheme | Have tracing JIT compilers won? |
| 02/25/2010 | Can a Biologist Fix a Radio? | Can a Biologist Fix a Radio? |
| 02/19/2010 | Stupid Scala Trick? | Small PL Thought Experiment |
| 02/17/2010 | It's not an LtU discussion if there's no paper | Historical question |
| 02/17/2010 | fixed | Historical question |
| 02/11/2010 | Recursion? | Why prolog is by far the best, most productive, easiest programming language |
| 12/23/2009 | Scala is not a capabilities based language | Parameterized Modules |
| 12/23/2009 | Parametric polymorphism | Parameterized Modules |
| 12/21/2009 | Ignore bottom? | Chunked sequences: Lookahead laziness |
| 12/16/2009 | Notation | Question about the Scalina calculus |
| 12/17/2009 | I might be wrong, but | Question about the Scalina calculus |
| 11/11/2009 | A (Mixed) Review from a Googler | Go or Unladen Swallow? |
| 11/06/2009 | John Hughes on Erlang and Haskell | John Hughes on Erlang and Haskell |
| 08/20/2009 | Not just historical context | Why determinism matters in language design. |
| 08/17/2009 | Definitions | functions vs procedures.. |
| 08/18/2009 | Nope | functions vs procedures.. |
| 08/18/2009 | Effects? | functions vs procedures.. |
| 08/18/2009 | Crude | functions vs procedures.. |
| 08/17/2009 | "It isn't of practical use" | Kinds of Null |
| 08/14/2009 | C's ambiguity is not similar | Perl Cannot Be Parsed: A Formal Proof |
| 08/11/2009 | "valid" | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | Some comments | Avoid a Void: eradicating null-pointer dereferencing |
| 08/06/2009 | Observational Equality, Now! | Observational Equality, Now! |
| 08/05/2009 | Objects as Modules in Newspeak | Objects as Modules in Newspeak |
| 08/05/2009 | Verified Programming in Guru | Verified Programming in Guru |
| 08/03/2009 | Programming Made "Simple" | Programming Made "Simple" |
| 08/02/2009 | Creator of Qi Calls It Quits | Creator of Qi Calls It Quits |
| 08/02/2009 | Previously on LtU | Creator of Qi Calls It Quits |
| 08/07/2009 | Back at you | Definition of Functional Programming Language |
| 07/28/2009 | Evaluation and Usability of Programming Languages and Tools (PLATEAU) | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
| 07/28/2009 | quoting | Resolved Debates in Syntax Design ? |
| 07/21/2009 | Apollo 11 Source Code on GoogleCode | Apollo 11 Source Code on GoogleCode |
| 07/21/2009 | Two wrongs don't make a right, but two bugs do. | Apollo 11 Source Code on GoogleCode |
| 07/20/2009 | Concepts Get Voted Off The C++0x Island | Concepts Get Voted Off The C++0x Island |
| 07/23/2009 | Monoid | Concepts Get Voted Off The C++0x Island |
| 07/16/2009 | Wasn't me, but it's up. | Proposing a LtU twitter (news) feed ... |
| 07/11/2009 | Any bets? | Announcing the new Haskell Prime process, and Haskell 2010 |
| 07/10/2009 | Intellectual property | Open Source for Hardware? |
| 07/09/2009 | Oh no! Animated Alligators! | Oh no! Animated Alligators! |
| 06/14/2009 | Principia Narcissus | Preventing downcasting and adding a universal variant |
| 06/14/2009 | Some idle thoughts | Preventing downcasting and adding a universal variant |
| 06/12/2009 | Downcasting | Preventing downcasting and adding a universal variant |
| 05/18/2009 | Example 2 | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/18/2009 | Example 2 with Implicits | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/18/2009 | Example 2 with Structural Types | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/19/2009 | Type aliases | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 05/16/2009 | Types are Calling Conventions | Types are Calling Conventions |
| 05/16/2009 | History is Easy... | A Brief, Incomplete ... History of Programming Languages |
| 04/09/2010 | Still no ALGOL | A Brief, Incomplete ... History of Programming Languages |
| 05/07/2009 | An Interview with the Diamondback Ruby Team | An Interview with the Diamondback Ruby Team |
| 04/15/2009 | Semantics of Memory Management for Polymorphic Languages | Semantics of Memory Management for Polymorphic Languages |
| 04/14/2009 | Practical Implementation of a Dependently Typed Functional Programming Language | Practical Implementation of a Dependently Typed Functional Programming Language |
| 04/14/2009 | Scala Lift Off 2009 | Scala Lift Off 2009 |
| 05/29/2009 | Update - location and schedule | Scala Lift Off 2009 |
| 04/11/2009 | ADD 50 TO COBOL GIVING COBOL | ADD 50 TO COBOL GIVING COBOL |
| 04/11/2009 | Rename? | ADD 50 TO COBOL GIVING COBOL |
| 04/12/2009 | Book for you | ADD 50 TO COBOL GIVING COBOL |
| 04/09/2009 | Capabilities for External Uniqueness | Capabilities for External Uniqueness |
| 05/14/2010 | Update | Capabilities for External Uniqueness |
| 04/07/2009 | Jonathon Shapiro Wraps Up BitC | Jonathon Shapiro Wraps Up BitC |
| 03/11/2009 | Languages and security: a short reading list | Languages and security: a short reading list |
| 03/25/2009 | Comprehending monads | Influence of cognitive models on programming language design |
| 02/23/2009 | Wadler weighs in | Denotational design with type class morphisms |
| 01/17/2009 | See Rice's Theorem | Weird computability problem relating to state + lambda calculus |
| 01/15/2009 | Closures and objects | Looking for papers describing advanced language topics in terms of C programming |
| 01/15/2009 | Scoping | Looking for papers describing advanced language topics in terms of C programming |
| 01/15/2009 | Recursion and stuff | Looking for papers describing advanced language topics in terms of C programming |
| 01/17/2009 | Not lexical | Looking for papers describing advanced language topics in terms of C programming |
| 01/14/2009 | On the Strength of Proof-Irrelevant Type Theories | On the Strength of Proof-Irrelevant Type Theories |
| 01/15/2009 | Please use "reply" | Introducing Dawn - yet another new language |
| 01/13/2009 | What Are The Resolved Debates in General Purpose Language Design? | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Memory safety | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Debate | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | It is silly - mostly | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Lexical | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Cancelled | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | It's a good point | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Images | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | The cynic in me | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Numbers | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Speaking of recursion | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Literals? | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Type inference not settled | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Not resolved | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | I'm not sure | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Global variables | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Irrefutable photographic evidence | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Yes, or... | What Are The Resolved Debates in General Purpose Language Design? |
| 01/07/2009 | R in the New York Times | R in the New York Times |
| 01/06/2009 | Definitely worth a read | JMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework |
| 01/06/2009 | Doesn't count | "Determinism" of types? |
| 12/28/2008 | 2008 In Review - What Happened with Programming Languages? | 2008 In Review - What Happened with Programming Languages? |
| 12/30/2008 | Heavy lifting | 2008 In Review - What Happened with Programming Languages? |
| 01/06/2009 | The implied premise is faulty | 2008 In Review - What Happened with Programming Languages? |
| 12/29/2008 | Java is dead, long live Java! | 2008 In Review - What Happened with Programming Languages? |
| 12/29/2008 | Scoring myself | 2008 In Review - What Happened with Programming Languages? |
| 01/01/2009 | Statically typed functional languages | 2008 In Review - What Happened with Programming Languages? |
| 01/03/2009 | Clever | 2008 In Review - What Happened with Programming Languages? |
| 01/04/2009 | C++ | 2008 In Review - What Happened with Programming Languages? |
| 01/08/2009 | The graphs don't support conclusion | 2008 In Review - What Happened with Programming Languages? |
| 12/24/2008 | Expression problem | Principles or patterns in FP |
| 12/21/2008 | PinS and RWH are Jolt Finalists | PinS and RWH are Jolt Finalists |
| 03/12/2009 | Real World Haskell wins! | PinS and RWH are Jolt Finalists |
| 12/19/2008 | Tool related | If Programming Languages were <T> |
| 12/19/2008 | Light bulb jokes | If Programming Languages were <T> |
| 12/17/2008 | Moar! | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/18/2008 | Please click "reply" | Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) |
| 12/15/2008 | Programmable Concurrency in a Pure and Lazy Language | Programmable Concurrency in a Pure and Lazy Language |
| 12/16/2008 | Scala programming lazily | Programmable Concurrency in a Pure and Lazy Language |
| 12/19/2008 | "Real world" | Fundamental Flaws in Current Programming Language Type Systems |
| 01/08/2009 | BitC | Fundamental Flaws in Current Programming Language Type Systems |
| 11/29/2008 | Qi II | Qi II |
| 12/18/2008 | Book online | Qi II |
| 11/28/2008 | Higher level model | Functional building blocks as concurrency patterns |
| 12/03/2008 | Seriously? | Functional building blocks as concurrency patterns |
| 12/02/2008 | A literal race condition | Functional building blocks as concurrency patterns |
| 12/02/2008 | Nonstandard? | Functional building blocks as concurrency patterns |
| 12/03/2008 | Shared state | Functional building blocks as concurrency patterns |
| 12/03/2008 | Yes but still no race | Functional building blocks as concurrency patterns |
| 11/29/2008 | Conversions and views | Functional building blocks as concurrency patterns |
| 11/29/2008 | Some thoughts | Functional building blocks as concurrency patterns |
| 11/26/2008 | Real instruction sets | Clojure: Trampoline for mutual recursion |
| 11/27/2008 | Not a problem | Clojure: Trampoline for mutual recursion |
| 11/27/2008 | You and everybody else | Clojure: Trampoline for mutual recursion |
| 11/27/2008 | Some confusion | Clojure: Trampoline for mutual recursion |
| 11/25/2008 | I'm with Naasking | Non-standard type theories for FP |
| 11/26/2008 | Cripes? | Non-standard type theories for FP |
| 11/26/2008 | To answer my own cripes | Non-standard type theories for FP |
| 11/15/2008 | MP4, WMV | Microsoft PDC "Language" Talks |
| 11/12/2008 | Scala | First-Class Patterns |
| 11/13/2008 | Oops | First-Class Patterns |
| 11/13/2008 | Talking about the same "patterns?" | First-Class Patterns |
| 11/13/2008 | Representation? | Subtyping + overloading |
| 11/12/2008 | Whole program | The Origins of the BitC Programming Language |
| 10/17/2008 | Security | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/06/2008 | PEG != packrat | Parsing Expression Grammars |
| 10/05/2008 | "Pure" | Clojure talk videos |
| 09/29/2008 | Arity and curried functions | Help with N-Ary functions? |
| 09/30/2008 | Got ya | Help with N-Ary functions? |
| 09/30/2008 | Subtyping Relationship | Help with N-Ary functions? |
| 09/28/2008 | Ola Bini | JVM Language Summit report |
| 09/26/2008 | Hmmm | On a method of expressing by signs the action of machinery |
| 09/28/2008 | Mutation and message passing | Reia: Python/Ruby style language on top of Erlang |
| 10/02/2008 | Good point | Reia: Python/Ruby style language on top of Erlang |
| 10/02/2008 | No side effects | Reia: Python/Ruby style language on top of Erlang |
| 09/23/2008 | A couple of solutions | Specializing values in a functional language |
| 09/24/2008 | Subtyping | Specializing values in a functional language |
| 09/24/2008 | Miscommunication | Specializing values in a functional language |
| 09/20/2008 | GHC moves at lightspeed | Simon Peyton Jones Interview |
| 09/22/2008 | Expanding | Simon Peyton Jones Interview |
| 09/19/2008 | No unions | Is API evolution of exceptions special? |
| 10/02/2008 | Not exactly | Is API evolution of exceptions special? |
| 09/19/2008 | Solutions to checked exceptions | Is API evolution of exceptions special? |
| 09/23/2008 | Laziness | Is API evolution of exceptions special? |
| 09/23/2008 | type level mapping | Is API evolution of exceptions special? |
| 09/17/2008 | Programmer thought | The Transactional Memory / Garbage Collection Analogy |
| 09/17/2008 | Actually a bit harder | The Transactional Memory / Garbage Collection Analogy |
| 09/17/2008 | Sigh | The Transactional Memory / Garbage Collection Analogy |
| 09/15/2008 | First-class Macros | First-class Macros |
| 09/17/2008 | Not with hygienic macros | First-class Macros |
| 09/18/2008 | Unless I missed something | First-class Macros |
| 09/18/2008 | Sweet, sweet sugar | First-class Macros |
| 09/18/2008 | Types, modules, etc | First-class Macros |
| 09/23/2008 | Not exactly what naasking was saying | First-class Macros |
| 09/18/2008 | S-exp's and sugar | First-class Macros |
| 09/19/2008 | Restrictions | First-class Macros |
| 09/12/2008 | Haskell's little fib | Irresistible programs |
| 09/12/2008 | Duff's device | Irresistible programs |
| 09/12/2008 | A different kind of "irresistible" | Irresistible programs |
| 09/12/2008 | Cellular automata | Irresistible programs |
| 09/12/2008 | Prolog's append | Irresistible programs |
| 09/12/2008 | Prolog challenge | Irresistible programs |
| 09/12/2008 | Quines | Irresistible programs |
| 09/12/2008 | Self reference | Irresistible programs |
| 09/10/2008 | Polymorphic Algebraic Data Type Reconstruction | Polymorphic Algebraic Data Type Reconstruction |
| 09/10/2008 | Algorithms don't kill people | Polymorphic Algebraic Data Type Reconstruction |
| 09/08/2008 | Clojure's Approach to Identity and State | Clojure's Approach to Identity and State |
| 09/08/2008 | In the article | Clojure's Approach to Identity and State |
| 09/06/2008 | The same thing | ML Closure vs Scheme Closure |
| 09/06/2008 | Previously on LtU | ML Closure vs Scheme Closure |
| 09/03/2008 | Communicating Scala Objects | Communicating Scala Objects |
| 09/02/2008 | Unchecked Exceptions can be Strictly More Powerful than Call/CC | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/02/2008 | As a follow up | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/02/2008 | Not sure | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/02/2008 | Alternative URL | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/03/2008 | dynamic-wind and call/cc | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/03/2008 | Scheme promises | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/03/2008 | What it says | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 08/30/2008 | Java chose "yes and no" | Should nested types capture type parameters? |
| 08/29/2008 | Versioned variables | Distributed/Parallel language semantics |
| 09/02/2008 | STM | Distributed/Parallel language semantics |
| 08/29/2008 | Density | Is COBOL really understandable after 14 years. |
| 08/27/2008 | Towards Hard Real-Time Erlang | Towards Hard Real-Time Erlang |
| 08/27/2008 | Sure | Towards Hard Real-Time Erlang |
| 08/27/2008 | I'm honored | Towards Hard Real-Time Erlang |
| 08/27/2008 | Oops | Towards Hard Real-Time Erlang |
| 08/27/2008 | See Also | Real-Time Concurrent Issues Drive Ada versus Java Choice |
| 08/24/2008 | Assembly versioning | Languages ready for API Evolution |
| 08/22/2008 | Previously on LtU | Looking for an auto-lifting language. |
| 08/21/2008 | "Wrong" location | Error Messages in Dynamically Typed Languages |
| 08/21/2008 | What are operators? (part 2) | Languages without operator precedence |
| 08/29/2008 | McIlroy | output language for new statically typed language? |
| 08/13/2008 | Scheme is perfect? | Staapl: Forth on Scheme for embedded controllers |
| 08/11/2008 | A related discussion | Programming Language Beauty: Look Closure |
| 08/11/2008 | Just the wording | Programming Language Beauty: Look Closure |
| 08/13/2008 | I still think it's partiality | Programming Language Beauty: Look Closure |
| 08/10/2008 | Impure languages | Usefullness of constants |
| 08/10/2008 | Scala doesn't unify (quite) | Usefullness of constants |
| 08/11/2008 | Sure, but... | Usefullness of constants |
| 08/12/2008 | Cache | Differentiating regions |
| 08/10/2008 | Visitor vs generic function vs ADT | Patrick Logan on patterns |
| 08/11/2008 | Not my point | Patrick Logan on patterns |
| 08/11/2008 | I don't get it | Patrick Logan on patterns |
| 08/11/2008 | Ah! | Patrick Logan on patterns |
| 08/11/2008 | Indeed | Patrick Logan on patterns |
| 08/11/2008 | ML/Haskell | Patrick Logan on patterns |
| 08/11/2008 | Pattern Matching with Objects | Patrick Logan on patterns |
| 07/28/2008 | Happy Birthday | Happy Birthday, dear Lambda! |
| 11/02/2010 | [Admin] Promoted to the front page | Beyond FRP: physics-inspired programming abstractions? |
| 07/24/2008 | Ordering | FP in D 2.0 |
| 07/25/2008 | Redefining old phrases | FP in D 2.0 |
| 07/22/2008 | Source-to-source transformation | What to do about comments? |
| 07/31/2008 | Not bad...just awkward | Practical Bits of Making a Compiler for a New Language |
| 08/04/2008 | Bytecode is a distraction | Practical Bits of Making a Compiler for a New Language |
| 07/15/2008 | Ada, the Ultimate Lambda? | Ada, the Ultimate Lambda? |
| 07/18/2008 | Nerd Humor | Ada, the Ultimate Lambda? |
| 07/12/2008 | SQL | In search for a programming language to replace spreadsheets. |
| 07/08/2008 | Previously on LtU | Of Generics and Erasure and, of all things, GC and memory layout |
| 06/29/2008 | Haskell | The hits and misses of Microsoft |
| 07/05/2008 | Recursion and history | The hits and misses of Microsoft |
| 06/28/2008 | Added | Request for participation |
| 06/28/2008 | Up to you | Request for participation |
| 06/23/2008 | Lambda in the Sun - Southern California Functional Programmers | Lambda in the Sun - Southern California Functional Programmers |
| 06/17/2008 | Side effect free | Functional Programming in the ACM CS Curriculum |
| 06/07/2008 | JVM Language Summit | JVM Language Summit |
| 07/30/2008 | Reigstration is open | JVM Language Summit |
| 08/27/2008 | Agenda posted | JVM Language Summit |
| 06/01/2008 | Domain specific type systems | what a type system always proves vs. what it can be made to prove |
| 05/29/2008 | Not the common terminology | DSLs: Embedded, standalone, or both? |
| 05/25/2008 | Previously on LtU | Category theory in design |
| 05/20/2008 | Templates or Boxing or Tagged References | Generic types |
| 05/20/2008 | Thanks | Generic types |
| 05/13/2008 | Cultural mixing | Scala Lift Off Unconference review |
| 05/20/2008 | It's pretty fundamental | Scala Lift Off Unconference review |
| 05/20/2008 | Variance in Java | Scala Lift Off Unconference review |
| 05/25/2008 | Heavy influence | Scala Lift Off Unconference review |
| 05/26/2008 | Structural typing | Scala Lift Off Unconference review |
| 05/26/2008 | Another update | Scala Lift Off Unconference review |
| 04/26/2008 | The loop-hole | Is Halting Problem Valid for P? |
| 04/29/2008 | It worked on | Is Halting Problem Valid for P? |
| 04/29/2008 | No recursion | Is Halting Problem Valid for P? |
| 05/02/2008 | Thankfully, it's been answered | Is Halting Problem Valid for P? |
| 04/25/2008 | Real world | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 04/18/2008 | Only one lookup | Static Typing and Expressivity |
| 04/25/2008 | Redundancy | Static Typing and Expressivity |
| 03/28/2008 | MyType, ThisType, SelfType, ThisClass, etc | This class type |
| 03/26/2008 | Slightly off-tangent | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 08/20/2008 | Online supercompiler | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/26/2008 | You ask that like it's a good thing | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/27/2008 | Supercompilation as proof assistance | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/29/2008 | General applications | CERT C Secure Coding Standard |
| 02/28/2008 | Constructors | Is null needed? |
| 07/23/2008 | With laziness | Is null needed? |
| 07/23/2008 | D'oh! | Is null needed? |
| 07/24/2008 | Not so clear | Is null needed? |
| 02/26/2008 | C Style Unions | Union types in Java? |
| 02/26/2008 | Why? | Union types in Java? |
| 05/28/2008 | Counter hypothesis | succinctness |
| 02/08/2008 | Congratulations! | 10 Years of Purely Functional Data Structures |
| 02/09/2008 | Probably because of | Leaning how to judge the right tool for the job? |
| 02/06/2008 | Lambda the ultimate... | Project LambdaCan |
| 02/07/2008 | OO people call it... | Project LambdaCan |
| 02/05/2008 | Asynchronous methods | Signals in an OOPL |
| 02/05/2008 | Semantics appended | Signals in an OOPL |
| 02/05/2008 | Actors | Signals in an OOPL |
| 02/05/2008 | Backgrounder | Latest usability for polymorphism? |
| 02/05/2008 | Studying the way people think | Latest usability for polymorphism? |
| 02/05/2008 | Complementary, not opposed | Latest usability for polymorphism? |
| 02/03/2008 | Some LtU on FL, FYI | FL programming language |
| 02/02/2008 | It was my impression... | A name for this form of variable capture? |
| 08/12/2008 | To quote myself | A name for this form of variable capture? |
| 02/02/2008 | Not pedantic - good design alternative | A name for this form of variable capture? |
| 02/02/2008 | SICP | A name for this form of variable capture? |
| 02/03/2008 | Could have been done | A name for this form of variable capture? |
| 02/03/2008 | That was it | A name for this form of variable capture? |
| 02/01/2008 | Help, I've been hacked | Don't try FP in industry! |
| 01/30/2008 | Dear Mr. Graham, | Arc is released |
| 01/30/2008 | Early alpha | Arc is released |
| 01/31/2008 | Quite recently | Arc is released |
| 01/31/2008 | Ya know | Arc is released |
| 01/30/2008 | Not exactly | (noob question) method parameters in co-and-contravariance issue |
| 01/31/2008 | Nope | (noob question) method parameters in co-and-contravariance issue |
| 02/01/2008 | But... | The YNot Project |
| 01/28/2008 | HCI | Fortress Presentation |
| 01/28/2008 | Thanks | Fortress Presentation |
| 01/24/2008 | Multiple dimensions | How useful is reflection, anyway? |
| 01/25/2008 | The difference isn't that important | How useful is reflection, anyway? |
| 01/23/2008 | Not so | How useful is reflection, anyway? |
| 01/23/2008 | This thread has gone into bizarro world | How useful is reflection, anyway? |
| 01/24/2008 | Still not needed, unless... | How useful is reflection, anyway? |
| 01/24/2008 | Liskell | The Design and Implementation of Typed Scheme |
| 01/22/2008 | Singletons | Compile-Time Execution in an Object Oriented Language |
| 01/19/2008 | Bottom is uninhabited | Impact of OO language style on code |
| 01/19/2008 | How so? | Impact of OO language style on code |
| 01/21/2008 | It looks like I was wrong | Impact of OO language style on code |
| 01/16/2008 | Growing pains | Treetop: Packrat Parser Generator for Ruby |
| 01/17/2008 | effects systems and dynamic typing | Ruby vs. Smalltalk |
| 01/14/2008 | Predictions for Scala in 2008 | Prediction for 2008 |
| 01/14/2008 | Eager Haskell | Prediction for 2008 |
| 01/15/2008 | Industrial community | Prediction for 2008 |
| 01/16/2008 | Why JS? | Prediction for 2008 |
| 01/30/2008 | Woohoo! I win | Prediction for 2008 |
| 01/31/2008 | Hello, | Prediction for 2008 |
| 01/09/2008 | Slamming Java for the wrong reason | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/15/2008 | Eiffel | (newbie question) Covariance and contravariance |
| 12/18/2007 | JVM Lisps | Concurrency with Scheme |
| 12/19/2007 | A slightly different take | Concurrency with Scheme |
| 12/13/2007 | Rhetorical device? | Avi Bryant: Ruby IS-A Smalltalk |
| 12/14/2007 | Hard to have it both ways | CUFP write-up |
| 12/14/2007 | Still not their job | CUFP write-up |
| 12/12/2007 | Multiple dispatch | Origin of the term Multimethod |
| 12/12/2007 | Exactly like pattern matching but totally different | Origin of the term Multimethod |
| 12/12/2007 | symmetric vs asymmetric mutlimethods | Origin of the term Multimethod |
| 12/12/2007 | Assymetric vs encapsulated | Origin of the term Multimethod |
| 12/12/2007 | Obligatory link | Origin of the term Multimethod |
| 12/19/2007 | I was under the impression... | A Growable Language Manifesto |
| 12/19/2007 | Limited typing | A Growable Language Manifesto |
| 12/06/2007 | /I, Singular Sensation | poll: syntax |
| 12/07/2007 | Anybody who writes software in a QNL | poll: syntax |
| 12/06/2007 | Syntax for what, exactly? | poll: syntax |
| 12/07/2007 | Semantics assumed? | poll: syntax |
| 12/10/2007 | Say what? | poll: syntax |
| 12/10/2007 | Confusing library with the language syntax | poll: syntax |
| 12/10/2007 | Apologies | poll: syntax |
| 12/12/2007 | Say what, again? | poll: syntax |
| 11/28/2007 | Java 7 - nope | Clojure |
| 11/28/2007 | Oops, thanks | Clojure |
| 11/28/2007 | Limited TCO? | Clojure |
| 11/28/2007 | Nice | Clojure |
| 11/20/2007 | PLT meets economics meets people | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/21/2007 | Probably talking about immutability | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Um, the question was.. | What are the properties of "Functional Programming Languages"? |
| 11/22/2007 | Erlang | What are the properties of "Functional Programming Languages"? |
| 11/23/2007 | I wonder if anybody ever noticed that before? | What are the properties of "Functional Programming Languages"? |
| 11/21/2007 | Not sure I follow | What are the properties of "Functional Programming Languages"? |
| 11/22/2007 | Hats Off | What are the properties of "Functional Programming Languages"? |
| 11/25/2007 | Two meanings | What are the properties of "Functional Programming Languages"? |
| 01/15/2008 | Talk from BayFP | Well-typed programs can't be blamed |
| 11/15/2007 | Interspecies Cross Pollination | David Pollak on lift |
| 11/15/2007 | Dude, Crank It Up! | David Pollak on lift |
| 11/28/2007 | global vs local reasoning | On the Importance of Purity |
| 11/28/2007 | A concrete example of refactoring | On the Importance of Purity |
| 11/19/2007 | OO is pretty functional | Examples of large-scale functional language projects |
| 11/19/2007 | Ruby and CL | Examples of large-scale functional language projects |
| 11/19/2007 | Avoid the jihad - and the Christmas rush | Examples of large-scale functional language projects |
| 11/19/2007 | Language vs its usage | Examples of large-scale functional language projects |
| 11/19/2007 | Usage matters, but... | Examples of large-scale functional language projects |
| 11/19/2007 | Erlang | Examples of large-scale functional language projects |
| 11/19/2007 | Fair enough | Examples of large-scale functional language projects |
| 11/19/2007 | Idiom is in the eye of the bonnet | Examples of large-scale functional language projects |
| 01/25/2008 | Similar counter argument | MapReduce |
| 08/13/2008 | Works only in some fairly restrictive conditions | Patrick Logan on Software Transaction Memory |
| 12/13/2007 | Rejuvenating - what about other nested constructs? | What is a "fully featured closure"? Request for comments. |
| 12/13/2007 | Sugar | What is a "fully featured closure"? Request for comments. |
| 12/13/2007 | Closures as implementation | What is a "fully featured closure"? Request for comments. |
| 12/14/2007 | Fair enough | What is a "fully featured closure"? Request for comments. |
| 01/16/2008 | It's not Ruby's fault | ruby vs python |
| 10/22/2008 | Indeed | Generalized Algebraic Data Types and Object-Oriented Programming |
| 10/29/2008 | Effects | Object Oriented Programming + Referential Transparency |
| 04/06/2010 | Common misconception | Static Typing Where Possible, Dynamic Typing When Needed |
| 11/30/2008 | That's not stupidity | Shoot-out: most annoying compiler error message |
| 07/05/2008 | Types and annotations and speed | Why type systems are interesting |
| 12/10/2008 | Monads to the people | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |