Posts By: johnwcowan
| Date | Post | Topic |
| 07/16/2012 | But does this continuation have unlimited extent? | Lattices - Partial orders with infimum and supremum |
| 06/26/2012 | Pike channels Dijkstra | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/27/2012 | VB.NET is not just C# with different syntax | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/14/2012 | Not exceptions but conditions | Why are exceptions not described as 'purely functional'? |
| 06/14/2012 | Not quite imperative | Why are exceptions not described as 'purely functional'? |
| 06/09/2012 | Proper link | Why Do Some Programming Languages Live and Others Die? |
| 05/31/2012 | Implicit conversion, not overloading | Wat |
| 05/31/2012 | Like anything else, overloading can be and has been abused | Wat |
| 05/20/2012 | Why rewrite Excel? | Common Lisp: The Untold Story |
| 03/30/2012 | I don't see how it could be | Quantitative comparison of unit testing vs. static typing? |
| 03/31/2012 | OT: "Type-based dispatch"? | Quantitative comparison of unit testing vs. static typing? |
| 03/15/2012 | I don't read "formal X" sections in papers | References about the importance of formalism in programming language design |
| 03/19/2012 | Exactly so | References about the importance of formalism in programming language design |
| 03/19/2012 | Proofs aren't guarantees | References about the importance of formalism in programming language design |
| 03/30/2012 | What I meant | References about the importance of formalism in programming language design |
| 03/05/2012 | This is true in all fields of learning, though often forgotten | Research in Programming Languages |
| 02/22/2012 | Actually, I enjoy Pure .... | A Concept Design for C++ |
| 02/15/2012 | Wow, you actually lecture in Haskell too? | Teaching challenge: culturally enriching formulae-as-types |
| 02/05/2012 | C# supports these | Active Variables in Common Lisp |
| 01/27/2012 | No erroneous output | Syntax Desugaring Algorithm Question |
| 01/03/2012 | <a href="deca#comment-68773" class="active">Excellent quotes from the paper</a> | Deca, an LtU-friendly bare metal systems programming language |
| 12/27/2011 | It is interesting that the timekeeping kernel ... | Programmer Archeologists |
| 12/28/2011 | In addition, reading speed varies | Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana |
| 01/02/2012 | But why have uninitialized references? | Designing a languge — what theory is a must? |
| 11/20/2011 | 50 lines per function? | REPL-schmepl? |
| 11/25/2011 | Mindshare is capped and zero-sum | Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. |
| 10/26/2011 | He is also responsible for the conditional expression | John McCarthy has passed |
| 10/13/2011 | While not a one-liner, I like this best.... | Dennis Ritchie passed away |
| 10/10/2011 | I think that's the key point | Google's Dart announced |
| 10/31/2011 | Blubland is where we live | Google's Dart announced |
| 10/06/2011 | He always seemed just another salesman CEO to me | Open thread: RIP Steve Jobs |
| 06/13/2012 | Of course there are | Open thread: RIP Steve Jobs |
| 10/02/2011 | What you're asking is this: | Type safety in libraries |
| 10/02/2011 | Scheme was not designed to be immediately useful | Critical Programming Language Design |
| 09/23/2011 | See XQuery Update | Piecewise functional programming |
| 09/15/2011 | * VBScript, anyone? | Google's "The Future of JavaScript" internal memo leaked |
| 09/03/2011 | Chibi | the gnu extension language |
| 08/20/2011 | Does anyone know the source of the SPJ quote? | Delimited Continuations Blues? |
| 07/23/2011 | Not necessarily | Implementor's guide/tutorial to delimited continuations? |
| 07/14/2011 | I too have read only the abstract ... | The Last Language? |
| 06/28/2011 | All readers aren't alike | How to explain a new programming language? |
| 06/27/2011 | "software systems are pervasively inconsistent"? | Wittgenstein versus Turing on Inconsistency Robustness |
| 03/05/2012 | * Only if you insist ... | Wittgenstein versus Turing on Inconsistency Robustness |
| 06/22/2011 | Reserved words and Scheme | The Value Of Syntax? |
| 06/28/2011 | R5RS made lexical scoping universal | The Value Of Syntax? |
| 05/25/2011 | In effect, you are paying the authors ... | The Architecture of Open Source Applications |
| 05/18/2011 | Chrome fail | Javascript x86 interpreter runs Linux in a browser. |
| 05/18/2011 | Missionaries went to the South Seas to do good ... | Why is tail call optimization an issue in GC'd languages? |
| 05/13/2011 | Never work on a project that interests you.... | In search of inspiration |
| 04/19/2011 | A better link ... | First draft of Scheme R7RS small language available |
| 04/20/2011 | It is a small irritation | First draft of Scheme R7RS small language available |
| 04/14/2011 | Actually, there are function expressions ... | Redhat's New Language |
| 04/08/2011 | "Enjoy" is not the word I'd use... | Kona |
| 03/28/2011 | No, it isn't | Extensible nesting of classes |
| 03/22/2011 | Amen | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/11/2011 | Normal lazy languages ... | Strict data constructors + non-strict application? |
| 03/11/2011 | Simple | Schemas for JSON? |
| 03/06/2011 | Pure R5RS implementation of keywords | Keyword and Optional Arguments in PLT Scheme |
| 02/25/2011 | A few other points | Eero, an Objective-C Dialect |
| 02/15/2011 | Your macros aren't hygienic, though | Extending Syntax from Within a Language |
| 02/16/2011 | Gensyms aren't enough | Extending Syntax from Within a Language |
| 02/16/2011 | The latter | Extending Syntax from Within a Language |
| 02/15/2011 | You should take a look at Pure | Ela, dynamic functional language |
| 01/21/2011 | Pure | I've run out of programming languages to study |
| 01/16/2011 | Algol 60 | Evaluation strategies: authoritative reference? |
| 02/16/2011 | On pronouncing Niklaus Wirth's name | Evaluation strategies: authoritative reference? |
| 12/07/2010 | Why not Cheney on the MTA? | Continuation-Passing C: Compiling threads to events through continuations |
| 12/03/2010 | Indeed the inequality test used to be commonplace | Tolerant vs. Demanding Software |
| 12/30/2010 | Indeed. | Tolerant vs. Demanding Software |
| 10/29/2010 | * Alas, the graph is not a dodecahedron any more | Land of Lisp |
| 10/27/2010 | C+@ | The Myths of Object-Orientation |
| 10/25/2010 | Here's my best shot: | Languages with ANSI Standards |
| 10/12/2010 | Well, sometimes you are | The barrier to take-up of language innovation |
| 10/04/2010 | $VAUs vs. fexprs | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 10/05/2010 | No surprise.... | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 10/08/2010 | Plain R5RS Scheme has ... | Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction |
| 09/26/2010 | To put it naively... | Omega - Language of the Future |
| 08/28/2010 | Afrikaans is not a creole, | Sapir-Whorf 70 years on |
| 08/28/2010 | Indeed, both Sapir and Whorf *presupposed* it. | Sapir-Whorf 70 years on |
| 08/27/2010 | * In Java classes are package-private by default. | The Grafwegen Hi Compiler named Hic release 0.1 |
| 08/16/2010 | Mesa worked like that. | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 08/16/2010 | Unhindered? | Miguel de Icaza on Java lawsuit |
| 03/20/2011 | * In the forward or the reverse direction? | does your language need a memory model? |
| 08/02/2010 | Early flavors of Smalltalk did what you describe | Looking for a language like... |
| 07/23/2010 | * Mirah is the new name for Duby. | The Mirah Language |
| 05/11/2010 | Same old same old | DesignerUnits |
| 05/12/2010 | The classical covariance example... | A solution to the catcall problem in Eiffel |
| 10/30/2011 | It's enforceable by lawsuit | iPhone PL lockdown |
| 04/12/2010 | That's unwarrantedly pessimistic | iPhone PL lockdown |
| 04/07/2010 | HOFs imply a calling convention | Higher order functions vs. function arity and calling conventions |
| 04/08/2010 | Well, fine | Higher order functions vs. function arity and calling conventions |
| 03/19/2010 | ~~ sigh ~~ | First-class environments. Discuss. ;) |
| 03/22/2010 | Hey, I'm a member too | First-class environments. Discuss. ;) |
| 03/22/2010 | Mr. Lord's claims of unjust treatment are just that -- claims | First-class environments. Discuss. ;) |
| 03/24/2010 | ISLisp is also statically compilable... | First-class environments. Discuss. ;) |
| 03/17/2010 | Pedersen's Law | On the (Alleged) Value of Proof for Assurance |
| 12/03/2010 | Sturgeon's law is about bad execution, not bad conception | On the (Alleged) Value of Proof for Assurance |
| 03/08/2010 | Hence the joke: | Alternative method for defining statically typed variables |
| 03/07/2010 | The same anew, the same anew | Alternative method for defining statically typed variables |
| 03/05/2010 | All you need is lambda, dah dah dah dah ... | LISP basis for computable functions on S-Expressions. |
| 03/08/2010 | Decides whether to -- but how? | LISP basis for computable functions on S-Expressions. |
| 02/27/2010 | In the winter of 2010 ... | large-scale programming systems inspired by ecological and market systems |
| 02/16/2010 | Hello, sailor! | Historical question |
| 02/16/2010 | See also ... | Recent Progress in Quantum Algorithms |
| 06/02/2010 | I think that means .... | Why prolog is by far the best, most productive, easiest programming language |
| 02/05/2010 | Dots and the dot | Alternatives to parentheses for grouping |
| 02/01/2010 | I'm not sure it would be safe to learn it... | Babel-17 v0.2 spec is out |
| 02/11/2010 | A few comments on the language | Babel-17 v0.2 spec is out |
| 02/12/2010 | Pure and Babel-17 are dynamically typed ... | Babel-17 v0.2 spec is out |
| 02/12/2010 | By "there are no 1-tuples" I mean ... | Babel-17 v0.2 spec is out |
| 01/29/2010 | To my mind, the whole point of macro languages.... | more consistent macros? |
| 12/20/2009 | I wouldn't worry about it | Direct Inference in Direct Logic(TM) |
| 12/14/2009 | You might want to look at Pure | Haskell and logic |
| 12/15/2009 | Pirahã doesn't really have a "one, two, many" system | Claiming Infinity |
| 11/11/2009 | Mixed | Go or Unladen Swallow? |
| 10/30/2009 | Intent is not enough | Literate Programming: Retrospect and Prospects |
| 10/28/2009 | Desperately seeking monomorphic typing | Desperately seeking monomorphic typing |
| 10/28/2009 | Types = subsets | What is a Type? |
| 10/19/2009 | That's not the point. | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 10/15/2009 | Chibi Scheme, perhaps? | Standard, simple subset of Scheme for experimentation? |
| 09/18/2009 | Frogs | Context Driven Scheme Objects |
| 09/13/2009 | Originally in Scheme ... | Background of call/cc |
| 08/27/2009 | The paradox of backward compatibility | Review NP-complete Library Versioning Problem |
| 09/02/2009 | This is a misinterpretation of my anecdote | Review NP-complete Library Versioning Problem |
| 08/21/2009 | No, it will not | Scheme to be split into two languages |
| 08/20/2009 | Definitely not. | Why determinism matters in language design. |
| 08/21/2009 | I think your argument proves too much | Why determinism matters in language design. |
| 08/14/2009 | Is the name a calque on Chinese dōngxi... | Eastwest: a new programming language and structure editor |
| 08/17/2009 | Spaces were allowed, colons were trailing. | Eastwest: a new programming language and structure editor |
| 08/14/2009 | Well, you might as well get the credit | Eastwest: a new programming language and structure editor |
| 07/27/2009 | Cheney on the MTA is essentially the same trick... | Representing Control in the Presence of First-Class Continuations |
| 07/16/2009 | Perhaps because time isn't everything | Unladen Swallow: LLVM based Python compiler |
| 06/18/2009 | Let's not forget Basic... | Perlis Languages |
| 06/08/2009 | Mergeable with David Durand's Palimpsest | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 05/23/2009 | "As explicit and unambiguous as possible"? | Deriving Functions to Work on Different Types of Data |
| 05/11/2009 | Actually not | C++ Frequently Questioned Answers |
| 05/19/2009 | Re: More a question of the default | C++ Frequently Questioned Answers |
| 05/04/2009 | If you think about what a Z is ... | Static typing may require runtime type checking? |
| 04/29/2009 | What makes it not Haskell? | YAPL - yet another programming language |
| 04/24/2009 | Since the rhyme begins "Rub-a-dub-dub, three men in a tub" ... | Butcher, Baker or CandlestickMaker |
| 03/11/2009 | 4. Three words ... | Languages and security: a short reading list |
| 07/22/2009 | * I think you had it right the first time, too. | What Are The Resolved Debates in General Purpose Language Design? |
| 07/22/2009 | There is only one Unicode | What Are The Resolved Debates in General Purpose Language Design? |
| 07/22/2009 | Fortran implementation bugs | What Are The Resolved Debates in General Purpose Language Design? |
| 11/30/2008 | Chicken Scheme does exactly that | Clojure: Trampoline for mutual recursion |
| 11/30/2008 | It's traditional ... | Clojure: Trampoline for mutual recursion |
| 11/26/2008 | Gold and green | refereed journal with open access? |
| 11/30/2008 | I'm glad to hear it | refereed journal with open access? |
| 11/06/2008 | Length-sensitive array types considered harmful | Question concerning parameterization over literals |
| 11/06/2008 | Bad link? | Liquid Metal project, Lime language: Java for FPGA co-processors |
| 10/24/2008 | What, is he only born halfway through the book? | Review of Practical API Design by Jaroslav Tulach |
| 10/23/2008 | A difference that makes no difference is no difference | Why do OOPLs type objects as classes? |
| 10/15/2008 | Joy is functional | In which sense Joy is functional? |
| 10/12/2008 | It's the fault of all you Haskell programmers | No more tail calls in Javascript? |
| 09/24/2008 | Multiple inheritance with a single global ordering of classes | Multiple inheritance with a single global ordering of classes |
| 08/21/2008 | APL does this | Looking for an auto-lifting language. |
| 08/20/2008 | Not much more helpful | Error Messages in Dynamically Typed Languages |
| 08/20/2008 | XML DTDs and RELAX NG compact schemas use #3 | Languages without operator precedence |
| 08/06/2008 | Old? Bah. | Mondrian is going to the museum |
| 07/21/2008 | Some neat examples from the 1980 paper | A System to Understand Incorrect Programs |
| 07/11/2008 | Quantrix Modeler | In search for a programming language to replace spreadsheets. |
| 06/03/2008 | Scheme | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 06/04/2008 | Now that I think about it.... | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 05/27/2008 | You can try... | Software complexity as means of professional advancement |
| 05/27/2008 | Oops | Software complexity as means of professional advancement |
| 05/20/2008 | A fact is | Linear Logical Algorithms |
| 05/15/2008 | Forward search against real time | Logical Algorithms |
| 05/05/2008 | And monotremes are oviparous | Arrows generalise monads and idioms |
| 04/25/2008 | 道 | Dao 1.0 preview version is released |
| 04/15/2008 | Actually I have seen it before | more power and less verbiage |
| 03/16/2008 | The immediate point is that | Lisp creates lisp |
| 03/13/2008 | Scheme has something like that | Variation of C's inline conditional |
| 03/02/2008 | My wife and I are co-operating modules... | Confused Deputies in Programming Languages |
| 02/29/2008 | Bell-LaPadula and type safety | Bell-LaPadula and type safety |
| 03/05/2008 | Thanks, but ... | Bell-LaPadula and type safety |
| 02/28/2008 | null = unspecified | Is null needed? |
| 02/18/2008 | The link above is broken | Uniform naming |
| 02/06/2008 | See also the discussion | Does anyone know of work done on co-data-types? |
| 01/19/2008 | The sequencing mini-language | Flower: a new way to write web services |
| 01/08/2008 | Well, if you want 1.5-dimensionality, | The Land of the Terminal |
| 09/30/2007 | How unfortunate! | Leave of absence |
| 07/06/2007 | Mesa | HOPL-III: Modula-2 and Oberon |
| 07/02/2007 | Lua | Good Language Design Principals for Scripting Languages |
| 06/12/2007 | Brzozowski derivatives and RELAX NG | Derivatives of Regular Expressions |
| 06/03/2007 | How the Chicken Scheme compiler works | How the Chicken Scheme compiler works |
| 05/03/2007 | Useful notes from the Unix tradition | Rules of good declarative language design |
| 05/02/2007 | Ummm.... | SICP picture |
| 05/02/2007 | Thanks | SICP picture |
| 05/02/2007 | I doubt it | Is Integer wrapping an exceptional condition? |
| 03/23/2007 | What does that make the rest of us programmers? | No Ifs, Ands, or Buts |
| 03/13/2007 | Dynamic binding | Pico Lisp: A Case for Minimalist Interpreters? |
| 03/02/2007 | John Cowan | Non-Applicative Functional Languages |
| 02/21/2007 | Both words are used equivocally | Types vs classes: what is the difference? |
| 02/19/2007 | Yes, but... | Dimensional analysis typing |
| 02/17/2007 | A hint | Unexpected lisp setf behaviour |
| 02/12/2007 | * You might say the same of Isaac Newton | 50 years of “Syntactic Structures” |
| 04/10/2011 | Yes, but... | What is a "fully featured closure"? Request for comments. |
| 01/19/2007 | As expected | Scheme: Second R6RS draft published |
| 01/03/2007 | Behavior of the "quote" tag | Missing style for <quote>? |
| 08/03/2006 | Lisp is Lisp and Scheme is Scheme | Lisp Beginer seeking for advice |
| 08/02/2006 | Covariant arguments aren't type safe | Covariance and typing |
| 07/14/2006 | HOPL-I and HOPL-II | HOPL III and the History of Haskell |
| 07/06/2006 | Only works in Allegro CL | CLPython - an implementation of Python in Common Lisp |
| 06/21/2006 | Primitive recursion | Rules for Developing Safety-Critical Code |
| 06/08/2006 | And then there's Q | Why Are ALL Programming Languages So Low Level? |
| 06/06/2006 | Termination and resumption | Common Lisp Exception Handling |
| 05/16/2006 | Threads without shared state are processes | The Problem With Threads |
| 05/04/2006 | John Cowan is an "ex" troglodyte | Your favourite editor/IDE |
| 04/12/2006 | Very like Common Lisp | Flexible Addition of Static Typing to Dynamically Typed Programs |
| 04/24/2006 | Lotus Improv -> Quantrix Modeler | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/06/2006 | It's the libraries that make your code GPL | Eiffel Studio adds GPL version |
| 06/26/2006 | Minimal types | Scheme Language Steering Committee Report to the Community |
| 06/26/2006 | Withdrawn SRFIs | Scheme Language Steering Committee Report to the Community |
| 02/03/2006 | Robustness | Unix as programming language |
| 01/30/2006 | Sather | A-Posteriori Subtyping: Which Languages? |
| 01/02/2006 | See the neighboring thread on "The new old" | Dataflow languages and hardware - current status and directions |
| 01/02/2006 | Welcome to the world's most widespread dataflow architecture! | The new old or The "Return" to Concurrency |
| 02/03/2006 | Named pipes and local-domain sockets aren't interchangeable | The new old or The "Return" to Concurrency |
| 02/03/2006 | Python generators are flat | The new old or The "Return" to Concurrency |
| 02/03/2006 | Even heavyweight concurrency is pretty lightweight nowadays | The new old or The "Return" to Concurrency |
| 12/31/2005 | Just making them private doesn't help, though | Return of the Global Variables? |
| 12/02/2005 | Functional languages aren't hard; laziness is hard | The breaking point of language usability? |
| 12/01/2005 | Scheme and Java | New languages for OS level programming? |
| 11/22/2005 | Void and void * in C | Dependent types: literature, implementations and limitations ? |
| 11/04/2005 | Not actually valid Scheme | Elegant Method of binding a function variable |
| 10/14/2005 | That comes straight from Algol 60 | Expressions vs Statements |
| 10/10/2005 | Are you sure, human? | The Church-Turing Thesis: Breaking the Myth |
| 10/12/2005 | Confusion of levels | XNHTML |
| 10/06/2005 | C-Intercal does it with panache | Control-Flow Integrity |
| 09/30/2005 | APL looping is implicit | "The Anatomy of a Loop" |
| 10/03/2005 | Proper loops | "The Anatomy of a Loop" |
| 10/05/2005 | Lisp, the programmable programming language | "The Anatomy of a Loop" |
| 09/16/2005 | The Q equational term rewriting language | Most Productive FP Lang? |
| 08/31/2005 | NeTREXX is particularly interesting | REXX Introduction |
| 09/02/2005 | Well | REXX Introduction |
| 08/30/2005 | Perl/Python/Lua control | Tim Bray on Ruby |
| 08/24/2005 | All planes work like that | Should Computer Science Get Rid of Protocols? |
| 08/23/2005 | To each his own | When to create syntax? |
| 08/24/2005 | Algol 68 had that | When to create syntax? |
| 08/24/2005 | Pico has proceduring too | When to create syntax? |
| 08/09/2005 | Q seems to show otherwise | Aardappel and visual programming |
| 08/10/2005 | The semantics of Joy | Concatenative Language Kont |
| 08/05/2005 | The paradox of operator overloading | Have scripting languages peaked? |
| 08/06/2005 | Yes, I fat-fingered it. | Have scripting languages peaked? |
| 08/01/2005 | Not new | Language Evolution applied to PLT |
| 08/01/2005 | Algol: a great improvement on its successors | New Fortress Specification |
| 07/23/2009 | Papers inaccessible | Lisp-Stat does not seem to be in good health lately. |
| 08/24/2005 | Well, for the record, I don't drink alcohol | Educational Pearl: Automata as Macros |
| 07/17/2012 | * Gone, alas! | Commentary on Standard ML |
| 10/05/2005 | [offtopic] Bizarrely, there are people like this | Ian Bicking: The challenge of metaprogramming |
| 12/15/2008 | I never saw this myself, but ... | Shoot-out: most annoying compiler error message |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |