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

Posts By: Dave Griffith

  Date    Post    Topic  
05/24/2011I don't see why...Rob Pike: Public Static Void
05/30/2011And even at that, it's probably too strong...Rob Pike: Public Static Void
12/25/2010Intermediate states neededType systems for structured languages
09/07/2010The trick to think about DI...Dependency injection via parameterized types (?!)
09/04/2010Because someone has toDependency injection via parameterized types (?!)
08/27/2010ModerationTheoretical Computer Science StackExchange Beta now open
08/28/2010Missing the point of StackExchange, a bitTheoretical Computer Science StackExchange Beta now open
08/25/2010Don't mean to discourage you...new kid on the block: fun4j is a new fp project for the Java VM
08/16/2010BenefitsMod sys with external binding of mods to mod sigs, where all mod imports must be sigs only
08/20/2010Development effortType Classes as Objects and Implicits
06/08/2010Process as a domain of engineering discoursesome critiques of the Semat initiative
04/17/2010Business ideaSEC interested in formalising contracts ... in Python
04/18/2010By subcontractingSEC interested in formalising contracts ... in Python
04/20/2010This problem will most likely fix itself...SEC interested in formalising contracts ... in Python
04/27/2010GuidoSEC interested in formalising contracts ... in Python
04/28/2010Advantages of a DSL to the buyerSEC interested in formalising contracts ... in Python
05/06/2010Nearly in agreementSEC interested in formalising contracts ... in Python
02/17/2010More possibilties...Small PL Thought Experiment
02/14/2010ChangeA few billion lines of code later: using static analysis to find bugs in the real world
02/01/2010Errors and reworkWhat 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/2010Easy enoughSyntax of Literal Tables (Assocative Collections) and Auto-generated fields
01/14/2010A lot of axes for discoverabilityDiscoverability, Language Features, and the First Step Toward Composition
01/03/2010Possibly this...SelfType and MyType
12/31/2009Haskellmost water-tight real-world language implementation?
12/25/2009MisunderstandingA question of metadata
12/23/2009Packages as stable valuesParameterized Modules
12/23/2009Scala objects as modulesParameterized Modules
12/23/2009Scalable Component Abstractions: The TricksParameterized Modules
12/23/2009Shared modulesParameterized Modules
01/04/2010ToolingParameterized Modules
01/05/2010More preciselyParameterized Modules
01/05/2010NoParameterized Modules
12/02/2009My first small taste...Eleven Theses on Clojure
12/02/2009InnovationEleven Theses on Clojure
12/02/2009New in ScalaEleven Theses on Clojure
11/06/2009No one placeJohn Hughes on Erlang and Haskell
11/06/2009Cross-cutting concernsJohn Hughes on Erlang and Haskell
11/07/2009Monitoring/managementJohn Hughes on Erlang and Haskell
11/06/2009Information densityJohn Hughes on Erlang and Haskell
11/07/2009LibrariesJohn Hughes on Erlang and Haskell
11/05/2009Startup vs. ongoing performance hitOn Understanding Data Abstraction, Revisited
10/17/2009Doesn't matter...Erik Meijer's MSDN Channel 9 lecture series on functional programming
10/14/2009Groovy Spread operatorSequenceL - declarative computation on nonscalars
10/15/2009NeitherSequenceL - declarative computation on nonscalars
09/17/2009DI as a language-level constructNoop: Google Language for the JVM
09/18/2009AnnotationsNoop: Google Language for the JVM
09/24/2009Intent vs. ExecutionNoop: Google Language for the JVM
07/28/2009ConcisenessEvaluation and Usability of Programming Languages and Tools (PLATEAU)
06/26/2009Instance encapsulationFully Encapsulated Languages? Are there any out there?
06/02/2009Really???Goolgle & IDEs
02/03/2009As devil's advocatePL Grand Challenges
01/22/2009External AnnotationsTony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
10/29/2008Its a tradeoffAutomated Code Review Tools for Security
08/30/2008Economic reasons?Real-Time Concurrent Issues Drive Ada versus Java Choice
07/11/2008Lotus ImprovIn search for a programming language to replace spreadsheets.
07/11/2008But back on topic...In search for a programming language to replace spreadsheets.
04/26/2008If the answer is Perl...2nd Revision of "Thoughts about the Best Introductory Language"
04/15/2008Overreaching for undisputed pointsThe irreducible physicality of security properties
03/26/2008Actually a bit stronger than thatCERT C Secure Coding Standard
03/28/2008On the contraryCERT C Secure Coding Standard
03/29/2008Depends on the domainCERT C Secure Coding Standard
02/26/2008NopeUnion types in Java?
02/19/2008ExactlyGilad Bracha: Cutting out Static
02/19/2008We don't remember packages...Gilad Bracha: Cutting out Static
02/19/2008The "Cake" pattern in ScalaGilad Bracha: Cutting out Static
02/22/2008TrainingGilad Bracha: Cutting out Static
02/18/2008Why?succinctness
02/14/2008More precisely...Recursive Algorithms that cannot be expresses with Tail-Recursion?
12/13/2007Another case where the libraries and tools sell the languageAvi Bryant: Ruby IS-A Smalltalk
09/25/2007TIOBEThe Future(s)
09/13/2007old hat...DivaScheme
09/04/2007HumansNo Name: Just Notes on Software Reuse
08/25/2007The second thingAn Accidental Simula User, Luca Cardelli
08/24/2007WowAn Accidental Simula User, Luca Cardelli
08/02/2007PerfectMonad Description For Imperative Programmer
09/04/2007In a similar veinSeam from PLT perspective
06/28/2007Java compatabilityLanguage lifecycle?
06/28/2007MisunderstandingsLanguage lifecycle?
05/10/2007Actually more agressive than thatSun's new JavaFX Script language
05/02/2007Temptation...SICP picture
05/02/2007Wear the shirtSICP picture
05/02/2007Not all...Is Integer wrapping an exceptional condition?
04/29/2007CynicismArc in action (a.k.a. it's aliiiiive!)
04/09/2007ANDFDeliverable code?
04/16/2007SecurityDeliverable code?
04/07/2007SecurityWhy can't you push instructions in MSIL/JVML
04/08/2007Very impressiveWhy can't you push instructions in MSIL/JVML
04/03/2007Random observationsInteractivity considered harmful
03/28/2007Bold prediction...Expect New Major Language Within Five Years
03/30/2007SqueakExpect New Major Language Within Five Years
03/31/2007You get used to itExpect New Major Language Within Five Years
03/31/2007Not reallyExpect New Major Language Within Five Years
03/27/2007State of art evolving too fast...Mapping language style to ancillary issues?
03/28/2007Assumptions of ancilliarity limit your thinkingMapping language style to ancillary issues?
03/10/2007No, but...What's up with Lua?
02/20/2007Ask, and I shall receive...The Design and Implementation of a Dataflow Language for Scriptable Debugging
02/09/2007ASCII vs. ASTBetter language tools
02/09/2007Cost-benefitBetter language tools
01/17/2007JVM opportunitiesGreat Expectations: Java Virtual Machine
02/06/2007ConcurrencyWhy people don't use functional programming?
02/07/2007Baby steps firstWhy people don't use functional programming?
03/09/2007Already mainstreamWhy people don't use functional programming?
02/19/2007PrioritiesWhy people don't use functional programming?
02/19/2007Predilictions and blind-spots?Why people don't use functional programming?
02/19/2007Why people don't use functional programming?Why people don't use functional programming?
02/19/2007Folk wisdomWhy people don't use functional programming?
12/13/2006Nullity in JavaJava Open Review Project
12/13/2006Initialization gauranteesJava Open Review Project
12/14/2006ESC-Java and JMLJava Open Review Project
12/07/2006NoC++ has indeed become too "expert friendly"
12/05/2006Developer skillC++ has indeed become too "expert friendly"
12/06/2006Skill only gets you so farC++ has indeed become too "expert friendly"
10/29/2006PoorlyMonitoring whether a function happens
10/30/2006ScalaWant to learn something new
11/01/2006Research languagesWant to learn something new
11/04/2006Begging the questionWant to learn something new
11/04/2006Huhh?Want to learn something new
11/05/2006these distinctionsWant to learn something new
10/27/2006Gilad Bracha's new digsGrowing interest in Smalltalk?
10/17/2006JavaOSGood Ideas, Through the Looking Glass
10/23/2006Limiting the size of the trusted baseGood Ideas, Through the Looking Glass
10/23/2006AlsoGood Ideas, Through the Looking Glass
10/02/2006Refactoring in configuration filesTim Bray: Dynamic-Language IDEs
10/02/2006Namespaces and semantic searchesTim Bray: Dynamic-Language IDEs
10/03/2006Sadly, noTim Bray: Dynamic-Language IDEs
10/04/2006No, of course not.Tim Bray: Dynamic-Language IDEs
10/02/2006Input dependenciesTim Bray: Dynamic-Language IDEs
10/02/2006If it works, it's easyTim Bray: Dynamic-Language IDEs
09/24/2006I'm tempted to object to this...Is "post OO" just over?
09/25/2006Pretty muchIs "post OO" just over?
09/19/2006I'll admit to not reading the article...Why Johnny can't code
09/20/2006RoboticsWhy Johnny can't code
09/12/2006and, and, and...Dynamic Languages Symposium Program Online
08/23/2006Final means constClosures for Java or money back
08/21/2006Or vice versaClosures for Java or money back
08/23/2006At least six layersClosures for Java or money back
09/23/2006An updateClosures for Java or money back
09/23/2006Market potentialClosures for Java or money back
08/21/2006Performance assumptionsClosures for Java or money back
08/20/2006A more reasonable exampleClosures for Java or money back
08/21/2006Tool supportClosures for Java or money back
08/21/2006Redundancy doesn't always breed clarityClosures for Java or money back
08/23/2006"Good IDE"Closures for Java or money back
08/31/2006AlmostClosures for Java or money back
08/31/2006UsabilityClosures for Java or money back
08/25/2006Support for anonymous inner classesClosures for Java or money back
08/18/2006HarderCan a dynamically typed language support type inference?
07/30/2006In message-passing languages...Polymorphic replacement
07/24/2006It's also worth noting...Cost of provably-correct code
07/18/2006Missing half the valueAdvantages of Soft Typing
07/18/2006IntentAdvantages of Soft Typing
07/18/2006Type declarationAdvantages of Soft Typing
07/18/2006Good fences...Advantages of Soft Typing
07/18/2006Misunderstanding the language designers roleAdvantages of Soft Typing
07/19/2006ExceptAdvantages of Soft Typing
07/19/2006ResponsibilityAdvantages of Soft Typing
07/15/2006Programming is a team sportOOP Parallel class hierarchies
07/03/2006A man after my own heart...Amusing question
07/03/2006Dispatches from the bug-fighting trenchesAmusing question
06/22/2006Not trying to be inflammatory...Petition for adding garbage collection to C++.
06/23/2006I was under the impression...Petition for adding garbage collection to C++.
06/26/2006GC only a small part of the reasonPetition for adding garbage collection to C++.
06/29/2006You're missing the pointPetition for adding garbage collection to C++.
06/26/2006As a development manager...Petition for adding garbage collection to C++.
06/21/2006Um, noRules for Developing Safety-Critical Code
06/22/2006More than tail call neededRules for Developing Safety-Critical Code
06/16/2006Exactly backwardThe OO barrier
06/16/2006Just a Java/C# restriction, not OOThe OO barrier
06/16/2006Definitional problemThe OO barrier
06/16/2006Too many unsolved problems, too much changeWhy only 'minimal' languages
06/16/2006A mismatch of timescales and sums involvedWhy only 'minimal' languages
06/16/2006FrivolousThe Semicolon Wars
06/07/2006yesPublic resources for ECMAScript Edition 4
06/07/2006"Well-encapsulated library" is the problemRelevance of Curry-Howard
06/01/2006Hard errors often manifest easily detectable symptomsType checking and logical errors
06/03/2006WowType checking and logical errors
06/04/2006Even if it's just a string...Buried Treasure - No Fluff Just Stuff
06/04/2006Not quiteBuried Treasure - No Fluff Just Stuff
06/04/2006I'm confused...Buried Treasure - No Fluff Just Stuff
05/29/2006WierdBuried Treasure - No Fluff Just Stuff
05/30/2006MisunderstandingBuried Treasure - No Fluff Just Stuff
05/31/2006Types as fundamentalBuried Treasure - No Fluff Just Stuff
05/26/2006OmniCore CodeGuideBackwards debugging
05/22/2006Can't say I've ever missed themGilad Bracha: Will Continuations continue?
05/22/2006Only a bit of a straight man...Gilad Bracha: Will Continuations continue?
05/22/2006A matter of encapsulationGilad Bracha: Will Continuations continue?
05/20/2006ExactlyEthnographic Study of Copy and Paste Programming Practices in OOPL
05/21/2006YupEthnographic Study of Copy and Paste Programming Practices in OOPL
05/21/2006CostEthnographic Study of Copy and Paste Programming Practices in OOPL
05/17/2006PragmatismPaul Vick: BASIC principles
05/18/2006WowPaul Vick: BASIC principles
05/14/2006If you don't mind paying a few dollars...Non-null references?
05/12/2006Off the top of my head...The case for Semantic Analysis
05/10/2006Must it be identity?Parameteric Polymorphism from a C++ Perspective (good or bad?)
05/03/2006IntelliJ IDEAYour favourite editor/IDE
05/04/2006again, IntelliJ IDEAYour favourite editor/IDE
05/26/2006Probably notYour favourite editor/IDE
05/26/2006What's tougherYour favourite editor/IDE
05/28/2006I think we agree, but oddlyYour favourite editor/IDE
05/28/2006true...Your favourite editor/IDE
05/31/2006All that and then someYour favourite editor/IDE
05/03/2006one of my favorite possessions...Proofs are Programs: 19th Century Logic and 21st Century Computing
05/01/2006The need for full lifecycle languagesWhat do you believe about Programming Languages (that you can't prove (yet))?
05/01/2006UMLWhat do you believe about Programming Languages (that you can't prove (yet))?
05/01/2006Already been done, yes?What do you believe about Programming Languages (that you can't prove (yet))?
05/02/2006Huh?What do you believe about Programming Languages (that you can't prove (yet))?
05/02/2006IntelliJ IDEA 6.0What do you believe about Programming Languages (that you can't prove (yet))?
04/28/2006Trivial for aspectsFirst-Class Traces
04/26/2006Old fallacyBuild your own scripting language for Java
04/10/2006Dangerous language feature used in the worst possible placeFlexible Exception Handling (in Smalltalk)
04/10/2006I should have been clearerFlexible Exception Handling (in Smalltalk)
11/04/2009Public DomainEiffel Studio adds GPL version
04/06/2006Tool support for published API migrationpublic vs. published interfaces
04/06/2006Pretty much any Java IDE...public vs. published interfaces
04/06/2006Standardization is very important at this levelpublic vs. published interfaces
04/04/2006The thing people miss...Purity in PLT
04/04/2006Not quite true...Purity in PLT
03/16/2006Oooh, I love games! Pick me! Pick me!Programming: 50, 100 years from now
03/17/2006A note...Programming: 50, 100 years from now
03/21/2006Almost exists already...Programming: 50, 100 years from now
03/22/2006I guess I'm not understandingProgramming: 50, 100 years from now
03/23/2006Programming by intention?Programming: 50, 100 years from now
03/23/2006And by the way...Programming: 50, 100 years from now
03/23/2006Thank youProgramming: 50, 100 years from now
03/20/2006Well, noACM Queue: On Usability of Programming Languages
03/10/2006With the caveat...Effects on stability/exception handling of massively parallel programs
03/10/2006WeirdEffects on stability/exception handling of massively parallel programs
02/12/2006An interface to what?Guido: Language Design Is Not Just Solving Puzzles
02/12/2006Note the use of I/me in your replyGuido: Language Design Is Not Just Solving Puzzles
02/13/2006CathedralsGuido: Language Design Is Not Just Solving Puzzles
02/13/2006And some more...Guido: Language Design Is Not Just Solving Puzzles
02/12/2006Some things really aren't relativeGuido: Language Design Is Not Just Solving Puzzles
02/13/2006Architecture description as a programming language featureGuido: Language Design Is Not Just Solving Puzzles
02/13/2006For an ADL in an implementation language...Guido: Language Design Is Not Just Solving Puzzles
02/12/2006Experience casts doubt onGuido: Language Design Is Not Just Solving Puzzles
02/13/2006Love the analogies...Guido: Language Design Is Not Just Solving Puzzles
01/17/2006Not 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/2006This is precisely backwardsPaul Vick: Language Design & Paying the UI "Tax"
01/13/2006Whatever you call it...What is considered source code?
01/04/2006Why botherStroustrup talking about C++0x
01/05/2006ImpressiveStroustrup talking about C++0x
01/05/2006What a pretty world you live inStroustrup talking about C++0x
12/31/2005The right basic ideaJoel Spolsky views on CS education
12/31/2005Not what you learned in schoolJoel Spolsky views on CS education
12/20/2005Best thing to do is look at JNI[Newbie] Where can I learn about VM / C interfacing?
12/16/2005Last I heard...Virtual machine implementation and dynamic languages
12/16/2005Solving an old problem just in time to be outdatedCountering Trusting Trust through Diverse Double-Compiling
12/13/2005And a few more for the list...Back to the future...
12/02/2005On the case of Java Generics...The breaking point of language usability?
12/04/2005You could just as easily...The breaking point of language usability?
11/29/2005ManageabilityThe building of robust software
11/27/2005Network transparency is usually a bad ideaNetwork Transparent languages
11/09/2005"Type Safety"Battling Bugs: A Digital Quagmire
10/30/2005Already exists...Does Visual Studio Rot the Mind?
10/30/2005Just wait...Does Visual Studio Rot the Mind?
10/30/2005Surprisingly, no.Does Visual Studio Rot the Mind?
10/30/2005What an extremely odd view...Does Visual Studio Rot the Mind?
10/30/2005An average programmers workload...Does Visual Studio Rot the Mind?
10/31/2005Very confusedDoes Visual Studio Rot the Mind?
11/01/2005Outdated...Does Visual Studio Rot the Mind?
11/01/2005Exactly...Does Visual Studio Rot the Mind?
11/01/2005Interesting...Does Visual Studio Rot the Mind?
09/24/2005A simple and cynical definition...What is Intuitive?
09/25/2005Yes, but with qualificationsWhat is Intuitive?
09/09/2005FYIThreads Cannot be Implemented as a Library
08/28/2005Not sure why these should be relatedCodeProfiles.java - CODeDOC 2002
08/24/2005PracticalityIvory Towers and Gelfand's Principle
08/10/2005If you pile up enough over-simplifications...Expressivity
08/08/2005Common confusion of levels in OO practiceCoupling of concepts - good or bad
07/26/2005and you want us...Software Re-engineering Techniques and Reverse Engineering of Object-oriented Code ( Java language)
07/20/2005Also...Grady Booch: Software Engineering Grand Challenges
07/23/2005Input's not so bad, it's output...Grady Booch: Software Engineering Grand Challenges
07/23/2005The point...Grady Booch: Software Engineering Grand Challenges
07/19/2005Sort ofConversion of 'functional' to 'imperative' algorithms: is it possible?
07/23/2005Why care?Economics of Programming Languages
07/12/2005Rule-based Java rewriting predates JackpotStatic Typing Where Possible, Dynamic Typing When Needed
07/12/2005YesStatic Typing Where Possible, Dynamic Typing When Needed
07/12/2005A good start...Static Typing Where Possible, Dynamic Typing When Needed
06/28/2005Simple for most important casesGenerics are a mistake?
06/20/2005Nicely put...Embedded Languages in Java
06/21/2005Examples...Embedded Languages in Java
06/22/2005Not quite sure who you're responding to...Embedded Languages in Java
06/24/2005That's what I actually meant...Embedded Languages in Java
06/14/2005Actually no...LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05
06/16/2005Well sure...LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05
06/14/2005Freely, it looks likeLIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05
05/19/2005Memory complexity dependent on optimizationTail recursion
05/20/2005I should have included a linkTail recursion
06/05/2006If this community were homogenous enough...Let's make a programming language!
04/29/2005Sort of, but not quiteThe Fortress Language Spec v0.618
01/20/2005"Too good"OOP Is Much Better in Theory Than in Practice
01/10/2005How does it scale to >1M LOC systems?The Four Questions
01/11/2005Can't be done, sadlyThe Four Questions
07/25/2008FamiliarShoot-out: most annoying compiler error message
05/13/2012OO, open recursion, and auto-completeHigher order versus Object order
05/13/2012ApologiesHigher order versus Object order

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com