# 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