Re: [fonc] Last programming language

2011-07-20 Thread David Barbour
On Wed, Jul 20, 2011 at 7:57 AM, Paul Homer paul_ho...@yahoo.ca wrote: If we flip that, and consider the data as the primary element, then we can look for ideas that essentially make the code trivial. Users enter data, the system stores data, and we want to analyze the data. The code can be

Re: [fonc] Formal Methods in STEPS

2011-07-20 Thread Kevin Driedger
What is Dan Ingalls' Smalltalk live image problem? I'd very much like to hear about it. Is it in reference to images have their own set of problems wrt to dragging around more than just source code and being tightly coupled to the development environment that created them? ]{evin On Wed, Jul

[fonc] re: the live image problem (was Formal Methods in STEPS)

2011-07-20 Thread Craig Latta
Secure code distribution is not feasible with Smalltalk live images as-designed. (I was going to ask anyway, but especially now that you qualified yourself with as-designed... :) Why not, specifically? (And of course I ask as someone who thinks he has a solution. :) -C --