Conversation

『変数名は型を知っているべき 』
「まず，実際のソース・コードを解析し，型と名前の法則性を調べる．それに基づき，名前からの型を推論するシステムと言語設計を定義した．我々は，これらのアイディアを関数型スクリプト言語konoha 5λに実装し，その使いやすさを検証し報告する」
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&item_id=190283

発表の内容は読めない。
検証結果はどうだったんだろう。