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

Posts By: James Iry

  Date    Post    Topic  
06/21/2012Actually...Null, bottom, etc.?
06/22/2012Yes, butNull, bottom, etc.?
06/21/2012Doesn't countNull, bottom, etc.?
06/19/2012null vs bottomNull, bottom, etc.?
07/10/2012div 0Why are exceptions not described as 'purely functional'?
04/02/2012Type based dispatchQuantitative comparison of unit testing vs. static typing?
03/28/2012Soot, Java, and sizeLearn python to implement a complicated static code analyzer
03/22/2012Parsing: The Solved Problem That Isn'tParsing: The Solved Problem That Isn't
04/02/2012deletedParsing: The Solved Problem That Isn't
03/09/2012Language mystery: identify the source language to a worm based on its object codeLanguage mystery: identify the source language to a worm based on its object code
03/19/2012Mystery solvedLanguage mystery: identify the source language to a worm based on its object code
03/02/2012Front pageLang.NEXT 2012 - Session Videos Coming Online
02/24/2012When Formal Systems Kill: Computer Ethics and Formal MethodsWhen Formal Systems Kill: Computer Ethics and Formal Methods
02/24/2012Full disclosurePLT humor on Twitter
02/22/2012[Meta] Are we Reddit?[Meta] Are we Reddit?
02/15/2012A Concept Design for C++A Concept Design for C++
02/16/2012Thanks!A Concept Design for C++
02/14/2012Why Concatenative Programming MattersWhy Concatenative Programming Matters
01/31/2012Semantic checksSyntax Desugaring Algorithm Question
12/19/2011Cambridge Course on "Usability of Programming Languages"Cambridge Course on "Usability of Programming Languages"
12/23/2011Theory and practiceCambridge Course on "Usability of Programming Languages"
12/09/2011"Casting"Designing a languge — what theory is a must?
06/22/2011See50 in 50: Steele & Gabriel at RailsConf 2011
05/23/2011Got the t-shirtRob Pike: Public Static Void
05/16/2011[citation needed]Why is tail call optimization an issue in GC'd languages?
05/16/2011Taken back but with a different questionWhy is tail call optimization an issue in GC'd languages?
05/16/2011reclamation orderWhy is tail call optimization an issue in GC'd languages?
05/16/2011Reclaiming spaceWhy is tail call optimization an issue in GC'd languages?
05/16/2011Problems with CWhy is tail call optimization an issue in GC'd languages?
05/13/2011A Larger Decidable Semiunification ProblemA Larger Decidable Semiunification Problem
05/10/2011One Pass Real-Time Generational Mark-Sweep Garbage CollectionOne Pass Real-Time Generational Mark-Sweep Garbage Collection
04/13/2011Not in ScalaRedhat's New Language
04/13/2011"First class" functionsRedhat's New Language
04/14/2011EqualityRedhat's New Language
03/28/2011Finding and Understanding Bugs in C CompilersFinding and Understanding Bugs in C Compilers
06/28/2012Definitions, definitionsBob Harper of CMU is blogging about programming languages and introductory CS education
03/02/2011OCaps vs destructive reflectionObject capabilities for protecting object slots in prototype-based languages?
03/09/2011C++ compile timesMiddle History of Logic Programming
03/04/2011Type classes?InfoQ video + transcript of Rob Pike on Go
03/07/2011Got yaInfoQ video + transcript of Rob Pike on Go
02/18/2011The Habit Programming Language: The Revised Preliminary ReportThe Habit Programming Language: The Revised Preliminary Report
02/24/2011ArbiterMonads vs. Actors
02/24/2011Maybe not choiceMonads vs. Actors
01/27/2011Invertible Syntax Descriptions: Unifying Parsing and Pretty PrintingInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing
01/24/2011Not just destructuring, pattern matchingPoints in the Pattern Matching Design Space
02/07/2011Limitations?I've run out of programming languages to study
02/09/2011OkayI've run out of programming languages to study
01/11/2011Language Virtualization for Heterogeneous Parallel ComputingLanguage Virtualization for Heterogeneous Parallel Computing
01/10/2011Extended synopsisScala Team Wins ERC Grant
01/11/2011Small correction and a clarificationRuntime code generation for partial application?
12/21/2010The Semicolon WarsThe Semicolon Wars
12/20/2010Azul's Pauseless Garbage CollectorAzul's Pauseless Garbage Collector
12/20/2010May not qualifyInteresting Standard Libraries to Study
12/20/2010Never meta-programming I didn't likePrototyping a new language with Haskell
12/16/2010Stressed by Distributed Programming? Well, CALM Down.Stressed by Distributed Programming? Well, CALM Down.
12/02/2010YeahHaskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
11/29/2010Yacc is deadYacc is dead
11/09/2010ConfusedGosu Released
11/09/2010Still confusedGosu Released
11/10/2010WordingGosu Released
11/10/2010Clear nowGosu Released
11/02/2010Conservative LogicConservative Logic
10/28/2010ReflexiveDo you happen to hear about pre-equivalence?
10/28/2010Not graphicalDo you happen to hear about pre-equivalence?
10/28/2010Same to isomorphismDo you happen to hear about pre-equivalence?
10/26/2010[Admin] Front page worthyErasure and Polymorphism in Pure Type Systems
10/26/2010Conor McBrideErasure and Polymorphism in Pure Type Systems
09/21/2010Prior ArtFunLoft reactive, concurrent programming language
09/16/2010Not quiteMildly Extended MixFix
09/08/2010Fairness and InteractivityIs Transactional Programming Actually Easier?
08/27/2010More?Theoretical Computer Science StackExchange Beta now open
09/13/2010Actors changing behaviorUnifying Actors and Objects?
07/28/2010What's in a name?It's been ten years!
07/26/2010Bounded ExistentialsContainers and Inheritance
07/22/2010nopeThe Future of C#
07/07/2010Come on in, the sun in shining and the tar is warmUncle Bob's talk at RailsConf 2010
06/30/2010Compiling Structural Types on the JVMCompiling Structural Types on the JVM
06/30/2010facepalmCompiling Structural Types on the JVM
05/30/2010Don't followAdding Type Constructor Parameterization to Java
06/01/2010It doesAdding Type Constructor Parameterization to Java
06/02/2010"Impure"Adding Type Constructor Parameterization to Java
06/03/2010Arrays and suchAdding Type Constructor Parameterization to Java
06/08/2010Not seeing itAdding Type Constructor Parameterization to Java
06/04/2010Very weakAdding Type Constructor Parameterization to Java
06/07/2010<Austrian accent>Weak like a puny little babyAdding Type Constructor Parameterization to Java
05/14/2010The Right ToolThe Right Tool
05/15/2010"Code" Studies?"Critical code studies"
05/12/2010Parametric polymorphismA solution to the catcall problem in Eiffel
05/12/2010Correct and ReliableA solution to the catcall problem in Eiffel
04/15/2010seL4: Formal Verification of an Operating-System KernelseL4: Formal Verification of an Operating-System Kernel
06/16/2010FixedseL4: Formal Verification of an Operating-System Kernel
04/16/2010Reliability through painHow can C Programs be so Reliable?
04/14/2010CRepresenting Type Information in Dynamically Typed Languages
09/09/2010RescindediPhone PL lockdown
01/05/2012Contrasting exceptions and continuationsGo's proposed panic/recover exception-like mechanism
03/22/2010Interview with Robin MilnerLate Robin Milner
03/10/2010Outside ACM PaywallShould let be generalized?
03/10/2010SchemeHave tracing JIT compilers won?
02/25/2010Can a Biologist Fix a Radio?Can a Biologist Fix a Radio?
02/19/2010Stupid Scala Trick?Small PL Thought Experiment
02/17/2010It's not an LtU discussion if there's no paperHistorical question
02/17/2010fixedHistorical question
02/11/2010Recursion?Why prolog is by far the best, most productive, easiest programming language
12/23/2009Scala is not a capabilities based languageParameterized Modules
12/23/2009Parametric polymorphismParameterized Modules
12/21/2009Ignore bottom?Chunked sequences: Lookahead laziness
12/16/2009NotationQuestion about the Scalina calculus
12/17/2009I might be wrong, butQuestion about the Scalina calculus
11/11/2009A (Mixed) Review from a GooglerGo or Unladen Swallow?
11/06/2009John Hughes on Erlang and HaskellJohn Hughes on Erlang and Haskell
08/20/2009Not just historical contextWhy determinism matters in language design.
08/17/2009Definitionsfunctions vs procedures..
08/18/2009Nopefunctions vs procedures..
08/18/2009Effects?functions vs procedures..
08/18/2009Crudefunctions vs procedures..
08/17/2009"It isn't of practical use"Kinds of Null
08/14/2009C's ambiguity is not similarPerl Cannot Be Parsed: A Formal Proof
08/11/2009"valid"Avoid a Void: eradicating null-pointer dereferencing
08/11/2009Some commentsAvoid a Void: eradicating null-pointer dereferencing
08/06/2009Observational Equality, Now!Observational Equality, Now!
08/05/2009Objects as Modules in NewspeakObjects as Modules in Newspeak
08/05/2009Verified Programming in GuruVerified Programming in Guru
08/03/2009Programming Made "Simple"Programming Made "Simple"
08/02/2009Creator of Qi Calls It QuitsCreator of Qi Calls It Quits
08/02/2009Previously on LtUCreator of Qi Calls It Quits
08/07/2009Back at youDefinition of Functional Programming Language
07/28/2009Evaluation and Usability of Programming Languages and Tools (PLATEAU)Evaluation and Usability of Programming Languages and Tools (PLATEAU)
07/28/2009quotingResolved Debates in Syntax Design ?
07/21/2009Apollo 11 Source Code on GoogleCodeApollo 11 Source Code on GoogleCode
07/21/2009Two wrongs don't make a right, but two bugs do.Apollo 11 Source Code on GoogleCode
07/20/2009Concepts Get Voted Off The C++0x IslandConcepts Get Voted Off The C++0x Island
07/23/2009MonoidConcepts Get Voted Off The C++0x Island
07/16/2009Wasn't me, but it's up.Proposing a LtU twitter (news) feed ...
07/11/2009Any bets?Announcing the new Haskell Prime process, and Haskell 2010
07/10/2009Intellectual propertyOpen Source for Hardware?
07/09/2009Oh no! Animated Alligators!Oh no! Animated Alligators!
06/14/2009Principia NarcissusPreventing downcasting and adding a universal variant
06/14/2009Some idle thoughtsPreventing downcasting and adding a universal variant
06/12/2009DowncastingPreventing downcasting and adding a universal variant
05/18/2009Example 2Extension Methods versus Structural Typing of Traits for solving the expression problem
05/18/2009Example 2 with ImplicitsExtension Methods versus Structural Typing of Traits for solving the expression problem
05/18/2009Example 2 with Structural TypesExtension Methods versus Structural Typing of Traits for solving the expression problem
05/19/2009Type aliasesExtension Methods versus Structural Typing of Traits for solving the expression problem
05/16/2009Types are Calling ConventionsTypes are Calling Conventions
05/16/2009History is Easy...A Brief, Incomplete ... History of Programming Languages
04/09/2010Still no ALGOLA Brief, Incomplete ... History of Programming Languages
05/07/2009An Interview with the Diamondback Ruby TeamAn Interview with the Diamondback Ruby Team
04/15/2009Semantics of Memory Management for Polymorphic LanguagesSemantics of Memory Management for Polymorphic Languages
04/14/2009Practical Implementation of a Dependently Typed Functional Programming LanguagePractical Implementation of a Dependently Typed Functional Programming Language
04/14/2009Scala Lift Off 2009Scala Lift Off 2009
05/29/2009Update - location and scheduleScala Lift Off 2009
04/11/2009ADD 50 TO COBOL GIVING COBOLADD 50 TO COBOL GIVING COBOL
04/11/2009Rename?ADD 50 TO COBOL GIVING COBOL
04/12/2009Book for youADD 50 TO COBOL GIVING COBOL
04/09/2009Capabilities for External UniquenessCapabilities for External Uniqueness
05/14/2010UpdateCapabilities for External Uniqueness
04/07/2009Jonathon Shapiro Wraps Up BitCJonathon Shapiro Wraps Up BitC
03/11/2009Languages and security: a short reading listLanguages and security: a short reading list
03/25/2009Comprehending monadsInfluence of cognitive models on programming language design
02/23/2009Wadler weighs inDenotational design with type class morphisms
01/17/2009See Rice's TheoremWeird computability problem relating to state + lambda calculus
01/15/2009Closures and objectsLooking for papers describing advanced language topics in terms of C programming
01/15/2009ScopingLooking for papers describing advanced language topics in terms of C programming
01/15/2009Recursion and stuffLooking for papers describing advanced language topics in terms of C programming
01/17/2009Not lexicalLooking for papers describing advanced language topics in terms of C programming
01/14/2009On the Strength of Proof-Irrelevant Type TheoriesOn the Strength of Proof-Irrelevant Type Theories
01/15/2009Please use "reply"Introducing Dawn - yet another new language
01/13/2009What Are The Resolved Debates in General Purpose Language Design?What Are The Resolved Debates in General Purpose Language Design?
01/13/2009Memory safetyWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009DebateWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009It is silly - mostlyWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009LexicalWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009CancelledWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009It's a good pointWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009ImagesWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009The cynic in meWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009NumbersWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009Speaking of recursionWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Literals?What Are The Resolved Debates in General Purpose Language Design?
01/13/2009Type inference not settledWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009Not resolvedWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009I'm not sureWhat Are The Resolved Debates in General Purpose Language Design?
01/13/2009Global variablesWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Irrefutable photographic evidenceWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009Yes, or...What Are The Resolved Debates in General Purpose Language Design?
01/07/2009R in the New York TimesR in the New York Times
01/06/2009Definitely worth a readJMatch (abstract iterable pattern matching for Java) and the Polyglot Compiler Framework
01/06/2009Doesn't count"Determinism" of types?
12/28/20082008 In Review - What Happened with Programming Languages?2008 In Review - What Happened with Programming Languages?
12/30/2008Heavy lifting2008 In Review - What Happened with Programming Languages?
01/06/2009The implied premise is faulty2008 In Review - What Happened with Programming Languages?
12/29/2008Java is dead, long live Java!2008 In Review - What Happened with Programming Languages?
12/29/2008Scoring myself2008 In Review - What Happened with Programming Languages?
01/01/2009Statically typed functional languages2008 In Review - What Happened with Programming Languages?
01/03/2009Clever2008 In Review - What Happened with Programming Languages?
01/04/2009C++2008 In Review - What Happened with Programming Languages?
01/08/2009The graphs don't support conclusion2008 In Review - What Happened with Programming Languages?
12/24/2008Expression problemPrinciples or patterns in FP
12/21/2008PinS and RWH are Jolt FinalistsPinS and RWH are Jolt Finalists
03/12/2009Real World Haskell wins!PinS and RWH are Jolt Finalists
12/19/2008Tool relatedIf Programming Languages were <T>
12/19/2008Light bulb jokesIf Programming Languages were <T>
12/17/2008Moar!Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/18/2008Please click "reply"Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/15/2008Programmable Concurrency in a Pure and Lazy LanguageProgrammable Concurrency in a Pure and Lazy Language
12/16/2008Scala programming lazilyProgrammable Concurrency in a Pure and Lazy Language
12/19/2008"Real world"Fundamental Flaws in Current Programming Language Type Systems
01/08/2009BitCFundamental Flaws in Current Programming Language Type Systems
11/29/2008Qi IIQi II
12/18/2008Book onlineQi II
11/28/2008Higher level modelFunctional building blocks as concurrency patterns
12/03/2008Seriously?Functional building blocks as concurrency patterns
12/02/2008A literal race conditionFunctional building blocks as concurrency patterns
12/02/2008Nonstandard?Functional building blocks as concurrency patterns
12/03/2008Shared stateFunctional building blocks as concurrency patterns
12/03/2008Yes but still no raceFunctional building blocks as concurrency patterns
11/29/2008Conversions and viewsFunctional building blocks as concurrency patterns
11/29/2008Some thoughtsFunctional building blocks as concurrency patterns
11/26/2008Real instruction setsClojure: Trampoline for mutual recursion
11/27/2008Not a problemClojure: Trampoline for mutual recursion
11/27/2008You and everybody elseClojure: Trampoline for mutual recursion
11/27/2008Some confusionClojure: Trampoline for mutual recursion
11/25/2008I'm with NaaskingNon-standard type theories for FP
11/26/2008Cripes?Non-standard type theories for FP
11/26/2008To answer my own cripesNon-standard type theories for FP
11/15/2008MP4, WMVMicrosoft PDC "Language" Talks
11/12/2008ScalaFirst-Class Patterns
11/13/2008OopsFirst-Class Patterns
11/13/2008Talking about the same "patterns?"First-Class Patterns
11/13/2008Representation?Subtyping + overloading
11/12/2008Whole programThe Origins of the BitC Programming Language
10/17/2008SecurityOn the (perceived) equivalence of static and dynamically typed reflective programming languages
10/06/2008PEG != packratParsing Expression Grammars
10/05/2008"Pure"Clojure talk videos
09/29/2008Arity and curried functionsHelp with N-Ary functions?
09/30/2008Got yaHelp with N-Ary functions?
09/30/2008Subtyping RelationshipHelp with N-Ary functions?
09/28/2008Ola BiniJVM Language Summit report
09/26/2008HmmmOn a method of expressing by signs the action of machinery
09/28/2008Mutation and message passingReia: Python/Ruby style language on top of Erlang
10/02/2008Good pointReia: Python/Ruby style language on top of Erlang
10/02/2008No side effectsReia: Python/Ruby style language on top of Erlang
09/23/2008A couple of solutionsSpecializing values in a functional language
09/24/2008SubtypingSpecializing values in a functional language
09/24/2008MiscommunicationSpecializing values in a functional language
09/20/2008GHC moves at lightspeedSimon Peyton Jones Interview
09/22/2008ExpandingSimon Peyton Jones Interview
09/19/2008No unionsIs API evolution of exceptions special?
10/02/2008Not exactlyIs API evolution of exceptions special?
09/19/2008Solutions to checked exceptionsIs API evolution of exceptions special?
09/23/2008LazinessIs API evolution of exceptions special?
09/23/2008type level mappingIs API evolution of exceptions special?
09/17/2008Programmer thoughtThe Transactional Memory / Garbage Collection Analogy
09/17/2008Actually a bit harderThe Transactional Memory / Garbage Collection Analogy
09/17/2008SighThe Transactional Memory / Garbage Collection Analogy
09/15/2008First-class MacrosFirst-class Macros
09/17/2008Not with hygienic macrosFirst-class Macros
09/18/2008Unless I missed somethingFirst-class Macros
09/18/2008Sweet, sweet sugarFirst-class Macros
09/18/2008Types, modules, etcFirst-class Macros
09/23/2008Not exactly what naasking was sayingFirst-class Macros
09/18/2008S-exp's and sugarFirst-class Macros
09/19/2008RestrictionsFirst-class Macros
09/12/2008Haskell's little fibIrresistible programs
09/12/2008Duff's deviceIrresistible programs
09/12/2008A different kind of "irresistible"Irresistible programs
09/12/2008Cellular automataIrresistible programs
09/12/2008Prolog's appendIrresistible programs
09/12/2008Prolog challengeIrresistible programs
09/12/2008QuinesIrresistible programs
09/12/2008Self referenceIrresistible programs
09/10/2008Polymorphic Algebraic Data Type ReconstructionPolymorphic Algebraic Data Type Reconstruction
09/10/2008Algorithms don't kill peoplePolymorphic Algebraic Data Type Reconstruction
09/08/2008Clojure's Approach to Identity and StateClojure's Approach to Identity and State
09/08/2008In the articleClojure's Approach to Identity and State
09/06/2008The same thingML Closure vs Scheme Closure
09/06/2008Previously on LtUML Closure vs Scheme Closure
09/03/2008Communicating Scala ObjectsCommunicating Scala Objects
09/02/2008Unchecked Exceptions can be Strictly More Powerful than Call/CCUnchecked Exceptions can be Strictly More Powerful than Call/CC
09/02/2008As a follow upUnchecked Exceptions can be Strictly More Powerful than Call/CC
09/02/2008Not sureUnchecked Exceptions can be Strictly More Powerful than Call/CC
09/02/2008Alternative URLUnchecked Exceptions can be Strictly More Powerful than Call/CC
09/03/2008dynamic-wind and call/ccUnchecked Exceptions can be Strictly More Powerful than Call/CC
09/03/2008Scheme promisesUnchecked Exceptions can be Strictly More Powerful than Call/CC
09/03/2008What it saysUnchecked Exceptions can be Strictly More Powerful than Call/CC
08/30/2008Java chose "yes and no"Should nested types capture type parameters?
08/29/2008Versioned variablesDistributed/Parallel language semantics
09/02/2008STMDistributed/Parallel language semantics
08/29/2008DensityIs COBOL really understandable after 14 years.
08/27/2008Towards Hard Real-Time ErlangTowards Hard Real-Time Erlang
08/27/2008SureTowards Hard Real-Time Erlang
08/27/2008I'm honoredTowards Hard Real-Time Erlang
08/27/2008OopsTowards Hard Real-Time Erlang
08/27/2008See AlsoReal-Time Concurrent Issues Drive Ada versus Java Choice
08/24/2008Assembly versioningLanguages ready for API Evolution
08/22/2008Previously on LtULooking for an auto-lifting language.
08/21/2008"Wrong" locationError Messages in Dynamically Typed Languages
08/21/2008What are operators? (part 2)Languages without operator precedence
08/29/2008McIlroyoutput language for new statically typed language?
08/13/2008Scheme is perfect?Staapl: Forth on Scheme for embedded controllers
08/11/2008A related discussionProgramming Language Beauty: Look Closure
08/11/2008Just the wordingProgramming Language Beauty: Look Closure
08/13/2008I still think it's partialityProgramming Language Beauty: Look Closure
08/10/2008Impure languagesUsefullness of constants
08/10/2008Scala doesn't unify (quite)Usefullness of constants
08/11/2008Sure, but...Usefullness of constants
08/12/2008CacheDifferentiating regions
08/10/2008Visitor vs generic function vs ADTPatrick Logan on patterns
08/11/2008Not my pointPatrick Logan on patterns
08/11/2008I don't get itPatrick Logan on patterns
08/11/2008Ah!Patrick Logan on patterns
08/11/2008IndeedPatrick Logan on patterns
08/11/2008ML/HaskellPatrick Logan on patterns
08/11/2008Pattern Matching with ObjectsPatrick Logan on patterns
07/28/2008Happy BirthdayHappy Birthday, dear Lambda!
11/02/2010[Admin] Promoted to the front pageBeyond FRP: physics-inspired programming abstractions?
07/24/2008OrderingFP in D 2.0
07/25/2008Redefining old phrasesFP in D 2.0
07/22/2008Source-to-source transformationWhat to do about comments?
07/31/2008Not bad...just awkwardPractical Bits of Making a Compiler for a New Language
08/04/2008Bytecode is a distractionPractical Bits of Making a Compiler for a New Language
07/15/2008Ada, the Ultimate Lambda?Ada, the Ultimate Lambda?
07/18/2008Nerd HumorAda, the Ultimate Lambda?
07/12/2008SQLIn search for a programming language to replace spreadsheets.
07/08/2008Previously on LtUOf Generics and Erasure and, of all things, GC and memory layout
06/29/2008HaskellThe hits and misses of Microsoft
07/05/2008Recursion and historyThe hits and misses of Microsoft
06/28/2008AddedRequest for participation
06/28/2008Up to youRequest for participation
06/23/2008Lambda in the Sun - Southern California Functional ProgrammersLambda in the Sun - Southern California Functional Programmers
06/17/2008Side effect freeFunctional Programming in the ACM CS Curriculum
06/07/2008JVM Language SummitJVM Language Summit
07/30/2008Reigstration is openJVM Language Summit
08/27/2008Agenda postedJVM Language Summit
06/01/2008Domain specific type systemswhat a type system always proves vs. what it can be made to prove
05/29/2008Not the common terminologyDSLs: Embedded, standalone, or both?
05/25/2008Previously on LtUCategory theory in design
05/20/2008Templates or Boxing or Tagged ReferencesGeneric types
05/20/2008ThanksGeneric types
05/13/2008Cultural mixingScala Lift Off Unconference review
05/20/2008It's pretty fundamentalScala Lift Off Unconference review
05/20/2008Variance in JavaScala Lift Off Unconference review
05/25/2008Heavy influenceScala Lift Off Unconference review
05/26/2008Structural typingScala Lift Off Unconference review
05/26/2008Another updateScala Lift Off Unconference review
04/26/2008The loop-holeIs Halting Problem Valid for P?
04/29/2008It worked onIs Halting Problem Valid for P?
04/29/2008No recursionIs Halting Problem Valid for P?
05/02/2008Thankfully, it's been answeredIs Halting Problem Valid for P?
04/25/2008Real world2nd Revision of "Thoughts about the Best Introductory Language"
04/18/2008Only one lookupStatic Typing and Expressivity
04/25/2008RedundancyStatic Typing and Expressivity
03/28/2008MyType, ThisType, SelfType, ThisClass, etcThis class type
03/26/2008Slightly off-tangentOngoing work on Supercompilation of Java code (or supercompilation in general)?
08/20/2008Online supercompilerOngoing work on Supercompilation of Java code (or supercompilation in general)?
03/26/2008You ask that like it's a good thingOngoing work on Supercompilation of Java code (or supercompilation in general)?
03/27/2008Supercompilation as proof assistanceOngoing work on Supercompilation of Java code (or supercompilation in general)?
03/29/2008General applicationsCERT C Secure Coding Standard
02/28/2008ConstructorsIs null needed?
07/23/2008With lazinessIs null needed?
07/23/2008D'oh!Is null needed?
07/24/2008Not so clearIs null needed?
02/26/2008C Style UnionsUnion types in Java?
02/26/2008Why?Union types in Java?
05/28/2008Counter hypothesissuccinctness
02/08/2008Congratulations!10 Years of Purely Functional Data Structures
02/09/2008Probably because ofLeaning how to judge the right tool for the job?
02/06/2008Lambda the ultimate...Project LambdaCan
02/07/2008OO people call it...Project LambdaCan
02/05/2008Asynchronous methodsSignals in an OOPL
02/05/2008Semantics appendedSignals in an OOPL
02/05/2008ActorsSignals in an OOPL
02/05/2008BackgrounderLatest usability for polymorphism?
02/05/2008Studying the way people thinkLatest usability for polymorphism?
02/05/2008Complementary, not opposedLatest usability for polymorphism?
02/03/2008Some LtU on FL, FYIFL programming language
02/02/2008It was my impression...A name for this form of variable capture?
08/12/2008To quote myselfA name for this form of variable capture?
02/02/2008Not pedantic - good design alternativeA name for this form of variable capture?
02/02/2008SICPA name for this form of variable capture?
02/03/2008Could have been doneA name for this form of variable capture?
02/03/2008That was itA name for this form of variable capture?
02/01/2008Help, I've been hackedDon't try FP in industry!
01/30/2008Dear Mr. Graham,Arc is released
01/30/2008Early alphaArc is released
01/31/2008Quite recentlyArc is released
01/31/2008Ya knowArc is released
01/30/2008Not exactly(noob question) method parameters in co-and-contravariance issue
01/31/2008Nope(noob question) method parameters in co-and-contravariance issue
02/01/2008But...The YNot Project
01/28/2008HCIFortress Presentation
01/28/2008ThanksFortress Presentation
01/24/2008Multiple dimensionsHow useful is reflection, anyway?
01/25/2008The difference isn't that importantHow useful is reflection, anyway?
01/23/2008Not soHow useful is reflection, anyway?
01/23/2008This thread has gone into bizarro worldHow useful is reflection, anyway?
01/24/2008Still not needed, unless...How useful is reflection, anyway?
01/24/2008LiskellThe Design and Implementation of Typed Scheme
01/22/2008SingletonsCompile-Time Execution in an Object Oriented Language
01/19/2008Bottom is uninhabitedImpact of OO language style on code
01/19/2008How so?Impact of OO language style on code
01/21/2008It looks like I was wrongImpact of OO language style on code
01/16/2008Growing painsTreetop: Packrat Parser Generator for Ruby
01/17/2008effects systems and dynamic typingRuby vs. Smalltalk
01/14/2008Predictions for Scala in 2008Prediction for 2008
01/14/2008Eager HaskellPrediction for 2008
01/15/2008Industrial communityPrediction for 2008
01/16/2008Why JS?Prediction for 2008
01/30/2008Woohoo! I winPrediction for 2008
01/31/2008Hello,Prediction for 2008
01/09/2008Slamming Java for the wrong reasonComputer Science Education: Where Are the Software Engineers of Tomorrow?
01/15/2008Eiffel(newbie question) Covariance and contravariance
12/18/2007JVM LispsConcurrency with Scheme
12/19/2007A slightly different takeConcurrency with Scheme
12/13/2007Rhetorical device?Avi Bryant: Ruby IS-A Smalltalk
12/14/2007Hard to have it both waysCUFP write-up
12/14/2007Still not their jobCUFP write-up
12/12/2007Multiple dispatchOrigin of the term Multimethod
12/12/2007Exactly like pattern matching but totally differentOrigin of the term Multimethod
12/12/2007symmetric vs asymmetric mutlimethodsOrigin of the term Multimethod
12/12/2007Assymetric vs encapsulatedOrigin of the term Multimethod
12/12/2007Obligatory linkOrigin of the term Multimethod
12/19/2007I was under the impression...A Growable Language Manifesto
12/19/2007Limited typingA Growable Language Manifesto
12/06/2007/I, Singular Sensationpoll: syntax
12/07/2007Anybody who writes software in a QNLpoll: syntax
12/06/2007Syntax for what, exactly?poll: syntax
12/07/2007Semantics assumed?poll: syntax
12/10/2007Say what?poll: syntax
12/10/2007Confusing library with the language syntaxpoll: syntax
12/10/2007Apologiespoll: syntax
12/12/2007Say what, again?poll: syntax
11/28/2007Java 7 - nopeClojure
11/28/2007Oops, thanksClojure
11/28/2007Limited TCO?Clojure
11/28/2007NiceClojure
11/20/2007PLT meets economics meets peopleSamurai - Protecting Critical Data in Unsafe Languages
11/21/2007Probably talking about immutabilityWhat are the properties of "Functional Programming Languages"?
11/21/2007Um, the question was..What are the properties of "Functional Programming Languages"?
11/22/2007ErlangWhat are the properties of "Functional Programming Languages"?
11/23/2007I wonder if anybody ever noticed that before?What are the properties of "Functional Programming Languages"?
11/21/2007Not sure I followWhat are the properties of "Functional Programming Languages"?
11/22/2007Hats OffWhat are the properties of "Functional Programming Languages"?
11/25/2007Two meaningsWhat are the properties of "Functional Programming Languages"?
01/15/2008Talk from BayFPWell-typed programs can't be blamed
11/15/2007Interspecies Cross PollinationDavid Pollak on lift
11/15/2007Dude, Crank It Up!David Pollak on lift
11/28/2007global vs local reasoningOn the Importance of Purity
11/28/2007A concrete example of refactoringOn the Importance of Purity
11/19/2007OO is pretty functionalExamples of large-scale functional language projects
11/19/2007Ruby and CLExamples of large-scale functional language projects
11/19/2007Avoid the jihad - and the Christmas rushExamples of large-scale functional language projects
11/19/2007Language vs its usageExamples of large-scale functional language projects
11/19/2007Usage matters, but...Examples of large-scale functional language projects
11/19/2007ErlangExamples of large-scale functional language projects
11/19/2007Fair enoughExamples of large-scale functional language projects
11/19/2007Idiom is in the eye of the bonnetExamples of large-scale functional language projects
01/25/2008Similar counter argumentMapReduce
08/13/2008Works only in some fairly restrictive conditionsPatrick Logan on Software Transaction Memory
12/13/2007Rejuvenating - what about other nested constructs?What is a "fully featured closure"? Request for comments.
12/13/2007SugarWhat is a "fully featured closure"? Request for comments.
12/13/2007Closures as implementationWhat is a "fully featured closure"? Request for comments.
12/14/2007Fair enoughWhat is a "fully featured closure"? Request for comments.
01/16/2008It's not Ruby's faultruby vs python
10/22/2008IndeedGeneralized Algebraic Data Types and Object-Oriented Programming
10/29/2008EffectsObject Oriented Programming + Referential Transparency
04/06/2010Common misconceptionStatic Typing Where Possible, Dynamic Typing When Needed
11/30/2008That's not stupidityShoot-out: most annoying compiler error message
07/05/2008Types and annotations and speedWhy type systems are interesting
12/10/2008Monads to the peopleExplaining monads

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