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

Posts By: Ray Dillinger

  Date    Post    Topic  
07/12/2012First figure outLanguage Implementation 101
07/12/2012Languages and UI's are dual.Why languages and not systems?
06/26/2012Regarding polymorphism via interfaces....Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it.
06/24/2012I have used GAs and experienced this....Evolved Turing neural networks - Unorganized machines and the brain
06/14/2012Open type classes ~= Interface types with semantic extensionsType classes in a dynamic language
06/09/2012It is good to see this.Why Do Some Programming Languages Live and Others Die?
06/09/2012A sliding scale from detailed types to code reusability?Why Do Some Programming Languages Live and Others Die?
06/18/2012*Against?!* I do not think you've understood.Why Do Some Programming Languages Live and Others Die?
06/09/2012My own experience...Graphical languages of the Russian space program
05/30/2012Parallelism, broad and narrow.Languages & Niches
09/03/2011Don't mistake static type checking for usability.the gnu extension language
09/04/2011the gnu extension languagethe gnu extension language
07/15/2011There is no last language.The Last Language?
07/15/2011Eggs Ackley.The Last Language?
07/07/2011There are several problems. And several solutions.Parallel bars
07/02/2011Why are you describing it?How to explain a new programming language?
07/07/2011First you have to explain why you need the context.How to explain a new programming language?
06/24/2011A hypothetical counterexample ...modules are anti-modular
06/21/2011The Value Of Syntax?The Value Of Syntax?
06/21/2011It is clear that syntaxThe Value Of Syntax?
06/24/2011You're right, of course.The Value Of Syntax?
06/27/2011You can, certainly. Does it follow that you should?The Value Of Syntax?
07/09/2011Exceptions are overrated.Rob Pike: Public Static Void
05/22/2011Optimization, or not?Why is tail call optimization an issue in GC'd languages?
04/29/2011I know people hate it, butTypes from imported modules "leaking" into a module's public interface
04/13/2011These claims tend to be subjective. What would "proof" mean?Staking Claims: A History of Programming Language Design Claims and Evidence
04/14/2011Gasche wrote: 1. MostStaking Claims: A History of Programming Language Design Claims and Evidence
04/19/2011All I'm saying is that if weStaking Claims: A History of Programming Language Design Claims and Evidence
06/28/2012If contemporary FP languageBob Harper of CMU is blogging about programming languages and introductory CS education
06/28/2012Your first sentence is ambiguous.Bob Harper of CMU is blogging about programming languages and introductory CS education
06/26/2012Well, there is such a thing as functional OO.Bob Harper of CMU is blogging about programming languages and introductory CS education
06/28/2012Meh. There are too many names flying around already.Bob Harper of CMU is blogging about programming languages and introductory CS education
05/22/2010This is a bigger subject than CNC control.Programming CNC machines in Haskell
04/26/2010Capability-based security; how does it work?Capability-based security; how does it work?
04/26/2010How are they unforgeable?Capability-based security; how does it work?
04/26/2010Not buying the public keys....Capability-based security; how does it work?
04/27/2010Okay, so it's digitalCapability-based security; how does it work?
04/26/2010Capabilities kept separate from user data....Capability-based security; how does it work?
04/27/2010Revocability seems to require a known chain of derivation.Capability-based security; how does it work?
04/27/2010In summary, you must firstCapability-based security; how does it work?
04/27/2010Excuse me? Did I give you cause to think I'm stupid?Capability-based security; how does it work?
04/27/2010Thank you so much for the reading list!Capability-based security; how does it work?
04/27/2010Section 3.6, thirdCapability-based security; how does it work?
04/28/2010SecretsCapability-based security; how does it work?
04/28/2010Unfortunately, it's not hopeless.Capability-based security; how does it work?
04/28/2010Capability-based security; how does it work?Capability-based security; how does it work?
04/28/2010Boogered up configurationCapability-based security; how does it work?
04/29/2010Thanks everybody.Capability-based security; how does it work?
04/23/2010Ordinary programmers are smart enough, with the right context.Seeking thoughtful criticisms of functional programming and languages
04/16/2010C is like a koan.How can C Programs be so Reliable?
04/22/2010Safe languages and nerf languagesHow can C Programs be so Reliable?
04/22/2010Not like that.How can C Programs be so Reliable?
04/23/2010Abstractions, or insufficiencies?How can C Programs be so Reliable?
04/17/2010Error checking in CHow can C Programs be so Reliable?
04/17/2010C syntax?How can C Programs be so Reliable?
04/21/2010This is a very interesting thread.How can C Programs be so Reliable?
04/13/2010Representing Type Information in Dynamically Typed LanguagesRepresenting Type Information in Dynamically Typed Languages
04/14/2010It's true but...Representing Type Information in Dynamically Typed Languages
04/15/2010High-performance Dynamic LanguagesRepresenting Type Information in Dynamically Typed Languages
04/16/2010That's surprising.Representing Type Information in Dynamically Typed Languages
04/16/2010Well, I guess it is pathological.Representing Type Information in Dynamically Typed Languages
04/10/2010About that "general purpose" computer.iPhone PL lockdown
04/05/2010Start with R5.rsr6 versus rsr5 for interpreter
03/31/2010Looks like a good model to me.Go's proposed panic/recover exception-like mechanism
03/31/2010At the risk of offending the members of certain religions....Can functional programming be liberated from the von Neumann paradigm?
03/26/2010A trillion is quite a lot, but....Will data-intensive computing revolutionize programming languages?
03/26/2010Syntax....Clojure's Mini-languages
03/19/2010First class environmentsFirst-class environments. Discuss. ;)
03/20/2010Collaboration? (and ideas about FCE's)First-class environments. Discuss. ;)
03/21/2010First-class environments. Discuss. ;)First-class environments. Discuss. ;)
03/21/2010Yah, it's a bit scary....First-class environments. Discuss. ;)
03/21/2010Explicit EvaluationFirst-class environments. Discuss. ;)
03/21/2010I swiped the aggregation techniqueFirst-class environments. Discuss. ;)
03/22/2010Remember the "fun" in "dysfunctional!"First-class environments. Discuss. ;)
03/22/2010Oh, that's it.First-class environments. Discuss. ;)
03/24/2010Ah, I see what you mean.First-class environments. Discuss. ;)
03/27/2010Quote in a fexpr language means something else.First-class environments. Discuss. ;)
03/27/2010Calls, returns, and function types.First-class environments. Discuss. ;)
03/24/2010No well-defined thoughts yet.First-class environments. Discuss. ;)
03/23/2010It wasn't the aggregation IFirst-class environments. Discuss. ;)
03/28/2010I have to admit, I haven't been thinking much about security.First-class environments. Discuss. ;)
03/29/2010Encapsulation seems impossibleFirst-class environments. Discuss. ;)
03/29/2010First-class environments. Discuss. ;)First-class environments. Discuss. ;)
03/30/2010First-class environments. Discuss. ;)First-class environments. Discuss. ;)
03/30/2010Hmm. okay.First-class environments. Discuss. ;)
03/24/2010Statically compilable SchemeFirst-class environments. Discuss. ;)
03/31/2010In another threadFirst-class environments. Discuss. ;)
03/31/2010Set!First-class environments. Discuss. ;)
04/06/2010First-class environments areFirst-class environments. Discuss. ;)
03/15/2010Types are more than sets of values.Type system design choices
03/12/2010Is this really a problem with generalized let?Should let be generalized?
03/07/2010Yup.Alternative method for defining statically typed variables
03/05/2010Seriously?LISP basis for computable functions on S-Expressions.
03/06/2010True, but they are duals in expressiveness.LISP basis for computable functions on S-Expressions.
03/07/2010the problem with that....LISP basis for computable functions on S-Expressions.
03/03/2010In the end, all is fexprs.Extending the Scope of Syntactic Abstraction
03/03/2010Sigh. I had not been aware....Extending the Scope of Syntactic Abstraction
02/27/2010large-scale programming systems inspired by ecological and market systemslarge-scale programming systems inspired by ecological and market systems
02/28/2010The difference in instability...large-scale programming systems inspired by ecological and market systems
03/01/2010No agent in the market has to "solve" the market.large-scale programming systems inspired by ecological and market systems
02/22/2010This has been an interestingSmall PL Thought Experiment
02/13/2010Other code.What data sets would tell you the most about what sort of programming language to design?
02/17/2010I contend that yes, it's exactly what we need.What data sets would tell you the most about what sort of programming language to design?
06/28/2012okay, pet peeve time.On Understanding Data Abstraction, Revisited
06/28/2012reapeated - deleted.On Understanding Data Abstraction, Revisited
06/28/2012reapeated - deleted.On Understanding Data Abstraction, Revisited
08/21/2009HoorayScheme to be split into two languages
08/20/2009WowObservational Equality, Now!
08/13/2009disappointedPhosphorous, The Popular Lisp
03/04/2010Functional PearlsFunctional Pearls
06/24/2012Not quite how that works....Functional Relational Programming: Out of the tar pit
06/24/2012Text merge algorithms are a problem.Functional Relational Programming: Out of the tar pit
06/24/2012Lock-free concurrencyFunctional Relational Programming: Out of the tar pit
04/07/2010The most useful compromise...Static Typing Where Possible, Dynamic Typing When Needed
04/07/2010That's true.Static Typing Where Possible, Dynamic Typing When Needed
04/07/2010Start by computing what typeStatic Typing Where Possible, Dynamic Typing When Needed
04/13/2011I've used this techniqueMulti-Return Function Call
03/08/2010This is what assertions are for.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


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