簡単なループをトレースで書く
とても簡単なプログラム:
if (x == 0) {
z = x;
} else {
z = 1;
}
同じこと、ただし無駄にループを回す。
if (x == 0) {
z = x;
} else {
while ( x > 1) x--;
z = x;
}
ループを外す。並列プログラム。
cobegin {
if (x == 0) {
z = x;
} else {
w = x;
}
} and {
if (y > 1 ) {
w = --y;
} else {
z = y;
}
} // coend
これを (x, y)→(z, w) というプロファイルの射(並列計算の圏の射)だと思って、yとwを同一視してトレースを取るとループが再現する。