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

Posts By: Casey McCann

  Date    Post    Topic  
12/21/2010Prelude considered dubiousInteresting Standard Libraries to Study
12/02/2010Oh dear, naughty words, what shall we doHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
12/02/2010Okay, serious it isHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
12/03/2010I think you misunderstand my pointHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
12/04/2010Funny, but falseHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
11/09/2010What's the point?Gosu Released
11/09/2010Fair enough!Gosu Released
11/11/2010Cleaning things right under the rugLambda the Ultimate seems an Overstatement (not)
11/15/2010More metaphoricallyLambda the Ultimate seems an Overstatement (not)
11/01/2010Top types are rarely usefulThe Myths of Object-Orientation
11/01/2010Run-time polymorphism isn't all that differentThe Myths of Object-Orientation
11/03/2010That could get trickyThe Myths of Object-Orientation
11/03/2010Probably not all that coincidentalThe Myths of Object-Orientation
10/21/2010Don't cross the instancesUsing Hackage to Inform Language Design
10/24/2010That's a tricky oneUsing Hackage to Inform Language Design
10/15/2010Unintentional Lies of OmissionThe barrier to take-up of language innovation
10/13/2010Popularity is not quality...The barrier to take-up of language innovation
10/18/2010Er, what?The barrier to take-up of language innovation
10/08/2010Applicative isn't really applicable hereFunctional random numbers without threading state
09/22/2010If it ain't broke, don't fix(point) itFunLoft reactive, concurrent programming language
08/07/2010Don't ask for much, do you?Type Classes as Objects and Implicits
08/08/2010Not so much a Haskell thing reallyOverlapping Instances + Functional Dependencies Unsound?
06/28/2010Hammer timeXtext: An IDE on the cheap
06/27/2010Controversial?SF-calculus
06/29/2010A matter of interpretationSF-calculus
06/30/2010The very model of subprograms compositionalSF-calculus
06/30/2010Don't know why I botherSF-calculus
06/30/2010PostscriptumSF-calculus
06/27/2010Who needs anything, then?SF-calculus
06/25/2010How I Learned to Stop Worrying and Love the ParadoxA lambda calculus with arbitrary set primitives
06/25/2010No management is better than mismanagementHow important is language support for namespace management?
06/25/2010But what if it is "necessary"?How important is language support for namespace management?
06/27/2010Depends on what you wantWhy Undergraduates Should Learn the Principles of Programming Languages
05/25/2010Tangentially relatedAlan Kay's 70th
05/27/2010New is the new oldAlan Kay's 70th
05/27/2010Definitely a unix thingAlan Kay's 70th
05/27/2010Proving Hoare was rightAlgol 58/60
05/18/2010Who discusses the discusser?The War on Spam
05/14/2010A few interesting early resultsThe Right Tool
05/14/2010No worries!The Right Tool
05/15/2010The most widely-used pure functional languageThe Right Tool
05/11/2010Absolute vs. RelativeDesignerUnits
05/11/2010ContrariwiseA solution to the catcall problem in Eiffel
05/12/2010Correctness and type safetyA solution to the catcall problem in Eiffel
05/12/2010Contravariant contractual contradictionsA solution to the catcall problem in Eiffel
04/23/2010Look on my applications, ye Mighty, and despair!Seeking thoughtful criticisms of functional programming and languages
04/23/2010Real world benefits are irrelevantSeeking thoughtful criticisms of functional programming and languages
05/19/2010Doing it the wrong waySeeking thoughtful criticisms of functional programming and languages
05/20/2010There's no universal answerSeeking thoughtful criticisms of functional programming and languages
05/20/2010Monads are a symptom, not the diseaseSeeking thoughtful criticisms of functional programming and languages
05/20/2010Exception proving the ruleSeeking thoughtful criticisms of functional programming and languages
05/21/2010Could be worseSeeking thoughtful criticisms of functional programming and languages
06/10/2010Not really, noSeeking thoughtful criticisms of functional programming and languages
06/10/2010I think a lot depends onSeeking thoughtful criticisms of functional programming and languages
06/11/2010For very large values of nondeterministicSeeking thoughtful criticisms of functional programming and languages
06/11/2010Definition?Seeking thoughtful criticisms of functional programming and languages
04/20/2010Python's "The Meaning of Code"SEC interested in formalising contracts ... in Python
04/20/2010My contract is full of eelsSEC interested in formalising contracts ... in Python
04/21/2010Partial signatures?How can C Programs be so Reliable?
04/12/201010 COME FROM 20Technomasochism
04/09/2010Legal contracts are not computer programsiPhone PL lockdown
03/31/2010At the Monads of MadnessCan functional programming be liberated from the von Neumann paradigm?
03/31/2010Quibbling over semanticsCan functional programming be liberated from the von Neumann paradigm?
04/12/2010Function application, ofCan functional programming be liberated from the von Neumann paradigm?
06/14/2010How many?plt vs. something else for programming in the large?
06/15/2010Informality = workplt vs. something else for programming in the large?
06/15/2010What were we talking about, anyway?plt vs. something else for programming in the large?
06/16/2010Cynicism...plt vs. something else for programming in the large?
06/16/2010Situation Normal: ...plt vs. something else for programming in the large?

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