[nem-pl] Re: C# => Nemerle

[Pawel Rozanski]

Michal Moskal wrote:

>>Mysle ze pozostale watpliwosci wyjda juz przy pisaniu testowaniu.
>>Co do goto nie widze dla niego mozliwosci w chwili obecnej do
>>rozmiwazania typu wyjatki, gdyz goto moze byc uzywane poza jedna
>>struktura - jest calkowicie nie strukturalne.
> Wyjątki tak czy inaczej odpadają (efaktywność...)
> 
A moze jakos tak:


fun(...){
0:
   AAA

1: while(x)
    {
      BBB
      goto 0
      CCC
    }
}

na:

fun(...)
{
   goto (r:int*bool ,... )
   {
     match(r)
     {
      | 0,_ =>
        AAAA
        goto(1,x)

      | 1,true =>
        BBBB
        goto(0,x)
        CCCC
        goto(1,x)

      | 1,false =>
        ()
     }
   }

   goto((0,true),....)
}

Skro while i inne i tak sa zamieniane na rekurencyjne, to moze
zroibc krotke ktora opisuje dany aktualny przebieg (w ktorym while sie
jest i po ktorym goto)

tak mi wpadlo, wracam do MD.
Pawel