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

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

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

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

F# の例(2) F# もコンストラクターを3個に削減しました。Seq.unfold (iterate に相当)を使っています。 let Align0<'T> (xs: 'T list) (len: int) (z: 'T): 'T list = [ for xd in xs do yield xd for i in xs.Length .. len - 1 do yield z ] let ZipWith0<…