Imperitive languages

Slava Pestov — 2005-03-05 19:01:05

Hi all,



Lately I've been doing some design work for the next stage of Factor's 

compiler, and I've noticed an interesting fact. There is a strong 

similarity between concatenative and imperitive languages. Even if no 

mutation of objects is allowed, the stack manipulation looks a lot like 

assignment to local variables, and in fact, the same technique used to 

infer loop invariants in imperitive langauges seem to apply to 

concatenative languages.



Any comments or suggestions?



Slava

Ehrenberg Daniel — 2005-03-06 02:39:27

On Sat, 05 Mar 2005 14:01:05 -0500, Slava Pestov <slava@...> wrote:

 > 

> Hi all,

> 

> Lately I've been doing some design work for the next stage of Factor's

> compiler, and I've noticed an interesting fact. There is a strong

> similarity between concatenative and imperitive languages. Even if no

> mutation of objects is allowed, the stack manipulation looks a lot like

> assignment to local variables, and in fact, the same technique used to

> infer loop invariants in imperitive langauges seem to apply to

> concatenative languages.

> 

> Any comments or suggestions?

> 

> Slava



 
http://www.latrobe.edu.au/philosophy/phimvt/joy/jp-imper.html



Daniel Ehrenberg