The type/object distinction and possible synthesis of OOP and imperative programming languages

[88888 Dihedral]

zipher於 2013年4月15日星期一UTC+8上午11時48分05秒寫道：
> Hello,
> 
> 
> 
> I'm new to the list and hoping this might be the right place to
> 
> introduce something that has provoked a bit of an argument in my
> 
> programming community.

I'll state about my opinions about the imperative and 
non-imperative part.

If the finite stack depth is used instead of the infinite one,
then the auto local variables of the imperative part 
can be implemented quite safe  and cheap or at least 
self-recoverable from a stack overflow event.

This can save a lot burdens in the GC part in an imperative 
language.