2018-10-16
シャワーを浴びた
あさごはん
ゆでたまご
10分ゆで
かたすぎた気がする
にくうどん
トラックをした
Gradual Typingの論文紹介
Big Types in Little Runtime
Reticulated Python
Guarded semantics
問題
untypedなコードの引数に対して健全性を保証できない
proxy objectがコードの振舞いを変えてしまう
等価性検査
built-in functionに渡したとき動作が正しくなくなるという事例があった
解決法の提案
transient semantics
Schemeの動的型検査のような機構
assert isinstance(x, int)
Gradual multiparty session type
multiparty session typeを用いた言語の定義
研究の打ち合わせをした
論文の理解度確認
提案手法の方針
研究会発表までの目安
奨学金申し込み手続きに必要な書類の整理をしていた
〆切よ耐えてくれ