型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
女性用シャンプーを男性が使用するととんでもないことになる
シャンプーのコーナーに行くと男性用と女性用が明確に分かれているわけですが、では男性が女性用を使うと一体どういうことになってしまうのか？というのを描いたのが以下のムービーです。 Funny Shampoo Commercial - Dove Men Shampoo - YouTube 書類を見ながらとことこと歩き、会社の同僚に声をかけます 途端に突如としてスローモーションになり、キューティクルな感じのつやつやさらさらヘアーが振り乱されまくり、BGMも「ア・ア～、ア～ア～♪」とそれっぽい曲に変貌 「何？」という感じで返事 呆然 続行されるさらさらヘアー 「お前、髪の毛に何かした？」 少し動くだけでさらさら～ 「いや……」 「だってシャンプーのコマーシャルでよく見るようなエフェクトがかかって見えるんだけど……」 「お前がこんな感じで髪の毛を動かすと見えるんだけど……」 「マジで？」 サラサラツヤ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
