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

禅問答的に #ATS2 の型理論 "Applied Type System" を説明してみたよ (参考文献: 静的な意味論 http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/x235.html )
masterq_mogumog 8996view 16コメント
14
ログインして広告を非表示にする

コメント

カテゴリーからまとめを探す

「ライフハック」に関連するカテゴリー