日: 2015年7月27日

Functional Programming in ScalaのWikiを翻訳している中で path-dependent types という単語が出てきてよくわからなかったので調べました。 調べたらhishidamaさん […]