サクサク読めて、アプリ限定の機能も多数!
"漸進的型付けとは,ひとつのプログラムの中で静的型付けと動的型付けをスムーズに組み合わせるための手法です"
efcl のブックマーク 2018/12/09 22:38
型システム 〜プログラムの安全性を支える数学〜 - Laborify[program]"漸進的型付けとは,ひとつのプログラムの中で静的型付けと動的型付けをスムーズに組み合わせるための手法です"2018/12/09 22:38
"漸進的型付けとは,ひとつのプログラムの中で静的型付けと動的型付けをスムーズに組み合わせるための手法です"
このブックマークにはスターがありません。 最初のスターをつけてみよう!
laborify.net2018/12/09
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です.大学では,プログラミング言語理論,その中でも特に型システムの研究をしています. この記事では,私が特に力を入れて研究している...
397 人がブックマーク・31 件のコメント
\ コメントが サクサク読める アプリです /
"漸進的型付けとは,ひとつのプログラムの中で静的型付けと動的型付けをスムーズに組み合わせるための手法です"
このブックマークにはスターがありません。
最初のスターをつけてみよう!
型システム 〜プログラムの安全性を支える数学〜 - Laborify
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です.大学では,プログラミング言語理論,その中でも特に型システムの研究をしています. この記事では,私が特に力を入れて研究している...
397 人がブックマーク・31 件のコメント
\ コメントが サクサク読める アプリです /