記事へのコメント3

    • 注目コメント
    • 新着コメント
    Kureduki_Maari
    Kureduki_Maari Scala vs Idris: Dependent Types, Now and in the Future

    2013/12/29 リンク

    その他
    tanakh
    tanakh なんか珍しい組み合わせだな

    2013/12/07 リンク

    その他
    zyzy
    zyzy scalaでも依存型は作れるよーってこと? 仕組みを理解仕切れていないけれど……⇒2.10から普通に機能として入ってたんですね。で、こう使うと。知らなかった。

    2013/12/07 リンク

    その他

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

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

    関連記事

    Scala vs Idris: Dependent Types, Now and in the Future

    InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an archite...

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

    • petitviolet2017/07/09 petitviolet
    • Kureduki_Maari2013/12/29 Kureduki_Maari
    • ympbyc2013/12/22 ympbyc
    • nsyee2013/12/16 nsyee
    • tanakh2013/12/07 tanakh
    • zyzy2013/12/07 zyzy
    • Naruhodius2013/12/06 Naruhodius
    • xef2013/12/06 xef
    • tlync2013/12/05 tlync
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

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

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

    新着記事 - テクノロジー

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

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