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

Posts By: marco

  Date    Post    Topic  
07/08/2012Jeff Hawkins @ NumentaEmerging Languages Camp at Strange Loop
07/13/2012Scratching an itch is fun?Why languages and not systems?
06/24/2012Darwintunes.orgEvolved Turing neural networks - Unorganized machines and the brain
06/18/2012Don't get it...Null, bottom, etc.?
06/18/2012Didn't helpNull, bottom, etc.?
06/18/2012On second thoughtNull, bottom, etc.?
06/18/2012I understand Bottom from a Denotational PerspectiveNull, bottom, etc.?
06/19/2012The Smoke Screen EvaporatedNull, bottom, etc.?
06/19/2012This Discussion Hit BottomNull, bottom, etc.?
06/19/2012Well. Actually I wasNull, bottom, etc.?
06/21/2012It's a mess...Null, bottom, etc.?
06/21/2012It's defined by undefined=undefined.Null, bottom, etc.?
06/22/2012-Null, bottom, etc.?
06/17/2012Lazy evaluation _is_Why are exceptions not described as 'purely functional'?
06/17/2012Well, uhm, I might not understand higher-order logic anymore..Why are exceptions not described as 'purely functional'?
06/17/2012"Would the replacement ofWhy are exceptions not described as 'purely functional'?
06/01/2012Well...Interactive Tutorial of the Sequent Calculus
06/01/2012Ah well...Interactive Tutorial of the Sequent Calculus
06/01/2012On another note...Interactive Tutorial of the Sequent Calculus
06/01/2012YahInteractive Tutorial of the Sequent Calculus
06/15/2012Is it just meInteractive Tutorial of the Sequent Calculus
06/15/2012WonderfulInteractive Tutorial of the Sequent Calculus
06/15/2012Quantifying over Thin Air...Interactive Tutorial of the Sequent Calculus
06/17/2012TechnicalitiesInteractive Tutorial of the Sequent Calculus
06/17/2012Uhm, to be really boring,Interactive Tutorial of the Sequent Calculus
06/17/2012CounterexampleInteractive Tutorial of the Sequent Calculus
06/17/2012Oh coolInteractive Tutorial of the Sequent Calculus
06/17/2012LOLInteractive Tutorial of the Sequent Calculus
06/17/2012No, it was set-theoretics.Interactive Tutorial of the Sequent Calculus
06/01/2012In my experience...Pythonect (A New Programming Language) Call for Syntax! All feedback and comments are appreciated!
05/21/2012Recursive Types don't Equal Computable...Proofs as programs
05/09/2012BrainlessProofs as programs
05/09/2012Ah well.Feather: A Heapless Functional Programming Language
06/18/2012Nice... ;-)Escaping the Maze of Twisty Classes
02/13/2012Simply Typed Lambda Calculus?Teaching challenge: culturally enriching formulae-as-types
02/13/2012Position InformationSyntax Desugaring Algorithm Question
12/27/2011Academia is one model in which invention can happenCambridge Course on "Usability of Programming Languages"
12/28/2011Graph theory. Discrete math.Cambridge Course on "Usability of Programming Languages"
12/28/2011Bad Hair DayCambridge Course on "Usability of Programming Languages"
12/30/2011Man, whatever...Cambridge Course on "Usability of Programming Languages"
12/30/2011So many bad hair days...Cambridge Course on "Usability of Programming Languages"
12/24/2011Unfortunately...Designing a languge — what theory is a must?
12/24/2011Monads...2 Misconcepts About Functional Programming (relating to context and monad)
12/24/2011Liked that2 Misconcepts About Functional Programming (relating to context and monad)
12/24/2011Semantics2 Misconcepts About Functional Programming (relating to context and monad)
12/04/2011You're not finding anyModels for distributed parallelism
10/14/2011FishDennis Ritchie passed away
10/12/2011I don't see the problemSimple Question - Beta reduction and pattern matching (compile time, static)
10/12/2011NPSimple Question - Beta reduction and pattern matching (compile time, static)
10/08/2011The Last AmericanOpen thread: RIP Steve Jobs
10/03/2011I must have done somethingLanguage/Compiler design blogs?
10/03/2011No problem, I didn't work onLanguage/Compiler design blogs?
09/24/2011I am a lighthouse, your call.Redesigning the Mozart virtual machine
09/24/2011BandwidthRedesigning the Mozart virtual machine
09/24/2011Toto, we're home.Redesigning the Mozart virtual machine
09/24/2011Truth emerges more readily from error than confusionRedesigning the Mozart virtual machine
09/24/2011Out of BudgetRedesigning the Mozart virtual machine
09/26/2011Or just copy the designRedesigning the Mozart virtual machine
09/18/2011BasicsWhat needs to be done?
09/18/2011OverhaulForum Topics and Story
09/18/2011HmmForum Topics and Story
09/21/2011Don't AgreeForum Topics and Story
09/21/2011+1Forum Topics and Story
09/22/2011Mood KillerForum Topics and Story
07/20/2011I wonder what I didImplementor's guide/tutorial to delimited continuations?
07/20/2011No idea, it never happens (I hacked it)Implementor's guide/tutorial to delimited continuations?
07/20/2011Yes, each R introduces an SImplementor's guide/tutorial to delimited continuations?
07/19/2011It would help if you wouldImplementor's guide/tutorial to delimited continuations?
05/27/2011Whatever you get published is science...Advice for a young researcher
05/28/2011When I look at it, I thinkAdvice for a young researcher
05/28/2011I suggest you look at placesAdvice for a young researcher
05/28/2011Hey, I want to help, but IAdvice for a young researcher
05/28/2011Ah well, might as well makeAdvice for a young researcher
05/28/2011Still not sure I am the one to askAdvice for a young researcher
05/28/2011You could try CUFP, althoughAdvice for a young researcher
05/25/2011But must have been tried before...Yet another programming language with customizable syntax
05/24/2011XKCD 871?The Architecture of Open Source Applications
05/25/2011I second thisThe Architecture of Open Source Applications
05/23/2011PredictableRob Pike: Public Static Void
05/23/2011Yeah, it's subjectiveRob Pike: Public Static Void
05/23/2011Ada FailureRob Pike: Public Static Void
05/23/2011Uh, yes I think so.Rob Pike: Public Static Void
05/24/2011Hey, I accept that Ada is aRob Pike: Public Static Void
05/29/2011AliasingRob Pike: Public Static Void
05/23/2011The Problem with your StoryRob Pike: Public Static Void
05/23/2011Why? I mean that...Rob Pike: Public Static Void
05/23/2011Point takenRob Pike: Public Static Void
05/31/2011Yeah, well, they started AdaRob Pike: Public Static Void
05/23/2011AdaRob Pike: Public Static Void
05/23/2011See my post above.Rob Pike: Public Static Void
06/09/2011Hush!Rob Pike: Public Static Void
05/16/2011A Non-IssueWhy is tail call optimization an issue in GC'd languages?
05/16/2011That's what I saidWhy is tail call optimization an issue in GC'd languages?
05/16/2011I agree, but have different conclusions...Why is tail call optimization an issue in GC'd languages?
05/19/2011Ah wellWhy is tail call optimization an issue in GC'd languages?
05/19/2011Why Rewriting doesn't need Tail Call OptimizationWhy is tail call optimization an issue in GC'd languages?
05/16/2011The reclamation order ofWhy is tail call optimization an issue in GC'd languages?
05/16/2011I knowWhy is tail call optimization an issue in GC'd languages?
05/16/2011Except for...Why is tail call optimization an issue in GC'd languages?
05/17/2011The Cost of SoftwareWhy is tail call optimization an issue in GC'd languages?
05/17/2011Truth is, I have no feelingWhy is tail call optimization an issue in GC'd languages?
05/18/2011Thanks for that comment.Why is tail call optimization an issue in GC'd languages?
05/17/2011Stack Allocated ObjectsWhy is tail call optimization an issue in GC'd languages?
05/17/2011Well, look at your PC and try to visualizeWhy is tail call optimization an issue in GC'd languages?
05/17/2011Essentially contested conceptWhy is tail call optimization an issue in GC'd languages?
05/18/2011More GeneralWhy is tail call optimization an issue in GC'd languages?
05/13/2011Partial Evaluation - no idea what it is?In search of inspiration
05/24/2011QuoteEnso: William Cook's new programming model
05/24/2011Oh, that...Enso: William Cook's new programming model
04/29/2011Right, so academically itTypes from imported modules "leaking" into a module's public interface
04/25/2011No to mention that it isIteration function in lambda calculus
04/20/2011Not sure you'll end up with anything publishableWide Scope Dead Code Analysis
06/09/2011Ah, you mentioned researchWide Scope Dead Code Analysis
02/24/2011Not a lot of CSProfiel: Henk Barendregt: Lambda calculus hits the tube
01/07/2011Moore's law has endedFast Compilers
01/08/2011Better UnderstandingFast Compilers
01/07/2011Heretic!Fast Compilers
01/07/2011Almost all compilers fail on performanceFast Compilers
01/07/2011It's more about generated codeFast Compilers
01/07/2011No doubt Leroy is intelligent, but so are othersFast Compilers
01/08/2011I would call that luck tooFast Compilers
01/08/2011They borrow from each other...Fast Compilers
01/12/2011Not sure I recommend it. Too PainfulFast Compilers
01/17/2011Eager Evaluated Lambda Calculus on Records with RTTIFast Compilers
01/07/2011Not entirely trueFast Compilers
01/10/2011...why?Fast Compilers
01/02/2011Unsolution - Just keep it simpleThe AST Typing Problem
01/04/2011AddendumThe AST Typing Problem
12/15/2010I miss the term ReificationThe fundamental limitations of parser combinators... and how to fix them.
12/17/2010Reification by WikipediaThe fundamental limitations of parser combinators... and how to fix them.
12/14/2010Abstract Complexitiesyacc death revisited
12/17/2010Someone showed it is reducible to matrix multiplicationyacc death revisited
12/18/2010All practical implementations are cubicyacc death revisited
12/18/2010Trueyacc death revisited
12/03/2010Reference Counting vs Tracing Garbage Collection?Reference Counting vs Tracing Garbage Collection?
12/03/2010Python, TCL8, CDL3Reference Counting vs Tracing Garbage Collection?
12/05/2010Aware of that - Asking for Hard NumbersReference Counting vs Tracing Garbage Collection?
12/05/2010Bacon, Petrank, JoishaReference Counting vs Tracing Garbage Collection?
12/07/2010LOLReference Counting vs Tracing Garbage Collection?
12/07/2010I liked the citationsReference Counting vs Tracing Garbage Collection?
12/06/2010Don't Think SoReference Counting vs Tracing Garbage Collection?
12/07/2010Elaborate, PleaseReference Counting vs Tracing Garbage Collection?
12/07/2010ThanksReference Counting vs Tracing Garbage Collection?
12/09/2010Robustness / String SupportReference Counting vs Tracing Garbage Collection?
12/10/2010Ah wellReference Counting vs Tracing Garbage Collection?
12/09/2010See the other postReference Counting vs Tracing Garbage Collection?
12/05/2010Compile Time? UnlikelyReference Counting vs Tracing Garbage Collection?
12/03/2010Hilarious!Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
12/01/2010Poorly Phrasedlanguages with call by value only (and maybe closures)?
12/01/2010Ah, and Poor Reading toolanguages with call by value only (and maybe closures)?
11/29/2010Praying for the End of TimePure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/29/2010Why?Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/30/2010WellPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
11/30/2010JSGLRPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
12/04/2010Why go for quadratic or cubic performance?Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010
12/17/2010From what I gatherTolerant vs. Demanding Software
12/13/2010Is there room for a powerful but kinda slowish VM?"Future of Programming Languages" panel
11/23/2010If you assign probabilities to non-deterministic transitionsWhat is computation? Concurrency versus Turing's Model
11/24/2010Buechi AutomataWhat is computation? Concurrency versus Turing's Model
11/25/2010FairnessWhat is computation? Concurrency versus Turing's Model
11/23/2010Broken LinkWhat is computation? Concurrency versus Turing's Model
11/23/2010Great VoodooWhat is computation? Concurrency versus Turing's Model
11/25/2010Uh?Concurrency cannot be modeled as a non-deterministic machineWhat is computation? Concurrency versus Turing's Model
11/25/2010Then throw away the modelWhat is computation? Concurrency versus Turing's Model
11/26/2010So it did boil down to fairness?What is computation? Concurrency versus Turing's Model
11/27/2010My horse just lost its shoeWhat is computation? Concurrency versus Turing's Model
11/29/2010Great ProductWhat is computation? Concurrency versus Turing's Model
11/19/2010After looking at theClojure's Solutions to the Expression Problem
11/15/2010I can only imagine the response of the 81 othersA Preliminary Survey on Functional Programming
11/15/2010Very MetaA Preliminary Survey on Functional Programming
11/15/2010In an attempt to be serious about it...A Preliminary Survey on Functional Programming
11/15/2010You can't train programmers above their own levelA Preliminary Survey on Functional Programming
11/16/2010Partly AgreeA Preliminary Survey on Functional Programming
11/16/2010They simply learn the theories after applying them.A Preliminary Survey on Functional Programming
11/16/2010PracticeA Preliminary Survey on Functional Programming
11/17/2010Ah well. Guess you're rightA Preliminary Survey on Functional Programming
11/17/2010I feel...A Preliminary Survey on Functional Programming
11/15/2010On Thomas's commentA Preliminary Survey on Functional Programming
11/16/2010AhA Preliminary Survey on Functional Programming
11/16/2010Programmers and EducationA Preliminary Survey on Functional Programming
11/15/2010I will refrain from snarky remarksA Preliminary Survey on Functional Programming
11/15/2010HeheA Preliminary Survey on Functional Programming
11/15/201014/19 or 14/100?A Preliminary Survey on Functional Programming
11/15/2010MoreoverA Preliminary Survey on Functional Programming
11/20/2010I don't think most programmers would know the answer to thatA Preliminary Survey on Functional Programming
11/23/2010I think FP is just readyA Preliminary Survey on Functional Programming
11/23/2010ThatA Preliminary Survey on Functional Programming
11/24/2010I get that...A Preliminary Survey on Functional Programming
11/09/2010I.e., no type inference.Gosu Released
11/10/2010Ah WellLambda the Ultimate seems an Overstatement (not)
11/11/2010Lambda is just a VehicleLambda the Ultimate seems an Overstatement (not)
11/13/2010Because Lisp and λ-calculus belong to different worldsLambda the Ultimate seems an Overstatement (not)
11/11/2010Hand Waving not AllowedLambda the Ultimate seems an Overstatement (not)
11/07/2010Not that lightClosures without function pointers
11/07/2010Should be DoableClosures without function pointers
11/07/2010I see, mostlyClosures without function pointers
11/09/2010Looks HardClosures without function pointers
11/09/2010Beg to DifferClosures without function pointers
11/17/2010Just Different TerminologyClosures without function pointers
11/07/2010NoClosures without function pointers
11/05/2010Dlihc Renniyet another paradigm
11/04/2010Plaidoyer for SokobanConservative Logic
11/04/2010Ah! Meta-physics!Conservative Logic
11/04/2010The Missing Billiard Ball?Conservative Logic
11/04/2010No idea. Looks like something differentConservative Logic
11/11/2010No reason, Just a hunchConservative Logic
11/12/2010As I said, just a hunchConservative Logic
11/13/2010NiceConservative Logic
11/13/2010OldConservative Logic
10/31/2010SaaS and Split and JoinAsynchronous Programming, Monads and Continuations in C#, F# and Scala
10/30/2010I leave philosophy to HeidiggerThe Myths of Object-Orientation
11/05/2010NiceThe Myths of Object-Orientation
10/22/2010And BTW if you plan on using make for your build system,Looking for pointers: mixfix error recovery
11/06/2010What do you want to do?The barrier to take-up of language innovation
10/17/2010A Bit StaleThe barrier to take-up of language innovation
10/18/2010The Net is PatientThe barrier to take-up of language innovation
11/06/2010Javascript...The barrier to take-up of language innovation
10/10/2010I like itHaskell implementation in Javascript
10/11/2010Cobbled TogetherFunctional random numbers without threading state
10/13/2010Thief of TimeDesign Principles Behind Smalltalk
10/01/2010The Future was YesterdaySoftware Development with Code Maps
09/29/2010It doesn't fit everything,What is the best system for experimenting with and visualizing complex algorithms?
11/29/2010OTNew Dataflow Programming Language
09/13/2010Despite that I don't really like Monadsprinciple of least authority and programming languages
09/07/2010After reading Duffy, I wonder what we are discussing?Is Transactional Programming Actually Easier?
09/07/2010Disillusionment Part IIIJoe Duffy: A (brief) retrospective on transactional memory
09/01/2010I agreeChoosing a VM for a concurrent language
09/02/2010A lot of Science is ArtChoosing a VM for a concurrent language
09/03/2010Agreed, but CS is not PhysicsChoosing a VM for a concurrent language
09/03/2010Designing Ergonomically is Difficult, but Testing Isn'tChoosing a VM for a concurrent language
09/05/2010A language is ...Sapir-Whorf 70 years on
12/20/2010Hard to believe he said that as a 17 year old!Sapir-Whorf 70 years on
08/27/2010Buy a few Books?CS and mathematics dictionary
08/25/2010Hey!Articles on Precise GC with Parametric Polymorphism
08/18/2010You need to know really well where you want your notes to goQuick OT Doc Authoring/Equation Editting Question
08/22/2010Recognizes Handwritten Math?Quick OT Doc Authoring/Equation Editting Question
08/17/2010The Grafwegen Hi Compiler named Hic release 0.1The Grafwegen Hi Compiler named Hic release 0.1
08/19/2010NoThe Grafwegen Hi Compiler named Hic release 0.1
08/19/2010Yeah, looks convenientThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010Uh?The Grafwegen Hi Compiler named Hic release 0.1
08/23/2010The LHS may contain anThe Grafwegen Hi Compiler named Hic release 0.1
08/20/2010NotedThe Grafwegen Hi Compiler named Hic release 0.1
08/21/2010Just C/SpeedThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010Guess it's more living with glitchesThe Grafwegen Hi Compiler named Hic release 0.1
08/24/201070fps should be the defaultThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010A horse is a horse, of courseThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010Numerical ExceptionsThe Grafwegen Hi Compiler named Hic release 0.1
08/27/2010Good PointsThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010Very GoodThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010Sounds like a better explanationThe Grafwegen Hi Compiler named Hic release 0.1
08/23/2010By the wayThe Grafwegen Hi Compiler named Hic release 0.1
11/29/2010Looking for Co-Developers?The Grafwegen Hi Compiler named Hic release 0.1
11/29/2010Adding Ref?The Grafwegen Hi Compiler named Hic release 0.1
11/29/2010AddendumThe Grafwegen Hi Compiler named Hic release 0.1
04/21/2011Open SourceThe Grafwegen Hi Compiler named Hic release 0.1
04/22/2011Where to host?The Grafwegen Hi Compiler named Hic release 0.1
04/22/2011Hmm...The Grafwegen Hi Compiler named Hic release 0.1
04/22/2011Implementation ReferenceThe Grafwegen Hi Compiler named Hic release 0.1
04/24/2011Type Inferencing for the Hi LanguageThe Grafwegen Hi Compiler named Hic release 0.1
08/14/2010I just wonderMiguel de Icaza on Java lawsuit
08/15/2010FiguresMiguel de Icaza on Java lawsuit
08/20/2010On Dalvik InternalsMiguel de Icaza on Java lawsuit
08/20/2010I've tried to get my hand on bench-marksMiguel de Icaza on Java lawsuit
08/13/2010Module System != Namespace ManagementThe ideal style/system for namespaces.
08/13/2010Module System <= Namespace ManagementThe ideal style/system for namespaces.
08/13/2010How to speak Obamanese?The ideal style/system for namespaces.
08/13/2010--Wpedantic-errorsThe ideal style/system for namespaces.
08/13/2010Ah wellThe ideal style/system for namespaces.
08/16/2010I must be older than you areThe ideal style/system for namespaces.
08/16/2010StrangeThe ideal style/system for namespaces.
08/16/2010Well, at least that mistake is clearedThe ideal style/system for namespaces.
08/14/2010My PointThe ideal style/system for namespaces.
08/14/2010That's what I wonder aboutThe ideal style/system for namespaces.
08/18/2010I really wonder about the benefits of JITtingType Classes as Objects and Implicits
08/19/2010Okay... What about inline?Type Classes as Objects and Implicits
08/20/2010It's a generalized form of Fibonacci, No?Type Classes as Objects and Implicits
07/31/2010I think, this just shouldn't have type-checked:Overlapping Instances + Functional Dependencies Unsound?
08/01/2010Depends on your semanticsOverlapping Instances + Functional Dependencies Unsound?
08/01/2010TBH, it's a lesson from my own Hi compiler.Overlapping Instances + Functional Dependencies Unsound?
08/07/2010I thoughtOverlapping Instances + Functional Dependencies Unsound?
08/08/2010uh. nope? or, uh, yes.Overlapping Instances + Functional Dependencies Unsound?
07/31/2010The Root of the ProblemOverlapping Instances + Functional Dependencies Unsound?
07/16/2010Is an idea discovery or invention?Is mathematics invention or discovery?
07/16/2010PiIs mathematics invention or discovery?
07/16/2010Of courseIs mathematics invention or discovery?
07/13/2010Context Sensitive GrammarsGenerative Grammar-based Computation
07/13/2010HmpfGenerative Grammar-based Computation
07/13/2010Post by Z-BoGenerative Grammar-based Computation
07/13/2010Btw, PrologGenerative Grammar-based Computation
07/15/2010Try CDL3Generative Grammar-based Computation
07/13/2010An awful argumentApp Inventor: Programming for non-programmers... again
07/13/2010The argument wasn't on this particular applicationApp Inventor: Programming for non-programmers... again
07/16/2010Reads like Oscar WildeApp Inventor: Programming for non-programmers... again
07/09/2010Oleg says:The Rust Language
07/09/2010Hell noThe Rust Language
07/11/2010The way I see it..The Rust Language
07/21/2010Been There, Done ThatThe Rust Language
07/06/2010Teaching is LyingUncle Bob's talk at RailsConf 2010
07/06/2010Moore excellentUncle Bob's talk at RailsConf 2010
07/06/2010Exsqueeze Me?Uncle Bob's talk at RailsConf 2010
07/06/2010Google WattsUncle Bob's talk at RailsConf 2010
07/06/2010Yah, wellUncle Bob's talk at RailsConf 2010
07/07/2010I doubt them both...Uncle Bob's talk at RailsConf 2010
07/07/2010He makes you thinkUncle Bob's talk at RailsConf 2010
07/07/2010He said a lot more than just that...Uncle Bob's talk at RailsConf 2010
07/03/2010I have been thinking about similar linesAn intuitionistic logic that proves Markov's principle
07/03/2010Thanks for the clarificationAn intuitionistic logic that proves Markov's principle
07/02/2010I second this...Simulation language ideas?
06/30/2010Hey!Evocative metaphor
06/29/2010InterestingXtext: An IDE on the cheap
07/01/2010Quelle BordelleSF-calculus
07/07/2010RightSF-calculus
06/28/2010I don't get all these argumentsSF-calculus
06/29/2010Still don't see itSF-calculus
07/01/2010YeahSF-calculus
06/29/2010NiceSF-calculus
07/01/2010Someone should come up with a better termSF-calculus
07/01/2010Practical ApplicationSF-calculus
07/02/2010I know that..SF-calculus
06/27/2010Dictionaries and ContextsHow important is language support for namespace management?
06/27/2010In order for a university to lead...Why Undergraduates Should Learn the Principles of Programming Languages
06/27/2010Whatever gave you that idea?Why Undergraduates Should Learn the Principles of Programming Languages
06/27/2010You just made itWhy Undergraduates Should Learn the Principles of Programming Languages
06/28/2010If you would elaborate that furtherWhy Undergraduates Should Learn the Principles of Programming Languages
06/28/2010I get thatWhy Undergraduates Should Learn the Principles of Programming Languages
06/29/2010Not Politics, human natureWhy Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Probably no discussionWhy Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Dijkstra's story is: I hire an expert. Expert says do X. I do Y.Why Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Wrong ProblemWhy Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Yeah, some underpinningWhy Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Was that a reply to me?Why Undergraduates Should Learn the Principles of Programming Languages
06/30/2010Dijkstra assumed...Why Undergraduates Should Learn the Principles of Programming Languages
06/27/2010Scanned, went to the Trash CanWhy Undergraduates Should Learn the Principles of Programming Languages
07/01/2010Yeah, I think this discussion diedWhy Undergraduates Should Learn the Principles of Programming Languages
07/08/2010You're addressing the wrong crowd here...Why Undergraduates Should Learn the Principles of Programming Languages
07/15/2010I guess you're rightWhy Undergraduates Should Learn the Principles of Programming Languages
07/09/2010Don't think it is that bad, now is it?Why Undergraduates Should Learn the Principles of Programming Languages
07/10/2010Uh.. WellWhy Undergraduates Should Learn the Principles of Programming Languages
07/11/2010DependsWhy Undergraduates Should Learn the Principles of Programming Languages
06/18/2010Looking for a proof that eager reduction is as strong as lazy reductionLooking for a proof that eager reduction is as strong as lazy reduction
06/19/2010ThanksLooking for a proof that eager reduction is as strong as lazy reduction
06/19/2010EncodingsLooking for a proof that eager reduction is as strong as lazy reduction
06/20/2010OkidokiLooking for a proof that eager reduction is as strong as lazy reduction
06/14/2010C-MachineC-Machine
06/14/2010TrueC-Machine
06/14/2010Yah.C-Machine
06/09/2010Mature?SIGPLAN's first Programming Languages Software Award goes to LLVM
05/09/2010You could have stated a simpler question.Computing complexity
05/07/2010Given the amount of subscribersSpam filters
05/08/2010Not a bad pointCode Quarterly - The Hackademic Journal
05/05/2010∀τ:τ→τTyped Lambda Calculus
05/04/2010Wouldn't this be 2nd order too?Typed Lambda Calculus
05/04/2010Tresspassing and TheftThe Structure of Authority: Why security is not a separable concern
04/21/2010ML is purrfect.... MLSeeking thoughtful criticisms of functional programming and languages
04/21/2010YahSeeking thoughtful criticisms of functional programming and languages
04/22/2010Effect and StateSeeking thoughtful criticisms of functional programming and languages
04/22/2010My distasteSeeking thoughtful criticisms of functional programming and languages
04/22/2010Stuff goes In, Stuff goes OutSeeking thoughtful criticisms of functional programming and languages
04/22/2010Weaknesses and ProblemsSeeking thoughtful criticisms of functional programming and languages
04/23/2010Pause and EffectSeeking thoughtful criticisms of functional programming and languages
04/23/2010Propaganda PhilippaSeeking thoughtful criticisms of functional programming and languages
04/23/2010Halelujah, Hosanna and HaskellSeeking thoughtful criticisms of functional programming and languages
04/24/2010In a religious debate, you bring tomatoesSeeking thoughtful criticisms of functional programming and languages
04/24/2010PossiblySeeking thoughtful criticisms of functional programming and languages
04/23/2010Prior to widespread adoption of OOP languages...Seeking thoughtful criticisms of functional programming and languages
04/23/2010It's not the syntax onlySeeking thoughtful criticisms of functional programming and languages
04/22/2010Design and ToolsSeeking thoughtful criticisms of functional programming and languages
04/24/2010Why?Seeking thoughtful criticisms of functional programming and languages
04/24/2010Obligatory Superfluous CommentSeeking thoughtful criticisms of functional programming and languages
05/21/2010LoggingSeeking thoughtful criticisms of functional programming and languages
05/22/2010Language or ProgrammingSeeking thoughtful criticisms of functional programming and languages
05/22/2010You missed the point entirelySeeking thoughtful criticisms of functional programming and languages
05/22/2010ExplicitSeeking thoughtful criticisms of functional programming and languages
05/23/2010WeavingSeeking thoughtful criticisms of functional programming and languages
05/23/2010Referential TransparancySeeking thoughtful criticisms of functional programming and languages
05/23/2010BullSeeking thoughtful criticisms of functional programming and languages
05/04/2010YeahSEC interested in formalising contracts ... in Python
04/22/2010Soft TimeSEC interested in formalising contracts ... in Python
04/25/2010Most Big Companies understand Theory and Academia PerfectlySEC interested in formalising contracts ... in Python
04/25/2010Irrelevant. Contracts are always in the domain of courtsSEC interested in formalising contracts ... in Python
04/25/2010Is that relevant?SEC interested in formalising contracts ... in Python
04/24/2010A Pretty Uninformed OpinionSEC interested in formalising contracts ... in Python
04/24/2010Politics?SEC interested in formalising contracts ... in Python
04/25/2010The SEC issued that programs be written in the USSEC interested in formalising contracts ... in Python
04/26/20103%SEC interested in formalising contracts ... in Python
04/26/2010Requirements EngineeringSEC interested in formalising contracts ... in Python
04/26/2010Much DifferentSEC interested in formalising contracts ... in Python
04/27/2010Hugs is written in CSEC interested in formalising contracts ... in Python
04/27/2010Who is Our?SEC interested in formalising contracts ... in Python
04/27/2010No goal and an agenda doesn't existsSEC interested in formalising contracts ... in Python
04/27/2010I did?SEC interested in formalising contracts ... in Python
04/28/2010As I got itSEC interested in formalising contracts ... in Python
04/29/2010Then explain to meSEC interested in formalising contracts ... in Python
04/30/2010Ah wellSEC interested in formalising contracts ... in Python
04/28/2010Or it is elaborate sales?SEC interested in formalising contracts ... in Python
04/28/2010I agreeSEC interested in formalising contracts ... in Python
06/23/2010The most common reason for bit rotseL4: Formal Verification of an Operating-System Kernel
04/16/2010If I read it well... it summarizes to:How can C Programs be so Reliable?
04/20/2010Component FailureHow can C Programs be so Reliable?
04/21/2010Though I agree with you...How can C Programs be so Reliable?
04/21/2010AhHow can C Programs be so Reliable?
04/21/2010Maybe...How can C Programs be so Reliable?
04/21/2010Another Good PointHow can C Programs be so Reliable?
04/21/2010No Faults, Design DecisionsHow can C Programs be so Reliable?
04/21/2010I agreeHow can C Programs be so Reliable?
04/22/2010Don't understand his trick....How can C Programs be so Reliable?
04/22/2010The Trick WorksHow can C Programs be so Reliable?
04/22/2010Sets...Since...How can C Programs be so Reliable?
04/14/2010Don'tIdeas for a PL-oriented honors thesis
04/14/2010Well...Ideas for a PL-oriented honors thesis
04/16/2010I know that..Ideas for a PL-oriented honors thesis
04/16/2010I don't see your point?Ideas for a PL-oriented honors thesis
04/16/2010Those who teach, can'tIdeas for a PL-oriented honors thesis
04/17/2010No ShiftingIdeas for a PL-oriented honors thesis
04/14/2010I agree, but...Ideas for a PL-oriented honors thesis
04/16/2010Cool, thanks for that answer.Ideas for a PL-oriented honors thesis
04/14/2010Impossible question?Representing Type Information in Dynamically Typed Languages
04/14/2010Nit-pickingRepresenting Type Information in Dynamically Typed Languages
04/15/2010I like that ideaRepresenting Type Information in Dynamically Typed Languages
04/11/2010BatteryiPhone PL lockdown
04/12/2010Good PointiPhone PL lockdown
04/14/2010Well, having scanned the link and your postsplitting the program into formalizable vs. non-formalizable parts?
04/12/2010Pnueli, Milnersplitting the program into formalizable vs. non-formalizable parts?
04/14/2010I think, it's was by now...splitting the program into formalizable vs. non-formalizable parts?
04/14/2010To ClarifySpecifying Solvers?
04/11/2010unsafePerformIO != Imperative. Monad == Imperative.Can functional programming be liberated from the von Neumann paradigm?
04/12/2010i'll bite once again.Can functional programming be liberated from the von Neumann paradigm?
04/12/2010Don't assume too much...Can functional programming be liberated from the von Neumann paradigm?
04/13/2010YeahCan functional programming be liberated from the von Neumann paradigm?
04/13/2010yeah wellCan functional programming be liberated from the von Neumann paradigm?
04/14/2010HmpfCan functional programming be liberated from the von Neumann paradigm?
04/14/2010As a side note...Can functional programming be liberated from the von Neumann paradigm?
05/12/2010Can someone explainOn the (Alleged) Value of Proof for Assurance
05/08/2010As far as I understoodOn the (Alleged) Value of Proof for Assurance
06/17/2010More GuiltyOn the (Alleged) Value of Proof for Assurance
03/01/2010At some point...Advantages of Purity
02/24/2010class Set (S a)?Objects to Unify Type Classes and GADTs
02/24/2010I admit I didn't totally get thatObjects to Unify Type Classes and GADTs
02/25/2010Right..Objects to Unify Type Classes and GADTs
02/20/2010I second this!Reminder: OOPSLA is now SPLASH
02/18/2010Didn't you get the memo?Small PL Thought Experiment
02/18/2010Great, thanks!Small PL Thought Experiment
02/19/2010Great FeedbackSmall PL Thought Experiment
02/19/2010Cool, I got that under 12 seconds!Small PL Thought Experiment
02/20/2010UhSmall PL Thought Experiment
02/20/2010Well....Small PL Thought Experiment
01/22/2010uhsee history of things i started (vs. commented on)?
01/18/2010CS is a scienceDeclarative binding vs. composition
01/14/2010I Like My MoonQuantum Lambda Calculus
01/16/2010I don't buy into quantum anymoreQuantum Lambda Calculus
01/16/2010I shouldn't discuss this, but..Quantum Lambda Calculus
01/17/2010Thanks for that commentQuantum Lambda Calculus
01/18/2010You ate my M&M?Quantum Lambda Calculus
01/18/2010Well Hey!Quantum Lambda Calculus
01/18/2010YeahQuantum Lambda Calculus
01/17/2010Pre-understood pre-comment which should be widely disregarded.Quantum Lambda Calculus
01/17/2010Clouded JudgementsQuantum Lambda Calculus
01/18/2010Don't know that dilemmaQuantum Lambda Calculus
01/19/2010Is NotQuantum Lambda Calculus
01/19/2010Oh golly, dropping the M&MsQuantum Lambda Calculus
01/19/2010TwisterQuantum Lambda Calculus
01/20/2010Thomas: Then reread them yourself before you claim anything!Quantum Lambda Calculus
01/20/2010Ah well, okay.Quantum Lambda Calculus
01/20/2010Oh great, I am confused.Quantum Lambda Calculus
01/21/2010DuhQuantum Lambda Calculus
01/21/2010BtwQuantum Lambda Calculus
01/20/2010As far as I can see...Quantum Lambda Calculus
01/24/2010(forget it)Quantum Lambda Calculus
01/05/2010If I remember correctlywondering why C is the language of compilers- when a Scheme subset would seem to be a better fit?
12/30/2009I am trying thismost water-tight real-world language implementation?
12/30/2009Non-determinism != ProbabilisticIs (probabilistic) non-determinism pure ?
12/30/2009These are just definitionsIs (probabilistic) non-determinism pure ?
12/25/2009Lazy Christmas GiftLazy Christmas Gift
12/04/2009Goto StartWhy Object-Oriented Languages Need Tail Calls
12/07/2009Two sidesWhy Object-Oriented Languages Need Tail Calls
12/07/2009WrongWhy Object-Oriented Languages Need Tail Calls
12/09/2009We Bad?Why Object-Oriented Languages Need Tail Calls
11/24/2009Comes with spots tooScratch: Programming for All
11/17/2009OverloadingI Seek a Reasonable Survey on the Concept of "Module System"
11/12/2009Because it is easyCompilation to C, a definitive guide?
11/30/2009Remarks (overdue)Review NP-complete Library Versioning Problem
12/27/2009Naive approximationObjects as Modules in Newspeak
05/18/2009I find this...Extension Methods versus Structural Typing of Traits for solving the expression problem
05/16/2009HCI: ReactableComputer music: a bastion of interactive visual dataflow languages
05/21/2009HmpfWolframAlpha
05/21/2009tanh(0.1x) | tanh(0.2x)WolframAlpha
05/21/2009Attribute Grammars (maybe on Finite Lattices)WolframAlpha
05/12/2009GermanWhy Did M.I.T. Switch from Scheme to Python?
05/14/2009MindsetWhy Did M.I.T. Switch from Scheme to Python?
05/17/2009AhWhy Did M.I.T. Switch from Scheme to Python?
05/17/2009To come back to your questionWhy Did M.I.T. Switch from Scheme to Python?
12/13/2010Just a Double ReplyOracle, Sun, and Fortress
05/06/2009Karel the RobotRight on!
05/07/2009Don't forget the GreeksRight on!
05/07/2009I willRight on!
05/07/2009Though the bad thing about mathematical formalismsRight on!
05/07/2009More seriouslyRight on!
05/07/2009Works wellRight on!
05/07/2009Hardyhar...Right on!
05/07/2009Ha!Right on!
05/08/2009Solid at timesRight on!
05/08/2009More concreteRight on!
05/07/2009Or stepping off?Right on!
05/07/2009JotRight on!
05/08/2009DaydreamingRight on!
05/04/2009Spam, Akismet, Captchadealing with spam?
04/27/2009Recondite argumentsBranching Time vs. Linear Time: Semantical Perspective
04/27/2009Starting to see the argumentBranching Time vs. Linear Time: Semantical Perspective
04/29/2009Buy Lynch?Branching Time vs. Linear Time: Semantical Perspective
05/01/2009EnablednessBranching Time vs. Linear Time: Semantical Perspective
05/02/2009IO automata vs CSPBranching Time vs. Linear Time: Semantical Perspective
04/29/2009Uh, so what?Branching Time vs. Linear Time: Semantical Perspective
04/23/2009ShieldThe deBrujin Criterion and the "LCF Approach".
04/25/2009SubstitutionThe deBrujin Criterion and the "LCF Approach".
04/29/2009Ah...The deBrujin Criterion and the "LCF Approach".
04/13/2009HmpfWhy are objects so unintuitive?
04/17/2009For meWhy are objects so unintuitive?
11/19/2010According to OOADWhy are objects so unintuitive?
04/07/2009Not even that bad an ideaA Computer-Generated Proof that P=NP
03/13/2009Obligatory CommentAdvantages of pointfree?
03/14/2009I agreeAdvantages of pointfree?
03/16/2009Stateless?Advantages of pointfree?
03/13/2009Algebraic OptimizationsAdvantages of pointfree?
03/14/2009Map FusionAdvantages of pointfree?
03/15/2009Neither am IAdvantages of pointfree?
03/16/2009Extra CommentAdvantages of pointfree?
03/16/2009Most common denominatorAdvantages of pointfree?
03/16/2009Setting aside all the usualInfluence of cognitive models on programming language design
03/16/2009You do understandInfluence of cognitive models on programming language design
03/16/2009Love the Semantic Domain ModelsInfluence of cognitive models on programming language design
03/10/2009I think...Linear Logic and Permutation Stacks--The Forth Shall Be First
03/11/2009NoLinear Logic and Permutation Stacks--The Forth Shall Be First
03/11/2009?Linear Logic and Permutation Stacks--The Forth Shall Be First
03/11/2009Ah wellLinear Logic and Permutation Stacks--The Forth Shall Be First
03/12/2009Not muchLinear Logic and Permutation Stacks--The Forth Shall Be First
03/13/2009Stack-based by NatureLinear Logic and Permutation Stacks--The Forth Shall Be First
03/08/2009Why didn't it work out?Linear Logic and Permutation Stacks--The Forth Shall Be First
03/08/2009It works well in CleanLinear Logic and Permutation Stacks--The Forth Shall Be First
03/05/2009A Silly IdeaThe Meta-LtU Thread
03/04/2009Dikes!The Meta-LtU Thread
03/06/2009Looking for the the MouseThe Meta-LtU Thread
03/06/2009I take that as a noThe Meta-LtU Thread
03/10/2009...The Meta-LtU Thread
03/06/2009Some Incoherent Random ThoughtsThe Meta-LtU Thread
03/07/2009Water under the BridgeThe Meta-LtU Thread
03/07/2009Probably too earlyThe Meta-LtU Thread
03/08/2009You got the gistThe Meta-LtU Thread
03/08/2009E7-E5The Meta-LtU Thread
03/08/2009It could become a Christmas TreeThe Meta-LtU Thread
02/02/2009Small remarkRuling out nonsensical data type definitions
02/02/2009Why would you reject it?Ruling out nonsensical data type definitions
02/02/2009Well-foundednessRuling out nonsensical data type definitions
01/29/2009SemioticsPL Grand Challenges
02/01/2009That's easyPL Grand Challenges
02/02/2009Ok, okPL Grand Challenges
02/03/2009Not entirely what I meantPL Grand Challenges
02/06/2009Boyish EnthusiasmPL Grand Challenges
02/06/2009Do you mean five applesPL Grand Challenges
02/06/2009Apples and OrangesPL Grand Challenges
02/07/2009WhateverPL Grand Challenges
02/09/2009Need not be that complexPL Grand Challenges
02/06/2009Psychology and CSPL Grand Challenges
02/06/2009If there haven't been a lot of studiesPL Grand Challenges
02/07/2009.PL Grand Challenges
02/09/2009Lala-land ain't that badPL Grand Challenges
02/09/2009And neurolinguistics is thePL Grand Challenges
02/09/2009Understanding why we should obtainPL Grand Challenges
02/09/2009Multi-disciplinary developmentPL Grand Challenges
02/10/2009Maybe a little better than semicolonsPL Grand Challenges
01/25/2009Don't change a winning teamDetailed discussion forum and/or IRC channel?
01/26/2009Sister-siteDetailed discussion forum and/or IRC channel?
01/24/2009Ascribing Machine-LIke Qualities to ManElephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/25/2009My comment on SpinozaElephant 2000: A Programming Language for the year 2015 Based on Speech Acts
01/19/2009Read it as a postfix function/operatorLambda Calculus Notation
01/20/2009Not sure?Compilation/method resolution with structural subtyping
01/16/2009Did you...Looking for papers describing advanced language topics in terms of C programming
01/14/2009If it is solved...What Are The Resolved Debates in General Purpose Language Design?
01/14/2009R5RS and R6RS SchemeWhat Are The Resolved Debates in General Purpose Language Design?
01/14/2009HmpfWhat Are The Resolved Debates in General Purpose Language Design?
01/21/2009As far as I knowWhat Are The Resolved Debates in General Purpose Language Design?
01/21/2009Yeah, what would you do with it anyway...What Are The Resolved Debates in General Purpose Language Design?
01/24/2009Lexical level is part of the grammarWhat Are The Resolved Debates in General Purpose Language Design?
01/10/2009Using coalgebraic structures for traversing ADTs lazilyUsing coalgebraic structures for traversing ADTs lazily
01/11/2009Comparing contentUsing coalgebraic structures for traversing ADTs lazily
01/11/2009More programming/solution orientedUsing coalgebraic structures for traversing ADTs lazily
01/14/2009YeahUsing coalgebraic structures for traversing ADTs lazily
03/01/2009FamiliarUsing coalgebraic structures for traversing ADTs lazily
03/01/2009Same solution?Using coalgebraic structures for traversing ADTs lazily
03/04/2009SolutionUsing coalgebraic structures for traversing ADTs lazily
03/04/2009In the eye of the beholder?Using coalgebraic structures for traversing ADTs lazily
03/04/2009Evaluate by NeedUsing coalgebraic structures for traversing ADTs lazily
03/05/2009ThanksUsing coalgebraic structures for traversing ADTs lazily
03/06/2009NopeUsing coalgebraic structures for traversing ADTs lazily
03/06/2009God, now I am interestedUsing coalgebraic structures for traversing ADTs lazily
03/06/2009Wrapping it up: Samefringe ProblemUsing coalgebraic structures for traversing ADTs lazily
03/06/2009Master TheoremUsing coalgebraic structures for traversing ADTs lazily
03/06/2009Yeah, saw thatUsing coalgebraic structures for traversing ADTs lazily
01/01/2009Depends"Determinism" of types?
12/28/2008Hmmm....Learning Pragmatics of Implementing a "Modern" Type Systems
12/31/2008Use your headLearning Pragmatics of Implementing a "Modern" Type Systems
01/09/2009O(size of the term)2008 In Review - What Happened with Programming Languages?
01/12/2009Sidenote on Boehm2008 In Review - What Happened with Programming Languages?
01/28/2009Ok2008 In Review - What Happened with Programming Languages?
01/09/2009SKI2008 In Review - What Happened with Programming Languages?
01/13/2009On die memory2008 In Review - What Happened with Programming Languages?
12/23/2008Exhaustiveness checkingFunctional Pearl: Type-safe pattern combinators
12/20/2008I think...Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/20/2008Aaaaaahaaaaaaaaaaah!Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/31/2008re: Better Algorithm ComplexityProgrammable Concurrency in a Pure and Lazy Language
12/31/2008On better algorithm complexityProgrammable Concurrency in a Pure and Lazy Language
12/31/2008IrrelevantProgrammable Concurrency in a Pure and Lazy Language
12/20/2008Yeah, wellFundamental Flaws in Current Programming Language Type Systems
12/20/2008Power is not absoluteFundamental Flaws in Current Programming Language Type Systems
12/20/2008Types as valuesFundamental Flaws in Current Programming Language Type Systems
12/20/2008Requirements & DesignFundamental Flaws in Current Programming Language Type Systems
12/20/2008No real thoughtsFundamental Flaws in Current Programming Language Type Systems
12/11/2008In one word...The Genuine Sieve of Eratosthenes
12/23/2008Someone ...The Genuine Sieve of Eratosthenes
12/23/2008MaybeThe Genuine Sieve of Eratosthenes
01/04/2009Great analysisThe Genuine Sieve of Eratosthenes
01/04/2009O(n)? Another argument?The Genuine Sieve of Eratosthenes
01/04/2009I think the sequenceThe Genuine Sieve of Eratosthenes
01/05/2009I might be stupidThe Genuine Sieve of Eratosthenes
01/05/2009How silly of meThe Genuine Sieve of Eratosthenes
01/05/2009HeheThe Genuine Sieve of Eratosthenes
01/05/2009Guess soThe Genuine Sieve of Eratosthenes
12/09/2008Four Color TheoremAMS: A Special Issue on Formal Proof
11/24/2008Non-standard type theories for FPNon-standard type theories for FP
11/24/2008Same for existentialsNon-standard type theories for FP
11/24/2008You gave the answer I wanted to avoidNon-standard type theories for FP
11/24/2008ElaborateNon-standard type theories for FP
12/31/2008I understood thatNon-standard type theories for FP
01/01/2009YeahNon-standard type theories for FP
11/24/2008Wouldn't you like a type system where illegal types do not existNon-standard type theories for FP
11/24/2008Skipped a partNon-standard type theories for FP
11/24/2008Let's try \t \x . t xNon-standard type theories for FP
11/25/2008So was I, at a lost island ;-)Non-standard type theories for FP
11/24/2008Needed to ride my bike...Non-standard type theories for FP
11/24/2008BindingNon-standard type theories for FP
11/24/2008Maybe I am just thinking parametric polymorphismNon-standard type theories for FP
11/24/2008UnsureNon-standard type theories for FP
11/24/2008I knowNon-standard type theories for FP
11/27/2008Argument by Pierce?Non-standard type theories for FP
11/25/2008Ha!Non-standard type theories for FP
11/25/2008I just realized thatNon-standard type theories for FP
11/25/2008Back to the original question - and let's drop itNon-standard type theories for FP
11/27/2008It's just a silly observation. A metafor and maybe a solution?Non-standard type theories for FP
11/27/2008I didn't really answer to your remarks.Non-standard type theories for FP
01/25/2009Only implicationsNon-standard type theories for FP
12/01/2008I think I already got it to workNon-standard type theories for FP
12/03/2008Going higher-rankNon-standard type theories for FP
12/09/2008HMF, HMLNon-standard type theories for FP
12/16/2008Skolem TypesNon-standard type theories for FP
12/16/2008GreatNon-standard type theories for FP
12/31/2008Not rank-2Non-standard type theories for FP
11/20/2008Moveable code, multi-coreCurrent "hot" topics in parallel programming?
11/19/2008Small stuffSEP entry on Combinatory Logic
11/11/2008I think your assumption is wrong, or I don't get the question?Subtyping + overloading
11/11/2008You answered your own questionSubtyping + overloading
11/12/2008WeirdSubtyping + overloading
11/12/2008I got thatSubtyping + overloading
11/14/2008Yeah, I find it weird.Subtyping + overloading
11/14/2008TrueSubtyping + overloading
11/14/2008Good, but what about sharing then?Subtyping + overloading
11/14/2008Even more VoodooSubtyping + overloading
11/14/2008Hallelujah, I think I get it. UnfortunatelySubtyping + overloading
11/14/2008DuhSubtyping + overloading
11/14/2008OuchSubtyping + overloading
11/17/2008Clearly, ...Subtyping + overloading
11/17/2008AgainSubtyping + overloading
11/17/2008... Oh, no. I was right ... ;-) ;-)Subtyping + overloading
11/17/2008OkSubtyping + overloading
11/17/2008OkSubtyping + overloading
11/19/2008HmmmSubtyping + overloading
11/19/2008You're right - we're going way OTSubtyping + overloading
11/20/2008Brain DamageSubtyping + overloading
11/23/2008Look at the optionsSubtyping + overloading
11/23/2008Yeah well, we were talking intuitionSubtyping + overloading
11/24/2008SemanticsSubtyping + overloading
11/24/2008Too much machinerySubtyping + overloading
11/24/2008Great book, where's my towel ;-)Subtyping + overloading
11/14/2008Still some subtyping going onSubtyping + overloading
11/12/2008The implementation forThe Origins of the BitC Programming Language
11/04/2008BDDsNew Programming Language Idea
11/04/2008ImpossibleNew Programming Language Idea
11/04/2008NopeNew Programming Language Idea
11/05/2008Planning? Constraint PropagationNew Programming Language Idea
11/05/2008Even selecting a function...New Programming Language Idea
11/06/2008Me badNew Programming Language Idea
11/06/2008YeahNew Programming Language Idea
11/01/2008Doubt itTotal functional language self interpreter?
11/04/2008NonoTotal functional language self interpreter?
11/01/2008Problems reading his postTotal functional language self interpreter?
11/06/2008Uh, proof by contradictionTotal functional language self interpreter?
11/06/2008... (and ...)Total functional language self interpreter?
11/06/2008Misread your postTotal functional language self interpreter?
11/06/2008Nitpicking your statementsTotal functional language self interpreter?
11/06/2008BullTotal functional language self interpreter?
11/07/2008QuestionTotal functional language self interpreter?
10/31/2008UhImplementations of untyped lazy lambda calculus
11/14/2008Sorry, I forgotImplementations of untyped lazy lambda calculus
10/27/2008ElaborateBEE3: Putting the Buzz Back into Computer Architecture
10/28/2008Yeah, but what is the result?Fω^C: a symmetrically classical variant of System Fω
10/23/2008A perfect moment of clarity?Multiple Dispatch in Practice
10/22/2008As far as I understand itConstructor classes
10/23/2008HmmConstructor classes
10/09/2008Gimple/GenericDSL or dialects used inside compilers
10/06/2008NoClojure talk videos
10/06/2008AhClojure talk videos
10/08/2008Pure stuffClojure talk videos
10/09/2008YeahClojure talk videos
10/01/2008To answer your questionLazy Graph Reduction and abstract machines
10/02/20086 Secret RulesLazy Graph Reduction and abstract machines
09/29/2008To CPS or not to CPSTo CPS or not to CPS
09/29/2008I scanned it.To CPS or not to CPS
10/02/2008Read itTo CPS or not to CPS
09/30/2008What about this solution? Reverse Polish Notation. PLEASE SHOOT!To CPS or not to CPS
09/30/2008Extra example for facTo CPS or not to CPS
09/30/2008Going for it.To CPS or not to CPS
10/01/2008Talking to myself. It's a bloody good ideaTo CPS or not to CPS
10/03/2008ReflectionsTo CPS or not to CPS
10/07/2008End Result - slow, or damned slowTo CPS or not to CPS
10/07/2008*Cough* - output when evaluating the AST directlyTo CPS or not to CPS
09/30/2008You are rightTo CPS or not to CPS
09/30/2008Got itTo CPS or not to CPS
09/30/2008And alsoTo CPS or not to CPS
09/29/2008Value Restriction - don't look at it.Help with N-Ary functions?
09/29/2008Do not understand...Help with N-Ary functions?
09/24/2008Ask OlegSecurity in FP
09/23/2008Specializing values in a functional languageSpecializing values in a functional language
09/23/2008ThanksSpecializing values in a functional language
09/24/2008Why is not a primitive of the language?Specializing values in a functional language
09/24/2008Doesn't break subtypingSpecializing values in a functional language
09/22/2008GuessingA graph puzzle
09/21/2008Best way to interface with C/C++?Best way to interface with C/C++?
09/22/2008ThanksBest way to interface with C/C++?
09/27/2008Less posts since...Narrowing field of languages?
09/26/2008Can you provide your data?Narrowing field of languages?
09/22/2008PaperSimon Peyton Jones Interview
09/24/2008Exsqueeze me???Simon Peyton Jones Interview
09/25/2008No provocation intendedSimon Peyton Jones Interview
09/22/2008The succes of HaskellSimon Peyton Jones Interview
09/23/2008Generic Haskell and Template Meta ProgrammingGenericity over tuples
09/24/2008CoolPublishing negative results: single-assignment Lisp
10/03/2008Seems goodPublishing negative results: single-assignment Lisp
10/05/2008Well...Publishing negative results: single-assignment Lisp
10/07/2008Lock Free Garbage CollectionPublishing negative results: single-assignment Lisp
10/31/2010I agreeBeyond FRP: physics-inspired programming abstractions?
11/01/2010Baffles me tooBeyond FRP: physics-inspired programming abstractions?
03/16/2009Off-topicBeyond FRP: physics-inspired programming abstractions?
03/16/2009A more concrete post?Beyond FRP: physics-inspired programming abstractions?
12/17/2010Enzo Ferrariprogram verification: the very idea
10/08/2008The Fall and Rise of FP10 Years of Purely Functional Data Structures
10/08/2008Flattening Combinators: Surviving Without Parentheses10 Years of Purely Functional Data Structures
10/30/2007CH? Fsck!On the Importance of Purity
10/16/2007Keep it technical, please ;-)Examples of large-scale functional language projects
09/13/2007Exactly, just an axiomQuestion about the Monad associativity law
05/08/2010InformalSocial Processes and Proofs of Theorems and Programs
05/09/2010No idea where they're at nowSocial Processes and Proofs of Theorems and Programs
02/15/2007How to teach Functional Programming... in Flash???How to teach Functional Programming... in Flash???
02/16/2007GreatHow to teach Functional Programming... in Flash???
07/12/2006WOTSocially Responsive, Environmentally Friendly Logic
02/14/2009Mod parent upLtU: blog not forum!
01/16/2007Yeah, dataflow..Why Are ALL Programming Languages So Low Level?
03/19/2006[OT] There goes my wallpaperProgramming: 50, 100 years from now
02/25/2006Compile- or run-time monomorphisation, semantical differences?Signature Based Polymorphism, Structural Subtyping and Duck Typing
03/02/2006DictionariesSignature Based Polymorphism, Structural Subtyping and Duck Typing
12/14/2010Guido is very driven by the userGuido: Language Design Is Not Just Solving Puzzles
12/14/2010What is Useful?Guido: Language Design Is Not Just Solving Puzzles
12/14/2010Same is true for the current 'Yacc is Death' discussionGuido: Language Design Is Not Just Solving Puzzles
12/14/2010Yah, I'll admit itGuido: Language Design Is Not Just Solving Puzzles
12/15/2010Of course, I want it to beGuido: Language Design Is Not Just Solving Puzzles
04/15/2010Can't... Resist...Combinators for contracts
12/30/2009Some languages solve all problemsThe Next Mainstream Programming Languages
01/02/2010Wasn'tThe Next Mainstream Programming Languages
01/22/2006Choice of OS of LtU readersChoice of OS of LtU readers
01/22/2006Exactly!Lisp is sin
11/29/2005/Me agrees, my incomplete listThe building of robust software
11/30/2005Strong typingThe building of robust software
11/20/2005Junkspace!Ruby the Rival
11/18/2005Loved the e-pig site!What good is Strong Normalization in Programming Languages?
11/15/2005Qualified Types for MLFExtensible Records With Scoped Labels
11/17/2005Hmmm.....Extensible Records With Scoped Labels
11/14/2005Finite SetsAlgebra Of Programming (Bird, De Moor)
11/14/2005Great!OCaml 3.0.9
10/27/2005Ha!Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
10/27/2005;-)Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
10/27/2005Hmm...Would LISP/FP help here?
10/25/2005Big ifWhy Lists?
10/26/2005More explicitWhy Lists?
10/27/2005I know, but problem or design choice?Why Lists?
10/25/2005Problem vs Design SpaceWhy Lists?
10/25/2005ExpressivenessWhat do you mean by studying "programming languages"?
10/18/2005MapsBest default sequence?
10/17/2005True, but ...Object Oriented Programming + Referential Transparency
10/10/2005No, no, no! It's a lambda...The Church-Turing Thesis: Breaking the Myth
10/10/2005[OT] Feasibility of Quantum Computing?The Church-Turing Thesis: Breaking the Myth
10/05/2005Hello, JohnInteresting old promotional video for Intentional Programming
10/05/2005MovedLtU etiquette
10/05/2005[OT] Ah wellLtU etiquette
10/05/2005Nice, but,Propositional Satisfiability and Constraint Programming: A comparative Survey
09/16/2005Whoops!Most Productive FP Lang?
09/16/2005Meritocracy, Gerontocracy, Technocracy or Kleptocracy?Most Productive FP Lang?
09/17/2005AtriplexMost Productive FP Lang?
09/16/2005Rooter: Methodology for the Typical Unification of Access PointsMost Productive FP Lang?
09/16/2005"***, 100 g, i.m."Most Productive FP Lang?
09/16/2005VB! Huh?Most Productive FP Lang?
09/17/2005Nice language!Most Productive FP Lang?
09/20/2005Duh...Most Productive FP Lang?
09/20/2005Duh.Most Productive FP Lang?
09/20/2005Seems like a good ideaMost Productive FP Lang?
09/20/2005Implication GraphsMost Productive FP Lang?
09/16/2005Lack of Scheduling InformationVisual Basic 9 Interview on DDJ
09/13/2005NitpickingHaskell and creative freedom
09/09/2005Yeah, but...Haskell and creative freedom
09/09/2005Oh wait! I might...Haskell and creative freedom
09/10/2005Proof it.Haskell and creative freedom
09/09/2005Nomadic WisdomPersistent functional databases
09/10/2005Not convinced...Persistent functional databases
09/13/2005Trade-offGuido van Rossum: Building an Open Source Project and Community
09/05/2005Uhm, laugh...Jon Udell: The riddle of asynchrony
09/02/2005Great PL with an archaic syntaxYearning for a practical scheme
10/05/2005[Moved]Yearning for a practical scheme
08/23/2005Nice TechniqueFunctional anti-memoization
08/24/2005Evaluation Strategy of a GRS?Functional anti-memoization
01/26/2009Programmer's ChoiceFunctional anti-memoization
08/21/2005Lucidity: clearness of thought or styleFormal semantics for working programmers
08/23/2005Look up some Haskell papers on itNeko 1.0
08/23/2005You don't sayNeko 1.0
08/19/2005Calculations - Poor Man's MonadLarge imperative code --> functional
08/20/2005Ehud is on Holidays'Information and Computation' Open Access
08/20/2005Nature is an example infested with lice'Information and Computation' Open Access
07/11/2005Like it tooStatic Typing Where Possible, Dynamic Typing When Needed
07/12/2005Zero Kelvin SystemsStatic Typing Where Possible, Dynamic Typing When Needed
08/19/2005Baruch SpinozaStatic Typing Where Possible, Dynamic Typing When Needed
07/09/2005From DeepChipESL Design
07/10/2005PhysicsESL Design
07/10/2005It's a complimentESL Design
07/08/2005An honest answer (I hope)Parrot 0.2.2 Released
07/08/2005Monads? Again?Parrot 0.2.2 Released
06/30/2005Ook?Ook?
07/01/2005Don't think soOok?
07/01/2005I stand correctedOok?
06/30/2005Martin Fowler on Language Workbenches and DSLsMartin Fowler on Language Workbenches and DSLs
07/01/2005CoolMartin Fowler on Language Workbenches and DSLs
07/04/2005GreatMartin Fowler on Language Workbenches and DSLs
07/04/2005Ambiguous about it tooMartin Fowler on Language Workbenches and DSLs
07/08/2005Such blatantly informal arguments! ;-)Martin Fowler on Language Workbenches and DSLs
07/08/2005Thus?Martin Fowler on Language Workbenches and DSLs
07/10/2005YeahMartin Fowler on Language Workbenches and DSLs
07/08/2005NoiseMartin Fowler on Language Workbenches and DSLs
07/04/2005Phew"typed" files OR xml OR meta information for delim. files.
06/30/2005Same hereOrganizing papers...
06/30/2005Bad practiceHungarian Notation vs The Right Thing
06/30/2005JMOEFFTDHungarian Notation vs The Right Thing
06/30/2005Seems to me that tools are thereHungarian Notation vs The Right Thing
06/30/2005I don't knowHungarian Notation vs The Right Thing
06/28/2005Dyna: a weighted dynamic logic programming languageDyna: a weighted dynamic logic programming language
06/30/2005OCaml vs OHaskellGenerics are a mistake?
06/27/2005Elaborate"dynamic" generative programming?
06/24/2005Compile time guaranteesStatic Types vs. Partially Evaluated Latent Types
06/23/2005Personalizing LtUHow To Read a Paper
06/23/2005Half-heartedly agreeEmbedded Languages in Java
06/20/2005Trees and GraphsTim Bray: On Threads
06/13/2005CSP solutions?Sudoku
06/13/2005Hmmm....Sudoku
06/14/2005AhSudoku
06/11/2005HeheMultilinguals learning computer languages faster than monol.
06/11/2005Too early to tell...Links Demos
06/11/2005Base64Links Demos
06/25/2005Hey!Links Demos
06/25/2005What about ten years from now?Links Demos
06/10/2005Short Term or Long Term?Connecting The Dots
06/10/2005The World Is FlatConnecting The Dots
06/13/2005Reading...Connecting The Dots
06/10/2005PatternsConnecting The Dots
06/13/2005Ajax, Barcelona, CruyffConnecting The Dots
03/07/2009Consider Yourself LuckyFrom shift and reset to polarized linear logic
03/10/2009I thinkFrom shift and reset to polarized linear logic
06/03/2005Historical contextVariables as Channels
06/03/2005Setting flame to a bucketBasic(er) Simple(r) Type Theory(?)
06/04/2005DittoToday's Status of Functional Programming Languages for Verification Tools ?
05/30/2005Dude, you are blocking my sunWhat is so bad about compiling?
06/01/2005Sorry... But...Judy Stores
06/04/2005256-ary Morphing Digital TreeJudy Stores
06/11/2005Some foolishnessPure bigraphs: structure and dynamics (by Robin Milner)
05/30/2005Pure vs Impure LispShort examples of complex use of state?
05/31/2005Ouch againShort examples of complex use of state?
06/01/2005Ah, OkShort examples of complex use of state?
05/26/2005Hairy detailsGenerics: The Importance of Wildcards
05/27/2005Type deducible from call stack...Generics: The Importance of Wildcards
05/28/2005Makes more senseGenerics: The Importance of Wildcards
05/28/2005Ouch - generalizationGenerics: The Importance of Wildcards
05/28/2005HmpfGenerics: The Importance of Wildcards
05/24/2005PurityHaskell for C Programmers
05/24/2005YeahHaskell for C Programmers
05/24/2005State of the worldHaskell for C Programmers
05/24/2005Or not defendable?Haskell for C Programmers
05/24/2005The only fence against the world is a thorough knowledge of itHaskell for C Programmers
05/26/2005Platonic SolidsHaskell for C Programmers
05/25/2005The naked purityHaskell for C Programmers
05/26/2005They sacrificed unto devils, not to GodHaskell for C Programmers
05/23/2005What is testing?Parameterized Unit Tests
05/25/2005Sanity CheckParameterized Unit Tests
05/22/2005PyPy thunk moduleFirst public release of PyPy
05/20/2005It isn't, this one isTail recursion
05/17/2005Cyc Knowledge ServerCyc Knowledge Server
05/18/2005GooglismsCyc Knowledge Server
07/04/2005That and CollatzWhy Dependent Types Matter
05/12/2005The dance is a poem of which each movement is a worldsubtext: Uncovering the simplicity of programming
05/08/2005Short answer...Best route for new language to be self-hosting
05/19/2005Ceterum censeo Carthaginem delendam esseBest route for new language to be self-hosting
05/08/2005Herakleitos vs ParmenidesFrom Perl Monks: "pissed off about functional programming"
05/08/2005¬(This = a mathematical expression)From Perl Monks: "pissed off about functional programming"
05/08/2005I am the measure of all thingsFrom Perl Monks: "pissed off about functional programming"
04/27/200531 bitsVirtual Machine and Runtime Framework
04/28/2005Living in a boxVirtual Machine and Runtime Framework
06/09/2005Informal summaryWhy do they program in C++?
06/09/2005Wrong summaryWhy do they program in C++?
06/09/2005Well...Why do they program in C++?
04/25/2005Seems we all ride the hump these daysWhy do they program in C++?
04/25/2005OftenWhy do they program in C++?
04/27/2005Wine and WomenWhy do they program in C++?
05/13/2005The game is trivial, but the game is untrivially played trivialWhy do they program in C++?
05/13/2005Look, the ball minimally has to go between those two polesWhy do they program in C++?
04/26/2005Perhaps they should care (2)Computer generates verifiable mathematics proof
04/27/2005UhuhComputer generates verifiable mathematics proof
04/25/2005Computer generates verifiable mathematics proofComputer generates verifiable mathematics proof
04/20/2005Nice article + random thoughtsRelating FFTW and Split-Radix
04/25/2005GreatRelating FFTW and Split-Radix
05/12/2005Combinatorial Reasoning Systems?Relating FFTW and Split-Radix
05/14/2005I disagree until I made my decision. Then I agree.Relating FFTW and Split-Radix
04/20/2005Got a hammer but lost my nailOn the Unusual Effectiveness of Logic in Computer Science
04/21/2005Ah well, bad hair dayOn the Unusual Effectiveness of Logic in Computer Science
04/21/2005Mochito!On the Unusual Effectiveness of Logic in Computer Science
04/17/2005Mathematics of organic chemistry?Chemistry, Graph Tranformation and Programming Languages
04/20/2005You sure?Chemistry, Graph Tranformation and Programming Languages
04/20/2005Oops, I did it againChemistry, Graph Tranformation and Programming Languages
04/16/2005multitier solutionsLinks
04/01/2005Fold?Fold Must Fold!
09/20/2005Tried something like that, but didn't really work (yet)expressivity of "idiomatic C++"
09/21/2005Greatexpressivity of "idiomatic C++"
03/19/2005Short questionHalting program density?
03/23/2005Good showHalting program density?
03/23/2005YeahHalting program density?
02/25/2005Cool typesettingProof and Counterexample
02/25/2005Probably not neededJournals and papers?
02/04/2005NFA question for the theory guys
02/04/2005Preemptive bootstrapping?Neologism
02/03/2005If so, it's a strong, strongAvoiding worst case GC with large amounts of data?
01/18/2005present, past and futureDynamic Eager Haskell
12/19/2004CondolencesAbsence
12/18/2004Don't understand the problemHM-style type inference with non-unique selectors?
12/18/2004Relax, we understand j00HM-style type inference with non-unique selectors?
12/18/2004The larchHM-style type inference with non-unique selectors?
12/18/2004Is there anything wrong with the GC package?The Memory Pool System: Thirty person-years of memory management development goes Open Source
12/20/2004I agreeThe Memory Pool System: Thirty person-years of memory management development goes Open Source
12/20/2004TrueThe Memory Pool System: Thirty person-years of memory management development goes Open Source
12/07/2004Every argument can be countered...Definition of Type
12/08/2004constructive+ intuitionistic = ...Definition of Type
12/07/2004Meaningless meaningfull programsDefinition of Type
12/09/2004To the extremeDefinition of Type
12/05/2004Peircian semiotics?What's a definition of "type" that beginners can understand?
10/08/2004Ha!Laszlo - So good, I had to change my underwear
10/06/2004From the Tunes projectHouse , hOp - the Haskell Operating System
10/03/2004Shoot-out: most annoying compiler error messageShoot-out: most annoying compiler error message
10/04/2004Error messages which make you go umph!Shoot-out: most annoying compiler error message
10/08/2004But whatProbabilistic languages for kids?
09/22/2004Well....Questions about Semantics.
09/24/2004No worriesQuestions about Semantics.
09/24/2004God now I am replying to my own posts again...Questions about Semantics.
09/21/2004Oretachi HyokinzokuDijkstra on analogies and anthropomorphism
09/24/2004You sure, must be trolling... I hopeDijkstra on analogies and anthropomorphism
09/24/2004Issunboushi!Dijkstra on analogies and anthropomorphism
09/26/2004Yes, it isDijkstra on analogies and anthropomorphism
09/12/2004Couldn't agree more. I have sUse real names
09/12/2004Anonymity vs. Pseudonymity - the betUse real names
09/24/2004Damn you beat me to it...Explaining monads
09/26/2004Where are you going with that fork!Explaining monads
09/26/2004I am not that sure too, however...Explaining monads
09/24/2004StonesExplaining monads
09/26/2004Nice ideaExplaining monads
12/18/2008I agree with you hereExplaining monads
12/18/2008Everything is a monadExplaining monads
12/18/2008Break my vow of silence againExplaining monads
12/16/2008It's just an observationExplaining monads
12/16/2008ADTExplaining monads
12/16/2008LanguagesExplaining monads
12/18/2008I irritate myself being irritated with something which irritatesExplaining monads
01/03/2009Slight disagreementExplaining monads
01/06/2009Well okay, since I am invited to respondExplaining monads
01/06/2009Tssss........Explaining monads
01/07/2009More technicalExplaining monads
01/07/2009Duh..Explaining monads
01/07/2009OkExplaining monads
01/07/2009IOExplaining monads
01/07/2009Monads do not model IOExplaining monads
01/08/2009Dissecting monadsExplaining monads
01/09/2009AlternativesExplaining monads
01/09/2009AestheticsExplaining monads
01/11/2009Well...Explaining monads
01/11/2009Not supporting HOFsExplaining monads
01/11/2009Good, HOCs thenExplaining monads
01/11/2009Enough arrowsExplaining monads
01/08/2009Dissecting dissectionsExplaining monads
01/07/2009If I squeeze my eyes I see...Explaining monads
01/07/2009I didn't read it as such, that's trueExplaining monads
01/06/2009Frankly, I think a lot ofExplaining monads
12/16/2008What about Calc?Explaining monads
12/16/2008A monad - last commentExplaining 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