Jak resetuje się dwie zmiany w Scali?

Question

Rozumiem z tego blog post, w jaki sposób jest reifikowany pojedynczy shift w ramach reset.

reset { 1 + shift {k:Int => Int => k(5)} + 1}

jest reified do

val reified = {shiftValue:Int => 1 + shiftValue + 1}; reified (5)

Teraz mam inny przykład:

reset { 
    1 + shift(k1:Int => Int => k1(5)} + 1; 
    2 + shift(k2:Int => Int => k2(6)} + 2 
}

Jest reified do:

val reified ={shifyValue1:Int => 
    1 + shiftValue + 1; 
    2 + shift(k2:Int => Int => k2(6)} + 2 
} 
reified(5)

Jak mogę zreifikować go dalej, aby uzyskać pozbyć się drugiego shift?

Answer 1

val reified ={shiftValue1:Int => 
    1 + shiftValue + 1; 
    val reified2 = {shiftValue2: Int => 2 + shiftValue + 2}; 
    reified2(6) 
} 
reified(5) 

Zasadniczo ta sama transformacja.

(Scala nie jest tutaj zainstalowana, przetestowałem tylko tę transformację w Scheme, która powinna zachowywać się tak samo, ignorując wszelkie problemy z systemem typu.)