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

Posts By: gasche

  Date    Post    Topic  
07/17/2012EnsōOO type systems and BNFs
07/07/2012Clever, Classless or Free?Emerging Languages Camp at Strange Loop
07/12/2012It says that designing aErik Meijer started a discussion on Domain Specific Languages
07/12/2012Static analyses should remain directErik Meijer started a discussion on Domain Specific Languages
06/26/2012The PhilistinesLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
07/03/2012SortingLess is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/23/2012Against Genetic AlgorithmsEvolved Turing neural networks - Unorganized machines and the brain
06/24/2012Yes, I think it is the postEvolved Turing neural networks - Unorganized machines and the brain
06/23/2012(Too?) sophisticatedHow to Make Ad Hoc Proof Automation Less Ad Hoc
06/21/2012No senseNull, bottom, etc.?
06/21/2012If you have a type calledNull, bottom, etc.?
06/19/2012Bottom as a valueNull, bottom, etc.?
06/20/2012What are your values?Null, bottom, etc.?
06/20/2012Forcing is internal to lazy languagesNull, bottom, etc.?
06/15/2012In defense of type declarations'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions
06/14/2012As soon as you can catchWhy are exceptions not described as 'purely functional'?
06/17/2012To explain the meaning ofWhy are exceptions not described as 'purely functional'?
06/18/2012Indeed, "everythingWhy are exceptions not described as 'purely functional'?
06/15/2012?Why are exceptions not described as 'purely functional'?
06/15/2012Unnecessary complicationWhy are exceptions not described as 'purely functional'?
07/07/2012Exceptions for Control FlowWhy are exceptions not described as 'purely functional'?
07/07/2012The multi-return models IWhy are exceptions not described as 'purely functional'?
07/08/2012Well, as soon as your mainWhy are exceptions not described as 'purely functional'?
07/08/2012But then you haveWhy are exceptions not described as 'purely functional'?
06/09/2012Unsurprising: complex types are for complex invariantsWhy Do Some Programming Languages Live and Others Die?
06/09/2012Color me unconvinced. MostWhy Do Some Programming Languages Live and Others Die?
06/09/2012A bland article for this hot researchWhy Do Some Programming Languages Live and Others Die?
06/15/2012Live programming vs. continuous testingWhy Do Some Programming Languages Live and Others Die?
06/11/2012In fact, backtracking withWhy Do Some Programming Languages Live and Others Die?
06/13/2012This looks like anAha! Programming Language
06/04/2012Gender exampleSynth programming language concept
06/06/2012I don't understand if ISynth programming language concept
06/03/2012Matthew Flatt on Racket SubmodulesMatthew Flatt on Racket Submodules
05/31/2012PolyglotInteractive Tutorial of the Sequent Calculus
06/15/2012The classic fishInteractive Tutorial of the Sequent Calculus
06/17/2012?Interactive Tutorial of the Sequent Calculus
06/17/2012Thanks for theInteractive Tutorial of the Sequent Calculus
05/28/2012Inference, constraints and backtrackingImplementing abstract classes automatically?
05/30/2012Type classes 101Implementing abstract classes automatically?
05/28/2012Crowd Documentation: Exploring the Coverage and the Dynamics of API Discussions on Stack OverflowCrowd Documentation: Exploring the Coverage and the Dynamics of API Discussions on Stack Overflow
05/22/2012You don't need to do that;Languages with 'unique' programs
05/22/2012How intentional can you be?Languages with 'unique' programs
05/17/2012UnconvincedEncoding System Fw in predicative dependent type theory
05/17/2012I fear you will always beEncoding System Fw in predicative dependent type theory
05/17/2012I agree this type isEncoding System Fw in predicative dependent type theory
05/05/2012Subtyping with dependent types has been studied in the literaturSubtyping and dependent types
05/04/2012RacketCommon Lisp: The Untold Story
05/11/2012Re. JavaCommon Lisp: The Untold Story
05/11/2012In some ways, and at someCommon Lisp: The Untold Story
04/21/2012Slightly disappointedWhy and How People Use R
04/24/2012Side-effecting sugarWhy and How People Use R
04/24/2012You can't do that in OCamlWhy and How People Use R
05/06/2012If I understand correctly,Why and How People Use R
04/26/2012Active researchWhy and How People Use R
04/26/2012ggplot2 + rply + reshape?Why and How People Use R
04/14/2012Symmetry in logic, values and control, and type safetySymmetry in type systems
04/14/2012I think the correct readingSymmetry in type systems
04/14/2012Value and environmentsSymmetry in type systems
04/14/2012Nice: relevant, a references and discussion of the previous workSymmetry in type systems
04/17/2012Types-as-sets a bit too naiveSymmetry in type systems
04/03/2012Data flow and definition flowPythonect 0.1.0 Release
04/26/2012A good citizenQuantitative comparison of unit testing vs. static typing?
04/26/2012Firefox is not really written in JavascriptQuantitative comparison of unit testing vs. static typing?
04/20/2012Strong updateQuantitative comparison of unit testing vs. static typing?
04/21/2012UnisonQuantitative comparison of unit testing vs. static typing?
04/21/2012I agree there is aQuantitative comparison of unit testing vs. static typing?
03/31/2012The Erlang Dialyzer work?Quantitative comparison of unit testing vs. static typing?
04/08/2012Dynamic abstractionQuantitative comparison of unit testing vs. static typing?
04/08/2012Indeed, when getting theQuantitative comparison of unit testing vs. static typing?
04/11/2012DaringQuantitative comparison of unit testing vs. static typing?
04/12/2012CommunicationQuantitative comparison of unit testing vs. static typing?
04/12/2012I stand corrected.Quantitative comparison of unit testing vs. static typing?
04/12/2012Ocaml contracts prototypeQuantitative comparison of unit testing vs. static typing?
04/02/2012This is a fairly unrelatedQuantitative comparison of unit testing vs. static typing?
04/03/2012As Jules points out, I thinkQuantitative comparison of unit testing vs. static typing?
06/21/2012Straw manQuantitative comparison of unit testing vs. static typing?
04/07/2012Conor McBride's "active types"Escaping the Maze of Twisty Classes
04/07/2012Conor's visionEscaping the Maze of Twisty Classes
06/17/2012Type-directed inference is definitely language designEscaping the Maze of Twisty Classes
06/18/2012HmEscaping the Maze of Twisty Classes
06/18/2012Convergence of ideasEscaping the Maze of Twisty Classes
04/15/2012Parallel and self-adjustingParsing: The Solved Problem That Isn't
03/22/2012End-to-end formal partial certification of a complete systemDisruptive PLT Revisited
03/23/2012For the record, I believeDisruptive PLT Revisited
03/24/2012ElaborationDisruptive PLT Revisited
03/23/2012Safety disruptionDisruptive PLT Revisited
03/21/2012Main interpreter loopsome Mozart 2 VM code
03/12/2012Type systems are a gratefulReferences about the importance of formalism in programming language design
03/11/2012Historical pointReferences about the importance of formalism in programming language design
03/10/2012An Idealized MetaML: Simpler, and More ExpressiveReferences about the importance of formalism in programming language design
03/16/2012HmReferences about the importance of formalism in programming language design
03/17/2012Type systems have the burden of proofReferences about the importance of formalism in programming language design
03/20/2012View onlineReferences about the importance of formalism in programming language design
03/06/2012Pragmatic: menhirParametric Grammars
03/05/2012Very interesting indeed.What does focusing tell us about language design?
03/06/2012Interesting bits and discussionResearch in Programming Languages
03/10/2012A counterpoint by Chris MartensResearch in Programming Languages
03/05/2012To each object its implementation, and inheritance desemphasizedInformed dissent: William Cook contra Bob Harper on OOP
03/21/2012What is the point?Informed dissent: William Cook contra Bob Harper on OOP
03/22/2012Yet the connections can be,Informed dissent: William Cook contra Bob Harper on OOP
03/22/2012Java genericsInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012Just a remark: there is aInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012"Intuitive" but mathematically complex smells of fragile designInformed dissent: William Cook contra Bob Harper on OOP
03/22/2012HmInformed dissent: William Cook contra Bob Harper on OOP
03/23/2012IndeedInformed dissent: William Cook contra Bob Harper on OOP
03/05/2012But why would the use ofAdding Delimited and Composable Control to a Production Programming Environment
03/01/2012Parametrization is the fundamental redundancy-hunting toolwhy first-class functions
03/02/2012I don't think point-free iswhy first-class functions
02/21/2012else if bikesheddingJulia, a language for technical computing
02/08/2012flatMap is the new bindEffective Scala
02/05/2012Why make activationActive Variables in Common Lisp
02/06/2012I understand your comment isPeak Abstraction
02/06/2012Point taken. I'd then sayPeak Abstraction
02/02/2012But ample marginsEvolution of mainstream programming language paradigms
02/03/2012While you're at it, youVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations
01/28/2012NiceSTEPS 2011 Progress Report (personal computing in 20kLOC)
01/02/2012<a href="deca#comment-68746" class="active">Related works: ATS</a>Deca, an LtU-friendly bare metal systems programming language
01/02/2012<a href="deca#comment-68753" class="active">I was thinking of the</a>Deca, an LtU-friendly bare metal systems programming language
01/03/2012<a href="deca#comment-68776" class="active">As I claimed above, ATS is</a>Deca, an LtU-friendly bare metal systems programming language
12/27/2011Ivory tower, blah blah blahCambridge Course on "Usability of Programming Languages"
12/28/2011I frankly doubt "everybodyCambridge Course on "Usability of Programming Languages"
12/28/2011(As I said, I'm not sureCambridge Course on "Usability of Programming Languages"
12/25/2011I regret so much of thisInterview [Video] -&gt; Simon Peyton-Jones - Closer to Nirvana
12/08/2011Proofs of a type system safety?Designing a languge — what theory is a must?
12/08/2011Subject reduction in practiceDesigning a languge — what theory is a must?
12/09/2011If you need to do a lot ofDesigning a languge — what theory is a must?
12/09/2011I believe the store hazardDesigning a languge — what theory is a must?
12/10/2011I find it hard to believe,Designing a languge — what theory is a must?
12/15/2011Thank you, that's a veryDesigning a languge — what theory is a must?
12/10/2011Translation may break abstractionDesigning a languge — what theory is a must?
12/08/2011Link typoElm cross-platform functional-reactive
12/08/2011Monads could help you2 Misconcepts About Functional Programming (relating to context and monad)
12/25/2011Global syntax transformation is Semantics2 Misconcepts About Functional Programming (relating to context and monad)
12/03/2011Type safety : subject reduction + progressProofs of a type system's safety?
12/04/2011Inhabitation is inconsistentProofs of a type system's safety?
12/04/2011Against Prolog: more meat pleaseGeneral purpose as a special case?
12/05/2011Lambda the ultimate binder syntaxGeneral purpose as a special case?
12/05/2011Thanks, fixed.General purpose as a special case?
12/11/2011Brother, do you paradigm?General purpose as a special case?
11/19/2011Summary, interesting bits and discussionShare: a programming environment for loosely bound cooperation
11/18/2011We're not interactive because it's hard, not because it's bad.REPL-schmepl?
12/02/2011In formal terms, you want aREPL-schmepl?
11/14/2011Some type systems are I-modularIs the Expression Problem Fundamental?
11/15/2011Principal typings againIs the Expression Problem Fundamental?
11/15/2011Intersection typesIs the Expression Problem Fundamental?
11/05/2011Quite bogus claim, but nice talkextending functions vs. extending objects
11/08/2011LLVM IR is a compiler IRHow to determine your new language is perfect?
01/22/2012Where's the humble programmer?Foundations of Inference
10/30/2011[OT] and the year of publicationThe Experimental Effectiveness of Mathematical Proof
10/28/2011Static type systems enforce semantics"We Really Don't Know How to Compute!" by Gerald Sussman
10/29/2011Invention"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011One more lengthy post"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011Pimp my library"We Really Don't Know How to Compute!" by Gerald Sussman
11/01/2011a 5 minutes PhD thesis ?"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011Effects"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011But I wanted first class"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011I think this was a joke. I"We Really Don't Know How to Compute!" by Gerald Sussman
10/23/2011Parametricity or normalizationOther free theorems
10/23/2011Choose R firstOther free theorems
10/15/2011PowerShell and VistrailsModern Shell Language
10/14/2011"Crutches in language design", accidental complexity and feature overlap"Crutches in language design", accidental complexity and feature overlap
10/15/2011Thank you for the reference."Crutches in language design", accidental complexity and feature overlap
10/18/2011Unconvinced"Crutches in language design", accidental complexity and feature overlap
10/18/2011unified tuples and records"Crutches in language design", accidental complexity and feature overlap
10/15/2011C-- is a cold-blooded reptileDennis Ritchie passed away
10/10/2011I would disagree with thatGoogle's Dart announced
10/11/2011If you have any AnyGoogle's Dart announced
10/10/2011The right varianceGoogle's Dart announced
10/11/2011Immutable lists should be covariantGoogle's Dart announced
10/11/2011Source and SinkGoogle's Dart announced
10/10/2011in the jungleGoogle's Dart announced
03/12/2012Rich web languagesGoogle's Dart announced
10/11/2011abdmaLCan I express variable occurence ranges in logic?
10/03/2011Some pointersLanguage/Compiler design blogs?
10/03/2011I thought of it whileLanguage/Compiler design blogs?
09/24/2011Support for yet-undefined data and unificationRedesigning the Mozart virtual machine
09/24/2011partially known valuesRedesigning the Mozart virtual machine
09/24/2011No, I don't think it'sRedesigning the Mozart virtual machine
09/25/2011I was looking for this oneRedesigning the Mozart virtual machine
09/15/2011Interesting, too soon/closed to say, and slightly frighteningGoogle's "The Future of JavaScript" internal memo leaked
09/16/2011"closed" versus "open"Google's "The Future of JavaScript" internal memo leaked
09/14/2011In defense of listsWhat needs to be done?
09/09/2011Interesting but possibly opinionatedThe Trouble with Erlang
09/09/2011Emotional contextThe Trouble with Erlang
09/13/2011General : no weaker than necessary outside the comfort zoneThe Trouble with Erlang
09/09/2011Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalizedYield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized
09/09/2011Thanks, fixed.Yield : Mainstream Delimited Continuations; "yield" from different languages compared and formalized
09/05/2011Is hygiene necessary?the gnu extension language
09/02/2011Maybe not LtU-oriented, but definitely LtU-relevantthe gnu extension language
09/03/2011Who are you replying to?the gnu extension language
09/04/2011Lambdas are not (only) about delaying evaluationthe gnu extension language
08/31/2011The usual way is that theState of objects
09/08/2011NamingForum Topics and Story
09/18/2011A terse interface for a rigourous discussionForum Topics and Story
09/24/2011Noise in one place can be structure in anotherForum Topics and Story
09/01/2011Notesquite "old" books discussion
08/12/2011Translate the explicit into the implicitThe this argument in dynamic programming languages with OO and first-class functions
08/12/2011Bi-dualityThe this argument in dynamic programming languages with OO and first-class functions
08/10/2011But you also have newCandle - a new script language that unifies XML technologies
08/04/2011Slideshare is a painECOOP 2011 slides
07/28/2011See commentsLightweight Monadic Programming in ML
07/23/2011A melting pot of type system hotnessF*: A Verifying ML Compiler for Distributed Programming
07/23/2011Spec can (and sometimes must) be lightIs it possible to write code that works the very first time?
07/16/2011DisappointingInterview with Scala's Martin Odersky
07/16/2011Scala style checkerInterview with Scala's Martin Odersky
07/20/2011The naming is consistentImplementor's guide/tutorial to delimited continuations?
07/14/2011Have we completely explored the language space?The Last Language?
07/16/2011Formal is forever incompleteThe Last Language?
07/16/2011Arithmetic is a red herring;The Last Language?
07/17/2011Programming languages syntax is not tree-form because of bindingThe Last Language?
07/18/2011MoreThe Last Language?
07/20/2011The converseThe Last Language?
07/20/2011"build morphisms externally"The Last Language?
07/12/2011Monad is not the pointMonads in C++
07/14/2011ReformulationMonads in C++
07/12/2011ATSKnockout JS
07/03/2011Type parametersOf Course ML Has Monads!
07/12/2011ST monad is a type system: safe but limitedOf Course ML Has Monads!
07/12/2011Two questionsOf Course ML Has Monads!
06/29/2011"System-wide" gets you only so farWhy Programming Languages?
06/27/2011you have already posted about this eventInconsistency Robustness 2011 at Stanford
06/27/2011ImpressiveAnnouncing Ozma: extending Scala with Oz concurrency
06/27/2011Extensionality in danger?modules are anti-modular
06/16/2011"Constructive" argumentCatamorphisms and anamorphisms = general or primitive recursion?
06/03/2011Very interesting indeedSpecification and Verification: The Spec# Experience
05/24/2011Related work?Yet another programming language with customizable syntax
05/24/2011I have bought the book afterThe Architecture of Open Source Applications
05/25/2011In effectThe Architecture of Open Source Applications
05/16/2011I'd like to point out thatWhy is tail call optimization an issue in GC'd languages?
08/01/2011One problem with your exampleWhy is tail call optimization an issue in GC'd languages?
08/02/2011MethodologyWhy is tail call optimization an issue in GC'd languages?
04/26/2011Fun may not be GoodIteration function in lambda calculus
05/02/2011We could say that one is aIteration function in lambda calculus
05/04/2011I don't think you needIteration function in lambda calculus
05/05/2011Your message is intriguingIteration function in lambda calculus
05/05/2011Sorry if this gets a bitIteration function in lambda calculus
04/23/2011Reader vs. Writer MonadNomenclature for impure functions
04/22/2011Clojure seen from MLAsynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
04/16/2011ArxivCoding at the Speed of Touch
04/17/2011VoiceCoding at the Speed of Touch
07/17/2011A detail about "See" and "Seen"Coding at the Speed of Touch
07/23/2011Freedom and fuzzinessCoding at the Speed of Touch
04/23/2011"Convergence in Language Design, ..."Build Your Own Blocks (BYOB)
04/10/2011Author and dateStaking Claims: A History of Programming Language Design Claims and Evidence
04/13/2011Formalize your expectationsStaking Claims: A History of Programming Language Design Claims and Evidence
04/13/2011Difficult, not problematicStaking Claims: A History of Programming Language Design Claims and Evidence
04/17/2011Formal *approximation*Staking Claims: A History of Programming Language Design Claims and Evidence
03/31/2011Compilers are mathematical and mechanically verifiableFinding and Understanding Bugs in C Compilers
03/31/2011CompCertFinding and Understanding Bugs in C Compilers
04/01/2011Gaining confidence in specificationsFinding and Understanding Bugs in C Compilers
04/01/2011You don't have consistency for free, but when exhibiting a modelFinding and Understanding Bugs in C Compilers
04/02/2011I understand, thanks forFinding and Understanding Bugs in C Compilers
03/25/2011Embracing the ambiguity using coherence proofsType-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
03/24/2011I think there is a clearBob Harper of CMU is blogging about programming languages and introductory CS education
03/24/2011I'm not sure what you meanBob Harper of CMU is blogging about programming languages and introductory CS education
03/28/2011Avoid memory/time observation when possibleBob Harper of CMU is blogging about programming languages and introductory CS education
03/30/2011Yeah, that's why.Bob Harper of CMU is blogging about programming languages and introductory CS education
03/17/2011lensFunctor is to Lens as Applicative is to Biplate: Introducing Multiplate
03/12/2011Infinite width or infinite depth ?Reference request: running out of countably many variable names
03/10/2011Syntax extension patternsDan Vanderboom's Archetype language
03/04/2011Logic/Functional languagesMiddle History of Logic Programming
03/07/2011Rather than a guarantee onMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010
02/26/2011If I used C++, I would payInfoQ video + transcript of Rob Pike on Go
02/25/2011Syntax onlyEero, an Objective-C Dialect
02/15/2011already commented elsewhereExtending Syntax from Within a Language
02/16/2011furthermore, some macrosExtending Syntax from Within a Language
02/17/2011That's an interesting point.Extending Syntax from Within a Language
02/28/2011I think Matt M's idea wasMonads vs. Actors
02/23/2011Monads are much nicer with inference: "result type overloading"Monads vs. Actors
01/22/2011BindingPoints in the Pattern Matching Design Space
01/23/2011Vague intuitionPoints in the Pattern Matching Design Space
01/24/2011Case classes and XDUCEPoints in the Pattern Matching Design Space
01/25/2011EmulationPoints in the Pattern Matching Design Space
01/25/2011You're doing an equivalencePoints in the Pattern Matching Design Space
01/26/2011a last suggestionPoints in the Pattern Matching Design Space
01/22/2011Isn't security solved in the common case ?I've run out of programming languages to study
01/21/2011Weak Memory Modelsguy steele on how (not) to think of parallel programming
01/29/2011slideshare is a painHow to Program the Many Cores for Inconsistency Robustness
01/13/2011References are valuesEvaluation strategies: authoritative reference?
01/15/2011Is Jensen's Device really about evaluation strategies ?Evaluation strategies: authoritative reference?
01/07/2011Immediate feedback needs to be fastFast Compilers
01/08/2011Yet, I think that theFast Compilers
01/07/2011Error recoveryFast Compilers
01/19/2011Two different goalsFast Compilers
01/19/2011(Even complex) types systems are compositionalFast Compilers
01/13/2011SemanticsFast Compilers
01/11/2011Why so? Andreas complainedFast Compilers
12/30/2010Polymorphic variants and map/fold objectsThe AST Typing Problem
12/24/2010Your comments are alwaysMemory, Actions and Extensible Syntax
01/04/2011Your first example is aMemory, Actions and Extensible Syntax
12/23/2010I'm starting to shink thatThe Semicolon Wars
12/27/2010I don't know of any suchThe Semicolon Wars
12/30/2010You can prove programs written in Turing-complete languagesThe Semicolon Wars
12/20/2010Dynamic binding for metaprogramming ?Prototyping a new language with Haskell
12/21/2010If you have python/rubyPrototyping a new language with Haskell
12/24/2010Some words of advicePrototyping a new language with Haskell
12/18/2010What I don't understand isyacc death revisited
12/06/2010Russ Cox : Yacc is Not DeadYacc is dead
11/21/2010Soundness means no incorrect programsClojure's Solutions to the Expression Problem
11/21/2010Can you express all correctness properties in Coq ?Clojure's Solutions to the Expression Problem
11/23/2010First-order logic has an incompleteness theoremClojure's Solutions to the Expression Problem
11/15/2010WeirdA Preliminary Survey on Functional Programming
11/16/2010In contextA Preliminary Survey on Functional Programming
11/23/2010Type theory is not FP-specificA Preliminary Survey on Functional Programming
11/11/2010ML effects are not hand-wavedLambda the Ultimate seems an Overstatement (not)
11/25/2010No need for dependent typesThe Myths of Object-Orientation
12/19/2010delay is no circularityThe Myths of Object-Orientation
10/22/2010Erasure and Polymorphism in Pure Type SystemsErasure and Polymorphism in Pure Type Systems
10/27/2010My faultErasure and Polymorphism in Pure Type Systems
10/27/2010Thanks for theErasure and Polymorphism in Pure Type Systems
10/09/2010Functional programming and non-determinismA functional-programming view of time
09/25/2010Dependently-typed data structures and reusabilityOmega - Language of the Future
04/09/2011NiceProgramming with touch?
09/16/2010Separate infix and thunkingMildly Extended MixFix
09/05/2010Higher-rank polymorphism and scoped type variablesDo I need a forall if type parameters are syntactically distinguishable from type constructors?
08/28/2010Function composition vs. mutations sequencingSapir-Whorf 70 years on
08/29/2010In Haskell, pretty much allSapir-Whorf 70 years on
04/22/2011GitoriousThe Grafwegen Hi Compiler named Hic release 0.1
08/08/2010Predicate-satisfying implicit valuesType Classes as Objects and Implicits
06/26/2010Ott - at the user interface levelXtext: An IDE on the cheap
01/05/2012Any effect or region systemGo's proposed panic/recover exception-like mechanism
02/03/2012Sequences are annotated numbersSmall is Beautiful: the design of Lua
05/24/2011A new related discussion on the Erlang mailing listOpen wiki-like code repository
03/14/2011Comments, annotations and pragmasWhat to do about comments?
12/08/2010In OCamlThis class type
10/22/2010Broken linkSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
01/14/2011'if' with an 'end' statement, and space sensivityGood Ideas, Through the Looking Glass
01/15/2011if .. then .. elseGood Ideas, Through the Looking Glass
04/08/2011Disappointed by "Towards Leakage Containment"Multi-Return Function Call
04/13/2011They don't improve clarity but efficiencyMulti-Return Function Call
04/14/2011The advantage is that theMulti-Return Function Call
05/14/2012Maybe not mutation, but indeed objectHigher order versus Object order
05/15/2012Roles reversedHigher order versus Object order
05/16/2012Tokens with good granularityHigher order versus Object order

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