Posts By: Scott Johnson
| Date | Post | Topic |
| 11/12/2009 | Explanation of Computer Theory for Lawyers | Explanation of Computer Theory for Lawyers |
| 11/13/2009 | My thoughts, on reflection | Explanation of Computer Theory for Lawyers |
| 08/24/2009 | Careful with terminology | Why determinism matters in language design. |
| 08/18/2009 | I'm still a little surprised that Google | something strange happened after implementing a first interpreter |
| 08/19/2009 | That's like claiming that since division by zero | functions vs procedures.. |
| 08/20/2009 | While code analyses (human and machine) | functions vs procedures.. |
| 08/17/2009 | Oz | functions vs procedures.. |
| 08/15/2009 | Ward's Wiki | Kinds of Null |
| 08/15/2009 | Speaking of which | Kinds of Null |
| 08/17/2009 | Should we encode nontermination with bottoms? | Kinds of Null |
| 08/13/2009 | Uh, no... | Perl Cannot Be Parsed: A Formal Proof |
| 08/13/2009 | More specifically... | Perl Cannot Be Parsed: A Formal Proof |
| 08/13/2009 | While C++ syntax may be ugly | Perl Cannot Be Parsed: A Formal Proof |
| 08/15/2009 | Even more fun | Perl Cannot Be Parsed: A Formal Proof |
| 08/12/2009 | Reasons for and against | Receiver knowing the sender? |
| 08/11/2009 | NULL pointers, and another (possible) solution | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | You can't completely avoid downcasting or partiality functions | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | Ewww. | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | The error of Lisp | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | To clarify | Avoid a Void: eradicating null-pointer dereferencing |
| 08/11/2009 | If you use inheritance | Avoid a Void: eradicating null-pointer dereferencing |
| 07/29/2009 | It's interesting to note | Definition of Functional Programming Language |
| 07/29/2009 | Even published authors who write textbooks | Definition of Functional Programming Language |
| 07/30/2009 | And Kay's definition of OO | Definition of Functional Programming Language |
| 08/07/2009 | There is no body | Definition of Functional Programming Language |
| 07/28/2009 | Much security literature on that topic | Resolved Debates in Syntax Design ? |
| 07/20/2009 | Back to cdr.... | Iterators Must Go |
| 07/22/2009 | If Java were a redneck language | Concepts Get Voted Off The C++0x Island |
| 07/18/2009 | The paper neglected the importance | Phosphorous, The Popular Lisp |
| 06/30/2009 | CLI? | Modern dynamic linking infrastructure for PLT |
| 06/30/2009 | Original poster is noting | Modern dynamic linking infrastructure for PLT |
| 07/01/2009 | The static linker is not a kernel issue though | Modern dynamic linking infrastructure for PLT |
| 06/28/2009 | I'm not sure industrial programmers object... | subjective but hopefully less flamebaid-lame |
| 06/29/2009 | The Washington DC Metro system | subjective but hopefully less flamebaid-lame |
| 06/21/2009 | There ought to be different levels of access | Peter Van Roy: Programming Paradigms for Dummies |
| 06/16/2009 | When I try to speak German | How Does Our Language Shape The Way We Think? |
| 06/15/2009 | Well, the worst example is probably ... in C/C++ | How important is it to have catchalls and interceptors in a programming language |
| 06/15/2009 | Top only refers to a single object | How important is it to have catchalls and interceptors in a programming language |
| 06/20/2009 | Higher-order discourse | How important is it to have catchalls and interceptors in a programming language |
| 06/15/2009 | Nontermination isn't evil | GRS vs LTRS |
| 06/15/2009 | "Right" vs "Easy" is an engineering decision... | GRS vs LTRS |
| 06/15/2009 | I would submit that this is the responsibility | GRS vs LTRS |
| 06/16/2009 | But composition frequently fails in practical systems | GRS vs LTRS |
| 06/12/2009 | I'm assuming | Preventing downcasting and adding a universal variant |
| 06/13/2009 | Now I'm a bit confused | Preventing downcasting and adding a universal variant |
| 06/14/2009 | This was part of my confusion | Preventing downcasting and adding a universal variant |
| 06/13/2009 | Is it fair to explicitly raise | Preventing downcasting and adding a universal variant |
| 06/13/2009 | Of course... | Preventing downcasting and adding a universal variant |
| 06/27/2009 | Formal semantics or otherwise | Right on! |
| 01/22/2009 | Chris Date has long made similar arguments in the DB context | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/18/2009 | You mean this paper? | Path Feasibility Analysis for String-Manipulating Programs |
| 01/13/2009 | Arc is irrelevant | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Unicode is probably a mostly-resolved debate | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | There is that... | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Even XML itself isn't an entirely resolved debate | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Of course, I don't program much in Perl | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | There are many reasons to not want type inference | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Mutable global variables | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | What is the threshold for "resolved" anyway? | What Are The Resolved Debates in General Purpose Language Design? |
| 01/13/2009 | Interpretation vs VM vs compliation | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | The traditional role of "compiling" and "linking" | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Well, goto is frequently used in GCC | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | I think its a notable development | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Whitespace as a token separator | What Are The Resolved Debates in General Purpose Language Design? |
| 01/18/2009 | The refactoring browser | What Are The Resolved Debates in General Purpose Language Design? |
| 01/20/2009 | Or... | What Are The Resolved Debates in General Purpose Language Design? |
| 12/30/2008 | Go get yourself a copy of | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 01/05/2009 | Syntax-directed type inference? | 2008 In Review - What Happened with Programming Languages? |
| 01/12/2009 | Not sure this has much to do with PLT anyway | 2008 In Review - What Happened with Programming Languages? |
| 01/12/2009 | And replace it with what? | 2008 In Review - What Happened with Programming Languages? |
| 12/28/2008 | Coming full circle | 2008 In Review - What Happened with Programming Languages? |
| 12/29/2008 | That still involves compiling though | 2008 In Review - What Happened with Programming Languages? |
| 12/29/2008 | Once again, Java is the new COBOL | 2008 In Review - What Happened with Programming Languages? |
| 01/03/2009 | Agreed, but. | 2008 In Review - What Happened with Programming Languages? |
| 01/05/2009 | More on concurrency | 2008 In Review - What Happened with Programming Languages? |
| 01/07/2009 | A bit off topic for LtU | 2008 In Review - What Happened with Programming Languages? |
| 12/20/2008 | Rum and cokes are pretty good, actually... | If Programming Languages were <T> |
| 12/26/2008 | Is it any coincidence | If Programming Languages were <T> |
| 12/25/2008 | Beer | If Programming Languages were <T> |
| 12/25/2008 | Egads | If Programming Languages were <T> |
| 12/16/2008 | Google is your friend... | Programmable Concurrency in a Pure and Lazy Language |
| 12/22/2008 | One other reason for type erasure | Fundamental Flaws in Current Programming Language Type Systems |
| 12/26/2008 | The liveness of an object might be considered a type attribute | Fundamental Flaws in Current Programming Language Type Systems |
| 01/13/2009 | The vast majority of uses of codec | Fundamental Flaws in Current Programming Language Type Systems |
| 01/13/2009 | Taking an abstract object... | Fundamental Flaws in Current Programming Language Type Systems |
| 11/13/2008 | "First class patterns", I would think.. | First-Class Patterns |
| 11/13/2008 | You would be correct | First-Class Patterns |
| 11/13/2008 | I don't think this is "subtyping". | Subtyping + overloading |
| 11/06/2008 | Monomorphism will likely kill you | Question concerning parameterization over literals |
| 11/07/2008 | Yup. :) | Question concerning parameterization over literals |
| 11/05/2008 | Bah to Hungarian notation... | Factor: an extensible interactive language |
| 10/23/2008 | Types and classes | Why do OOPLs type objects as classes? |
| 10/23/2008 | Are current machines inadequate for PLT research? | BEE3: Putting the Buzz Back into Computer Architecture |
| 10/12/2008 | Cultural clash | No more tail calls in Javascript? |
| 10/13/2008 | Problems with impure languages | No more tail calls in Javascript? |
| 10/13/2008 | The "killer app" for TCO... | No more tail calls in Javascript? |
| 10/07/2008 | Deterministic vs non-deterministic choice | Parsing Expression Grammars |
| 10/08/2008 | Which is why I suggest "both". | Parsing Expression Grammars |
| 10/10/2008 | Maybe we need a "longest match choice" operator | Parsing Expression Grammars |
| 10/10/2008 | An interesting (though perhaps dated) book on the subject | Parsing Expression Grammars |
| 10/12/2008 | Depends on what you are doing | Parsing Expression Grammars |
| 09/29/2008 | Is there a useable, safe, verifiable subset of C++? | MISRA C++:2008 |
| 09/29/2008 | 6) Fix multiple inheritance | MISRA C++:2008 |
| 09/30/2008 | 8) Get rid of memcpy(), memmove(), memset(), etc. | MISRA C++:2008 |
| 09/18/2008 | So that's why brainfuck isn't used more often! | Slug Cola - Losing Big Is Easy |
| 09/18/2008 | One difference between GC and arbitrary transactions... | The Transactional Memory / Garbage Collection Analogy |
| 09/02/2008 | Interesting. | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/02/2008 | I'm waiting for Google to come up with... | Google chrome |
| 09/02/2008 | Not yet. | Google chrome |
| 09/02/2008 | The MS strategy... | Google chrome |
| 09/03/2008 | Can you imagine Erlang threads... | Google chrome |
| 08/28/2008 | Only the sparsity of Perl | Is COBOL really understandable after 14 years. |
| 08/28/2008 | Any reason to prefer COBOL over Java... | Is COBOL really understandable after 14 years. |
| 08/29/2008 | Do you mean.. | Is COBOL really understandable after 14 years. |
| 08/20/2008 | Smalltalk, OTOH | Languages without operator precedence |
| 08/20/2008 | A couple other possibilities | Languages without operator precedence |
| 08/22/2008 | In C, the issue with side effects | Languages without operator precedence |
| 08/25/2008 | However... | Features of Common Lisp |
| 08/22/2008 | Depends on what is being programmed | In Praise of Scripting: Real Programming Pragmatism |
| 08/24/2008 | Are you saying... | In Praise of Scripting: Real Programming Pragmatism |
| 08/08/2008 | Patterns... | Patrick Logan on patterns |
| 08/10/2008 | Correct | Patrick Logan on patterns |
| 07/22/2008 | Who knows what will become of singularity? | Systems programming in languages other than C? |
| 07/05/2008 | Shouldn't this be under "discussions" | Implementing fast interpreters |
| 07/14/2008 | As ASTs frequently contain pointers... | Implementing fast interpreters |
| 07/02/2008 | Lots of people are working on it.... | Hardware Design and Functional Programming: a Perfect Match |
| 06/29/2008 | I'll be (somewhat) nice to MS | The hits and misses of Microsoft |
| 06/29/2008 | Not all that great... | The hits and misses of Microsoft |
| 07/05/2008 | I doubt it | The hits and misses of Microsoft |
| 07/05/2008 | I wouldn't blame BASIC for that... | The hits and misses of Microsoft |
| 07/05/2008 | My memory from that era is hazy.... | The hits and misses of Microsoft |
| 07/07/2008 | That coding style... | The hits and misses of Microsoft |
| 07/08/2008 | Of course, some programmers are still fond of "goto" | The hits and misses of Microsoft |
| 07/08/2008 | Quack! | The hits and misses of Microsoft |
| 07/08/2008 | As an aside... | The hits and misses of Microsoft |
| 07/05/2008 | Many early languages | The hits and misses of Microsoft |
| 06/26/2008 | A bigger distinction should be made | Why Multi-Core is Easy and Internet is Hard |
| 06/26/2008 | A simplistic "chart" | Why Multi-Core is Easy and Internet is Hard |
| 06/27/2008 | Whoops... | Why Multi-Core is Easy and Internet is Hard |
| 06/27/2008 | True. | Why Multi-Core is Easy and Internet is Hard |
| 07/01/2008 | It would be cool if.... | Why Multi-Core is Easy and Internet is Hard |
| 06/30/2008 | Obviously, I don't know your constraints | Why Multi-Core is Easy and Internet is Hard |
| 06/24/2008 | The dirty laundry of theory | Writing a new language - ideas? |
| 06/24/2008 | No user libraries? | Writing a new language - ideas? |
| 06/20/2008 | Herlihy's book, | LASER Summerschool on Concurrency |
| 06/20/2008 | But local type inference can... | Scaling Type Inference |
| 06/20/2008 | Or else they should use Perl | Scaling Type Inference |
| 06/16/2008 | Off topic here... | Forex trading with functional programming |
| 06/13/2008 | Amen | Programming -- Principles and Practice Using C++ |
| 06/18/2008 | Depends on the thing being passed around | Programming -- Principles and Practice Using C++ |
| 06/15/2008 | Software engineering | Programming -- Principles and Practice Using C++ |
| 06/16/2008 | While GC is good | Programming -- Principles and Practice Using C++ |
| 06/16/2008 | According to his home page | Programming -- Principles and Practice Using C++ |
| 06/11/2008 | Writing an interpreter | On the importance of Turing completeness |
| 06/11/2008 | That said... | On the importance of Turing completeness |
| 06/11/2008 | "Natural" programming languages are Turing-complete | On the importance of Turing completeness |
| 06/11/2008 | C pointers can be arbitrarily large | On the importance of Turing completeness |
| 06/11/2008 | Another point with SQL | On the importance of Turing completeness |
| 06/16/2008 | Unbounded loops or recursion | On the importance of Turing completeness |
| 06/13/2008 | Most multicore CPUs right now... | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | So culture matters | Functional Programming in the ACM CS Curriculum |
| 06/17/2008 | And a good class library | Functional Programming in the ACM CS Curriculum |
| 06/18/2008 | Some of both; though I agree with PVR... | Functional Programming in the ACM CS Curriculum |
| 06/13/2008 | FP as a DSL for PLT? | Functional Programming in the ACM CS Curriculum |
| 06/15/2008 | I'd say the lambda calculii | Functional Programming in the ACM CS Curriculum |
| 06/15/2008 | One other issue with dataflow variables | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | Concurrency, eagerness, laziness | Functional Programming in the ACM CS Curriculum |
| 06/06/2008 | One book on the subject | First class class objects, class vs. value namespaces, etc. |
| 06/05/2008 | Relational operations are useful outside the RDBMS context | Map-reduce-merge: simplified relational data processing on large clusters |
| 06/04/2008 | FWIW | Comments can effect comments below them |
| 06/02/2008 | That's like asking | Dead-end theorems |
| 06/02/2008 | Here's another question for you | Dead-end theorems |
| 06/02/2008 | Because everyone knows | Types Considered Harmful |
| 06/02/2008 | A thought experiment.... | Types Considered Harmful |
| 06/02/2008 | Programs with bugs that never execute | Types Considered Harmful |
| 06/02/2008 | There's still the issue of type inference and blame | Types Considered Harmful |
| 06/06/2008 | A more nuanced take on the distinction... | Types Considered Harmful |
| 05/27/2008 | DSLs: Embedded, standalone, or both? | DSLs: Embedded, standalone, or both? |
| 05/27/2008 | Oy... | Software complexity as means of professional advancement |
| 05/28/2008 | True... | Software complexity as means of professional advancement |
| 05/27/2008 | I'd suggest the Java approach... :) | Software complexity as means of professional advancement |
| 05/27/2008 | Of course, "B&D Language" and "worse is better" language... | Software complexity as means of professional advancement |
| 05/27/2008 | You mean to tell me... | Software complexity as means of professional advancement |
| 05/27/2008 | I'm not sure how national issues matter... | Software complexity as means of professional advancement |
| 05/28/2008 | I didn't think that | Software complexity as means of professional advancement |
| 05/29/2008 | Ahh... | Software complexity as means of professional advancement |
| 05/21/2008 | It sounds like he wants statically-typed generics, | Polymorphic C |
| 05/20/2008 | Granularity of code | Regions for Code GC? |
| 05/21/2008 | A standard GC | Regions for Code GC? |
| 05/13/2008 | Perhaps both should be allowed??? | OO via first class enviroments: Bla |
| 05/08/2008 | Ugh. | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/08/2008 | In fairness to Hewitt | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/09/2008 | The underlying debate.. | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/07/2008 | Sexism in the small vs sexism in the large | programming languages and facial hair |
| 04/25/2008 | The social acceptance of risk | program verification: the very idea |
| 04/23/2008 | A major value of types... | Static Typing and Expressivity |
| 04/23/2008 | Dynamic types, overloading, and laziness | Static Typing and Expressivity |
| 04/15/2008 | A buffer-overflow honeypot? | The irreducible physicality of security properties |
| 04/15/2008 | Depends on what you mean | The irreducible physicality of security properties |
| 04/18/2008 | Funding part two | Career paths and concerns |
| 04/28/2008 | But you left out the best part! | Career paths and concerns |
| 04/11/2008 | Renaming and variable capture | Can local variables assignments be considered pure functional without monads? |
| 03/21/2008 | What *is* an algorithm, anyway? | When Are Two Algorithms the Same? |
| 03/21/2008 | Classes are not always proper abstraction boundaries... | Relational rather than hierarchical OO packaging? |
| 03/26/2008 | Eiffel does that sort of thing... | Relational rather than hierarchical OO packaging? |
| 03/22/2008 | Hierarchies... | Relational rather than hierarchical OO packaging? |
| 03/25/2008 | Friend in C++ | Relational rather than hierarchical OO packaging? |
| 03/16/2008 | OOP... | Higher-Order Programming without Closures? |
| 03/13/2008 | C++ | Languages best suited for scientific computing? |
| 03/13/2008 | Not standard C, | Variation of C's inline conditional |
| 03/13/2008 | Not the same | Variation of C's inline conditional |
| 03/13/2008 | Overloading operator || does not work here. | Variation of C's inline conditional |
| 03/07/2008 | I'm assuming you refer to | Excel as a different programming paradigm |
| 03/10/2008 | How is changing the value of a cell... | Excel as a different programming paradigm |
| 03/16/2008 | What of cycles? | Excel as a different programming paradigm |
| 03/08/2008 | Capabilities and RT | Confused Deputies in Programming Languages |
| 02/29/2008 | What is your beef, exactly? | Structural recursion on sets |
| 07/23/2008 | Of course, some functions are inherently partial. | Is null needed? |
| 02/27/2008 | Not to mention... | exceptions again |
| 02/27/2008 | Other than surface syntax issues, | exceptions again |
| 02/27/2008 | Which signals? | exceptions again |
| 02/27/2008 | Elimination of null pointers isn't hard... | exceptions again |
| 02/25/2008 | Sounds like sour grapes... | "Don't become a scientist" discussion at HN |
| 02/25/2008 | But what of the regression? | Foundations for Structured Programming with GADTs |
| 02/22/2008 | The irony of things... | Why isn't every front page item on the discussions page? |
| 02/20/2008 | Or XML for that matter. :) | A modular toolchain for parsing and compiling code? |
| 02/21/2008 | Phase distinction vs static typing guarantees | Gilad Bracha: Cutting out Static |
| 02/22/2008 | Not necessarily inconsistent... | Gilad Bracha: Cutting out Static |
| 02/25/2008 | Some thoughts and musings | Gilad Bracha: Cutting out Static |
| 02/25/2008 | The file system certainly is state... | Gilad Bracha: Cutting out Static |
| 05/20/2008 | A few other thoughts.... | succinctness |
| 05/21/2008 | Think of trying to do numerical processing... | succinctness |
| 02/16/2008 | Mealy or Moore machinie? | 1667 State Machine John Milton |
| 02/15/2008 | Tail-call optimization is most useful... | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
| 02/14/2008 | All of them:) | Java the language vs. Java the ecosystem |
| 10/07/2008 | A book I've wondered about | 10 Years of Purely Functional Data Structures |
| 02/08/2008 | Smaller books than CTM you might be interested in: | Leaning how to judge the right tool for the job? |
| 02/06/2008 | In another direction... | time as a first class value? |
| 02/11/2008 | Wikipedia article | time as a first class value? |
| 02/05/2008 | What is a "signal"? | Signals in an OOPL |
| 02/05/2008 | Gawk.... | Signals in an OOPL |
| 02/07/2008 | Extending a class with a Moore machine | Signals in an OOPL |
| 02/06/2008 | Turn it off, then! | Latest usability for polymorphism? |
| 02/07/2008 | If the "pattern"... | Latest usability for polymorphism? |
| 02/04/2008 | The problem with concurrency isn't state... | Adding Concurrent Constructs to a Language with State |
| 02/13/2008 | But if you select an implicit conversion... | Languages and data conversions. |
| 02/13/2008 | On further reflection... | Languages and data conversions. |
| 02/13/2008 | The first thing we'll do.. | Languages and data conversions. |
| 02/01/2008 | Dynamic scoping? | A name for this form of variable capture? |
| 02/05/2008 | The Pied Piper of Mountain View | A name for this form of variable capture? |
| 01/31/2008 | You might share more of the story, then... | Don't try FP in industry! |
| 01/30/2008 | As an aside... | Arc is released |
| 01/30/2008 | and I should mention... | Arc is released |
| 01/31/2008 | One should remember what ASCII stands for: | Arc is released |
| 01/30/2008 | The mess that is Unicode... | Arc is released |
| 01/31/2008 | Actually... | Arc is released |
| 01/31/2008 | Tim wrote:But Unicode ought | Arc is released |
| 01/30/2008 | Ahh, the burdens of supporting a userbase. | Arc is released |
| 01/30/2008 | Any good summary yet... | Arc is released |
| 02/01/2008 | Well... | Arc is released |
| 02/01/2008 | Touche... | Arc is released |
| 02/15/2008 | How to become a bored millionaire. | Arc is released |
| 01/30/2008 | Proper or improper subtype? | Correct mathematical symbol to represent "subtype" |
| 01/28/2008 | C has several shortcomings as an intermediate language | VM's... What's the best? |
| 01/22/2008 | How useful is reflection, anyway? | How useful is reflection, anyway? |
| 01/24/2008 | Scale | How useful is reflection, anyway? |
| 01/23/2008 | One problem of metaprogramming in general | How useful is reflection, anyway? |
| 01/23/2008 | Keep in mind... | How useful is reflection, anyway? |
| 01/23/2008 | All von Neumann machines | How useful is reflection, anyway? |
| 01/27/2008 | For example... | How useful is reflection, anyway? |
| 01/28/2008 | True... | How useful is reflection, anyway? |
| 01/31/2008 | Yes, and no... | How useful is reflection, anyway? |
| 01/25/2008 | Both reflection/introspection | How useful is reflection, anyway? |
| 01/22/2008 | What sort of annotations | Compile-Time Execution in an Object Oriented Language |
| 01/18/2008 | Broken references | Impact of OO language style on code |
| 01/19/2008 | Sure. | Impact of OO language style on code |
| 01/20/2008 | This is an interesting question-- | Impact of OO language style on code |
| 01/21/2008 | It's worth noting... | Impact of OO language style on code |
| 01/16/2008 | Indeed... | beyond programming languages |
| 01/15/2008 | PHP has several "killer apps"... | Prediction for 2008 |
| 01/16/2008 | Not really a PL prediction... | Prediction for 2008 |
| 01/16/2008 | Cross-platform means more than that | Prediction for 2008 |
| 01/16/2008 | Well... | Prediction for 2008 |
| 01/17/2008 | I'm not entirely sure | Prediction for 2008 |
| 01/18/2008 | Technical issue... or cultural? | Prediction for 2008 |
| 01/16/2008 | Some C/C++ predictions | Prediction for 2008 |
| 01/24/2008 | Many people use Boehm today | Prediction for 2008 |
| 01/08/2008 | Often times, engineers *are* scientists | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | Abstraction | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | Exactly. | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | One of the desires of formal systems | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/08/2008 | But remember.... | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/09/2008 | Actually, customers are willing to pay for quality. | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/16/2008 | An interesting quote from that paper: | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/23/2008 | If what the industry wants are technicians? | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/13/2008 | At the high end of understanding, no. | Io |
| 01/08/2008 | A couple of thoughts | The Land of the Terminal |
| 01/11/2008 | Maybe program source should be stored as... | The Land of the Terminal |
| 01/07/2008 | Array covariance can be safe... | (newbie question) Covariance and contravariance |
| 12/13/2007 | Of course, Objective C left out... | Avi Bryant: Ruby IS-A Smalltalk |
| 12/13/2007 | Add something to C... | Avi Bryant: Ruby IS-A Smalltalk |
| 12/13/2007 | I says it's a graphics issue | Avi Bryant: Ruby IS-A Smalltalk |
| 12/13/2007 | True. | Avi Bryant: Ruby IS-A Smalltalk |
| 12/13/2007 | Actually, it sounds like we DO agree... | Avi Bryant: Ruby IS-A Smalltalk |
| 12/14/2007 | then there's the Self language... | Avi Bryant: Ruby IS-A Smalltalk |
| 12/12/2007 | Not necessarily | Origin of the term Multimethod |
| 12/11/2007 | In particular, you cannot do this: | functions, statements, expressions |
| 12/13/2007 | Likewise for types like bool, unit. | functions, statements, expressions |
| 12/07/2007 | My understanding of the LGPL... | A Growable Language Manifesto |
| 12/07/2007 | Ugliness is a matter of taste | poll: syntax |
| 12/05/2007 | Lots of things to consider when evaluating a syntax: | poll: syntax |
| 12/07/2007 | You are in a maze of twisty parse trees | poll: syntax |
| 12/08/2007 | Careful with what you mean by "message passing". | poll: syntax |
| 12/10/2007 | Apparently, Smalltalk-76 for one. | poll: syntax |
| 12/13/2007 | Math notation is: | poll: syntax |
| 12/14/2007 | Journals published in .DTF | poll: syntax |
| 12/14/2007 | Nitpick | poll: syntax |
| 12/06/2007 | Regarding the "cost of tracking object" | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 11/26/2007 | I wouldn't call it a bug... | Samurai - Protecting Critical Data in Unsafe Languages |
| 11/23/2007 | The distinction between a function and a function pointer in C | What are the properties of "Functional Programming Languages"? |
| 11/09/2007 | slow structs? | Dependent Classes |
| 11/09/2007 | Sometimes it's useful to have a basket of fruit | Dependent Classes |
| 10/30/2007 | To further beat the dead horse... | Searching for a quote |
| 10/25/2007 | Keyword messages in Smalltalk are not named parameters | On DSL, Smalltalk and FP |
| 11/01/2007 | Of course... | On the Importance of Purity |
| 11/10/2007 | Would bad programmers bother reading either? | On the Importance of Purity |
| 10/30/2007 | Nightmare code | On the Importance of Purity |
| 11/01/2007 | But many are irresponsible... | On the Importance of Purity |
| 11/02/2007 | If that happens... | On the Importance of Purity |
| 10/19/2007 | A sales brochure | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/18/2007 | By "multi-threaded" | Any multi-threaded interpreters? |
| 11/03/2007 | Popularity is seldom of interest to the topic of this site | Examples of large-scale functional language projects |
| 10/09/2007 | Synchronous vs asynchronous | It's Time to Stop Calling Circuits "Hardware" |
| 10/09/2007 | This is one of the great ironies of PLT | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | One other thing... | It's Time to Stop Calling Circuits "Hardware" |
| 10/11/2007 | RAII requires guaranteed destructor semantics | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | Arrow diagrams | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | Well... | It's Time to Stop Calling Circuits "Hardware" |
| 10/10/2007 | Some parts of CS do more resemble the natural sciences | Computing is a Natural Science |
| 10/11/2007 | What we're really after... | Computing is a Natural Science |
| 10/15/2007 | Consider the wise words of Knuth: | Computing is a Natural Science |
| 10/11/2007 | Computer science is a science by any measure | Computing is a Natural Science |
| 09/20/2007 | Convenience is the reason | Binary Lambda Calculus and Combinatory Logic |
| 08/29/2007 | They could call it... | R6RS Validated |
| 08/30/2007 | Imagine searching for that on Google | R6RS Validated |
| 08/24/2007 | Often times, you WANT to annotate function types | An Accidental Simula User, Luca Cardelli |
| 08/25/2007 | You don't get told | An Accidental Simula User, Luca Cardelli |
| 08/24/2007 | To quote Luca... | An Accidental Simula User, Luca Cardelli |
| 08/21/2007 | Other things for the chart? | Diagram showing all programming paradigms and their relationships |
| 08/15/2007 | Old paper... | Metaobject protocols: Why we want them and what else they can do |
| 08/14/2007 | Not too much beer, gents. | LtU beer party - Jerusalem |
| 08/13/2007 | Could this be done using dependent types... | Metaprogramming with Traits |
| 08/14/2007 | Lots of things overlap with AOP... | Metaprogramming with Traits |
| 08/13/2007 | One? Several! | creating my own programming language |
| 08/13/2007 | More on Dragon Books | creating my own programming language |
| 08/13/2007 | I almost forgot... | creating my own programming language |
| 08/14/2007 | One more thing | creating my own programming language |
| 08/14/2007 | No unfriendliness intended | creating my own programming language |
| 07/24/2007 | Your link doesn't work | Apocalypse - the empire strikes back |
| 07/24/2007 | Scientific Method: Relationships among scientific paradigms | Scientific Method: Relationships among scientific paradigms |
| 07/26/2007 | Law of Demeter? | Instantiation of classes in wrong place leads to wrong structures ... (reminder) |
| 07/20/2007 | Design by contract and model-checking | Or is it now? |
| 07/19/2007 | And it occasionally gets accused... | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/02/2007 | Avoiding naming can be useful... | Forth in hardware ("not dead yet") |
| 06/19/2007 | What do you mean by "large scale"? | PLs and large scale development |
| 06/19/2007 | Type inference and large projects | PLs and large scale development |
| 06/19/2007 | Given that C++ is typically compiled to native... | PLs and large scale development |
| 06/19/2007 | In my (admittedly limited) experience... | PLs and large scale development |
| 06/19/2007 | I've seen bad programmers | PLs and large scale development |
| 06/14/2007 | A separate concern? | Distributed Objects vs. Messaging |
| 06/15/2007 | Or in the terminology of Brooks | Distributed Objects vs. Messaging |
| 06/11/2007 | If you are writing ISRs | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 06/12/2007 | If you are really writing ISRs | HOPL III: Evolving a language in and for the real world: C++ 1991-2006 |
| 02/14/2008 | Packrat parsing is another example... | "Practical" advantages of lazy evaluation |
| 06/18/2007 | Smalltalk | "Practical" advantages of lazy evaluation |
| 06/18/2007 | Using strict evaluation only | "Practical" advantages of lazy evaluation |
| 06/18/2007 | Thanks for the clarification | "Practical" advantages of lazy evaluation |
| 02/13/2008 | Purity is important... | "Practical" advantages of lazy evaluation |
| 02/15/2008 | One of the early chapters... | "Practical" advantages of lazy evaluation |
| 02/17/2008 | Civility, please | "Practical" advantages of lazy evaluation |
| 02/17/2008 | Not necessarily | "Practical" advantages of lazy evaluation |
| 05/18/2007 | Side effects? | What's in a name: eval vs apply. |
| 05/22/2007 | You need linear or uniqueness types | How to make the static represent the dynamic? |
| 05/17/2007 | Most, if not all of Java, | Sun's new JavaFX Script language |
| 05/18/2007 | Issues remain | Sun's new JavaFX Script language |
| 05/14/2007 | Metaprogramming... | Sun's new JavaFX Script language |
| 05/09/2007 | Don't discount the effect | "The language of the future is javascript" |
| 05/10/2007 | One of the design mistakes of Java | "The language of the future is javascript" |
| 05/10/2007 | Therein lies the issue | "The language of the future is javascript" |
| 05/11/2007 | Inertia, mainly | "The language of the future is javascript" |
| 05/11/2007 | Perhaps this is a thread too far afield.. | "The language of the future is javascript" |
| 05/03/2007 | A few ideas | Rules of good declarative language design |
| 05/04/2007 | Fixpoint combinators... | Rules of good declarative language design |
| 05/03/2007 | In some languages | Functional Object-Oriented Programming |
| 05/03/2007 | O'Caml | Functional Object-Oriented Programming |
| 05/04/2007 | Average mortals | Functional Object-Oriented Programming |
| 05/02/2007 | CPUs have been embedded in FPGAs for years... | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | Would be fun | Is Integer wrapping an exceptional condition? |
| 05/18/2007 | Depends on the application | Is Integer wrapping an exceptional condition? |
| 05/02/2007 | It isn't less mathmatical for signed ints either | Is Integer wrapping an exceptional condition? |
| 05/17/2007 | As someone else pointed out above... | Is Integer wrapping an exceptional condition? |
| 05/04/2007 | FWIW | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Mark does have a point | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/04/2007 | Go read "A New Kind of Science" | Dynamic interactivity in Mathematica 6 |
| 04/27/2007 | The problem isn't standardization | Arc in action (a.k.a. it's aliiiiive!) |
| 04/30/2007 | Actually, much of Java | Arc in action (a.k.a. it's aliiiiive!) |
| 04/30/2007 | To answer your question | Arc in action (a.k.a. it's aliiiiive!) |
| 05/01/2007 | I realize "greenspun" is a person's name... | Arc in action (a.k.a. it's aliiiiive!) |
| 04/24/2007 | Asynchronous sequential processes/Theory of Distributed Objects? | Asynchronous sequential processes/Theory of Distributed Objects? |
| 04/25/2007 | Fixed | Asynchronous sequential processes/Theory of Distributed Objects? |
| 04/09/2007 | Bertrand Meyer had an interesting argument on this. | Cforall |
| 04/10/2007 | Lecturing doesn't bother me :) | Cforall |
| 04/11/2007 | I'm not sure any languages "force" any particular form. | Deliverable code? |
| 01/25/2008 | When all you have is a hammer... | MapReduce |
| 01/25/2008 | I'll buy that... | MapReduce |
| 01/25/2008 | And with that in mind... | MapReduce |
| 09/17/2007 | Of course, we know the reason why. | Lisp webcomic |
| 10/05/2007 | You've worked with him, then... :) | Lisp webcomic |
| 06/11/2007 | Different kinds of type erasure | Steps Toward The Reinvention of Programming |
| 06/20/2007 | Heuristic approaches might be better | Steps Toward The Reinvention of Programming |
| 06/11/2007 | Do say more | Steps Toward The Reinvention of Programming |
| 06/15/2007 | Types are defined in terms of type systems | Steps Toward The Reinvention of Programming |
| 01/31/2007 | Good stuff | First Class Relationships in an Object-oriented Language |
| 01/31/2007 | Obvious extensions to this work to consider | First Class Relationships in an Object-oriented Language |
| 01/31/2007 | To answer your questions: | First Class Relationships in an Object-oriented Language |
| 01/26/2007 | Partial functions are types | Total Functional Programming |
| 01/26/2007 | Well... | Software Composability and the Future of Languages |
| 01/16/2007 | SPAM report | SPAM report |
| 01/16/2007 | User ma1k0va74 has two other SPAMS posted here... | SPAM report |
| 01/11/2007 | Coincidentally, just bought the book | Call by push-value |
| 01/14/2007 | My copy was $45.... | Call by push-value |
| 01/15/2007 | Springer books are expensive... | Call by push-value |
| 08/28/2007 | Online booksellers | Lectures on the Curry-Howard Isomorphism |
| 04/29/2008 | Why not go whole-hog | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 07/11/2006 | This site has it lucky | Community enforcement discussion |
| 01/19/2007 | My two cents | What do you believe about Programming Languages (that you can't prove (yet))? |
| 07/28/2008 | Is it just me... | Chuck - Concurrent audio programming language |
| 01/30/2006 | I'm assuming you mean... | A-Posteriori Subtyping: Which Languages? |
| 01/29/2006 | Proposed Wikipedia Programming Language Theory topic | Proposed Wikipedia Programming Language Theory topic |
| 01/25/2006 | Separation of concerns, please | Promising OS's from a Programming Language Perspective |
| 01/28/2006 | Trust me... | Promising OS's from a Programming Language Perspective |
| 01/29/2006 | I may have misunderstood you then... | Promising OS's from a Programming Language Perspective |
| 01/28/2006 | Far less than 20% in most cases | Programming Language transformation? |
| 01/23/2006 | I'm a bit unclear | Lambda the ultimate peer review |
| 01/23/2006 | For development, Linux | Choice of OS of LtU readers |
| 01/23/2006 | There's always the vi emulation mode... | Choice of OS of LtU readers |
| 01/26/2006 | Well-played, sir! | Choice of OS of LtU readers |
| 01/26/2006 | Since your serious... | Choice of OS of LtU readers |
| 01/20/2006 | Synthetic vs analytical languages | Lisp is sin |
| 01/19/2006 | Unfortunately... | Lisp is sin |
| 01/20/2006 | Indeed | Lisp is sin |
| 01/18/2006 | Norvig's book | Lisp is sin |
| 01/16/2006 | The Different Ways to do it | Paul Vick: Language Design & Paying the UI "Tax" |
| 01/13/2006 | Pi-calculus and mobile system books | Pi-calculus and mobile system books |
| 01/12/2006 | Depends on the point of view | What is considered source code? |
| 01/12/2006 | To clarify a few things: | Tim Bray: Don't Invent XML Languages |
| 01/09/2006 | But why do you need classes with only one possible instance? | Singleton classes really that bad? |
| 01/10/2006 | Hey! | Singleton classes really that bad? |
| 01/11/2006 | Speaking of Wiki (I assume you mean c2)... | Singleton classes really that bad? |
| 01/10/2006 | Dynamic Languages, Java | Singleton classes really that bad? |
| 01/05/2006 | A better question: | Stroustrup talking about C++0x |
| 01/05/2006 | I've never needed one... | Stroustrup talking about C++0x |
| 01/03/2006 | The Problem With Singletons | Return of the Global Variables? |
| 01/03/2006 | Let me clarify a bit | Return of the Global Variables? |
| 01/13/2006 | As any good EE knows | Return of the Global Variables? |
| 01/05/2006 | Are there companies where | Joel Spolsky views on CS education |
| 12/16/2005 | Differences between JVM and Parrot | Virtual machine implementation and dynamic languages |
| 12/16/2005 | One book to avoid | Virtual machine implementation and dynamic languages |
| 12/19/2005 | Branch/call strength reduction | Virtual machine implementation and dynamic languages |
| 12/16/2005 | For high-performance (at one time), dynamic VM technology | Virtual machine implementation and dynamic languages |
| 12/16/2005 | I'm curious: | Virtual machine implementation and dynamic languages |
| 12/16/2005 | But debugging a GC... | CPS without GC? |
| 12/16/2005 | CPS and the stack | CPS without GC? |
| 12/16/2005 | Other than assembly... | CPS without GC? |
| 12/13/2005 | Image based languages | Back to the future... |
| 12/13/2005 | Add to the list: | Back to the future... |
| 12/13/2005 | Qualifying debugger... | Back to the future... |
| 12/14/2005 | Double heh | Back to the future... |
| 12/14/2005 | How much was it? | Back to the future... |
| 12/09/2005 | In a FPL.... | Types and reflection |
| 12/10/2005 | Agreed... | Types and reflection |
| 11/10/2005 | What's the bug? | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/10/2005 | CORBA IDL | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/10/2005 | In many languages, case-folding is nontrivial | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/16/2005 | The Unicode standard does address | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/19/2005 | If you stick to that naming convention, you'll be fine | CaSe SenSitIviTy! What is its purpose in programming language syntax? |
| 11/09/2005 | Type Safety | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | Thanks... | Battling Bugs: A Digital Quagmire |
| 11/10/2005 | I'm not sure how the type system | Battling Bugs: A Digital Quagmire |
| 11/10/2005 | It's been discussed before. | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | A toolbox is a limited taxonomy | Classification according to type vs function - An anecdote |
| 11/08/2005 | TAPL | Type Nomenclature |
| 11/08/2005 | Issues and comments with D&D | Type Nomenclature |
| 11/09/2005 | Physical representations | Type Nomenclature |
| 11/08/2005 | "Explicit" types vs "Static" types | Type Nomenclature |
| 11/09/2005 | Dynamic checking vs dynamic typing | Type Nomenclature |
| 11/07/2005 | Programming Language Naming Patterns | Programming Language Names |
| 11/02/2005 | OO uber-zealotry considered silly | Smalltalk case-statement |
| 10/31/2005 | More to the point: | The Type-System-Feature-Creep Death Spiral |
| 10/31/2005 | The "mind rot" argument | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Crutch? | Does Visual Studio Rot the Mind? |
| 11/01/2005 | A good question... | Does Visual Studio Rot the Mind? |
| 11/01/2005 | The lessons of Smalltalk | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Egads! | Does Visual Studio Rot the Mind? |
| 11/01/2005 | Do what the pros do... | Does Visual Studio Rot the Mind? |
| 10/28/2005 | My first thought.... | An Overview of the Singularity Project |
| 10/28/2005 | Certain aspects are interesting and promising... | An Overview of the Singularity Project |
| 10/26/2005 | Not to mention... | Lowering the barriers to programming |
| 10/25/2005 | Pure Arrays and update | Why Lists? |
| 10/20/2005 | I'd love having relations as a data structure. | Best default sequence? |
| 10/18/2005 | Test post | Test post |
| 10/18/2005 | The book to read... | Object Oriented Programming + Referential Transparency |
| 10/14/2005 | Depends on how things are declared and used | Expressions vs Statements |
| 10/14/2005 | C++ reference returns | Expressions vs Statements |
| 10/14/2005 | In C, too | Expressions vs Statements |
| 10/17/2005 | Star Trek's programming languages... | Expressions vs Statements |
| 10/20/2005 | RTTI style? | Expressions vs Statements |
| 08/15/2007 | "More direct way" | Formal methods for O/R mapping |
| 10/10/2005 | Self-modifiabilty buys you nothing. | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | Not again... | The Church-Turing Thesis: Breaking the Myth |
| 10/10/2005 | This makes it sound like you | The Church-Turing Thesis: Breaking the Myth |
| 10/14/2005 | PI and the countably infinite | The Church-Turing Thesis: Breaking the Myth |
| 10/06/2005 | Virtual Machine books | Virtual Machine books |
| 10/10/2005 | I bought Smith and Nair... | Virtual Machine books |
| 10/06/2005 | Eiffel? | Scalability |
| 10/07/2005 | Agreed | Scalability |
| 10/09/2005 | The most seldom DSLs are seldom recognized as such. | Scalability |
| 10/07/2005 | Missing the point? | Scalability |
| 10/03/2005 | Smalltalk | The English-Likeness Monster |
| 10/04/2005 | But mathematical notation ISN'T well-defined. | The English-Likeness Monster |
| 10/04/2005 | The argument... | The English-Likeness Monster |
| 09/30/2005 | And here I'd thought | LtU etiquette |
| 10/03/2005 | Not just discouraged... | LtU etiquette |
| 09/28/2005 | Of course, we all remember what also happened in 2003 | ICFP Programming Contest 2005 Results |
| 09/27/2005 | Thoughts | LtU: Style and Focus |
| 09/29/2005 | Definition of "Troll" | LtU: Style and Focus |
| 09/23/2005 | ...and in the absence of supporting evidence... | What is Intuitive? |
| 09/23/2005 | Ohms Law for Meetings | Select/From versus From/Select |
| 09/22/2005 | Or perhaps Lisp isn't the pinnacle | Ruby: Language of the Programming Übermensch? |
| 09/22/2005 | I'm not objecting to praise of Lisp | Ruby: Language of the Programming Übermensch? |
| 09/23/2005 | Who says a third language is necessary? | Ruby: Language of the Programming Übermensch? |
| 09/24/2005 | Agreed... though what is a Lisp? | Ruby: Language of the Programming Übermensch? |
| 09/21/2005 | doesNotUnderstand isn't always a programming error | Dynamic typing in OCaml |
| 09/21/2005 | Not many large systems... | RPC Under Fire |
| 09/18/2005 | What about Mozart/Oz | Most Productive FP Lang? |
| 09/24/2005 | If you haven't read the paper (but only skimmed it) | Most Productive FP Lang? |
| 09/09/2005 | Twenty-First Century Compilers | Twenty-First Century Compilers |
| 12/05/2005 | That legal? | Twenty-First Century Compilers |
| 09/09/2005 | Higher order functions useless outside of FP? | Haskell and creative freedom |
| 09/12/2005 | Lets keep it civil, please | Haskell and creative freedom |
| 09/14/2005 | A few corrections: | Haskell and creative freedom |
| 09/13/2005 | An unlikely hero rides to the rescue | Haskell and creative freedom |
| 09/14/2005 | I didn't say that C++ was an ideal alternative... | Haskell and creative freedom |
| 09/12/2005 | How would you prove such a thing? | Guido van Rossum: Building an Open Source Project and Community |
| 09/13/2005 | Absolutist positions | Guido van Rossum: Building an Open Source Project and Community |
| 09/06/2005 | Somebody better tell these guys... | Apple: procedural -> OO -> AOP -> advanced procedural |
| 09/07/2005 | I thought that... | Apple: procedural -> OO -> AOP -> advanced procedural |
| 08/11/2005 | Well... | Concatenative Language Kont |
| 08/08/2005 | Not to flame ML or overly praise C++, but... | Have scripting languages peaked? |
| 08/08/2005 | If you have an existing working system... | Have scripting languages peaked? |
| 08/05/2005 | Ed: Did the above get posted to the wrong thread??? | Have scripting languages peaked? |
| 08/06/2005 | Bit shift and file I/O | Overloading - Syntactic Heroin? |
| 08/05/2005 | Speaking of overloaded operators doing different things... | Overloading - Syntactic Heroin? |
| 08/04/2005 | Mission Criticial != Real Time | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/15/2005 | A good question. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/04/2005 | My comments on OO | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | Object-orientation has failed | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/08/2005 | More on OO has failed | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | Inline assembly is still highly useful... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/05/2005 | Interesting.... | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/11/2005 | Implementation detail? | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/11/2005 | Re-read the above. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/11/2005 | The weaknesses of both models are well-known. | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/03/2005 | Tek Labs | On the Revival of Dynamic Languages |
| 08/03/2005 | "Coding phase" vs "compile time" | Static Typing Where Possible, Dynamic Typing When Needed |
| 08/18/2005 | When I saw the bit about Wikipedia... | Static Typing Where Possible, Dynamic Typing When Needed |
| 07/08/2005 | Fresh and new? | The New C Standard |
| 07/08/2005 | Wiki community fixes | Spam |
| 06/24/2005 | Sometimes #doesNotUnderstand isn't an error | Static Types vs. Partially Evaluated Latent Types |
| 06/14/2005 | Differences in philosophy. | Tim Bray: On Threads |
| 06/14/2005 | Programming languages are FAR simpler | Multilinguals learning computer languages faster than monol. |
| 06/10/2005 | An interesting question: | Happy Birthday, PHP... |
| 06/10/2005 | Short term vs long term | What will Apple's move to Intel mean for Alternative Language Communities? |
| 06/03/2005 | Which begs the question: | Variables as Channels |
| 06/02/2005 | Ain't just CS | Basic(er) Simple(r) Type Theory(?) |
| 06/01/2005 | What about... | Basic(er) Simple(r) Type Theory(?) |
| 05/24/2005 | Too much state is a bad thing... | Haskell for C Programmers |
| 05/24/2005 | Yup.... | Haskell for C Programmers |
| 05/24/2005 | Different levels of mutable state badness | Haskell for C Programmers |
| 05/19/2005 | Perl and its sigils | Funny characters inference |
| 05/20/2005 | Stackless refers to... | Tail recursion |
| 05/19/2005 | Tail call transformation | Tail recursion |
| 05/19/2005 | Tail calls and JVMs | Tail recursion |
| 05/19/2005 | It's an issue with TCE in general... | Tail recursion |
| 05/18/2005 | How decorated is the AST? | AST intermediate representations |
| 05/18/2005 | How would one add complexity to a C++ parser? | Modern Language Features of Visual C++ 2005 |
| 05/19/2005 | But it's such a "wonderful" hack... | Grassroots computing languages hit the big time |
| 05/18/2005 | Single implementations | Grassroots computing languages hit the big time |
| 05/19/2005 | Forks are a function of the license | Grassroots computing languages hit the big time |
| 05/12/2005 | But is is, FTMP, a legacy language | A question about COBOL! |
| 05/11/2005 | An interesting question | More sites like Lambda |
| 05/11/2005 | He is rather active on c2 these days | More sites like Lambda |
| 05/11/2005 | More on naming | subtext: Uncovering the simplicity of programming |
| 05/12/2005 | More on mnemonic vs referential | subtext: Uncovering the simplicity of programming |
| 05/13/2005 | Get a good stable base, first. | Best route for new language to be self-hosting |
| 05/16/2005 | For translation or slow interpetration, any of Lisp/ML/Haskell | Best route for new language to be self-hosting |
| 06/26/2008 | Of course, we do call 'em | Let's make a programming language! |
| 05/04/2005 | The desire for one-ness | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Agreed. Simple arithmetic ain't simple. | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | The difference between edit-time and compile-time | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | I'm not sure I understand/agree. | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | Probably it does.... | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/04/2005 | What the programmer can predict... | Call for Papers: ACM Symposium on Dynamic Languages |
| 05/02/2005 | Bad vs Not Good Enough | What makes Centum a bad language? |
| 04/29/2005 | It's not that bad.... | From Perl Monks: "pissed off about functional programming" |
| 04/29/2005 | Regarding Haskell and FP.... | From Perl Monks: "pissed off about functional programming" |
| 05/05/2005 | Just what **IS** functional programming, anyway? | From Perl Monks: "pissed off about functional programming" |
| 05/02/2005 | Delay and force | R6RS Scheme Status Report |
| 05/03/2005 | Well, it does.... | R6RS Scheme Status Report |
| 04/29/2005 | Agreed....BUT | Memory fault and segmentation faults |
| 04/27/2005 | A minor quibble | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 05/04/2005 | Although I'm not an editor... | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/21/2005 | Here's why I do it... | Why do they program in C++? |
| 04/21/2005 | What sort of embedded platforms are you using? | Why do they program in C++? |
| 04/25/2005 | Objects vs primitives | Why do they program in C++? |
| 04/26/2005 | Maybe this will fix things | Why do they program in C++? |
| 04/26/2005 | Well, it IS typesafe if... | Why do they program in C++? |
| 04/26/2005 | NULL and type safety | Why do they program in C++? |
| 04/27/2005 | Why do I not program in C++? | Why do they program in C++? |
| 05/05/2005 | Just to clear up a few things... | Why do they program in C++? |
| 05/13/2005 | Scheme chips | Why do they program in C++? |
| 04/21/2005 | Definition of "computer generated" | Computer generates verifiable mathematics proof |
| 04/21/2005 | ...a decideable deterministic algorithm. :) | Computer generates verifiable mathematics proof |
| 04/21/2005 | Well.... | Computer generates verifiable mathematics proof |
| 04/21/2005 | It's an important distinction... | 2005 Programming Languages Day at Watson |
| 04/21/2005 | Summary for those of us without ACM access? | 2005 Programming Languages Day at Watson |
| 04/21/2005 | After reading the paper... | 2005 Programming Languages Day at Watson |
| 04/19/2005 | What we need then... | Why Dependent Types Matter |
| 04/19/2005 | Nice does which? | Why Dependent Types Matter |
| 04/19/2005 | It's a public wiki... | Why Dependent Types Matter |
| 04/19/2005 | Green vs Red Dragon | How much better is the second edition of "Essentials of Programming Languages"? |
| 04/12/2005 | Bootstrapping the universe | Links |
| 04/11/2005 | APIs vs new languages. | Dominus talks about HO Perl |
| 04/12/2005 | Pipes and filters | Dominus talks about HO Perl |
| 04/14/2005 | More on EJB | Dominus talks about HO Perl |
| 04/14/2005 | Cast in stone? | Dominus talks about HO Perl |
| 04/05/2005 | One area where syntax does matter... | Mechanics of designing and implementing a language |
| 04/06/2005 | Of course... | Mechanics of designing and implementing a language |
| 03/29/2005 | "Language" vs "Library" is often an artificial distinction. | expressivity of "idiomatic C++" |
| 03/30/2005 | Of course... a language should support some basic set | expressivity of "idiomatic C++" |
| 09/19/2005 | Uh, no. | expressivity of "idiomatic C++" |
| 03/21/2005 | In years past... | Script Vs Java |
| 03/21/2005 | QFD | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | Go re-read Knuth's Turing award lecture... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/21/2005 | The canonical LtU answer to your question... | According to Allen Holub programming is now a liberal art. When did this happen? |
| 03/18/2005 | If you don't like Guido's direction, don't use Python. | The fate of reduce() in Python 3000 |
| 03/18/2005 | Python vs FP? | The fate of reduce() in Python 3000 |
| 03/16/2005 | Interpreters and preprocessors | Embedding one language in another |
| 03/17/2005 | Not to be a wet blanket... | Embedding one language in another |
| 03/15/2005 | TeX as a programming language | Interview with Donald Knuth |
| 03/14/2005 | ANSI C (1999)? | Fortress focuses on the needs of scientists |
| 03/09/2005 | An idea to consider | Exploiting parser ambiguity |
| 03/09/2005 | CFGs and such | Exploiting parser ambiguity |
| 03/10/2005 | Metaprogramming as higher-order programming | Educational Pearl: Automata as Macros |
| 03/11/2005 | Definition of metaprogramming | Educational Pearl: Automata as Macros |
| 03/09/2005 | Standalone DSLs | Educational Pearl: Automata as Macros |
| 03/10/2005 | The middle case | Educational Pearl: Automata as Macros |
| 03/10/2005 | And I thought perl/sed/grep/etc. was bad... | Educational Pearl: Automata as Macros |
| 03/10/2005 | Consider some famous advice from Steele.... | Educational Pearl: Automata as Macros |
| 03/08/2005 | Ugh... | μABC: A Minimal Aspect Calculus |
| 02/25/2005 | An interesting question | Journals and papers? |
| 03/10/2005 | Cost of running a journal | Journals and papers? |
| 02/22/2005 | A few books | Designing and Implementing DSL languages: recommended reading? |
| 02/14/2005 | It's kinda like endian-ness.... | SOAP considered canonical |
| 02/12/2005 | See Thompson's Turing Award lecture | ACM Queue: A Conversation with Alan Kay |
| 02/11/2005 | CS as an engineering discipline and a science | ACM Queue: A Conversation with Alan Kay |
| 02/16/2005 | The most important barriers to "software engineering" | ACM Queue: A Conversation with Alan Kay |
| 02/16/2005 | Metaprogramming/AOP | ACM Queue: A Conversation with Alan Kay |
| 02/09/2005 | Could LTU host a wiki? | Wikicities |
| 02/07/2005 | Better yet, call it "Process Calculi" | Pi-ple rights oppressed |
| 02/02/2005 | In an ideal world | Avoiding worst case GC with large amounts of data? |
| 02/02/2005 | Don't confuse the OS with the kernel | Avoiding worst case GC with large amounts of data? |
| 02/04/2005 | Mechanism and Policy | Avoiding worst case GC with large amounts of data? |
| 02/03/2005 | Interactive programs | Avoiding worst case GC with large amounts of data? |
| 01/28/2005 | Glossary of abbreviations on LTU | Glossary of abbreviations on LTU |
| 01/28/2005 | No language can prevent bugs | BitC, a new OS implementation language |
| 01/24/2005 | One difference between "good" and "popular" | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Re: In business, good means less time or money | "Popular vs. Good" in Programming Languages |
| 01/25/2005 | Tools vs Toolbox | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | Ideas on how to make a language good AND popular. | "Popular vs. Good" in Programming Languages |
| 01/28/2005 | Problems with C as an intermediate language | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | The debugging problem | "Popular vs. Good" in Programming Languages |
| 01/26/2005 | Is strictness an advantage? | "Popular vs. Good" in Programming Languages |
| 01/27/2005 | Never needed a debugger... | "Popular vs. Good" in Programming Languages |
| 01/21/2005 | Poorly written article | OOP Is Much Better in Theory Than in Practice |
| 01/21/2005 | Agreed. | OOP Is Much Better in Theory Than in Practice |
| 01/24/2005 | Got my copy! | Advanced Topics in Types and Programming Languages |
| 10/21/2005 | IIRC, | the Chinese natual language |
| 10/20/2005 | Too much speculation in this thread | the Chinese natual language |
| 10/21/2005 | OT: Chinese grammar | the Chinese natual language |
| 07/25/2008 | Segmentation fault | Shoot-out: most annoying compiler error message |
| 12/16/2008 | Does extern C/C++ matter for the type of a function in C++ | Shoot-out: most annoying compiler error message |
| 12/16/2008 | Of course... | Shoot-out: most annoying compiler error message |
| 12/21/2008 | Seen yesterday from GCC | Shoot-out: most annoying compiler error message |
| 09/12/2005 | Nonsense! | Why type systems are interesting - part II |
| 02/16/2005 | What about relational languages | History: Array languages |
| 07/05/2008 | Sure industry does | Why type systems are interesting |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |