サクサク読めて、アプリ限定の機能も多数!
scalaでも依存型は作れるよーってこと? 仕組みを理解仕切れていないけれど……⇒2.10から普通に機能として入ってたんですね。で、こう使うと。知らなかった。
zyzy のブックマーク 2013/12/07 03:14
Scala vs Idris: Dependent Types, Now and in the Future[scala][勉強]scalaでも依存型は作れるよーってこと? 仕組みを理解仕切れていないけれど……⇒2.10から普通に機能として入ってたんですね。で、こう使うと。知らなかった。2013/12/07 03:14
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.infoq.com2013/12/05
InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect. View an example
10 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
scalaでも依存型は作れるよーってこと? 仕組みを理解仕切れていないけれど……⇒2.10から普通に機能として入ってたんですね。で、こう使うと。知らなかった。
zyzy のブックマーク 2013/12/07 03:14
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Scala vs Idris: Dependent Types, Now and in the Future
www.infoq.com2013/12/05
InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect. View an example
10 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /