Sign in to confirm you’re not a bot
This helps protect our community. Learn more

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

thanosmath
991 subscribers
Programação Funcional, 2019-10-23: Leis ; Functors ; IO ; GHC
5Likes
174Views
2019Oct 24
Programação Funcional (FUN) Semestre 2019.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/teaching/fun/2019.2 http://tsouanas.org/fmcbook Leis ; Functors ; IO ; GHC
  • Leis de aritmética com listas [00:00:00]
  • Functors [00:04:22]
  • * tomando cuidado com as leis [00:04:22]
  • * fmap'ando sobre esturturas profundas [00:15:08]
  • IOkit [00:25:30]
  • * interact [00:26:24]
  • Hangman [00:36:29]
  • echo: hGetEcho e hSetEcho [00:38:35]
  • Hangman0 [00:43:45]
  • * elabora o dicionario da tua linguagem em vez de ficar preso nos primitivos!
  • getSecretLine [00:52:43]
  • * do: indentação correta e do com chaves [00:56:36]
  • echoless e pause [00:58:04]
  • Raimundo! [01:00:45]
  • * Main e main
  • * compilando com ghc
  • consertando a tentativa: map putChar [01:04:20]
  • * iomap, mapIO, sequenceIO, sequenceIO_, ...
  • exemplo pra brincar: ConnectFour [01:07:15]
Stocktaking
  • theory: leis de aritmética descritas com listas ; leis de functor
  • Haskell: Main e main
  • functions: main ; hGetEcho ; hSetEcho
  • GHC: compilação

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
▶

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
32

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