Specification driven design has been around for a long time. Lets see if AI can make it come true. Dr. David Parnas wrore about Parnas Tables https://research.cs.queensu.ca/home/cisc323/2006w/slides/Bil... ; and then there was Eiffel with Design-By-Contract; and the Type System in F-Sharp seems like magic.

Yes, I believe Robert Griesemer one of the three brains behind Golang is Wirths student.

this is wonderful - I've been curious about continuations and program state as a language construct. Not sure I understand the redplanet - type system et

If you could share more details, I'd really appreciate it.

I need to suck up to my boss and coddle him or her - so I need to work at the office. I just got fired in-spite of exceptional work but I think working remotely had something to do with it.