2016-10-07から1日間の記事一覧
github.comここにある pdf をみながら、社内でコンパイラ(型推論)の勉強会を開く。 http://esumii.github.io/min-caml/jpaper.pdf いま、見たら tutorial-minicaml.doc なんてのがあった。最初から躓くよね。「単相性」ってなによ。K くんの指摘で「多相型が…
github.comここにある pdf をみながら、社内でコンパイラ(型推論)の勉強会を開く。 http://esumii.github.io/min-caml/jpaper.pdf いま、見たら tutorial-minicaml.doc なんてのがあった。最初から躓くよね。「単相性」ってなによ。K くんの指摘で「多相型が…