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

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

2022-03-05から1日間の記事一覧

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

C# の例(16) (タプル(2)) UnfoldL もタプルを使って書き直します。 private static (Func<bool> next, Func<U> getCurrent, Action<U> setCurrent) UnfoldL<T, U>(Func<T, (U, T)> next, T init) { T src = init; U dst = default(U); bool next_() { (dst, src) = next(src); return src </t,></t,></u></u></bool>…