More Web Proxy on the site http://driver.im/

matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ

テクノロジーカテゴリーの変更を依頼記事元:

togetter.com

14 usersがブックマークコメント

コメント

3

記事へのコメント3件

注目コメント
新着コメント

m2ym これが本当にうまくいくなら既存の動的型付きプログラミング言語にとっても朗報なのでは

2014/12/03 リンク

vvakame 禅問答の下りだけわかった

ATS

2014/12/03 リンク

ruicc やりたいことは理解したがそれが本当に出来るということに驚く

ats

2014/12/03 リンク

vvakame 禅問答の下りだけわかった

ATS

2014/12/03 リンク

ruicc やりたいことは理解したがそれが本当に出来るということに驚く

ats

2014/12/03 リンク

m2ym これが本当にうまくいくなら既存の動的型付きプログラミング言語にとっても朗報なのでは

2014/12/03 リンク

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

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ

I can drink with you! @masterq_mogumog @yukihiro_matz どうでした？あと最新の論文がります。是非一... I can drink with you! @masterq_mogumog @yukihiro_matz どうでした？あと最新の論文がります。是非一度で良いので目を通していただきたく。。。 Applied Type System / ats-lang.org/Papers.html#Ap… 2014-12-03 01:26:14

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

everysick2017/05/19
somemo2015/06/27
yuuki55552014/12/30
notae2014/12/16
xef2014/12/05
kjw_junichi2014/12/05
hyaknihyak2014/12/03
minony2014/12/03
todesking2014/12/03
vvakame2014/12/03
ruicc2014/12/03
m2ym2014/12/03

同じサイトの新着

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

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx