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

Posts By: Neil M

  Date    Post    Topic  
03/29/2012Other benefits of RCRetrospective Thoughts on BitC
03/13/2012DarcsReversing operations
02/28/2012First class or higher order?why first-class functions
02/19/2012Devil's advocateJulia, a language for technical computing
02/05/2012Variable traces in Tcl/TkActive Variables in Common Lisp
10/05/2011Predicate CalculusWhat space does SQL cover, or, why is max so weird in SQL?
10/07/2011Non-monotonocityWhat space does SQL cover, or, why is max so weird in SQL?
10/10/2011NitpickWhat space does SQL cover, or, why is max so weird in SQL?
10/01/2011Blackboard architecture?Opa
04/24/2011Automata theoryElephants don't play chess
04/25/2011Subsumption + extras == subsumption?Elephants don't play chess
04/26/2011I don't think that's howElephants don't play chess
04/27/2011Unfortunately, the model isElephants don't play chess
04/27/2011I don't believe symbolicElephants don't play chess
05/01/2011Similarly, a glance at theElephants don't play chess
05/01/2011I may be wrong, but IElephants don't play chess
05/01/2011Grammars and agentsElephants don't play chess
12/10/2010Tcllanguages with call by value only (and maybe closures)?
04/12/2010OT: "meta-platform"iPhone PL lockdown
04/07/2010Passing error/event handlersGo's proposed panic/recover exception-like mechanism
04/07/2010Excellent!Go's proposed panic/recover exception-like mechanism
04/07/2010Exceptions + FuturesGo's proposed panic/recover exception-like mechanism
12/03/2008TransactionsFunctional building blocks as concurrency patterns
12/03/2008I knowFunctional building blocks as concurrency patterns
11/27/2008Explicit tailcall statementClojure: Trampoline for mutual recursion
11/11/2008No, the comment is rightSubtyping + overloading
11/12/2008I notice that this onlySubtyping + overloading
11/04/2008PrologNew Programming Language Idea
10/21/2008Reflection and Semantics in LISPA bit of Scheming
09/19/2008JasonAgentSpeak(L): programming with beliefs, desires and intentions
09/19/2008AgentSpeak(L)AgentSpeak(L): programming with beliefs, desires and intentions
09/19/2008AS(L) over Alice MLAgentSpeak(L): programming with beliefs, desires and intentions
09/19/2008This is true ofAgentSpeak(L): programming with beliefs, desires and intentions
08/10/2008Logic vs LambdaUsefullness of constants
08/11/2008Visitor: pattern matching or fold?Patrick Logan on patterns
08/11/2008EncapsulationPatrick Logan on patterns
08/13/2008Why?Patrick Logan on patterns
07/21/2008XMLMulti-Artifact Languages
07/21/2008DSLsMulti-Artifact Languages
06/10/2008Correctusing foldr to do map
05/10/2008Deductive/inductive?History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future
04/23/2008SAT solversprogram verification: the very idea
07/25/2008Types of nullIs null needed?
02/19/2008Console.WriteLine etcGilad Bracha: Cutting out Static
09/08/2007DatalogQ: Modularizing SQL?
06/09/2006Debug REPLCommon Lisp Exception Handling
05/24/2006Because locking an operationruby vs python
02/12/2006Mutability vs scopeGuido: Language Design Is Not Just Solving Puzzles
02/12/2006Cognitive model?Guido: Language Design Is Not Just Solving Puzzles
02/12/2006But I do think that backwardGuido: Language Design Is Not Just Solving Puzzles
02/12/2006Forward chaining usuallyGuido: Language Design Is Not Just Solving Puzzles
01/31/2006Set theory vs type theory (vs. ...)Lambda the Ultimate Set Comprehension
01/23/2006Mac OS XChoice of OS of LtU readers
01/18/2006AIMALisp is sin
12/01/2005Need workCollection of links to monad implementations in various languages.
10/17/2005TOOTObject Oriented Programming + Referential Transparency
10/10/2005Will you answer "no" to this question?The Church-Turing Thesis: Breaking the Myth
07/21/2005...and Tcl tooGrady Booch: Software Engineering Grand Challenges
07/15/2005Types as functions?Static Typing Where Possible, Dynamic Typing When Needed
07/06/2005Scripted CompilerThe design of C++0x
07/04/2005TkBehaviour: Using CSS selectors to apply Javascript functionality
04/29/2005Language RepresentationThe Fortress Language Spec v0.618
04/22/2005C vs C++Why do they program in C++?
04/22/2005Haskell/Ocaml and TclWhy do they program in C++?
05/18/2005Tcl library docsWhy do they program in C++?
04/29/2005mmapWhy do they program in C++?
03/22/2005"Procedural Manifesto"Will Wright Presents Spore... and a New Way to Think About Games
01/20/2005OO or relational?OOP Is Much Better in Theory Than in Practice
01/20/2005Definition of "good" programmerOOP Is Much Better in Theory Than in Practice
01/21/2005What is programming?OOP Is Much Better in Theory Than in Practice
01/22/2005Objects as interpreters?OOP Is Much Better in Theory Than in Practice
07/15/2004Imperfect/incomplete knowledgeWhy type systems are interesting
07/16/2004ExampleWhy type systems are interesting
07/16/2004Not a solutionWhy type systems are interesting
07/16/2004Implementation hidingWhy type systems are interesting
07/16/2004Not trueWhy type systems are interesting
07/16/2004ExactlyWhy type systems are interesting
07/18/2004NiceWhy type systems are interesting
07/14/2004Still don't quite get itExplaining monads
07/14/2004Ahhh!Explaining 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