2013-07-13から1日間の記事一覧
圏論勉強会#9 Haskellによるfactの最小不動点の説明 のSML版です。講義中では「Haskellの遅延評価が〜」と何度も繰り返されてましたが、fixを使う前の undefined を使う定義ではSMLでも(この場合は)同様の結果が得られます。 ただし引数を合わせる必要があり…
圏論勉強会#9 Haskellによるfactの最小不動点の説明 のSML版です。講義中では「Haskellの遅延評価が〜」と何度も繰り返されてましたが、fixを使う前の undefined を使う定義ではSMLでも(この場合は)同様の結果が得られます。 ただし引数を合わせる必要があり…