型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)

2013/03/29 130 users TAPL プログラマー プログラミング言語 理論 本書

型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報とな... 続きを読む

すごいHaskellたのしく学ぼう！ | オーム社eStore(β)

2012/05/22 67 users すごいHaskell

Haskellの達人たちが推薦する楽しい入門書 丁寧な解説とポップな例題で本物のHaskellプログラミングを習得できる入門書。 原書の“Learn You a Haskell for Great Good!”は、型、遅延評価、モナドといった難しい概念にも自然に慣れていけるよう工夫された構成、他の言語経験者への配慮に加え、原著者による楽しいイラストによって、もっとも分かりやすいHaskell本とし... 続きを読む

オーム社eStore(β) | Ohmsha

2010/11/17 338 users Ohmsha PayPal 組織 URL 法人

オーム社eStore(β)の商品について PDF版書籍データ商品、およびPDF版書籍データと紙版書籍のセット販売商品です。 PDF版書籍データは、購入手続き後、購入者の元に届くメールに記載されたURLからダウンロードできます。セット販売商品の紙版書籍は別送されます。 PDF版書籍データは、購入者個人限りで利用できるものです。法人・組織での購入はできません。 購入代金の支払いは、PayPalとなりま... 続きを読む