正しい +効率的 +美しい

セマンティクスとソフトウェアエンジニアリングに重点を置いた、OCAMLの機能プログラミングとデータ構造に関する教科書。この本は、コーネル大学のCS 3110データ構造と機能プログラミングの教科書です。この本の過去のタイトルは、「OCAMLの機能的プログラミング」でした。

2025年春版。

ビデオ。 この本には200以上のYouTubeビデオが組み込まれています。彼らは本を読むこととは独立して見ることができます。これから始めます YouTubeプレイリスト。

著者。 この本は、マイケル・R・クラークソン、ロバート・L・コンスタブル、ネイト・フォスター、マイケル・D・ジョージ、ダン・グロスマン、ジャスティン・フス、ダニエル・P・ハッテンロッカー、デクスター・カズン、アンシュマン・モハン、グレッグ・モリセット、アンドリュー・C・マイヤーズ、ラドゥ・ルギナ、ラミン・ザビーによって教えられたコースに基づいています。彼らは一緒になって、20年以上のコースメモと知的貢献を作成しました。今では簡単な作業ではなく、誰が貢献したかをからかいます。この作品の主要なコンパイラであり、統一された教科書としての著者は、2021年秋の時点で、単語とコードトークンの約40％の著者であったマイケルR.クラークソンです。

著作権2021–2025マイケルR.クラークソン。 下でリリースされました Creative Commons Attribution-NonCommercial-Noderivatives 4.0国際ライセンス。