Sign in to confirm you’re not a bot
This helps protect our community. Learn more
Programação Funcional, 2019-11-19: Functor Applicative Monad
7Likes
159Views
2019Nov 19
Programação Funcional (FUN) Semestre 2019.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/teaching/fun/2019.2 http://tsouanas.org/fmcbook Functor-Applicative-Monad Stocktaking
  • functions: ‹$ ; $› ; ‹$› ; ‹* ; *› ; ‹*› ; ‹*› ; void

thanosmath

991 subscribers

FUN 2019.2 Programação Funcional

1

Programação Funcional, 2019-07-24: Intro

thanosmath
2

Programação Funcional, 2019-08-05: Primeiros passos (bad audio for 12min)

thanosmath
3

Programação Funcional, 2019-08-07: primeiros passos (2)

thanosmath
4

Programação Funcional, 2019-08-12: Types e kinds

thanosmath
5

Programação Funcional, 2019-08-14: Primeiros passos

thanosmath
6

Programação Funcional, 2019-08-19: ADTs [bad audio at 01:32:13]

thanosmath
7

Programação Funcional, 2019-08-21: Nat e List

thanosmath
8

Programação Funcional, 2019-08-26: Listas

thanosmath
9

Programação Funcional, 2019-08-28: Composição, Higher-order

thanosmath
10

Programação Funcional, 2019-09-02: Listas

thanosmath
11

Programação Funcional, 2019-09-04: Composição ; Encapsulamento ; Bottoms

thanosmath
12

Programação Funcional, 2019-09-09: Bottoms ; Maybe

thanosmath
13

Programação Funcional, 2019-09-11: Brigas ; caligrafia ; maybe ; composição

thanosmath
14

Programação Funcional, 2019-09-16: Composição ; Enum ; Sorting

thanosmath
15

Programação Funcional, 2019-09-16: Composição ; Enum ; Sorting

thanosmath
16

Programação Funcional, 2019-09-18: Sorting ; Testing ; Either

thanosmath
17

Programação Funcional, 2019-09-23: Either vs Pair ; diagramas comutativos

thanosmath
18

Programação Funcional, 2019-09-25: Recursão ; Arvores ; Unit type ; Side-effects

thanosmath
19

Programação Funcional, 2019-09-30: Curry–Howard ; Lógica

thanosmath
20

[bad audio] Programação Funcional, 2019-10-03: Curry–Howard ; Arith ; Functors

thanosmath
21

Programação Funcional, 2019-10-07: Listas ; Fold ; Functors ; Leis

thanosmath
22

Programação Funcional, 2019-10-09: Demonstrações ; Indução

thanosmath
23

Programação Funcional, 2019-10-14: Demonstrações ; IO

thanosmath
24

Programação Funcional, 2019-10-16: unitipada (tipos dinâmicos) ; funções ; IO

thanosmath
25

Programação Funcional, 2019-10-21: Functor ; IO

thanosmath
26

Programação Funcional, 2019-10-23: Leis ; Functors ; IO ; GHC

thanosmath
27

Programação Funcional, 2019-10-30: IO ; Semigroup & Monoid

thanosmath
28

Programação Funcional, 2019-11-04: Semigroup ; Monoid ; Functor ; Applicative

thanosmath
29

Programação Funcional, 2019-11-06: Folds [por Gustavo Gorgônio]

thanosmath
30

Programação Funcional, 2019-11-11 (feat. Gustavo Gorgônio): Folds ; Unfolds

thanosmath
31

Programação Funcional, 2019-11-13: Strictness ; Functor-Applicative-Monad

thanosmath

Programação Funcional, 2019-11-19: Functor Applicative Monad

thanosmath
33

Programação Funcional, 2019-11-20: Monad ; Programação por cálculo e demonstração

thanosmath