[clean-list] relationship between uniqueness types and single-threaded lambda calculus?

[TK]

>
> This looks like observation typing using #! (non recursive strict let).
> See section 9.4 of the Clean language report.
>
> The swap function could be written as:
>
> swap a i j
>         #! x = lookup a i
>         #! y = lookup a j
>         = update! (update! a i y) j x


And as Clean allows notation like

swap a i j
        #! x = lookup a i
           y = lookup a j
        = update! ( update! a i y ) j x

it seems that
' let* ' == ' #! '.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20070530/94b630da/attachment.html