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

Posts By: Pseudonym

  Date    Post    Topic  
10/25/2011Appropriately?John McCarthy has passed
01/13/2009Algol-style type declarationsWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Just to be clear...What Are The Resolved Debates in General Purpose Language Design?
05/06/2008Nope, just a fixed-size windowAutomatic Generation of Peephole Superoptimizers
05/06/2006More speculationWhat do you believe about Programming Languages (that you can't prove (yet))?
05/06/2006I expect to see a languageWhat do you believe about Programming Languages (that you can't prove (yet))?
05/07/2006Well...What do you believe about Programming Languages (that you can't prove (yet))?
05/07/2006Crystal ball moment...What do you believe about Programming Languages (that you can't prove (yet))?
05/07/2006I disagree with that. AWhat do you believe about Programming Languages (that you can't prove (yet))?
05/06/2006ConcurrencyWhat do you believe about Programming Languages (that you can't prove (yet))?
05/08/2006Not pi calculus... yetWhat do you believe about Programming Languages (that you can't prove (yet))?
05/09/2006CoolWhat do you believe about Programming Languages (that you can't prove (yet))?
03/22/2006ExactlyGosling vs. Dynamic Languages
03/29/2006ExactlyGosling vs. Dynamic Languages
03/30/2006Sure, but...Gosling vs. Dynamic Languages
11/17/2005And on the other hand...What good is Strong Normalization in Programming Languages?
09/28/2005I'm not so sure...LtU: Style and Focus
09/14/2005"Expressivity" is an emotionaHaskell and creative freedom
09/16/2005Fair pointHaskell and creative freedom
08/06/2005Err...Overloading - Syntactic Heroin?
08/03/2005MercuryProgramming Paradigms of the Andorra Kernel Language
06/30/2005Already been doneHungarian Notation vs The Right Thing
06/30/2005Type synonyms considered harmfulHungarian Notation vs The Right Thing
05/17/2005Yeah!Grassroots computing languages hit the big time
05/12/2005Biography...Saunders Mac Lane 1909-2005
05/06/2005That's what I was thinking...Let's make a programming language!
05/10/2005Macros...Let's make a programming language!
04/22/2005VERY tight memory restrictionWhy do they program in C++?
03/31/2005For those who don't get it...Fun: HaWiki Quotes Page
03/30/2005I can't believe I wrote this...expressivity of "idiomatic C++"
03/31/2005To be fair...expressivity of "idiomatic C++"
04/01/2005One small thing...expressivity of "idiomatic C++"
03/16/2005And more...OCaml vs. C++ for Dynamic Programming
03/04/2005AbsolutelyJournals and papers?
01/23/2005Old tapesOOP Is Much Better in Theory Than in Practice
01/23/2005Not quite...OOP Is Much Better in Theory Than in Practice
01/23/2005Err...OOP Is Much Better in Theory Than in Practice
01/23/2005You might like to learn ErlanOOP Is Much Better in Theory Than in Practice
01/10/2005Most important question (for me)The Four Questions
12/29/2004algorithmic optimizations...Python is... slow?
12/28/2004State or style?Integrating support for undo with exception handling
12/16/2004Counter-exampleKiller Props for Computer Scientist!
10/03/2004Prototyping new monadsGeneralized ADTs in Haskell
09/12/2004Well...Use real names
08/05/2004It's worse than thatTail of Nil and Its Type
08/02/2004Simple answersCategory Theory for Dummies - slides available
07/28/2004Given C++, I would never haveThe C++ Source Journal
05/31/2004Re: Nullable TypesNullable Types
05/05/2004Re: Prolog and Mercury ComparedProlog and Mercury Compared
04/22/2004Re: VC++ Security Checks at Runtime and Compile TimeVC++ Security Checks at Runtime and Compile Time
04/07/2004Re: Impedance mismatch: RDBMS and PLsImpedance mismatch: RDBMS and PLs
03/28/2004Re: The Logic Programming Paradigm and PrologThe Logic Programming Paradigm and Prolog
02/02/2004Re: Drafting Legislation Using XMLDrafting Legislation Using XML
01/21/2004Re: The Art of Unix ProgrammingThe Art of Unix Programming
01/22/2004Re: The Art of Unix ProgrammingThe Art of Unix Programming
01/23/2004Re: The Art of Unix ProgrammingThe Art of Unix Programming
12/18/2003Re: Comments Requested on SML-Based Graphics DSLComments Requested on SML-Based Graphics DSL
11/16/2003Re: Notes on Programming in CNotes on Programming in C
10/22/2003Re: Expressiveness versus execution speedExpressiveness versus execution speed
10/20/2003Re: Erik Meijer: Visual Basic Programmers Love AnamorphismsErik Meijer: Visual Basic Programmers Love Anamorphisms
10/01/2003Re: OO Best Feature PollOO Best Feature Poll
09/09/2003Re: Inside every API is a programming language struggling to get outInside every API is a programming language struggling to get out
09/09/2003Re: Trivia: Programming Language Naming PatternsTrivia: Programming Language Naming Patterns
09/10/2003Re: Trivia: Programming Language Naming PatternsTrivia: Programming Language Naming Patterns
08/18/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/18/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/19/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/21/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/21/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/24/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/17/2003Re: Codata and Comonads in HaskellCodata and Comonads in Haskell
08/11/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/17/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/ Chris.Rathman@tx.rr.com