國立高雄大學圖資館 |

Language: English

Back

Magical Haskella friendly approach t...

Antich, Anton.

Magical Haskella friendly approach to modern functional programming, type theory, and artificial intelligence /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Magical Haskellby Anton Antich.
Reminder of title:	a friendly approach to modern functional programming, type theory, and artificial intelligence /
Author:	Antich, Anton.
Published:	Berkeley, CA :Apress :2025.
Description:	xxvii, 412 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Haskell (Computer program language)
Online resource:	https://doi.org/10.1007/979-8-8688-1282-8
ISBN:	9798868812828$q(electronic bk.)

Magical Haskella friendly approach to modern functional programming, type theory, and artificial intelligence /
Antich, Anton.

Magical Haskella friendly approach to modern functional programming, type theory, and artificial intelligence /[electronic resource] :by Anton Antich. - Berkeley, CA :Apress :2025. - xxvii, 412 p. :ill., digital ;24 cm.

Chapter 1: Wizards, Types, and Functions -- Chapter 2: Type Constructions -- Chapter 3: Very Gentle Type Theory and Category Theory Introduction -- Chapter 4: Basic Typeclasses or "Show me a Monoid" -- Chapter 5: Functor, Bifunctor and Applicative Functor Enter an Elevator -- Chapter 6: O Monad, Help me Compose -- Chapter 7: Input, Transformer Stack, Output -- Chapter 8: Blackjack - Full Haskell Program -- Chapter 9: Let's AI -- Chapter 10: Terminal AI Chatbot -- Chapter 11: Web-enabled AI Framework -- Chapter 12: Adding RAG (Retrieval Augmented Generation) -- Chapter 13: AI Multi-Agents and the Future.

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.

ISBN: 9798868812828$q(electronic bk.)

Standard No.: 10.1007/979-8-8688-1282-8doiSubjects--Topical Terms:

295189
Haskell (Computer program language)

LC Class. No.: QA76.73.H37

Dewey Class. No.: 005.133

Magical Haskella friendly approach to modern functional programming, type theory, and artificial intelligence /
LDR:03134nmm a2200325 a 4500 001 678257
003 DE-He213
005 20250417130256.0
006 m d
007 cr nn 008maaau
008 251021s2025 cau s 0 eng d
020 $a 9798868812828$q(electronic bk.)
020 $a 9798868812811$q(paper)
024 7 $a 10.1007/979-8-8688-1282-8 $2 doi
035 $a 979-8-8688-1282-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.73.H37
072 7 $a UMX $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a UMX $2 thema
082 0 4 $a 005.133 $2 23
090 $a QA76.73.H37 $b A629 2025
100 1 $a Antich, Anton. $3 991697
245 1 0 $a Magical Haskell $h [electronic resource] : $b a friendly approach to modern functional programming, type theory, and artificial intelligence / $c by Anton Antich.
260 $a Berkeley, CA : $b Apress : $b Imprint: Apress, $c 2025.
300 $a xxvii, 412 p. : $b ill., digital ; $c 24 cm.
505 0 $a Chapter 1: Wizards, Types, and Functions -- Chapter 2: Type Constructions -- Chapter 3: Very Gentle Type Theory and Category Theory Introduction -- Chapter 4: Basic Typeclasses or "Show me a Monoid" -- Chapter 5: Functor, Bifunctor and Applicative Functor Enter an Elevator -- Chapter 6: O Monad, Help me Compose -- Chapter 7: Input, Transformer Stack, Output -- Chapter 8: Blackjack - Full Haskell Program -- Chapter 9: Let's AI -- Chapter 10: Terminal AI Chatbot -- Chapter 11: Web-enabled AI Framework -- Chapter 12: Adding RAG (Retrieval Augmented Generation) -- Chapter 13: AI Multi-Agents and the Future.
520 $a 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.
650 0 $a Haskell (Computer program language) $3 295189
650 1 4 $a Programming Language. $3 913494
650 2 4 $a Mathematical Applications in Computer Science. $3 530811
650 2 4 $a Programming Techniques. $3 274470
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/979-8-8688-1282-8
950 $a Professional and Applied Computing (SpringerNature-12059)