スマートフォン用の表示で見る

廻る技術の覗き穴

2013-07-24から1日間の記事一覧

2013-07-24

数学初心者のための「型システム入門」入門

book

社内で「TaPLで殴りあう会*1」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進めることができませんでした。型システム入門 −プログラミング言…

はてなブックマーク - 数学初心者のための「型システム入門」入門
数学初心者のための「型システム入門」入門
プロフィール
id:ZOETROPE id:ZOETROPE
読者です 読者をやめる 読者になる 読者になる
検索
リンク
  • はてなブログ
  • ブログをはじめる
  • 週刊はてなブログ
  • はてなブログPro
最新記事
  • Kafkaを使うなら読んでおきたい一冊
  • 「AngularJSリファレンス」という本を書きました
  • AngularJSで始めるリアクティブプログラミング
  • 数学初心者のための「型システム入門」入門
  • HTML5モバイルアプリケーションフレームワーク Sencha Touchパーフェクトガイド
月別アーカイブ
廻る技術の覗き穴 廻る技術の覗き穴

Powered by Hatena Blog | ブログを報告する

スターをつけました

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる