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