Practical Haskell: A Real-World Guide to Functional Programming

دانلود کتاب Practical Haskell: A Real-World Guide to Functional Programming

59000 تومان موجود

کتاب هسکل عملی: راهنمای دنیای واقعی برای برنامه نویسی کاربردی نسخه زبان اصلی

دانلود کتاب هسکل عملی: راهنمای دنیای واقعی برای برنامه نویسی کاربردی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید

این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.

امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 4

توضیحاتی در مورد کتاب Practical Haskell: A Real-World Guide to Functional Programming

نام کتاب : Practical Haskell: A Real-World Guide to Functional Programming
ویرایش : 3
عنوان ترجمه شده به فارسی : هسکل عملی: راهنمای دنیای واقعی برای برنامه نویسی کاربردی
سری :
نویسندگان :
ناشر : Apress
سال نشر : 2022
تعداد صفحات : 600
ISBN (شابک) : 1484285808 , 9781484285817
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 10 مگابایت

بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

فهرست مطالب :

Table of Contents
About the Author
About the Technical Reviewer
Part I: First Steps
Chapter 1: Going Functional
Why Haskell?
Why Pure Functional Programming?
Why Strong Static Typing?
The Haskell Ecosystem
The History of Haskell
Your Working Environment
First Steps with GHCi
The Time Machine Store
Chapter 2: Declaring the Data Model
Characters, Numbers, and Lists
Creating a New Project
Creating a Project with Cabal
Creating a Project with Stack
Understanding Modules
Cabal and Stack
Defining Simple Functions
Creating a Simple Function
Specifying the Function’s Type
Developing a Robust Example
Returning More Than One Value
Working with Data Types
Pattern Matching
Simple Patterns
Lists and Tuples
View Patterns
Creation and Use
The Default Values Idiom
Chapter 3: Increasing Code Reuse
Parametric Polymorphism
Functions As Parameters
Higher-Order Functions
Anonymous Functions
Partial Application of a Function
More on Modules
Module Imports
Smart Constructors and Views
Diving into Lists
Lists and Predicates
Lists Containing Tuples
List Comprehensions
Haskell Origami
Chapter 4: Using Containers and Type Classes
Using Packages
Managing Dependencies
Building Packages
Building Packages with Cabal
Building Packages with Stack
Obtaining Help
Containers: Maps, Sets, Trees, Graphs
Ad Hoc Polymorphism: Type Classes
Declaring Classes and Instances
Built-In Type Classes
Binary Trees for the Minimum Price
Step 1: Simple Binary Trees
Step 2: Polymorphic Binary Trees
Step 3: Binary Trees with Monoidal Cache
Container-Related Type Classes
Chapter 5: Laziness and Infinite Structures
An Infinite Number of Time Machines
Lazy Evaluation Model
Understanding Evaluation in Haskell
Problems with Laziness
Pattern Matching and Laziness
Profiling with GHC
Strictness Annotations
Part II: Data Mining
Chapter 6: Knowing Your Clients Using Monads
Data Mining
Implementing K-means
Discovering Monads
Watching Out for Incomplete Data
Combinators for State
Dissecting the Combinators
do Notation
Monad Laws
Different Sorts of State
State and Lenses
Reader, Writer, and RWS
Mutable References with ST
Chapter 7: More Monads: Now for Recommendations
Returning More Than One Value
The List Monad
A New View over Monads
Failures and Alternatives
Association Rule Learning
Flattening Values into Transactions
The Apriori Algorithm
Search Problems
Paths in a Graph
The Logic Monad
Monads and Lists, Redux
Combining Values Under a Monad
Monad Comprehensions
Combining Monads
Monad Transformers
Monad Classes
Chapter 8: Working in Several Cores
Parallelism, Concurrency, and Distribution
The Par Monad
Dataflow Parallelism with IVars
Parallelizing the Apriori Algorithm
Software Transactional Memory
Concurrent Use of Resources
Atomic Transactions
Rolling Back Transactions
Producer-Consumer Queues
Single-Process Queues
Message Queues Using AMQP
AMQP in Haskell
Part III: Resource Handling
Chapter 9: Dealing with Files: IO and Conduit
Basic Input and Output
Working with Files
Reading and Writing
Handling Files
Error Handling
Pure Errors
Catching Exceptions
Throwing Exceptions
Streaming Data with Conduit
Problems with Lazy Input/Output
Introducing Conduits
Accessing Files via Conduit
Looking Further Than Text Files
Basic Networking
Binary Serialization
Comma-Separated Values
Chapter 10: Building and Parsing Text
The Five Textual Data Types
Building As Fast As the Wind
Parsing with attoparsec
Introducing New Type Classes
Functors, Applicatives, and Monads
Don’t Overengineer: Just Use JSON
Chapter 11: Safe Database Access
Database Access Landscape
Abstracting Over Several DBMSs
Introducing Persistent and Esqueleto
Schemas and Migrations
Describing the Entities
Creating the Database
Queries by Identifier or Uniqueness
Selecting Several Entities
SQL Queries with Esqueleto
Insertions, Updates, and Deletions
Chapter 12: Web Applications
Haskell Web Ecosystem
Web Applications
Compilation to JavaScript
RESTful Structure
Back End with WAI
Simple Skeleton
Showing Products from the Database
Inserting New Products Using Forms
Front End with Elm
Retrieving Products
Part IV: Domain-Specific Languages
Chapter 13: Strong Types for  Describing Offers
Domain-Specific Languages
Embedding Your Language in Haskell
The Offers Language
Adding Safety to the Expression Language
Type-Level Programming
Two Styles of Programming
Representing Natural Numbers
Functional Dependencies
Categories of Products with FDs
Vectors Using FDs
Enforcing the Presents Rule with FDs
Type Families
Vectors Using TFs
Enforcing the Presents Rule with TFs
Categories of Products with TFs
Data Type Promotion and Singletons
A Further Refinement to the Presents Rule
Cooking with Singletons
Enforcing the Duration Rule
Chapter 14: Interpreting Offers with Attributes
Interpretations and Attribute Grammars
A Simple Interpretation
Introducing Attribute Grammars
Your First Attribute Grammar
Synthesizing the Result
Integrating UUAGC in Your Package
Executing the Attribute Grammar
Expression Interpretation
Using an Attribute Grammar
Precomputing Some Values
A Different (Monadic) View
Offer Interpretations
Checking the Presents Rule
Showing an HTML Description
Programming with Data Types
Origami Programming over Any Data Type
Data Type–Generic Programming
Part V: Engineering the Store
Chapter 15: Documenting, Testing, and Verifying
Documenting Binary Trees with Haddock
Unit Testing with HUnit
Declaring Tests in Cabal
Writing Unit Tests
Randomized Testing with QuickCheck
Testing List Properties
Testing Binary Tree Properties
Formal Verification with LiquidHaskell
Describing Binary Search Trees
Chapter 16: Architecting Your Application
Project and Dependency Management
Code Style
Test and Verification
Remote Monitoring
Design Patterns and Functional Programming
Medium-Level Guidelines
Use Higher-Order Combinators
Use Type Classes Wisely
Enforce Invariants via the Type System
Stay (As) Pure and Polymorphic (As Possible)
Patterns with Monads
Summary of Monads
Restrictive Monad Classes
Roll Your Own Monad
Chapter 17: Looking Further
Data Mining Library
Store Network Client
Administration Interface and Tetris
Additional Haskell Resources
Other Functional Languages
Appendix A: Time Travelling with Haskell

پست ها تصادفی