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

Posts By: John Shutt

  Date    Post    Topic  
06/06/2012LispGraphical languages of the Russian space program
06/07/2012this and thatGraphical languages of the Russian space program
06/08/2012Perhaps we are speaking fromGraphical languages of the Russian space program
06/08/2012I should know better than toGraphical languages of the Russian space program
06/08/2012That does give me a clearerGraphical languages of the Russian space program
05/23/2012AlmostLanguages with 'unique' programs
05/08/2012First- vs second-class proofProofs as programs
05/09/2012First- and second-class-nessProofs as programs
05/09/2012The connection withProofs as programs
05/09/2012It's been a few years sinceProofs as programs
04/24/2012I also was puzzled by theQuantitative comparison of unit testing vs. static typing?
04/21/2012The most valuable reuse isQuantitative comparison of unit testing vs. static typing?
04/22/2012ultimately static languagesQuantitative comparison of unit testing vs. static typing?
06/17/2012abstraction and library-managementEscaping the Maze of Twisty Classes
02/26/2012Any PL that attractedWhy Concatenative Programming Matters
02/05/2012ReflectionActive Variables in Common Lisp
02/03/2012ExcellentThe Algebra of Data, and the Calculus of Mutation
02/03/2012Abstraction-poor language featuresPeak Abstraction
02/03/2012AlternativelyPeak Abstraction
02/03/2012No shortage of problem herePeak Abstraction
02/04/2012I see two interesting issuesPeak Abstraction
02/05/2012Fwiw, that's actually not myPeak Abstraction
02/05/2012DepthPeak Abstraction
02/06/2012PL design strategy — and sarcasmPeak Abstraction
02/06/2012One does tend to think of itPeak Abstraction
02/04/2012pretty much, yeahPeak Abstraction
12/25/2011Abstraction may alter that scenarioProgrammer Archeologists
12/27/2011There are some extremelyProgrammer Archeologists
12/27/2011I'm slowly forming a theoryProgrammer Archeologists
12/28/2011Internal structureProgrammer Archeologists
12/29/2011entirely different dimensionProgrammer Archeologists
12/29/2011I've repeatedly pointed outProgrammer Archeologists
12/30/2011You can't safely concludeProgrammer Archeologists
12/30/2011It seems to me that yourProgrammer Archeologists
12/31/2011Hm. Perhaps I'm not followingProgrammer Archeologists
12/31/2011On my agenda is a blog postProgrammer Archeologists
12/31/2011"Time" is, by nature,Programmer Archeologists
01/01/2012This seems (knock wood) to beProgrammer Archeologists
01/02/2012The whole animalProgrammer Archeologists
01/02/2012That you think there's anProgrammer Archeologists
12/24/2011The trouble with monads2 Misconcepts About Functional Programming (relating to context and monad)
12/04/2011I don't mean to detract fromGeneral purpose as a special case?
12/11/2011Use of 'paradigm' hasGeneral purpose as a special case?
12/11/2011The link I should haveGeneral purpose as a special case?
11/12/2011Programs and proofs differmath proofs are more robust than computer proofs
11/08/2011lessons from evolution"We Really Don't Know How to Compute!" by Gerald Sussman
09/12/2011I've long suspected AOP wasWhat needs to be done?
09/12/2011Agreed, most naiveWhat needs to be done?
09/13/2011'Much uglier than macros andWhat needs to be done?
09/12/2011As an undergrad in theWhat needs to be done?
09/13/2011Stupidity requires immense intelliganceWhat needs to be done?
09/13/2011I can just pictureWhat needs to be done?
09/04/2011Lambda calculus"Partially evaluating" fexprs?
09/06/2011Appendix B of"Partially evaluating" fexprs?
09/06/2011If you just said Kernel isthe gnu extension language
09/06/2011Fexprs aren't the evilthe gnu extension language
09/07/2011Constraintsthe gnu extension language
09/08/2011Somewhere in Thomas Kuhn'sthe gnu extension language
09/08/2011I'm reminded that my ideasthe gnu extension language
09/09/2011Your uses of the word rigidthe gnu extension language
09/08/2011Abstractive Power of Programming Languages: Formal Definitionthe gnu extension language
09/12/2011To compare expressive power,the gnu extension language
08/29/2011About twenty years ago, myquite "old" books discussion
07/14/2011barely scratched the surfaceThe Last Language?
07/14/2011I tend to agree thatThe Last Language?
07/16/2011John Shutt would like toThe Last Language?
07/06/2011when we envision howParallel bars
06/27/2011Morris KlineWittgenstein versus Turing on Inconsistency Robustness
06/21/2011Lisp syntaxThe Value Of Syntax?
06/21/2011Unfair of me to allude toThe Value Of Syntax?
06/21/2011Hiccups?The Value Of Syntax?
06/22/2011Hic... hic...The Value Of Syntax?
06/21/2011I've a vague memory thereThe Value Of Syntax?
06/22/2011Programming as language developmentThe Value Of Syntax?
06/23/2011Related threadYet another programming language with customizable syntax
05/18/2011Discussed on Language LogArtificial Grammar Reveals Inborn Language Sense
05/17/2011FWIW, the APL FAQ suggests2011 APL Programming Contest is Open
08/18/2011This seems closely relatedCoding at the Speed of Touch
04/15/2011Equality in Kernel isRedhat's New Language
04/16/2011Markstrum's phrasing in theStaking Claims: A History of Programming Language Design Claims and Evidence
02/22/2011I've a feeling thatMonads vs. Actors
11/24/2010Always haltsWhat is computation? Concurrency versus Turing's Model
11/24/2010Thankyou for drawing me intoWhat is computation? Concurrency versus Turing's Model
11/24/2010Apples and orangesWhat is computation? Concurrency versus Turing's Model
11/24/2010Possibility versus probablityWhat is computation? Concurrency versus Turing's Model
11/25/2010It's fairly commonplace forWhat is computation? Concurrency versus Turing's Model
11/26/2010as might the Actor systemWhat is computation? Concurrency versus Turing's Model
11/28/2010Unsimple misunderstandingWhat is computation? Concurrency versus Turing's Model
12/02/2010This is not about theWhat is computation? Concurrency versus Turing's Model
11/17/2010Dynamic mulitple dispatchClojure's Solutions to the Expression Problem
11/21/2010static typing trade-offClojure's Solutions to the Expression Problem
11/21/2010No matter how much stuffClojure's Solutions to the Expression Problem
11/21/2010I'd say this is pretty muchClojure's Solutions to the Expression Problem
11/23/2010Not about sound-and-completeClojure's Solutions to the Expression Problem
11/12/2010SRSsLambda the Ultimate seems an Overstatement (not)
11/12/2010multi-assignmentLambda the Ultimate seems an Overstatement (not)
11/14/2010Formal CR and useful CRLambda the Ultimate seems an Overstatement (not)
11/12/2010Felleisen and HiebLambda the Ultimate seems an Overstatement (not)
11/13/2010names of calculiLambda the Ultimate seems an Overstatement (not)
11/13/2010The original use ofLambda the Ultimate seems an Overstatement (not)
11/11/2010counting Kernel "special forms"Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
11/13/2010three "special forms" and some primitive applicativesFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
10/04/2010fluent operative handlingFexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction
08/25/2010Computation and logicComputational equivalent of incompleteness theorems?
07/21/2010Lest we forgetIs lambda calculus a logic?
11/21/2010Sentences as chromosomes?Generative Grammar-based Computation
06/28/2010The value of the metaphorEvocative metaphor
06/30/2010Call-by-intensionSF-calculus
06/30/2010CoolSF-calculus
06/20/2010Plotkin's paperLooking for a proof that eager reduction is as strong as lazy reduction
05/29/2010Avoiding semantic actionsGuppy: trying to make parsing simple, fun, and powerful
05/31/2010Motive for adaptivityGuppy: trying to make parsing simple, fun, and powerful
05/02/2010Strachey versus Cardelli and WegnerTyped Lambda Calculus
05/05/2010Cardelli and Wegner (1985)?Typed Lambda Calculus
04/23/2010Just a thought: nouns and verbsSeeking thoughtful criticisms of functional programming and languages
04/17/2010C syntaxHow can C Programs be so Reliable?
04/15/2010Unfalsifiable?splitting the program into formalizable vs. non-formalizable parts?
04/15/2010Darwinian physicssplitting the program into formalizable vs. non-formalizable parts?
04/09/2010Structured syntax extension?Go's proposed panic/recover exception-like mechanism
04/10/2010The harder part of course isGo's proposed panic/recover exception-like mechanism
04/10/2010admissibility; ambiguity resolutionGo's proposed panic/recover exception-like mechanism
04/10/2010It is unclear to me whatGo's proposed panic/recover exception-like mechanism
03/20/2010guarded environments (also, abstractive power)First-class environments. Discuss. ;)
03/21/2010How I was using the wordFirst-class environments. Discuss. ;)
03/31/2010fexprs and reflectionFirst-class environments. Discuss. ;)
03/24/2010Quotation considered harmfulFirst-class environments. Discuss. ;)
03/27/2010Quote and the applicative/operative separationFirst-class environments. Discuss. ;)
03/22/2010How's that?First-class environments. Discuss. ;)
03/23/2010The PitmanualFirst-class environments. Discuss. ;)
03/27/2010Why FexprsFirst-class environments. Discuss. ;)
03/27/2010macros and fexprsFirst-class environments. Discuss. ;)
03/27/2010Extensible attribute grammars; and general remarks on fexprsFirst-class environments. Discuss. ;)
03/28/2010fexprs and trustFirst-class environments. Discuss. ;)
03/28/2010Trust in KernelFirst-class environments. Discuss. ;)
03/31/2010Features that clash with fexprsFirst-class environments. Discuss. ;)
04/06/2010PebbleFirst-class environments. Discuss. ;)
12/02/2010Not even wrong?On the (Alleged) Value of Proof for Assurance
02/05/2010I once encounteredAlternatives to parentheses for grouping
02/06/2010Dot notation isn't standard probably because...Alternatives to parentheses for grouping
01/29/2010Fexprs don't have to be lazymore consistent macros?
01/29/2010Why I'm not fond of macrosmore consistent macros?
11/13/2009Type inference considered harmfulJohn Hughes on Erlang and Haskell
11/13/2009Proofs and abstractivenessJohn Hughes on Erlang and Haskell
11/13/2009Curry-HowardJohn Hughes on Erlang and Haskell
11/13/2009Curry-Howard notJohn Hughes on Erlang and Haskell
11/14/2009Curry-Howard, Gödel, Plato...John Hughes on Erlang and Haskell
11/22/2009Differing points of viewJohn Hughes on Erlang and Haskell
10/23/2009Understanding fexprs versus macros (versus functions)Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/29/2009Phase separation of macrosLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/22/2009Compiler reasoning about fexprsLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/24/2009Mitch Wand in contextLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/22/2009The theory of fexprs is not (necessarily) trivialLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/22/2009Scoping fexprsLisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
10/22/2009purely?Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language
03/08/2010Lessons learned?Create Your Own Programming Language (book)
11/26/2009SICP-style teaching languageScheme to be split into two languages
04/30/2012There's lots more stuffDecomposing lambda - the Kernel language
10/07/2011The first work to break groundCall-by-Name, Call-by Value and the Lambda Calculus
10/08/2011If one can't get CR-ness,Call-by-Name, Call-by Value and the Lambda Calculus
10/09/2011So T = S should imply QT = QSCall-by-Name, Call-by Value and the Lambda Calculus

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