senooken JP Socialはsenookenの専用分散SNSです。
Notices where this attachment appears
-
8x9 (8x9@mstdn.glorificatio.org)'s status on Tuesday, 06-Nov-2018 23:09:25 JST 
8x9
『変数名は型を知っているべき 』
「まず，実際のソース・コードを解析し，型と名前の法則性を調べる．それに基づき，名前からの型を推論するシステムと言語設計を定義した．我々は，これらのアイディアを関数型スクリプト言語konoha 5λに実装し，その使いやすさを検証し報告する」
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&item_id=190283発表の内容は読めない。
検証結果はどうだったんだろう。
senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.