Hi Sergiu, Excellent point you make about type checking versus provably correct code. I probably allowed myself to be lulled by a false equivalence many times in the past, confusing one for the other under pressure to get something working. But then, how many programmers actually produce provably correct code? I can see that happening very easily in the small. But for overall large programs? - DM

On Apr 18, 2017, at 14:36, Sergiu Ivanov wrote:

Hello David,

Thanks a lot for sharing your opinions, I find it very interesting.

Thus quoth David McClain at 19:26 on Mon, Apr 17 2017:

...

That’s when I began migrating back over to my old standby Lisp system. I live inside of my Lisp all day long, for days on end. It is a whole ecosystem. There is not crisp boundary of edit / compile / debug. It is all incremental and extensional. I think that kind of environment, regardless of language, is the holy grail of computing.

Just a small question: have you ever tried Smalltalk/Squeak/Pharo? (I'm in no way affiliated.)

These guys seem to be quite keen on blending the edit/compile/debug boundaries.

-- Sergiu