OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい

2017/12/15 76 users OCaml サブセット 推論 エントリ 論文

2017 - 12 - 16 OCaml でも採用されているレベルベースの多相型型推論とは 型推論 OCaml 言語実装 Advent Calendar 2017 の16日目の記事です． GoCaml という OCaml のサブセットな言語を実装していて，多相型の 型推論 を実装するために論文を読んだり OCaml の実装をちょっと追ったりしていたので，その知識を整理する意味でこのエントリを書いて... 続きを読む

RubyのTypo Checkerについての考察 - なるせにっき

2017/05/16 25 users Ruby 推論 せにっき 考察 進捗

2017 - 05 - 16 RubyのTypo Checkerについての考察 RubyKaigi 2014の基調講演でまつもとさんが静的型の野望を明かして から2年半が経った。 その間の進捗は芳しいものとは言えないけれど、それでもまじめな研究として例えば 多相型、推論、Ruby が行われている。普通の人は私のこの記事を読むよりもこちらを読んだ方がよいと思う。 じゃあなぜこの記事を書いたかというと... 続きを読む

多相型、推論、Ruby // Speaker Deck

2017/03/20 81 users 推論 Ruby Speaker Deck

All slide content and descriptions are owned by their creators. 続きを読む