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

Posts By: Leon P Smith

  Date    Post    Topic  
04/25/2012extra-linguistic factorsWhy and How People Use R
04/25/2012CLU is an easy case; as farWhy and How People Use R
04/26/2012"getting it right"Why and How People Use R
03/01/2012Exactly.why first-class functions
03/02/2012User-defined SQL aggregateswhy first-class functions
12/28/2011Date of paper?Seven Myths of Formal Methods Revisited
11/26/2011Support for toy interpreters usually doesn't exist.LazyK example doesn't work
10/15/2011Improving on CDennis Ritchie passed away
10/14/2011Funny, I took it to meanDennis Ritchie passed away
10/15/2011C-- is dead.Dennis Ritchie passed away
09/22/2011Yeah, I think I've seen it.Google's "The Future of JavaScript" internal memo leaked
09/13/2011As far as I can tell, itThe Trouble with Erlang
09/17/2011LFEThe Trouble with Erlang
09/09/2011The Future of PLForum Topics and Story
09/10/2011Types and AccessibilityForum Topics and Story
09/21/2011Re: LtU isn't dying, it's just *not growing*Forum Topics and Story
08/20/2011I don't know anything aboutCan somebody help me to understand some basic stuff about programming ?
08/07/2011Composing effectsLightweight Monadic Programming in ML
07/10/2011JavaScript versus the Java Virtual MachineKnockout JS
06/25/2011RMS versus Larry on LispThe Value Of Syntax?
05/30/2011Write once, run anywhere vs making all languages obsoleteRob Pike: Public Static Void
04/22/2011call/cc + letrecFirst draft of Scheme R7RS small language available
02/24/2011Will there be English subtitles online?Profiel: Henk Barendregt: Lambda calculus hits the tube
02/14/2011Monads vs Actors is kind of sillyMonads vs. Actors
02/07/2011Front PageVisual language for computer music based on Haskell
01/05/2011Definition of "closure"Runtime code generation for partial application?
01/05/2011Implementing HOFsRuntime code generation for partial application?
12/30/2010Monads are at least 62 years oldThe IO Monad is 45 years old
12/28/2010Unreleased languagesThe Semicolon Wars
11/16/2010Fortran made the same claimThe Free-Form Linguistics Revolution in Mathematica
11/15/2010Self selection bias.A Preliminary Survey on Functional Programming
11/15/2010Ehud has a dry and ironicA Preliminary Survey on Functional Programming
11/20/2010Language design is a non-linear problemA Preliminary Survey on Functional Programming
11/09/2010The Original Lambda PapersLambda the Ultimate seems an Overstatement (not)
11/09/2010Syntax versus SemanticsLambda the Ultimate seems an Overstatement (not)
11/23/2010Re: Monads don't work for concurrencyLambda the Ultimate seems an Overstatement (not)
11/30/2010Re: Monads force sequencingLambda the Ultimate seems an Overstatement (not)
12/01/2010Lazy State is a counterexampleLambda the Ultimate seems an Overstatement (not)
12/01/2010Thanks for the commentLambda the Ultimate seems an Overstatement (not)
12/02/2010What is "sequential"?Lambda the Ultimate seems an Overstatement (not)
10/12/2010Properly implemented Tail Calls?The barrier to take-up of language innovation
10/15/2010Explicit Tail Calls in C++The barrier to take-up of language innovation
10/16/2010Local C++ ObjectsThe barrier to take-up of language innovation
08/19/2010Nice SyntaxThe Grafwegen Hi Compiler named Hic release 0.1
08/19/2010Erlang syntaxThe Grafwegen Hi Compiler named Hic release 0.1
08/20/2010No tuples in the exampleThe Grafwegen Hi Compiler named Hic release 0.1
04/22/2011Not Sourceforge.The Grafwegen Hi Compiler named Hic release 0.1
08/20/2010Why stop at linear time?Type Classes as Objects and Implicits
08/20/2010You probably have the right idea.Type Classes as Objects and Implicits
08/20/2010Specialized functions versus the process of specializationType Classes as Objects and Implicits
08/20/2010Not quiteType Classes as Objects and Implicits
08/03/2010Scheme MacrosLooking for a language like...
08/01/2010Google and LtUCan't search for C#, F#, etc.
07/30/2010Dalvik tail callsAndroid languages
07/30/2010Sounds like a future front page story.Book: Pearls of Functional Algorithm Design
07/20/2010Bayesian ReasoningA proof engine for Eiffel
07/20/2010Direct LinkingA proof engine for Eiffel
06/27/2010NiceAn Eloquent Book
06/12/2010Comment navigation is broken as wellForum "Unread Posts" bug
06/07/2010Well, it substantiallyberp
05/18/2010A surprisingly highThe War on Spam
05/18/2010Yes, I agree with thisThe War on Spam
05/18/2010I think this suggestion isThe War on Spam
05/17/2010Slower is not better because it's slower."Critical code studies"
05/18/2010Well put."Critical code studies"
04/25/2010Monadic non-compositionSeeking thoughtful criticisms of functional programming and languages
04/25/2010OO versus FP {GUIs, IDEs}Seeking thoughtful criticisms of functional programming and languages
04/22/2010Yep, I agree.SEC interested in formalising contracts ... in Python
04/22/2010S/360 Principles of OperationHow can C Programs be so Reliable?
04/09/2010Paul Graham: Apple's MistakeiPhone PL lockdown
04/10/2010DalvikiPhone PL lockdown
04/04/2010What is your goal?rsr6 versus rsr5 for interpreter
04/08/2010Starting from a subset of Schemersr6 versus rsr5 for interpreter
03/30/2010Indexing Lua Tables by Natural NumbersSmall is Beautiful: the design of Lua
04/12/2010"interesting" and monadic non-sequencingCan functional programming be liberated from the von Neumann paradigm?
03/25/2010PL interoperabilityWill data-intensive computing revolutionize programming languages?
03/25/2010Re: Natural language translationWill data-intensive computing revolutionize programming languages?
03/28/2010SimplicityClojure's Mini-languages
03/18/2010Looks like front-pageBitC is back
02/23/2010GC and Closures?Testing release of a platform for hosting pure functional web applications
02/26/2010Clarification.Testing release of a platform for hosting pure functional web applications
02/09/2010Link to specific storiesNaNs and reflexivity
02/12/2010Reflexive, Transitive, and SymmetricNaNs and reflexivity
02/04/2010Denotational versus non-denotational monads?Monads in Action
02/04/2010Representing MonadsMonads in Action
02/03/2010In all fairness, LtU is runHipHop: Facebook runs compiled PHP on its servers
01/28/2010Environmentseval and (infinite) recursion
01/24/2010Sounds like a spreadsheet for images...Graph processing
01/21/2010Googlesee history of things i started (vs. commented on)?
01/20/2010AgreedAcademic advice: Mathematics or Computer Science?
01/20/2010Calculus vs AnalysisAcademic advice: Mathematics or Computer Science?
01/07/2010Front Page50 years of Advanced Programming – an Anniversary Seminar on Algol 60
12/22/2009Lisp-statBack to the Future: Lisp as a Base for a Statistical Computing System
12/15/2009Why API Design MattersWhy API Design Matters
12/16/2009Re: Criminal PenaltiesWhy API Design Matters
12/11/2009The Development of SageThe Development of Sage
12/12/2009Comparable functionality, not a re-implementationThe Development of Sage
12/11/2009Sage Component ListThe Development of Sage
12/06/2009I don't think soIs Small Still Beautiful?
12/07/2009I am (very slowly) workingDifferentiating Parsers
12/08/2009re: Speed of re-parsing the entire fileDifferentiating Parsers
12/03/2009Why Object-Oriented Languages Need Tail CallsWhy Object-Oriented Languages Need Tail Calls
12/05/2009Implicit v Explicit Tail CallsWhy Object-Oriented Languages Need Tail Calls
12/05/2009Macros and tail positionWhy Object-Oriented Languages Need Tail Calls
12/03/2009The use of 'ensure'Eleven Theses on Clojure
11/20/2009More anecdotal experienceScratch: Programming for All
11/11/2009FameGo or Unladen Swallow?
11/11/2009PublicityGo or Unladen Swallow?
11/11/2009I share your skepticismGo or Unladen Swallow?
11/18/2009How good or bad was the LispGo or Unladen Swallow?
11/11/2009Sometimes, the internet *is* a big truck.Scheduled downtime
11/06/2009State of the art C compiler optimization tricksState of the art C compiler optimization tricks
11/09/2009DependsState of the art C compiler optimization tricks
11/02/2009Objects are not ObservableOn Understanding Data Abstraction, Revisited
11/03/2009Observing ObjectsOn Understanding Data Abstraction, Revisited
11/05/2009Of course...On Understanding Data Abstraction, Revisited
10/25/2009Haskell/ML Design PatternsDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/27/2009YepType constructors based on capabilities of type arguments?
10/17/2009YesErik Meijer's MSDN Channel 9 lecture series on functional programming
10/17/2009Familiarity and perceptionErik Meijer's MSDN Channel 9 lecture series on functional programming
10/17/2009Re: name-callingErik Meijer's MSDN Channel 9 lecture series on functional programming
10/12/2009You need a more general notion of continuation.Recursive type for yielding function
10/12/2009Re: Recursive datatype = OKRecursive type for yielding function
09/30/2009Re: Multi-touch != MouseJVM language summit 2009
09/18/2009ML Functors for DINoop: Google Language for the JVM
09/15/2009Knuth's programming languageCoders at Work
09/13/2009Transition via Lego MindstormLEGO Turing Machine
09/09/2009Because the world needs moreCreate Your Own Programming Language (book)
09/04/2009To further clarify, theProving running times of algorithms
09/02/2009Previously mentioned on LtU...Apple "adds closures to C" in Mac OS X 10.6
08/20/2009Advantages of nondeterminism.Why determinism matters in language design.
08/20/2009OopsWhy determinism matters in language design.
08/19/2009Re: Contradictionfunctions vs procedures..
08/18/2009Pascal and Call by Referencefunctions vs procedures..
09/06/2009Re: Opinions on SyntaxPerl Cannot Be Parsed: A Formal Proof
08/13/2009Yawn.Ha?
08/10/2009Front PageHoopl: Dataflow Optimization Made Simple
07/28/2009Yep...very simple haskell question
08/16/2009Controlling for experienceEvaluation and Usability of Programming Languages and Tools (PLATEAU)
07/27/2009Representing Control in the Presence of First-Class ContinuationsRepresenting Control in the Presence of First-Class Continuations
07/27/2009Differences between Stallman and Heib et al.Representing Control in the Presence of First-Class Continuations
07/27/2009We need more rigor.Representing Control in the Presence of First-Class Continuations
07/27/2009Plenty of room...Representing Control in the Presence of First-Class Continuations
07/26/2009The Kind of Monad Transformers(Very) Simpleminded kind question
07/23/2009camelCase versus ugly_underscoresResolved Debates in Syntax Design ?
07/23/2009Normalized WhitespaceResolved Debates in Syntax Design ?
07/23/2009I have to mostly agree with BlueStormResolved Debates in Syntax Design ?
07/15/2009Unladen Swallow: LLVM based Python compilerUnladen Swallow: LLVM based Python compiler
07/19/2009In all fairness...Unladen Swallow: LLVM based Python compiler
07/15/2009Doesn't seem credible...In the Land of Invented Languages
07/03/2009Top 200 Blogs for DevelopersTop 200 Blogs for Developers
06/30/2009Referring to both static and dynamic linkingModern dynamic linking infrastructure for PLT
06/28/2009It has been shown?subjective but hopefully less flamebaid-lame
06/30/2009Re: Strong TheoriesMost powerful terminating semantics?
06/18/2009Huh?Factor Mixins
06/15/2009Funny...GRS vs LTRS
06/10/2009Probabilistic Functional ProgrammingBridging the informal and the formal
06/07/2009Hmm...A Case for Gestures/Visualizations and Against Concrete Syntax
06/06/2009The Myth of the Genius ProgrammerThe Myth of the Genius Programmer
06/07/2009GNU Arch was a DVCS pioneerThe Myth of the Genius Programmer
06/07/2009Clean History versus Mistakes for PosterityThe Myth of the Genius Programmer
03/14/2010Software ArcheologyThe Myth of the Genius Programmer
06/08/2009Keeping failures, worse is better.The Myth of the Genius Programmer
05/15/2009Not a bad suggestion, in my opinionRandom Topics
05/13/2009Looks like a typo to me.Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction".
05/13/2009Point taken...Obscure question about a remark in "A Tutorial on (Co)Algebras and (Co)Induction".
05/20/2009PLs and DWIMWolframAlpha
05/21/2009Not quite?WolframAlpha
05/10/2009Why Did M.I.T. Switch from Scheme to Python?Why Did M.I.T. Switch from Scheme to Python?
05/10/2009No ProblemWhy Did M.I.T. Switch from Scheme to Python?
05/11/2009Re: UnbelievableWhy Did M.I.T. Switch from Scheme to Python?
05/22/2009Ego is typically measured in nanoDijkstras...Why Did M.I.T. Switch from Scheme to Python?
05/11/2009SICP is still usedWhy Did M.I.T. Switch from Scheme to Python?
05/15/2009"New" ideas in Computer ScienceWhy Did M.I.T. Switch from Scheme to Python?
05/06/2009NiceRight on!
05/08/2009Machine TranslationRight on!
05/05/2009ACSLogoAny tips (Logo)?
05/05/2009What's a functional programming language?Static typing may require runtime type checking?
05/06/2009"Totality" of a Scheme function versus ML array dereferencingStatic typing may require runtime type checking?
05/05/2009I say potato, you say...Static typing may require runtime type checking?
05/05/2009But the object level informs the metaStatic typing may require runtime type checking?
05/06/2009Re: object/metaStatic typing may require runtime type checking?
05/01/2009Project EulerLooking for list of programming problems to thoroughly test a language
04/23/2009Polymorphic Delimited ContinuationsPolymorphic Delimited Continuations
04/23/2009From Shift and Reset to Polarized Linear LogicPolymorphic Delimited Continuations
04/12/2009HehADD 50 TO COBOL GIVING COBOL
04/17/2009Not quite :-)ADD 50 TO COBOL GIVING COBOL
04/17/2009Progress FunctionsADD 50 TO COBOL GIVING COBOL
04/04/2009Welcome!Twitter and Scala
04/04/2009Proebsting's LawTwitter and Scala
04/04/2009Mostly agreedTwitter and Scala
04/04/2009IndeedTwitter and Scala
04/06/2009YepTwitter and Scala
04/06/2009Semantics matters!Twitter and Scala
04/06/2009Speeding up RubyTwitter and Scala
04/07/2009Obie's OpinionTwitter and Scala
04/02/2009A Computer-Generated Proof that P=NPA Computer-Generated Proof that P=NP
04/02/2009IndeedA Computer-Generated Proof that P=NP
04/04/2009Answer threeA Computer-Generated Proof that P=NP
04/07/2009Actually...A Computer-Generated Proof that P=NP
04/20/2009Re: Fully RigorousA Computer-Generated Proof that P=NP
04/02/2009HahahaLtU: Forum not blog
04/01/2009InterestingFunctional Programming Project
04/02/2009Lispy syntax and macrosPLOT: Programming Language for Old Timers
04/02/2009EhhPLOT: Programming Language for Old Timers
03/24/2009CTMEliminating fuzziness of access modifiers
03/23/2009This is probably a good thing...Open access at MIT and Harvard
03/21/2009HmmTiered approaches to higher order programming?
03/21/2009Hmm.Tiered approaches to higher order programming?
03/21/2009A real lossJ. Schwartz died
03/18/2009DatalogRelational database implementation paper ?
03/18/2009First-order Performance IssuesRelational database implementation paper ?
03/19/2009RevLex OrderingsRelational database implementation paper ?
03/20/2009Hmm...Relational database implementation paper ?
03/22/2009Woah.Lawvere Theories and Monads
12/22/2009Monads and ContinuationsLawvere Theories and Monads
03/13/2009The B5000A New Approach to the Functional Design of a Digital Computer
03/14/2009Yeah, I actually clicked onA New Approach to the Functional Design of a Digital Computer
03/16/2009Conserve the points!Advantages of pointfree?
03/17/2009A little from column A, a little from column B?Advantages of pointfree?
04/07/2009Two nice examples, one for, one againstAdvantages of pointfree?
03/12/2009Well deserved.Barbara Liskov Wins Turing Award
03/22/2009Haha, only serious.Languages and security: a short reading list
03/26/2009Re: ScalabilityInfluence of cognitive models on programming language design
03/17/2009InterestingInfluence of cognitive models on programming language design
03/26/2009Matt is correct...Influence of cognitive models on programming language design
03/09/2009Reasoning?Linear Logic and Permutation Stacks--The Forth Shall Be First
03/11/2009Hmm...Linear Logic and Permutation Stacks--The Forth Shall Be First
03/03/2009The Meta-LtU ThreadThe Meta-LtU Thread
03/03/2009Active Discussion TopicsThe Meta-LtU Thread
03/03/2009No disagreement here.The Meta-LtU Thread
03/05/2009Lots of good points hereThe Meta-LtU Thread
03/04/2009Ebb and FlowThe Meta-LtU Thread
03/05/2009RelevanceThe Meta-LtU Thread
03/05/2009That is hilarious!The Meta-LtU Thread
03/06/2009I hate that suggestionThe Meta-LtU Thread
03/08/2009I like this commentThe Meta-LtU Thread
03/04/2009Interesting.Generating nested data types at runtime
03/22/2009Your coalgebraic morphismGenerating nested data types at runtime
02/13/2009Re: NormalizationParameterized Notions of Computation
02/13/2009Monads 2.0Parameterized Notions of Computation
02/08/2009This is a theological argument about orthogonal issuesWhat is the dual of { } ?
02/04/2009Open RecursionOpen Recursion
02/04/2009I tend to agreeOpen Recursion
02/15/2009ObjectsOpen Recursion
02/15/2009What hasn't lead to trouble?Open Recursion
02/04/2009Smoke testing; Haskell WikiProject Euler
02/06/2009I know that I could be farProject Euler
04/20/2009Video interview of John McCarthyElephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/23/2009Bring back goto!What Are The Resolved Debates in General Purpose Language Design?
01/10/2009You must be reading my mind.Using coalgebraic structures for traversing ADTs lazily
02/18/2009Returning pairs of lazy valuesUsing coalgebraic structures for traversing ADTs lazily
03/10/2009It's now availableUsing coalgebraic structures for traversing ADTs lazily
01/11/2009Coinductive definitionsUsing coalgebraic structures for traversing ADTs lazily
02/18/2009Hmm...Using coalgebraic structures for traversing ADTs lazily
02/18/2009Another solutionUsing coalgebraic structures for traversing ADTs lazily
03/02/2009Not quite.Using coalgebraic structures for traversing ADTs lazily
03/04/2009Well...Using coalgebraic structures for traversing ADTs lazily
03/05/2009NiceUsing coalgebraic structures for traversing ADTs lazily
03/06/2009InterestingUsing coalgebraic structures for traversing ADTs lazily
03/06/2009Now that you've shown me yours...Using coalgebraic structures for traversing ADTs lazily
03/06/2009O(n)Using coalgebraic structures for traversing ADTs lazily
03/06/2009Re: Master TheoremUsing coalgebraic structures for traversing ADTs lazily
12/12/2008Off topic?The Genuine Sieve of Eratosthenes
12/12/2008The classical sieveThe Genuine Sieve of Eratosthenes
12/12/2008Yup.The Genuine Sieve of Eratosthenes
12/13/2008(1) whether these are theThe Genuine Sieve of Eratosthenes
12/17/2008Casual ObservationThe Genuine Sieve of Eratosthenes
03/03/2009Well put.The Genuine Sieve of Eratosthenes
12/12/2008Implementation differencesThe Genuine Sieve of Eratosthenes
12/13/2008So what is the morality ofThe Genuine Sieve of Eratosthenes
12/17/2008Good example.The Genuine Sieve of Eratosthenes
12/17/2008It's still naive trial divisibilityThe Genuine Sieve of Eratosthenes
12/23/2008I'll biteThe Genuine Sieve of Eratosthenes
12/23/2008Oops, how embarrassing.The Genuine Sieve of Eratosthenes
12/23/2008Memory ManagementThe Genuine Sieve of Eratosthenes
03/04/2009I concurThe Genuine Sieve of Eratosthenes
03/04/2009Thanks OlegThe Genuine Sieve of Eratosthenes
03/11/2009Sorry Oleg, it's just naive trial divisibilityThe Genuine Sieve of Eratosthenes
03/11/2009Re: different motivation.The Genuine Sieve of Eratosthenes
03/11/2009ContextThe Genuine Sieve of Eratosthenes
10/23/2009Still just an unfaithful sieve. ;-)The Genuine Sieve of Eratosthenes
10/24/2009Strict Unfaithful Sieve in RThe Genuine Sieve of Eratosthenes
10/24/2009Not reallyThe Genuine Sieve of Eratosthenes
10/24/2009We're getting off topicThe Genuine Sieve of Eratosthenes
10/24/2009Optimizing trial division vs Optimizing a "geniune sieve"The Genuine Sieve of Eratosthenes
12/09/2008Wow. Thank you, Chris.AMS: A Special Issue on Formal Proof
04/02/2009Zeilberger chimes in...AMS: A Special Issue on Formal Proof
04/30/2009Performance, Ambiguity of CFGs vs PEGsParsing Expression Grammars
09/24/2008GHC's Specialize PragmaSpecializing values in a functional language
02/11/2010re: spamInformation regarding financial crisis
09/10/2008In terms of implementation...ML Closure vs Scheme Closure
09/10/2008Also on LtUML Closure vs Scheme Closure
08/22/2008Maybe off-topic, but not inappropriatetype derivation for 'map map', yelp
08/13/2008Functional Programming Languages excel at text processingText Processing by Functional Language?
08/18/2008GraphsText Processing by Functional Language?
08/20/2008What is purity?Programming Language Beauty: Look Closure
08/19/2008Eta abstraction.Programming Language Beauty: Look Closure
08/20/2008Oops...Programming Language Beauty: Look Closure
09/10/2008Pure MathProgramming Language Beauty: Look Closure
07/28/2008I don't get it...Beyond FRP: physics-inspired programming abstractions?
11/02/2010Make it a forum postBeyond FRP: physics-inspired programming abstractions?
03/19/2009I particularly like this post.Beyond FRP: physics-inspired programming abstractions?
07/12/2008Scheme in a Grid?In search for a programming language to replace spreadsheets.
07/11/2008You mean any pure-MzScheme parsing system...Parser Generators Supporting Astral Characters
07/07/2008Bizarre statements...Implementing fast interpreters
07/09/2008I would agree that bytecodeImplementing fast interpreters
07/14/2008Juice is not an interpreterImplementing fast interpreters
07/12/2008Lambda, the Ultimate GOTOThe hits and misses of Microsoft
06/27/2008Internal security risksWhy Multi-Core is Easy and Internet is Hard
09/22/2008Agreed.The A-Z of Programming Languages
06/18/2008Indeed...SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?
06/10/2008Right ideausing foldr to do map
06/07/2008Not SpamOur Own Little Language
06/07/2008Welcome to LtU!Our Own Little Language
06/15/2008InterpretersOur Own Little Language
06/06/2008CiteseerFirst class class objects, class vs. value namespaces, etc.
06/04/2008Comments can effect comments below themComments can effect comments below them
06/04/2008In this comment, I use aComments can effect comments below them
06/04/2008And now, this commentComments can effect comments below them
06/04/2008Well, it looks fine inComments can effect comments below them
06/04/2008Ahh, I'm causing Drupal toComments can effect comments below them
12/20/2008Great point.Multiple Value Return - Common Lisp vs. Tuples and destructuring
12/21/2008Haskell and CPSMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/03/2008Glasgow HaskellMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/03/2008Speaking of...Multiple Value Return - Common Lisp vs. Tuples and destructuring
06/04/2008I was expecting somebody to yell.Multiple Value Return - Common Lisp vs. Tuples and destructuring
06/05/2008Strict PairsMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/05/2008Almost.Multiple Value Return - Common Lisp vs. Tuples and destructuring
12/22/2008Aha, I seeMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/03/2008Implementation?Multiple Value Return - Common Lisp vs. Tuples and destructuring
06/03/2008Right... so is Mercury, butMultiple Value Return - Common Lisp vs. Tuples and destructuring
07/01/2008ConsingMultiple Value Return - Common Lisp vs. Tuples and destructuring
06/06/2008It depends on what you do...erlang green threads and the CLR
06/07/2008Re: ETOSerlang green threads and the CLR
06/07/2008Distel for other languageserlang green threads and the CLR
05/17/2008Cost of optimization is very important.Automatic Generation of Peephole Superoptimizers
04/11/2008I don't buy it.Minimal FORTH compiler and tutorial
07/14/2008Sorry about my tone, but I stand by the content.Minimal FORTH compiler and tutorial
08/25/2007Constraint-based graphics.Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
04/28/2010Removing SpamLtU turns 7: The year of spam
07/10/2007[OT] Relevancy of MathematicsHOPL-III: Statecharts in the Making
07/11/2007In defense of Hindley-Milner...Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
05/04/2007NotebooksDynamic interactivity in Mathematica 6
07/14/2008HiPE hypeSMP Erlang vs. Haskell vs. ML
09/22/2009Heh, neither link works forEmbedded ML?
04/10/2011Getting StartedWhat is a "fully featured closure"? Request for comments.
08/13/2007Not Quite.Programming (language) puzzles
08/13/2007My solutionProgramming (language) puzzles
08/13/2007It's correct.Programming (language) puzzles
08/13/2007It's more than 50% betterProgramming (language) puzzles
08/14/2007R5RS lconsProgramming (language) puzzles
11/16/2010Also on LtUDe-Scheming MIT?
10/23/2006DittoSpecifying ECMAScript via ML
06/02/2006What about MiniKanren in Haskell?Buried Treasure - No Fluff Just Stuff
05/26/2006First thing I read:Stealing language features for fun and profit in Ruby
05/27/2006Pattern Matching is orthogonal to Multiple DispatchStealing language features for fun and profit in Ruby
05/26/2006Omniscent DebuggingBackwards debugging
05/26/2006Software IdealsSoftware ideals and history
07/31/2008Non-native continuationsGilad Bracha: Will Continuations continue?
05/21/2009Inversion of AbstractionWhat do you believe about Programming Languages (that you can't prove (yet))?
05/22/2009MaybeWhat do you believe about Programming Languages (that you can't prove (yet))?
05/23/2009The good theories are obvious in retrospect.What do you believe about Programming Languages (that you can't prove (yet))?
05/01/2006"associativity" vs. "associates"Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
05/01/2006Go for itFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
04/27/2006It may not be so difficult to implement a language...Oberon Script. A Lightweight Compiler and Runtime System for the Web
04/23/2006Neither is more "fundamental"The fundamental difference between Sets and Lists?
03/28/2006The R ProjectThe R Project
03/23/2006PagerankGoogle Magic
02/28/2006This isn't true tail recursion...Tail call elimination decorator in Python
03/02/2006Actually...Tail call elimination decorator in Python
08/21/2007It's still broke.Tail call elimination decorator in Python
02/28/2006Probably notMcBride Derivative paper
05/03/2009Pascal -> Csource code conversion
02/07/2006Neural NetseWeek: 'Exotic' Programming Tools Go Mainstream
03/10/2006Language interoperability is HardProgramming Language transformation?
12/02/2005Usability, Tractability, and Decidability...Are we missing out on fancy types?
10/12/2005AgreedMacros/Syntax vs. AST manipulation
10/15/2005Syntax-case is still applicative orderMacros/Syntax vs. AST manipulation
10/12/2005I think I agreeThe Church-Turing Thesis: Breaking the Myth
10/03/2005Omniscient debuggingDebuging state.
10/03/2005Continuation Passing Style"The Anatomy of a Loop"
01/03/2009What if I use mapCont?Are you using delimited continuations?
08/23/2005Ivory Towers and Gelfand's PrincipleIvory Towers and Gelfand's Principle
08/23/2005Practicality.Ivory Towers and Gelfand's Principle
08/23/2005The particular example is a red herringFunctional anti-memoization
01/25/2009Flat types.Functional anti-memoization
08/23/2005Options.Functional anti-memoization
08/24/2005Re: Dataflow?Functional anti-memoization
01/25/2009As for Anti-MemoizationFunctional anti-memoization
08/14/2005Academic Economics'Information and Computation' Open Access
08/17/2005"Useless" ideas'Information and Computation' Open Access
08/17/2005How do you find existing ideas?'Information and Computation' Open Access
08/18/2005It's finding other Communities'Information and Computation' Open Access
08/20/2005Wishful Thinking'Information and Computation' Open Access
08/18/2005Nope. Not even close.'Information and Computation' Open Access
08/20/2005Logosphere'Information and Computation' Open Access
08/12/2005I don't believe itLarger Subroutines == Fewer Defects
08/12/2005You are right.Larger Subroutines == Fewer Defects
08/06/2005AmenHave scripting languages peaked?
08/07/2005I agreeHave scripting languages peaked?
08/08/2005DefinitionsHave scripting languages peaked?
08/04/2005Conceptual clarity has valueObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/12/2005You are unloading the implementation onto a library...Objective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/12/2005Real-time GCObjective scientific proof of OOP's validity? Don't need no stinkun' proof.
08/02/2005Python has closures now.A Java/Python hybrid?
08/03/2005Syntax is the Vietnam of programming languages.A Java/Python hybrid?
08/02/2005Oh Oh!Language Evolution applied to PLT
08/02/2005My BadLanguage Evolution applied to PLT
04/03/2010This article is 4.5 years oldVacation
08/07/2005Mnesia is essentially a relatAn interview with Chris Date
08/12/2005I disagree...An interview with Chris Date
08/12/2005Well, I was going to thank yAn interview with Chris Date
08/12/2005Somewhat speculative philosophy...An interview with Chris Date
08/07/2005Agreed.An interview with Chris Date
07/29/2005This is largely the realm of CASLanguage support for generating functions?
07/29/2005Thanks, AntonLanguage support for generating functions?
07/29/2005Itinerary on LtUCTM tour during the week of Nov. 7
07/21/2005It's existing code, not language design.On the Revival of Dynamic Languages
06/28/2005Cayenne -> AgdaDead Languages
06/29/2005I stand correctedDead Languages
06/24/2005Hang-ups that countHow To Read a Paper
06/24/2005I'm not sure I understandHow To Read a Paper
06/15/2005Maybe, but I doubt Tim is right.Tim Bray: On Threads
06/16/2005ThanksTim Bray: On Threads
06/19/2005Bisimulation meaning EntailmentTim Bray: On Threads
06/22/2005Brute Force is a relative termSudoku
06/11/2005My guess is noMultilinguals learning computer languages faster than monol.
06/11/2005Hmm... playing with the todoLinks Demos
06/08/2005PPC is hardly dead...What will Apple's move to Intel mean for Alternative Language Communities?
03/05/2009HmmFrom shift and reset to polarized linear logic
03/10/2009Curry-Howard correspondenceFrom shift and reset to polarized linear logic
06/03/2005Don't fretAdam Bosworth: Ajax reconsidered
06/01/2005Second TaPLBasic(er) Simple(r) Type Theory(?)
06/01/2005Web programming with continuationsBasic(er) Simple(r) Type Theory(?)
06/03/2005Discrete Math from a Math MajorBasic(er) Simple(r) Type Theory(?)
06/18/2005Beseme ProjectBasic(er) Simple(r) Type Theory(?)
05/31/2005Simplicity is a practical concern.Judy Stores
05/26/2005It is an lsystemContext Free: Grammars as Graphics
05/25/2005Strings vs Atoms, Monads vs. UniquenessHaskell for C Programmers
05/25/2005Stateful implementations of pure interfacesHaskell for C Programmers
05/19/2005Tail-called JVMs...Tail recursion
05/08/2005> iirc, in first order logicFrom Perl Monks: "pissed off about functional programming"
05/13/2005ReferencesFrom Perl Monks: "pissed off about functional programming"
05/08/2005Structured programming analogyFrom Perl Monks: "pissed off about functional programming"
05/08/2005Structured programming analogyFrom Perl Monks: "pissed off about functional programming"
05/05/2005No need.R6RS Scheme Status Report
05/05/2005OCAML's "Shootout" Performance...Expressivity of lisp/scheme but speed of assembly/C/C++
05/27/2009Why not focus on better implementations?Lisp-Stat does not seem to be in good health lately.
06/02/2009Scalar PerformanceLisp-Stat does not seem to be in good health lately.
06/03/2009Stack and environment introspectionLisp-Stat does not seem to be in good health lately.
06/04/2009IntrospectionLisp-Stat does not seem to be in good health lately.
01/08/2005Web programming still has a long way to goLinks (Wadler)
11/17/2009re: front pageThe Memory Pool System: Thirty person-years of memory management development goes Open Source
12/17/2008My Aha Moments.Explaining monads
01/19/2010Fourth EditionEnumerating the Rationals
01/19/2010Fun paper.Enumerating the Rationals

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