Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence
暫譯: 魔法 Haskell：現代函數式程式設計、類型理論與人工智慧的友善入門

Antich, Anton

Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence
  • 出版商: Apress
  • 出版日期: 2025-04-17
  • 售價: $2,380
  • 貴賓價: 9.5 折 $2,261
  • 語言: 英文
  • 頁數: 412
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 9798868812811
  • ISBN-13: 9798868812811
  • 相關分類: Functional-programming、人工智慧

    • 海外代購書籍(需單獨結帳)

商品描述

Discover a unique and fun approach to adopting modern typed functions programming patterns. This book uses playful metaphors and examples to help you learn Haskell through imagination, building on math without relying on imperative crutches or technical complexity. You'll use math to build completely different Typed Functional patterns from the ground up and understand the link between building Mathematics through Types and constructing Haskell as a programming language.

Intended for working with various applications, especially AI-powered apps, the book gently builds up to what are normally considered complex and difficult concepts all without needing a PhD to understand them. Illustrative explanations will guide you to tackle monads, using monad transformer stacks to structure real programs, foldable and traversable structures, as well as other Type classes. This book will also help you structure programs efficiently and apply your own abstractions to real-life problem domains. Next, you'll explore exciting advancements in AI, including building with OpenAI APIs, creating a terminal chatbot, adding web functionality, and enhancing with retrieval-augmented generation. Finally, you'll delve into AI multi-agents and future directions using Arrows abstraction, reinforcing Haskell's design.

Magical Haskell is a solution for programmers who feel limited by imperative programming languages but are also put off by excessively mathematical approaches.

What You Will Learn

  • Grasp a solid math foundation without complex technicalities for Types and Typeclasses.
  • Solve problems via a typed functional approach and understand why it's superior to what's available in the imperative language world ("if it compiles, it runs").
  • Build your own abstractions to efficiently resolve problems in any given domain.
  • Develop AI frameworks in Haskell, including chatbots, web functionality, and retrieval-augmented generation.

Who This Book Is For

Haskell programmers of all levels and those interested in Type Theory.

商品描述(中文翻譯)

探索一種獨特且有趣的方法來採用現代的類型函數編程模式。本書使用生動的隱喻和範例，幫助您通過想像學習 Haskell，基於數學而不依賴於命令式的輔助工具或技術複雜性。您將利用數學從零開始構建完全不同的類型函數模式，並理解通過類型構建數學與作為編程語言的 Haskell 之間的聯繫。

本書旨在用於各種應用，特別是 AI 驅動的應用，輕鬆地引導您理解通常被認為是複雜和困難的概念，而無需博士學位即可理解。生動的解釋將指導您處理單子（monads），使用單子變換器堆疊來結構實際程序、可折疊和可遍歷的結構，以及其他類型類（Type classes）。本書還將幫助您高效地結構程序，並將自己的抽象應用於現實問題領域。接下來，您將探索 AI 的令人興奮的進展，包括使用 OpenAI API 構建、創建終端聊天機器人、添加網頁功能以及增強檢索增強生成。最後，您將深入研究 AI 多代理和使用箭頭（Arrows）抽象的未來方向，強化 Haskell 的設計。

神奇的 Haskell 是針對那些感到受限於命令式編程語言的程序員，但又對過於數學化的方法感到畏懼的解決方案。

您將學到什麼

  • 在不涉及複雜技術細節的情況下掌握堅實的數學基礎，了解類型（Types）和類型類（Typeclasses）。
  • 通過類型函數方法解決問題，並理解為什麼它優於命令式語言世界中的可用方法（「如果它編譯，則運行」）。
  • 構建自己的抽象以高效解決任何給定領域中的問題。
  • 在 Haskell 中開發 AI 框架，包括聊天機器人、網頁功能和檢索增強生成。

本書適合誰

所有級別的 Haskell 程序員以及對類型理論感興趣的人。

作者簡介

Anton Antich is a serial entrepreneur and AI/Type Theory researcher, who majored initially in physics. In various executive roles, he was instrumental in building Veeam Software from 0 to over 1B USD in annual sales in under ten years - making Veeam the fastest-growing European company ever. Upon exiting Veeam, he invested in and helped scale over 20 startups and in the recent years got back to the roots and is currently building Integrail (https: // integrail.ai) - a no-code Agentic AI platform. Haskell has been an integral part of many of the projects undertaken during Anton's tenure, and his current startup will use it as an optional backend for AI multi-agent execution..

作者簡介(中文翻譯)

Anton Antich 是一位連續創業家及人工智慧/類型理論研究者，最初主修物理學。在各種高層職位中，他在將 Veeam Software 從零建立到年銷售超過 10 億美元的過程中發揮了重要作用，使 Veeam 成為歷史上增長最快的歐洲公司。在退出 Veeam 後，他投資並協助擴展超過 20 家初創公司，近年來回歸根本，目前正在建立 Integrail (https://integrail.ai) - 一個無需編碼的 Agentic AI 平台。Haskell 在 Anton 任職期間參與的許多項目中都是不可或缺的一部分，而他目前的初創公司將把它作為 AI 多代理執行的可選後端。

類似商品