記事へのコメント2

    • 注目コメント
    • 新着コメント
    mukaken
    mukaken “OCaml や Haskell のような静的型付き関数型言語で不動点演算子 Y が「書ける」か、という話”

    2015/07/29 リンク

    その他
    t_f_m
    t_f_m "静的型付き関数型言語と Y combinator OCaml や Haskell のような静的型付き関数型言語で不動点演算子 Y が「書ける」か、という話。" / "単純型付きλ計算では自分自身を引数に受け取る関数の型、という再帰型が 表現できない"

    2015/06/04 リンク

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    https://github.com/camlspotter/ocaml-zippy-tutorial-in-japanese/blob/master/y.md

    ブックマークしたユーザー

    • tokb2016/02/20 tokb
    • okagawa2016/01/12 okagawa
    • mukaken2015/07/29 mukaken
    • emonkak2015/06/06 emonkak
    • t_f_m2015/06/04 t_f_m
    • ympbyc2015/06/04 ympbyc
    • nisemono_san2015/06/04 nisemono_san
    • terazzo2015/02/12 terazzo
    • nfunato2015/02/11 nfunato
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事