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

Posts By: Sjoerd Visscher

  Date    Post    Topic  
05/25/2012TacticsLanguages with 'unique' programs
05/07/2012"I'm not sure if monads will be implementable without a heap"Feather: A Heapless Functional Programming Language
10/22/2011They should have called it PL/1.25The evolution of RISC technology at IBM
10/08/2011μx. β + (α → x) is an isotope of Stream α → βData, Codata, and Their Implications for Equality, and Serialization
10/10/2011Clear. Thanks!Data, Codata, and Their Implications for Equality, and Serialization
08/10/2011Eff EDSL in HaskellLightweight Monadic Programming in ML
01/30/2011Stack-based iso constructorsInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing
05/17/2010It's called de Bruijn notationWhat's the name for this model of computation?
03/08/2010This is more a question for the Haskell Cafe mailing list.Multiple overloads of the bind operator
02/27/2010Type family tricksUnifying map and mapM through subtyping?
12/27/2009Available on HackageFunctional Pearl: Implicit Configurations —or, Type Classes Reflect the Values of Types
11/03/2009Wrong linkOn Understanding Data Abstraction, Revisited
09/26/2009It dependsShould method names be (module-) scoped?
08/15/2009That's a lot of text and very little information.Categories, the homemade object system
05/31/2009Check out Haskell's applicative functorsDeriving Functions to Work on Different Types of Data
02/23/2009I second this.Generating nested data types at runtime
12/31/2008Related discussion"Determinism" of types?
12/20/2008Shorter versionThe Genuine Sieve of Eratosthenes
11/30/2008I agreeNon-standard type theories for FP
11/30/2008My feeling is that your idea should workNon-standard type theories for FP
11/10/2008Ideas from CSSDeclarative layout and/or UI languages?
10/06/2008JavaScript!Worlds: Controlling the Scope of Side Effects
08/22/2008Lifting can be done in more than one wayLooking for an auto-lifting language.
08/22/2008Applicative functorsLooking for an auto-lifting language.
07/21/2008use postfixThe Development of Intuitionistic Logic
06/29/2008Not a good exampletype-checking programs with unknown types
06/22/2008I want to be able to writeWriting a new language - ideas?
06/17/2008Algebraic Data Types in JavaScriptAlgebraic Data Types in JavaScript
06/17/2008Thanks!Algebraic Data Types in JavaScript
06/18/2008Comparison with generic programming approaches in HaskellAlgebraic Data Types in JavaScript
04/23/2008Missing linkSpecies: making analytic functors practical for functional programming
03/17/2008Available online?Pure, Declarative, and Constructive Arithmetic Relations
07/26/2007Type of groupWithComprehensions with ‘Order by' and ‘Group by'
07/27/2007Use recordsComprehensions with ‘Order by' and ‘Group by'
07/22/2007setTimeouts are properly serialized in all browsersQuestions on an improved CPS mechanism for JavaScript
07/22/2007I had the same experience.ICFP contest in progress!
07/10/2007compile time loopsSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/02/2007OverkillGood Language Design Principals for Scripting Languages
07/02/2007Domain specific libraryGood Language Design Principals for Scripting Languages
07/03/2007If that is the caseGood Language Design Principals for Scripting Languages
06/23/2007Control freaksPLs and large scale development
06/16/2007What about the web?Carnap Programming Language
06/03/2007I had the same ideaMerging Functions, Modules, Classes, the whole nine yards...
07/27/2007This is spamA Topos Foundation for Theories of Physics
02/24/2007Site is no longer offlineDanFest 2004 videos online
09/18/2006Prolog in JavascriptYield Prolog
08/22/2006css fixwidth still fixed?
05/21/2006It's not that Seaside isn't good.Gilad Bracha: Will Continuations continue?
05/05/2006As an OO type of person...Open data types and open functions
05/05/2006Off the cuff from me tooOpen data types and open functions
05/05/2006The differenceOpen data types and open functions
05/05/2006Are we talking about the same openness?Open data types and open functions
05/05/2006I don't understand.Open data types and open functions
05/06/2006Unit testingOpen data types and open functions
05/06/2006In practiceOpen data types and open functions
05/06/2006I am not a Java programmerOpen data types and open functions
04/10/2006Typos in examplesFunctional Programming Has Reached The Masses; It's Called Visual Basic
02/28/2006Same thing in JavascriptTail call elimination decorator in Python
03/02/2006No, this worksTail call elimination decorator in Python
06/09/2007Link doesn't workThe Haskell Programmer's Guide to the IO Monad --- Don't Panic
11/20/2005More challangeThe Reasoned Schemer
05/06/2005What about just a very small changeLet's make a programming language!
05/07/2005not algol, common senseLet's make a programming language!
05/06/2005real world DSLLet's make a programming language!
05/07/2005yesLet's make a programming language!
05/08/2005PrecedenceThe Fortress Language Spec v0.618
04/28/2005Try this.expressivity of "idiomatic C++"
09/19/2005Ok, let me try the Haskell version.expressivity of "idiomatic C++"
12/23/2004Sometimes english is specialthe Chinese natual language
07/18/2004Prolog in JavascriptEmbedding Prolog in Haskell
08/01/2004The other "every"Why type systems are interesting
07/23/2004It's not that strangeWhy type systems are interesting
08/08/2004Not brokenWhy type systems are interesting
08/14/2006Article has movedRichard Feynman and the Connection Machine
06/14/2004Re: Extensible Code Generation with JavaExtensible Code Generation with Java
05/24/2004Re: Case Study in Practical Language UseCase Study in Practical Language Use
05/21/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/22/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/22/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/24/2004Re: The Case for First Class MessagesThe Case for First Class Messages
05/25/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/10/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/10/2004Re: The Case for First Class MessagesThe Case for First Class Messages
06/10/2004Re: The Case for First Class MessagesThe Case for First Class Messages
04/23/2004Re: Growing a LanguageGrowing a Language
04/10/2004Re: Impedance mismatch: RDBMS and PLsImpedance mismatch: RDBMS and PLs
04/17/2004Re: Impedance mismatch: RDBMS and PLsImpedance mismatch: RDBMS and PLs
04/08/2004Re: Narcissus: JavaScript in JavaScriptNarcissus: JavaScript in JavaScript
03/29/2004Re: Dying TonguesDying Tongues
03/30/2004Re: Dying TonguesDying Tongues
03/30/2004Re: Dying TonguesDying Tongues
03/30/2004Re: Dying TonguesDying Tongues
04/03/2004Re: Dying TonguesDying Tongues
03/27/2004Re: ProthonProthon
02/28/2004Re: Polymorphic VariantsPolymorphic Variants
02/12/2004Re: History of LuaHistory of Lua
02/05/2004Re: GraphPathGraphPath
02/05/2004Re: GraphPathGraphPath
02/05/2004Re: GraphPathGraphPath
01/13/2004Re: MFA in Software: trial runMFA in Software: trial run
01/14/2004Re: MFA in Software: trial runMFA in Software: trial run
01/08/2004Re: Erik Meijer on LtUErik Meijer on LtU
12/19/2003Re: Twisted Matrix Networking for PythonTwisted Matrix Networking for Python
12/20/2003Re: Twisted Matrix Networking for PythonTwisted Matrix Networking for Python
12/06/2003Re: Python Scripting EverywherePython Scripting Everywhere
12/06/2003Re: Python Scripting EverywherePython Scripting Everywhere
11/26/2003Re: DSL for bookmarkletsDSL for bookmarklets
11/10/2003Re: Coalgebraic Reasoning about Classes in Object-Oriented LanguagesCoalgebraic Reasoning about Classes in Object-Oriented Languages
10/28/2003Re: Longhorn Markup Language (code-namedLonghorn Markup Language (code-named "XAML") Overview
10/28/2003Re: XAML the future of UI programming?XAML the future of UI programming?
10/27/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
10/22/2003Re: Expressiveness versus execution speedExpressiveness versus execution speed
10/21/2003Re: Concurrency-oriented programmingConcurrency-oriented programming
10/21/2003Re: Erik Meijer: Visual Basic Programmers Love AnamorphismsErik Meijer: Visual Basic Programmers Love Anamorphisms
10/21/2003Re: Erik Meijer: Visual Basic Programmers Love AnamorphismsErik Meijer: Visual Basic Programmers Love Anamorphisms
10/21/2003Re: Erik Meijer: Visual Basic Programmers Love AnamorphismsErik Meijer: Visual Basic Programmers Love Anamorphisms
10/16/2003Re: Programming with Rectangles, Triangles, and CirclesProgramming with Rectangles, Triangles, and Circles
10/14/2003Re: A Revolution in Logic?A Revolution in Logic?
10/06/2003Re: "Proofs and Types" available online"Proofs and Types" available online
10/02/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/02/2003Re: Tuples + Objects + Infosets =Too Much Stuff!Tuples + Objects + Infosets =Too Much Stuff!
10/02/2003Re: OO Best Feature PollOO Best Feature Poll
10/05/2003Re: OO Best Feature PollOO Best Feature Poll
10/05/2003Re: OO Best Feature PollOO Best Feature Poll
10/05/2003Re: OO Best Feature PollOO Best Feature Poll
10/06/2003Re: OO Best Feature PollOO Best Feature Poll
10/06/2003Re: OO Best Feature PollOO Best Feature Poll
09/18/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/19/2003Re: JScript is a Functional LanguageJScript is a Functional Language
09/01/2003Re: Using an Abstracted Interpreter to Understand Abstract InterpretationUsing an Abstracted Interpreter to Understand Abstract Interpretation
09/01/2003Re: Using an Abstracted Interpreter to Understand Abstract InterpretationUsing an Abstracted Interpreter to Understand Abstract Interpretation
08/06/2003Re: How to make a FPL successfulHow to make a FPL successful
08/02/2003Re: Demo of VBDemo of VB "Whidbey"
07/30/2003Re: Exegesis 6Exegesis 6
07/31/2003Re: Exegesis 6Exegesis 6
07/31/2003Re: Exegesis 6Exegesis 6
08/02/2003Re: Exegesis 6Exegesis 6
07/20/2003Re: The Power and Philosophy of RubyThe Power and Philosophy of Ruby
07/11/2003Re: CDuce: a programming language adapted to the manipulation of XML documentsCDuce: a programming language adapted to the manipulation of XML documents
04/12/2003Re: Hundred Year LanguageHundred Year Language
02/26/2003Re: Tools for the short hikeTools for the short hike
12/31/2002Re: Y in Practical ProgramsY in Practical Programs
11/07/2002Re: Loell, a new programming languageLoell, a new programming language
11/07/2002Re: Loell, a new programming languageLoell, a new programming language
11/06/2002Loell, a new programming languageLoell, a new programming language
02/22/2002Re: stupid lambda tricks for pythonstupid lambda tricks for python
01/24/2002Re: Sinister Scheme Sample Perplexes Python PorterSinister Scheme Sample Perplexes Python Porter
08/13/2003Re: The Charity LanguageThe Charity Language
08/13/2003Re: The Charity LanguageThe Charity Language
08/13/2003Re: The Charity LanguageThe Charity Language
08/18/2001Re: Beyond JS (library)Beyond JS (library)
07/14/2001Using object methods with functional programmingUsing object methods with functional programming

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