Posts By: Dave Griffith
Date | Post | Topic |
05/24/2011 | I don't see why... | Rob Pike: Public Static Void |
05/30/2011 | And even at that, it's probably too strong... | Rob Pike: Public Static Void |
12/25/2010 | Intermediate states needed | Type systems for structured languages |
09/07/2010 | The trick to think about DI... | Dependency injection via parameterized types (?!) |
09/04/2010 | Because someone has to | Dependency injection via parameterized types (?!) |
08/27/2010 | Moderation | Theoretical Computer Science StackExchange Beta now open |
08/28/2010 | Missing the point of StackExchange, a bit | Theoretical Computer Science StackExchange Beta now open |
08/25/2010 | Don't mean to discourage you... | new kid on the block: fun4j is a new fp project for the Java VM |
08/16/2010 | Benefits | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
08/20/2010 | Development effort | Type Classes as Objects and Implicits |
06/08/2010 | Process as a domain of engineering discourse | some critiques of the Semat initiative |
04/17/2010 | Business idea | SEC interested in formalising contracts ... in Python |
04/18/2010 | By subcontracting | SEC interested in formalising contracts ... in Python |
04/20/2010 | This problem will most likely fix itself... | SEC interested in formalising contracts ... in Python |
04/27/2010 | Guido | SEC interested in formalising contracts ... in Python |
04/28/2010 | Advantages of a DSL to the buyer | SEC interested in formalising contracts ... in Python |
05/06/2010 | Nearly in agreement | SEC interested in formalising contracts ... in Python |
02/17/2010 | More possibilties... | Small PL Thought Experiment |
02/14/2010 | Change | A few billion lines of code later: using static analysis to find bugs in the real world |
02/01/2010 | Errors and rework | What data sets would tell you the most about what sort of programming language to design? |
01/20/2010 | "In Scala, this would be a library" | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/20/2010 | Easy enough | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
01/14/2010 | A lot of axes for discoverability | Discoverability, Language Features, and the First Step Toward Composition |
01/03/2010 | Possibly this... | SelfType and MyType |
12/31/2009 | Haskell | most water-tight real-world language implementation? |
12/25/2009 | Misunderstanding | A question of metadata |
12/23/2009 | Packages as stable values | Parameterized Modules |
12/23/2009 | Scala objects as modules | Parameterized Modules |
12/23/2009 | Scalable Component Abstractions: The Tricks | Parameterized Modules |
12/23/2009 | Shared modules | Parameterized Modules |
01/04/2010 | Tooling | Parameterized Modules |
01/05/2010 | More precisely | Parameterized Modules |
01/05/2010 | No | Parameterized Modules |
12/02/2009 | My first small taste... | Eleven Theses on Clojure |
12/02/2009 | Innovation | Eleven Theses on Clojure |
12/02/2009 | New in Scala | Eleven Theses on Clojure |
11/06/2009 | No one place | John Hughes on Erlang and Haskell |
11/06/2009 | Cross-cutting concerns | John Hughes on Erlang and Haskell |
11/07/2009 | Monitoring/management | John Hughes on Erlang and Haskell |
11/06/2009 | Information density | John Hughes on Erlang and Haskell |
11/07/2009 | Libraries | John Hughes on Erlang and Haskell |
11/05/2009 | Startup vs. ongoing performance hit | On Understanding Data Abstraction, Revisited |
10/17/2009 | Doesn't matter... | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
10/14/2009 | Groovy Spread operator | SequenceL - declarative computation on nonscalars |
10/15/2009 | Neither | SequenceL - declarative computation on nonscalars |
09/17/2009 | DI as a language-level construct | Noop: Google Language for the JVM |
09/18/2009 | Annotations | Noop: Google Language for the JVM |
09/24/2009 | Intent vs. Execution | Noop: Google Language for the JVM |
07/28/2009 | Conciseness | Evaluation and Usability of Programming Languages and Tools (PLATEAU) |
06/26/2009 | Instance encapsulation | Fully Encapsulated Languages? Are there any out there? |
06/02/2009 | Really??? | Goolgle & IDEs |
02/03/2009 | As devil's advocate | PL Grand Challenges |
01/22/2009 | External Annotations | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
10/29/2008 | Its a tradeoff | Automated Code Review Tools for Security |
08/30/2008 | Economic reasons? | Real-Time Concurrent Issues Drive Ada versus Java Choice |
07/11/2008 | Lotus Improv | In search for a programming language to replace spreadsheets. |
07/11/2008 | But back on topic... | In search for a programming language to replace spreadsheets. |
04/26/2008 | If the answer is Perl... | 2nd Revision of "Thoughts about the Best Introductory Language" |
04/15/2008 | Overreaching for undisputed points | The irreducible physicality of security properties |
03/26/2008 | Actually a bit stronger than that | CERT C Secure Coding Standard |
03/28/2008 | On the contrary | CERT C Secure Coding Standard |
03/29/2008 | Depends on the domain | CERT C Secure Coding Standard |
02/26/2008 | Nope | Union types in Java? |
02/19/2008 | Exactly | Gilad Bracha: Cutting out Static |
02/19/2008 | We don't remember packages... | Gilad Bracha: Cutting out Static |
02/19/2008 | The "Cake" pattern in Scala | Gilad Bracha: Cutting out Static |
02/22/2008 | Training | Gilad Bracha: Cutting out Static |
02/18/2008 | Why? | succinctness |
02/14/2008 | More precisely... | Recursive Algorithms that cannot be expresses with Tail-Recursion? |
12/13/2007 | Another case where the libraries and tools sell the language | Avi Bryant: Ruby IS-A Smalltalk |
09/25/2007 | TIOBE | The Future(s) |
09/13/2007 | old hat... | DivaScheme |
09/04/2007 | Humans | No Name: Just Notes on Software Reuse |
08/25/2007 | The second thing | An Accidental Simula User, Luca Cardelli |
08/24/2007 | Wow | An Accidental Simula User, Luca Cardelli |
08/02/2007 | Perfect | Monad Description For Imperative Programmer |
09/04/2007 | In a similar vein | Seam from PLT perspective |
06/28/2007 | Java compatability | Language lifecycle? |
06/28/2007 | Misunderstandings | Language lifecycle? |
05/10/2007 | Actually more agressive than that | Sun's new JavaFX Script language |
05/02/2007 | Temptation... | SICP picture |
05/02/2007 | Wear the shirt | SICP picture |
05/02/2007 | Not all... | Is Integer wrapping an exceptional condition? |
04/29/2007 | Cynicism | Arc in action (a.k.a. it's aliiiiive!) |
04/09/2007 | ANDF | Deliverable code? |
04/16/2007 | Security | Deliverable code? |
04/07/2007 | Security | Why can't you push instructions in MSIL/JVML |
04/08/2007 | Very impressive | Why can't you push instructions in MSIL/JVML |
04/03/2007 | Random observations | Interactivity considered harmful |
03/28/2007 | Bold prediction... | Expect New Major Language Within Five Years |
03/30/2007 | Squeak | Expect New Major Language Within Five Years |
03/31/2007 | You get used to it | Expect New Major Language Within Five Years |
03/31/2007 | Not really | Expect New Major Language Within Five Years |
03/27/2007 | State of art evolving too fast... | Mapping language style to ancillary issues? |
03/28/2007 | Assumptions of ancilliarity limit your thinking | Mapping language style to ancillary issues? |
03/10/2007 | No, but... | What's up with Lua? |
02/20/2007 | Ask, and I shall receive... | The Design and Implementation of a Dataflow Language for Scriptable Debugging |
02/09/2007 | ASCII vs. AST | Better language tools |
02/09/2007 | Cost-benefit | Better language tools |
01/17/2007 | JVM opportunities | Great Expectations: Java Virtual Machine |
02/06/2007 | Concurrency | Why people don't use functional programming? |
02/07/2007 | Baby steps first | Why people don't use functional programming? |
03/09/2007 | Already mainstream | Why people don't use functional programming? |
02/19/2007 | Priorities | Why people don't use functional programming? |
02/19/2007 | Predilictions and blind-spots? | Why people don't use functional programming? |
02/19/2007 | Why people don't use functional programming? | Why people don't use functional programming? |
02/19/2007 | Folk wisdom | Why people don't use functional programming? |
12/13/2006 | Nullity in Java | Java Open Review Project |
12/13/2006 | Initialization gaurantees | Java Open Review Project |
12/14/2006 | ESC-Java and JML | Java Open Review Project |
12/07/2006 | No | C++ has indeed become too "expert friendly" |
12/05/2006 | Developer skill | C++ has indeed become too "expert friendly" |
12/06/2006 | Skill only gets you so far | C++ has indeed become too "expert friendly" |
10/29/2006 | Poorly | Monitoring whether a function happens |
10/30/2006 | Scala | Want to learn something new |
11/01/2006 | Research languages | Want to learn something new |
11/04/2006 | Begging the question | Want to learn something new |
11/04/2006 | Huhh? | Want to learn something new |
11/05/2006 | these distinctions | Want to learn something new |
10/27/2006 | Gilad Bracha's new digs | Growing interest in Smalltalk? |
10/17/2006 | JavaOS | Good Ideas, Through the Looking Glass |
10/23/2006 | Limiting the size of the trusted base | Good Ideas, Through the Looking Glass |
10/23/2006 | Also | Good Ideas, Through the Looking Glass |
10/02/2006 | Refactoring in configuration files | Tim Bray: Dynamic-Language IDEs |
10/02/2006 | Namespaces and semantic searches | Tim Bray: Dynamic-Language IDEs |
10/03/2006 | Sadly, no | Tim Bray: Dynamic-Language IDEs |
10/04/2006 | No, of course not. | Tim Bray: Dynamic-Language IDEs |
10/02/2006 | Input dependencies | Tim Bray: Dynamic-Language IDEs |
10/02/2006 | If it works, it's easy | Tim Bray: Dynamic-Language IDEs |
09/24/2006 | I'm tempted to object to this... | Is "post OO" just over? |
09/25/2006 | Pretty much | Is "post OO" just over? |
09/19/2006 | I'll admit to not reading the article... | Why Johnny can't code |
09/20/2006 | Robotics | Why Johnny can't code |
09/12/2006 | and, and, and... | Dynamic Languages Symposium Program Online |
08/23/2006 | Final means const | Closures for Java or money back |
08/21/2006 | Or vice versa | Closures for Java or money back |
08/23/2006 | At least six layers | Closures for Java or money back |
09/23/2006 | An update | Closures for Java or money back |
09/23/2006 | Market potential | Closures for Java or money back |
08/21/2006 | Performance assumptions | Closures for Java or money back |
08/20/2006 | A more reasonable example | Closures for Java or money back |
08/21/2006 | Tool support | Closures for Java or money back |
08/21/2006 | Redundancy doesn't always breed clarity | Closures for Java or money back |
08/23/2006 | "Good IDE" | Closures for Java or money back |
08/31/2006 | Almost | Closures for Java or money back |
08/31/2006 | Usability | Closures for Java or money back |
08/25/2006 | Support for anonymous inner classes | Closures for Java or money back |
08/18/2006 | Harder | Can a dynamically typed language support type inference? |
07/30/2006 | In message-passing languages... | Polymorphic replacement |
07/24/2006 | It's also worth noting... | Cost of provably-correct code |
07/18/2006 | Missing half the value | Advantages of Soft Typing |
07/18/2006 | Intent | Advantages of Soft Typing |
07/18/2006 | Type declaration | Advantages of Soft Typing |
07/18/2006 | Good fences... | Advantages of Soft Typing |
07/18/2006 | Misunderstanding the language designers role | Advantages of Soft Typing |
07/19/2006 | Except | Advantages of Soft Typing |
07/19/2006 | Responsibility | Advantages of Soft Typing |
07/15/2006 | Programming is a team sport | OOP Parallel class hierarchies |
07/03/2006 | A man after my own heart... | Amusing question |
07/03/2006 | Dispatches from the bug-fighting trenches | Amusing question |
06/22/2006 | Not trying to be inflammatory... | Petition for adding garbage collection to C++. |
06/23/2006 | I was under the impression... | Petition for adding garbage collection to C++. |
06/26/2006 | GC only a small part of the reason | Petition for adding garbage collection to C++. |
06/29/2006 | You're missing the point | Petition for adding garbage collection to C++. |
06/26/2006 | As a development manager... | Petition for adding garbage collection to C++. |
06/21/2006 | Um, no | Rules for Developing Safety-Critical Code |
06/22/2006 | More than tail call needed | Rules for Developing Safety-Critical Code |
06/16/2006 | Exactly backward | The OO barrier |
06/16/2006 | Just a Java/C# restriction, not OO | The OO barrier |
06/16/2006 | Definitional problem | The OO barrier |
06/16/2006 | Too many unsolved problems, too much change | Why only 'minimal' languages |
06/16/2006 | A mismatch of timescales and sums involved | Why only 'minimal' languages |
06/16/2006 | Frivolous | The Semicolon Wars |
06/07/2006 | yes | Public resources for ECMAScript Edition 4 |
06/07/2006 | "Well-encapsulated library" is the problem | Relevance of Curry-Howard |
06/01/2006 | Hard errors often manifest easily detectable symptoms | Type checking and logical errors |
06/03/2006 | Wow | Type checking and logical errors |
06/04/2006 | Even if it's just a string... | Buried Treasure - No Fluff Just Stuff |
06/04/2006 | Not quite | Buried Treasure - No Fluff Just Stuff |
06/04/2006 | I'm confused... | Buried Treasure - No Fluff Just Stuff |
05/29/2006 | Wierd | Buried Treasure - No Fluff Just Stuff |
05/30/2006 | Misunderstanding | Buried Treasure - No Fluff Just Stuff |
05/31/2006 | Types as fundamental | Buried Treasure - No Fluff Just Stuff |
05/26/2006 | OmniCore CodeGuide | Backwards debugging |
05/22/2006 | Can't say I've ever missed them | Gilad Bracha: Will Continuations continue? |
05/22/2006 | Only a bit of a straight man... | Gilad Bracha: Will Continuations continue? |
05/22/2006 | A matter of encapsulation | Gilad Bracha: Will Continuations continue? |
05/20/2006 | Exactly | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
05/21/2006 | Yup | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
05/21/2006 | Cost | Ethnographic Study of Copy and Paste Programming Practices in OOPL |
05/17/2006 | Pragmatism | Paul Vick: BASIC principles |
05/18/2006 | Wow | Paul Vick: BASIC principles |
05/14/2006 | If you don't mind paying a few dollars... | Non-null references? |
05/12/2006 | Off the top of my head... | The case for Semantic Analysis |
05/10/2006 | Must it be identity? | Parameteric Polymorphism from a C++ Perspective (good or bad?) |
05/03/2006 | IntelliJ IDEA | Your favourite editor/IDE |
05/04/2006 | again, IntelliJ IDEA | Your favourite editor/IDE |
05/26/2006 | Probably not | Your favourite editor/IDE |
05/26/2006 | What's tougher | Your favourite editor/IDE |
05/28/2006 | I think we agree, but oddly | Your favourite editor/IDE |
05/28/2006 | true... | Your favourite editor/IDE |
05/31/2006 | All that and then some | Your favourite editor/IDE |
05/03/2006 | one of my favorite possessions... | Proofs are Programs: 19th Century Logic and 21st Century Computing |
05/01/2006 | The need for full lifecycle languages | What do you believe about Programming Languages (that you can't prove (yet))? |
05/01/2006 | UML | What do you believe about Programming Languages (that you can't prove (yet))? |
05/01/2006 | Already been done, yes? | What do you believe about Programming Languages (that you can't prove (yet))? |
05/02/2006 | Huh? | What do you believe about Programming Languages (that you can't prove (yet))? |
05/02/2006 | IntelliJ IDEA 6.0 | What do you believe about Programming Languages (that you can't prove (yet))? |
04/28/2006 | Trivial for aspects | First-Class Traces |
04/26/2006 | Old fallacy | Build your own scripting language for Java |
04/10/2006 | Dangerous language feature used in the worst possible place | Flexible Exception Handling (in Smalltalk) |
04/10/2006 | I should have been clearer | Flexible Exception Handling (in Smalltalk) |
11/04/2009 | Public Domain | Eiffel Studio adds GPL version |
04/06/2006 | Tool support for published API migration | public vs. published interfaces |
04/06/2006 | Pretty much any Java IDE... | public vs. published interfaces |
04/06/2006 | Standardization is very important at this level | public vs. published interfaces |
04/04/2006 | The thing people miss... | Purity in PLT |
04/04/2006 | Not quite true... | Purity in PLT |
03/16/2006 | Oooh, I love games! Pick me! Pick me! | Programming: 50, 100 years from now |
03/17/2006 | A note... | Programming: 50, 100 years from now |
03/21/2006 | Almost exists already... | Programming: 50, 100 years from now |
03/22/2006 | I guess I'm not understanding | Programming: 50, 100 years from now |
03/23/2006 | Programming by intention? | Programming: 50, 100 years from now |
03/23/2006 | And by the way... | Programming: 50, 100 years from now |
03/23/2006 | Thank you | Programming: 50, 100 years from now |
03/20/2006 | Well, no | ACM Queue: On Usability of Programming Languages |
03/10/2006 | With the caveat... | Effects on stability/exception handling of massively parallel programs |
03/10/2006 | Weird | Effects on stability/exception handling of massively parallel programs |
02/12/2006 | An interface to what? | Guido: Language Design Is Not Just Solving Puzzles |
02/12/2006 | Note the use of I/me in your reply | Guido: Language Design Is Not Just Solving Puzzles |
02/13/2006 | Cathedrals | Guido: Language Design Is Not Just Solving Puzzles |
02/13/2006 | And some more... | Guido: Language Design Is Not Just Solving Puzzles |
02/12/2006 | Some things really aren't relative | Guido: Language Design Is Not Just Solving Puzzles |
02/13/2006 | Architecture description as a programming language feature | Guido: Language Design Is Not Just Solving Puzzles |
02/13/2006 | For an ADL in an implementation language... | Guido: Language Design Is Not Just Solving Puzzles |
02/12/2006 | Experience casts doubt on | Guido: Language Design Is Not Just Solving Puzzles |
02/13/2006 | Love the analogies... | Guido: Language Design Is Not Just Solving Puzzles |
01/17/2006 | Not a sign of bad design... | Paul Vick: Language Design & Paying the UI "Tax" |
01/18/2006 | "Throughput does not have to do anything.." | Paul Vick: Language Design & Paying the UI "Tax" |
01/16/2006 | This is precisely backwards | Paul Vick: Language Design & Paying the UI "Tax" |
01/13/2006 | Whatever you call it... | What is considered source code? |
01/04/2006 | Why bother | Stroustrup talking about C++0x |
01/05/2006 | Impressive | Stroustrup talking about C++0x |
01/05/2006 | What a pretty world you live in | Stroustrup talking about C++0x |
12/31/2005 | The right basic idea | Joel Spolsky views on CS education |
12/31/2005 | Not what you learned in school | Joel Spolsky views on CS education |
12/20/2005 | Best thing to do is look at JNI | [Newbie] Where can I learn about VM / C interfacing? |
12/16/2005 | Last I heard... | Virtual machine implementation and dynamic languages |
12/16/2005 | Solving an old problem just in time to be outdated | Countering Trusting Trust through Diverse Double-Compiling |
12/13/2005 | And a few more for the list... | Back to the future... |
12/02/2005 | On the case of Java Generics... | The breaking point of language usability? |
12/04/2005 | You could just as easily... | The breaking point of language usability? |
11/29/2005 | Manageability | The building of robust software |
11/27/2005 | Network transparency is usually a bad idea | Network Transparent languages |
11/09/2005 | "Type Safety" | Battling Bugs: A Digital Quagmire |
10/30/2005 | Already exists... | Does Visual Studio Rot the Mind? |
10/30/2005 | Just wait... | Does Visual Studio Rot the Mind? |
10/30/2005 | Surprisingly, no. | Does Visual Studio Rot the Mind? |
10/30/2005 | What an extremely odd view... | Does Visual Studio Rot the Mind? |
10/30/2005 | An average programmers workload... | Does Visual Studio Rot the Mind? |
10/31/2005 | Very confused | Does Visual Studio Rot the Mind? |
11/01/2005 | Outdated... | Does Visual Studio Rot the Mind? |
11/01/2005 | Exactly... | Does Visual Studio Rot the Mind? |
11/01/2005 | Interesting... | Does Visual Studio Rot the Mind? |
09/24/2005 | A simple and cynical definition... | What is Intuitive? |
09/25/2005 | Yes, but with qualifications | What is Intuitive? |
09/09/2005 | FYI | Threads Cannot be Implemented as a Library |
08/28/2005 | Not sure why these should be related | CodeProfiles.java - CODeDOC 2002 |
08/24/2005 | Practicality | Ivory Towers and Gelfand's Principle |
08/10/2005 | If you pile up enough over-simplifications... | Expressivity |
08/08/2005 | Common confusion of levels in OO practice | Coupling of concepts - good or bad |
07/26/2005 | and you want us... | Software Re-engineering Techniques and Reverse Engineering of Object-oriented Code ( Java language) |
07/20/2005 | Also... | Grady Booch: Software Engineering Grand Challenges |
07/23/2005 | Input's not so bad, it's output... | Grady Booch: Software Engineering Grand Challenges |
07/23/2005 | The point... | Grady Booch: Software Engineering Grand Challenges |
07/19/2005 | Sort of | Conversion of 'functional' to 'imperative' algorithms: is it possible? |
07/23/2005 | Why care? | Economics of Programming Languages |
07/12/2005 | Rule-based Java rewriting predates Jackpot | Static Typing Where Possible, Dynamic Typing When Needed |
07/12/2005 | Yes | Static Typing Where Possible, Dynamic Typing When Needed |
07/12/2005 | A good start... | Static Typing Where Possible, Dynamic Typing When Needed |
06/28/2005 | Simple for most important cases | Generics are a mistake? |
06/20/2005 | Nicely put... | Embedded Languages in Java |
06/21/2005 | Examples... | Embedded Languages in Java |
06/22/2005 | Not quite sure who you're responding to... | Embedded Languages in Java |
06/24/2005 | That's what I actually meant... | Embedded Languages in Java |
06/14/2005 | Actually no... | LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05 |
06/16/2005 | Well sure... | LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05 |
06/14/2005 | Freely, it looks like | LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05 |
05/19/2005 | Memory complexity dependent on optimization | Tail recursion |
05/20/2005 | I should have included a link | Tail recursion |
06/05/2006 | If this community were homogenous enough... | Let's make a programming language! |
04/29/2005 | Sort of, but not quite | The Fortress Language Spec v0.618 |
01/20/2005 | "Too good" | OOP Is Much Better in Theory Than in Practice |
01/10/2005 | How does it scale to >1M LOC systems? | The Four Questions |
01/11/2005 | Can't be done, sadly | The Four Questions |
07/25/2008 | Familiar | Shoot-out: most annoying compiler error message |
05/13/2012 | OO, open recursion, and auto-complete | Higher order versus Object order |
05/13/2012 | Apologies | Higher order versus Object order |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |