Slide 1

Slide 1 text

INTRODUCTION TO FUNCTIONAL PROGRAMMING

Slide 2

Slide 2 text

@ISAGOKSU THOUGHTWORKS Turkey

Slide 3

Slide 3 text

IMPERATIVE, DECLARATIVE functional

Slide 4

Slide 4 text

ƒ(x)

Slide 5

Slide 5 text

ƒ(x) o g(x) ƒog(x) = ƒ(g(x))

Slide 6

Slide 6 text

FIRST-CLASS CITIZEN, HIGH- ORDER FUNCTIONS, PURITY, SIDE-EFFECTS

Slide 7

Slide 7 text

State IMMUTABILITY

Slide 8

Slide 8 text

LAZINESS

Slide 9

Slide 9 text

TYPES Type Systems, Typeclasses, Kinds Higher-order Types, Proper Types, Type constructors Higher-order Kinds, First-order Types

Slide 10

Slide 10 text

ARITY, PARTIAL APPLICATION FOLD, REDUCE Currying

Slide 11

Slide 11 text

PATTERN MATCHING SINGLE-VALUE, SINGLE-VARIABLE Tree-value

Slide 12

Slide 12 text

FUNCTORS, ALGEBRAIC DATA TYPES Monads, Monoids LIST COMPREHENSIONS, CONTINUATIONS REFERENTIAL TRANSPARENCY, POLYMORPHISM PARAMETRIC POLYMORPHISM, LAMBDAS, CLOSURES

Slide 13

Slide 13 text

Q/A

Slide 14

Slide 14 text

No content