エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2022-02-17から1日間の記事一覧

関数プログラミングと無限論理多項式(24)

Go の例(4) (ゴルーチン) クロージャーを使っている部分をゴルーチンで置き換えたものを考えます。イテレーターをゴルーチンで実装した IteratorChannelImpl_int 構造体と IteratorChannelIOImpl_Numbers 構造体を作成します。 type IteratorChannelImpl_int…