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

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

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

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

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

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