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

Posts By: Vesa Karvonen

  Date    Post    Topic  
05/24/2010MLton Compiler OverviewTypes/Ordering of canonical FP compiler transforms and optimizations?
12/23/2008NiceFunctional Pearl: Type-safe pattern combinators
12/23/2008Exhaustiveness checkingFunctional Pearl: Type-safe pattern combinators
02/23/2009...something like the Monad '>>' operator...First-Class Patterns
10/21/2008Mechanism over abilityConstructor classes
09/20/2008CorrectionFirst-class Macros
06/25/2008Tell the type by looking at a functionScaling Type Inference
06/26/2008Types in signaturesScaling Type Inference
06/26/2008BenefitScaling Type Inference
06/29/2008Shrinking to avoid consingMultiple Value Return - Common Lisp vs. Tuples and destructuring
04/03/2008Term Rewriting and All ThatRewriting rules for deducing properties of functions
03/07/2008SML is almost thereConfused Deputies in Programming Languages
03/07/2008If you're loadingConfused Deputies in Programming Languages
03/07/2008Copying collectionsConfused Deputies in Programming Languages
02/28/2008ExpectationsIs null needed?
02/28/2008Propagation, external stimuli, and contextexceptions again
02/20/2008That would be an encodingWhen Is A Functional Program Not A Functional Program?
02/21/2008Safe?When Is A Functional Program Not A Functional Program?
02/21/2008So, it is just like C.When Is A Functional Program Not A Functional Program?
02/21/2008Lovely rhetoric, but still exactly the sameWhen Is A Functional Program Not A Functional Program?
02/22/2008re: Entirely possible to reason about in all circumstancesWhen Is A Functional Program Not A Functional Program?
02/22/2008Monomorphic typesWhen Is A Functional Program Not A Functional Program?
02/21/2008re: Static-typing and dynamic-typing are fundamentally the sameGilad Bracha: Cutting out Static
02/22/2008Track recordGilad Bracha: Cutting out Static
02/22/2008The typesGilad Bracha: Cutting out Static
02/23/2008Semantic objectsGilad Bracha: Cutting out Static
02/27/2008Who needs GADTs?Gilad Bracha: Cutting out Static
02/27/2008Phantom record of phantom booleansGilad Bracha: Cutting out Static
02/27/2008Absence of capabilityGilad Bracha: Cutting out Static
02/27/2008Without enumeratingGilad Bracha: Cutting out Static
02/13/2008A large steaming pile of uglinessLanguages and data conversions.
01/26/2008Kudos for gutsy language changes!Really un-mutable Scheme
01/29/2008eqv?Really un-mutable Scheme
01/27/2008Argument type dependent functionsThe Design and Implementation of Typed Scheme
01/27/2008Use of module systemThe Design and Implementation of Typed Scheme
01/27/2008NopeThe Design and Implementation of Typed Scheme
01/28/2008New and old termsThe Design and Implementation of Typed Scheme
01/29/2008EncodingThe Design and Implementation of Typed Scheme
01/29/2008Functions not argumentsThe Design and Implementation of Typed Scheme
12/04/2007Having watched the first 10Subtext 2 Video
11/21/2007Parametricity and MLSamurai - Protecting Critical Data in Unsafe Languages
11/21/2007CountingSamurai - Protecting Critical Data in Unsafe Languages
10/29/2007Discrete SystemsSearching for a quote
11/15/2007ML + ErlangErlOCaml
11/18/2007Keep your FUD on your own blogExamples of large-scale functional language projects
11/19/2007My comment was intended for everyoneExamples of large-scale functional language projects
07/05/2007Communication and synchronization mechanismsAsynchronous calls and error handling
06/28/2007Protocol free objectsSingularity: Rethinking the Software Stack
06/28/2007You can use a monadSingularity: Rethinking the Software Stack
06/28/2007Not publishing benchmarksStanding on each others' feet
06/27/2007Mircobenchmark biasStanding on each others' feet
06/27/2007Insight, not numbersStanding on each others' feet
06/28/2007TradeoffsStanding on each others' feet
06/28/2007The no partStanding on each others' feet
06/28/2007TriteStanding on each others' feet
07/01/2007Have you given a specific exampleStanding on each others' feet
07/01/2007The opposite of the scientific methodStanding on each others' feet
07/01/2007The thing is...Standing on each others' feet
07/02/2007re: burden of proofStanding on each others' feet
06/28/2007What do language shootouts really measure?Standing on each others' feet
07/01/2007Something to look atStanding on each others' feet
06/09/2007SML ResourcesECMAScript Edition 4 Reference Implementation
06/09/2007Learning to readECMAScript Edition 4 Reference Implementation
06/09/2007The vast majority of working programmersECMAScript Edition 4 Reference Implementation
06/09/2007Porting problemsECMAScript Edition 4 Reference Implementation
06/09/2007ES4 and LinuxECMAScript Edition 4 Reference Implementation
06/09/2007Reviewing the codeECMAScript Edition 4 Reference Implementation
02/13/2008Two sets of functions"Practical" advantages of lazy evaluation
02/15/2008Wrong default"Practical" advantages of lazy evaluation
02/16/2008Correctness, predictability"Practical" advantages of lazy evaluation
02/16/2008And the point is?"Practical" advantages of lazy evaluation
02/16/2008Prone to leaks"Practical" advantages of lazy evaluation
02/17/2008Just google for "Haskell space leak"."Practical" advantages of lazy evaluation
02/17/2008That has already been"Practical" advantages of lazy evaluation
02/17/2008Easier said than done"Practical" advantages of lazy evaluation
02/17/2008"Practical" advantages of lazy evaluation"Practical" advantages of lazy evaluation
02/17/2008Re: using binary search to insert strictness annotations"Practical" advantages of lazy evaluation
02/17/2008Simplistic"Practical" advantages of lazy evaluation
02/17/2008It is not a complaint"Practical" advantages of lazy evaluation
02/17/2008Confused"Practical" advantages of lazy evaluation
02/17/2008"Space leak" sounds awful"Practical" advantages of lazy evaluation
02/18/2008Free pass?"Practical" advantages of lazy evaluation
02/18/2008Re: CPS transform"Practical" advantages of lazy evaluation
02/18/2008Relevance"Practical" advantages of lazy evaluation
02/17/2008Predictability not optimality"Practical" advantages of lazy evaluation
02/17/2008Syntactically apparent from the producer"Practical" advantages of lazy evaluation
05/25/2007StagingCurrying != Generalized Partial Application?!
05/08/2007What is really needed to solve the Expression Problem(?)The Expression Problem Revisited
05/02/2007SMLIs Integer wrapping an exceptional condition?
05/10/2007Type-indexed valuesThe Monad.Reader
05/12/2007It isn't usually necessaryThe Monad.Reader
05/13/2007PLT not economicsThe Monad.Reader
05/13/2007Still waiting for the dataThe Monad.Reader
05/13/2007The Erlang example is dataThe Monad.Reader
05/13/2007Joe's description of their software development processThe Monad.Reader
05/13/2007Regarding the LL1 messageThe Monad.Reader
04/29/2007SML translationStream Fusion
04/11/2007Universal TypeCforall
01/01/2007Empty sequenceWhy numbering should start at 0
12/17/2006Just constructWhy do we need finally in try?
12/29/2006C++'s lack of finallyWhy do we need finally in try?
12/29/2006had to duplicate block2()Why do we need finally in try?
03/15/2007Exceptional SyntaxWhy do we need finally in try?
12/01/2006The TypesSK Calculus not Consider SeKsy?
10/30/2006type Randomised aBest Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!!
10/28/2006SMLWant to learn something new
10/21/2006Standard ML is what you wantSpecifying ECMAScript via ML
10/21/2006Advantages of O'Caml?Specifying ECMAScript via ML
08/29/2006If you open your copyDynamic Semantics
08/20/2006The realistic situationClosures for Java or money back
08/21/2006Mixed blessingClosures for Java or money back
08/21/2006Radix enim omnium malorum est cupiditasClosures for Java or money back
08/21/2006Well, I question theClosures for Java or money back
08/21/2006I suggest elaborating thisClosures for Java or money back
09/06/2006Closures for Java or money backClosures for Java or money back
08/25/2006Exit continuationsClosures for Java or money back
08/19/2006Pure MLCan a dynamically typed language support type inference?
08/09/2006Grounding the discussionLisp Lovers, how would you fix Lisp or bring it up to date?
08/08/2006Type traits or the Strategy pattern and dictionary translationSoftware Extension and Integration with Type Classes
07/21/2006Well, that's roughly howAdvantages of Soft Typing
07/23/2006Type-indexed family of functionsAdvantages of Soft Typing
07/25/2006A somewhat more complete solution in SMLAdvantages of Soft Typing
08/29/2006Combining type-indexed values using functorsAdvantages of Soft Typing
07/27/2006Re: Word-aroundsAdvantages of Soft Typing
07/27/2006Meaning?Advantages of Soft Typing
07/27/2006Questioning the Membrane abstractionAdvantages of Soft Typing
07/21/2006Richer type systems preventAdvantages of Soft Typing
07/21/2006and the most generic typeAdvantages of Soft Typing
07/21/2006Darn, I got it backwards.Advantages of Soft Typing
06/22/2006HOFs and readabilityWhat are the real benefits of FP?
06/20/2006This kind of insanity canThe OO barrier
06/20/2006ML does not allow you toThe OO barrier
06/18/2006Closures by themselves don'tWhy only 'minimal' languages
06/10/2006Voting/Ranking systemLtU: blog not forum!
06/10/2006Well, howabout just lettingLtU: blog not forum!
06/08/2006Fundamental problemWhy Are ALL Programming Languages So Low Level?
06/01/2006I recall seeing a similarType checking and logical errors
06/01/2006union types = enum on steroidsFirst Class Values, Types as values within a Programming Language
05/30/2006pretty much all languagesFirst Class Values, Types as values within a Programming Language
05/29/2006Expressiveness vs Static TypingBuried Treasure - No Fluff Just Stuff
05/22/2006Manual CPS transformationGilad Bracha: Will Continuations continue?
05/24/2006Have you read the article?Gilad Bracha: Will Continuations continue?
05/20/2006Escaping the Event LoopGilad Bracha: Will Continuations continue?
06/10/2006OverloadingMultidimensional Virtual Classes
05/02/2006Regarding reuseWhat do you believe about Programming Languages (that you can't prove (yet))?
03/12/2006Scheme philosophy, records and new, opaque, or abstract "types"Scheme Language Steering Committee Report to the Community
03/13/2006New "types"Scheme Language Steering Committee Report to the Community
02/28/2006Criticism of SourcesStroustrup: A Brief Look at C++0x
02/15/2006Incremental development environment = REPL?Guido: Language Design Is Not Just Solving Puzzles
02/15/2006ProductivityGuido: Language Design Is Not Just Solving Puzzles
02/06/2006Programming with Regions in the MLKitThe Next Mainstream Programming Languages
02/06/2006On RAII in higher-order languagesThe Next Mainstream Programming Languages
12/31/2005Classes vs variablesReturn of the Global Variables?
01/01/2006Class declarationsReturn of the Global Variables?
06/08/2006I want my money backThe Reasoned Schemer
08/16/2006I wrote curryspondence, aObject Oriented Programming + Referential Transparency
08/16/2006Reasoning about space consumption modularlyObject Oriented Programming + Referential Transparency
08/16/2006Garbage collecting space leaks due to laziness?Object Oriented Programming + Referential Transparency
08/16/2006Eager Haskell during GCObject Oriented Programming + Referential Transparency
09/05/2006On modularity and lazinessObject Oriented Programming + Referential Transparency
10/10/2005Obsessed to control effectsThe Church-Turing Thesis: Breaking the Myth
10/10/2005Termination of TMsThe Church-Turing Thesis: Breaking the Myth
10/10/2005I doubt that my brain...The Church-Turing Thesis: Breaking the Myth
09/20/2005Paul Mensonides is probably texpressivity of "idiomatic C++"
09/21/2005Order-PP was my hobby projectexpressivity of "idiomatic C++"
12/17/2006RT in a non-RT languageTransparent Persistence
12/17/2006Missing the pointTransparent Persistence
12/18/2006No, seems like a more fundamental misunderstandingTransparent Persistence
12/18/2006Neither more nor lessTransparent Persistence
11/02/2003Re: Nonalgorithmic programmingNonalgorithmic programming
11/03/2003Re: Nonalgorithmic programmingNonalgorithmic programming
11/02/2003Re: A big thank you to Peter Van RoyA big thank you to Peter Van Roy
10/27/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/28/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/28/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/29/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/29/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/29/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/29/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/01/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/02/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
11/05/2003Re: Macros vs. Higher-order ProgrammingMacros vs. Higher-order Programming
10/22/2003Re: State and modularityState and modularity
10/20/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/21/2003Re: B. Stroustrup: Serving the C++ CommunityB. Stroustrup: Serving the C++ Community
10/13/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/13/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/13/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
10/14/2003Re: Stroustrup's C++ Style Sweet SpotStroustrup's C++ Style Sweet Spot
09/14/2003Re: Wither SelfWhither Self
09/03/2003Re: Why don't more people use Prolog?Why don't more people use Prolog?
09/03/2003Re: Why don't more people use Prolog?Why don't more people use Prolog?
09/03/2003Re: Why don't more people use Prolog?Why don't more people use Prolog?
09/01/2003Re: Using RubyUsing Ruby
09/01/2003Re: Using RubyUsing Ruby
09/01/2003Re: Using RubyUsing Ruby
09/01/2003Re: Using RubyUsing Ruby
08/27/2003Re: Using an Abstracted Interpreter to Understand Abstract InterpretationUsing an Abstracted Interpreter to Understand Abstract Interpretation
08/28/2003Re: Using an Abstracted Interpreter to Understand Abstract InterpretationUsing an Abstracted Interpreter to Understand Abstract Interpretation
08/27/2003Re: Maybe Erlang is OO after all?Maybe Erlang is OO after all?
08/25/2003Re: Patterns in Datatype-Generic ProgrammingPatterns in Datatype-Generic Programming
08/25/2003Re: Patterns in Datatype-Generic ProgrammingPatterns in Datatype-Generic Programming
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/21/2003Re: The Trouble with Checked ExceptionsThe Trouble with Checked Exceptions
08/19/2003Re: Closures and mutabilityClosures and mutability
08/19/2003Re: Closures and mutabilityClosures and mutability
08/20/2003Re: Closures and mutabilityClosures and mutability
08/21/2003Re: Closures and mutabilityClosures and mutability
08/14/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/14/2003Re: Calculating Functional Programs: maximum segment sumCalculating Functional Programs: maximum segment sum
08/06/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/07/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/08/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/08/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
08/11/2003Re: Udell: Test before you leap into developmentUdell: Test before you leap into development
06/24/2003Re: Charming Python: Using combinatorial functions in the itertools moduleCharming Python: Using combinatorial functions in the itertools module
06/24/2003Re: Charming Python: Using combinatorial functions in the itCharming Python: Using combinatorial functions in the itertools module

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