サクサク読めて、アプリ限定の機能も多数!
なんか昔、興味あったんだけどねー。ラムダ計算とか圏論とか。
little_elephant のブックマーク 2013/07/25 18:07
数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴[プログラミング]なんか昔、興味あったんだけどねー。ラムダ計算とか圏論とか。2013/07/25 18:07
このブックマークにはスターがありません。 最初のスターをつけてみよう!
zoetrope.hatenablog.jp2013/07/24
社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませ...
153 人がブックマーク・15 件のコメント
\ コメントが サクサク読める アプリです /
なんか昔、興味あったんだけどねー。ラムダ計算とか圏論とか。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴
社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませ...
153 人がブックマーク・15 件のコメント
\ コメントが サクサク読める アプリです /