型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
型システム入門 プログラミング言語と型の理論 | オーム社 eBook Store
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
dRubyによる分散・Webプログラミング | オーム社 eBook Store
dRubyは、オブジェクト指向プログラミング言語Rubyで書かれた分散オブジェクトフレームワークである。本書は、最新のdRubyに基づいて作者自身が執筆した、dRubyとその周辺のライブラリのチュートリアル。dRubyの仕組みを理解し、アプリケーションを作りたい人に。 このような方におすすめ RubyやdRubyでアプリケーションを書きたい人 分散システムやマルチスレッドプログラミングに好奇心をかきたてられる人 J2EEなどちょっと大掛かりなシステムに疑問を感じている人 クライアント/サーバ型のネットワークプログラミングやCGI/JSP/ASP/Servletなどウェブプログラミングに興味のある人 分散オブジェクトシステムについての前提知識は必要なし。Rubyについては文法や標準のクラスライブラリについてほぼ理解していて、簡単なツールが書ける程度の知識があることが望ましい。（本文より）
7つのデータベース 7つの世界 | オーム社 eBook Store
近年、伝統的なRDBMS（リレーショナルデータベース管理システム）ではない、いわゆるNoSQL系の次世代DBMSが、クラウド上で動く分散アプリケーションの普及を背景に台頭しつつあります。しかし、さまざまな実装が群雄割拠しており、導入しようにもどこから手をつけたらよいか分かりにくい状態です。 本書は、NoSQL系DBMSに関心がある技術者を対象として書かれた“Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement”（Pragmatic Bookshelf, 2012）の日本語訳です。特徴的な7種類の次世代DBMSのエッセンスを体験しながら学べる構成となっており、ひととおりの概念を理解したい人に最適です。
すごいErlangゆかいに学ぼう！ | オーム社eStore
絶対に落ちてはいけないサーバアプリの開発にも数多く利用されているプログラミング言語Erlang（あーらん）。その独特の構文から並行プログラミングの基礎、OTPと呼ばれる強力なツール群の使い方、分散処理、テスト、アプリケーションのリリース方法、型を用いた静的解析ツールDialyzerにいたるまで、Erlangのすべてをクセのあるイラストと親しみやすい例題を使って徹底的に解説した"Learn You Some Erlang for Great Good!"の翻訳です。 このような方におすすめ プログラマー Erlang入門者 Erlangを実用的に学びたい人 関数型言語に興味のある人 『すごいHaskellたのしく学ぼう！』の読者
型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
すごいErlangゆかいに学ぼう！ | オーム社 eBook Store
Chainerによる実践深層学習 | オーム社 eBook Store
プログラミングElixir | オーム社 eBook Store
