《To Kata Haskellen Evangelion》

【实例截图】

【核心代码】

Contents
Preface i
First-Class Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Powerful Type System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii
I A Journey to Haskell 1
1 Introduction 3
Prerequisite Knowledge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Before You Start . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Hello … World? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Where to Get Help . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Variable and Function 5
Variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Comment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Integer, Int, Double, Bool and Arithmetics . . . . . . . . . . . . . . . . . . . . . 7
Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Function with More Parameters…? . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Higher-Order Function and let in/where . . . . . . . . . . . . . . . . . . . . . . . 10
Polymorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Type Inference and Typeclass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Operators and Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Associativity and Precedence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Strictness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Indentation Matters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Types 19
Define a Type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Pattern Matching and case Expression . . . . . . . . . . . . . . . . . . . . . . . . 20
Record Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Numeric Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Bool and if then else . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Unit () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Char . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
iii
iv CONTENTS
Ordering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4 Higher-Order Type 27
Type with Type Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
String . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Rational Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Tuple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Maybe and Either . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Kind . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Algebraic Data Type and Isomorphism . . . . . . . . . . . . . . . . . . . . . . . . . 32
Import Module . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Partial Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
5 Typeclasses 35
Class and Instance and Eq Class . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Constraint in Instance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Constraint in Class and Ord Class . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Enum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Bounded . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Numeric Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Show and Read . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
6 List 43
List Basic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Basic Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Sublist . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Transformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Folds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Zip . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
7 Monoid and Semigroup 51
Monoid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Semigroup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Endo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Maybe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
NonEmpty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Monoid and Fold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
8 Functor 57
Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
List is a Functor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Maybe, Either and Tuple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Function and Proxy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
What’s fmap? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
9 Applicative 61
CONTENTS v
Definition and Maybe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Either and Tuple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
List and ZipList . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Function and Proxy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
10 Monad 67
Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
do Notation and let . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Either and Tuple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
List and join . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Kleisli Arrows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Function and Proxy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11 IO 75
Nyaa~~~ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
IO is a Monad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
A Little More on GHCi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
System.IO, File and IO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Command-Line Arguments and Environment Variables . . . . . . . . . . . . . . . . 79
IO in Haskell is Pure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
Deal with Exceptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Metadata 83