版元ドットコム

探せる、使える、本の情報

文芸 新書 社会一般 資格・試験 ビジネス スポーツ・健康 趣味・実用 ゲーム 芸能・タレント テレビ・映画化 芸術 哲学・宗教 歴史・地理 社会科学 教育 自然科学 医学 工業・工学 コンピュータ 語学・辞事典 学参 児童図書 ヤングアダルト 全集 文庫 コミック文庫 コミックス(欠番扱) コミックス(雑誌扱) コミックス(書籍) コミックス(廉価版) ムック 雑誌 増刊 別冊
Kotlinによる関数型プログラミング入門 関数型ソフトウェア設計の理論と実践 Uberto Barbini(著) - ZEN大学出版会
..
【利用可否不明】

Kotlinによる関数型プログラミング入門 関数型ソフトウェア設計の理論と実践 (コットリンニヨルカンスウガタプログラミングニュウモン カンスウガタソフトウェアセッケイノリロントジッセン)

コンピュータ
このエントリーをはてなブックマークに追加
B5変型判 左開き
452ページ
定価 4,800 円+税   5,280 円(税込)
ISBN
978-4-04-901204-0   COPY
ISBN 13
9784049012040   COPY
ISBN 10h
4-04-901204-9   COPY
ISBN 10
4049012049   COPY
出版者記号
04   COPY
Cコード
C3004  
3:専門 0:単行本 04:情報科学
出版社在庫情報
不明
初版年月日
2026年7月31日
書店発売日
登録日
2026年6月19日
最終更新日
2026年7月22日
このエントリーをはてなブックマークに追加

紹介

オブジェクト指向プログラミングに慣れていると、関数型プログラミングへの移行は容易ではありません。宣言的なスタイルを実現し、状態と計算を分離するには、ラムダ式やコレクションのマッピングだけでは不十分です。変換や合成を活用することで、より少ないコードでより良い結果を得ることができます。理論的な概念にこだわるのではなく、実際のアプリケーションを作成することで、生産性を向上させ、関数型プログラミングの真価を発揮させましょう。
本書では、一連の短い演習を通して、純粋関数を見つけて組み合わせ、代数のように機能するデータ構造を作成します。ソフトウェア内の可変状態を排除し、バグの主な原因を取り除きます。Kotlinの習得しやすい構文と関数型プログラミングに適したアプローチが、既存のJavaコードやライブラリとの統合性に優れた実用的な言語としていかに優れているかをご覧ください。

目次

イントロダクション: なぜ関数型プログラミングなのか
第1章 新しいアプリケーションを準備する
第2章 関数を使ってHTTPを扱う
第3章 ドメインの定義とテスト
第4章 ドメインとアダプタのモデリング
第5章 イベントで状態を変更する
第6章 コマンドを実行してイベントを生成する
第7章 関数型手法によるエラーハンドリング
第8章 ファンクタを使ってイベントを射影する
第9章 モナドによる安全なデータ永続化
第10章 コンテキストを読み込み、コマンドを処理する
第11章 アプリカティブによるデータバリデーション
第12章 監視と関数型JSON
第13章 関数型アーキテクチャの設計
付録A 関数型プログラミングとは何か?
付録B 関数型Kotlin
付録C 理論のさわり
付録D 参考資料

著者プロフィール

Uberto Barbini  (ウベルト バルビニ)  (

ウベルト・バルビニは、何年も前にZX Spectrumで最初のビデオゲームを作成して以来、情熱あふれるプログラマとして活動してきました。彼はさまざまな関数型言語(Haskell、Clojure、Scala)を扱ってきましたが、現在はKotlinのシンプルさと生産性に魅了されています。また、世界中のカンファレンスでKotlinやJavaに関する講演を定期的に行っており、講座の講師を務めたり、若手プログラマのメンタリングを行ったりすることも楽しんでいます。

長澤太郎  (ナガサワタロウ)  (

Ubie株式会社ソフトウェアエンジニア。2012年早稲田大学基幹理工学部情報理工学科卒業。メーカー系SIer、エムスリー株式会社を経て2018年より現職。個人としてKotlinの導入支援やアーキテクチャ設計レビュー、技術顧問・外部CTOなどの支援実績を持つ。日本Kotlinユーザグループを発足し、「Kotlin Fest」の運営代表を務めた。著書に『Kotlinスタートブック』(リックテレコム)など、共訳書に『Kotlinイン・アクション』(マイナビ出版)がある。二児の父。最近はバイスサワーがお気に入り。

上記内容は本書刊行時のものです。