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

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

thanosmath
961 subscribers
207 views 5 years ago INSTITUTO METRÓPOLE DIGITAL - IMD/UFRN
Programação Funcional (FUN) Semestre 2019.2Programação Funcional, 2019--: Subject (n) Thanos Tsouanas IMD, UFRN, BR Stocktaking
  • theory: insertion sort, quick sort, divide and conquer , literate programming
  • type constructors: Either
 …...more
...more

constraints nas instances

0:00

sobre o uso de import qualified (as)

4:15

de volta pro merge sort

5:16

halve

9:17

entender/declarar os ASSUMPTIONS

21:01

insertion sort

21:32

insert

23:42

quick sort

29:17

testando bobamente

33:40

property testing com QuickCheck

36:35

verificar se é resolvido vs resolver: o predicado sorted

38:13

não precisa escrever as «bases» primeiro

40:17

abuso n00b de if-then-else

41:23

testando a qsort com quickCheck

45:44

testando a max3 com quickCheck

59:26

a «inteligência» do quickCheck

1:03:30

literate programming com Haskell

1:06:31

Either α β

1:11:13
Programação Funcional, 2019-09-18: Sorting ; Testing ; Either
12Likes
207Views
2019Sep 18
Programação Funcional (FUN) Semestre 2019.2Programação Funcional, 2019--: Subject (n) Thanos Tsouanas IMD, UFRN, BR Stocktaking
  • theory: insertion sort, quick sort, divide and conquer , literate programming
  • type constructors: Either
  • typeclasses: constraints
  • Haskell: literate programming (.lhs) , QuickCheck
http://tsouanas.org/teaching/fun/2019.2 http://tsouanas.org/fmcbook ERRATA
  • [01:03:15] o «maxSuccess» deveria ser «withMaxSuccess»
Sorting ; Testing ; Either
  • constraints nas instances [00:00:00]
  • sobre o uso de import qualified (as) [00:04:15]
  • de volta pro merge sort [00:05:16]
  • * divide and conquer
  • halve [00:09:17]
  • * pattern-matching no where
  • entender/declarar os ASSUMPTIONS [00:21:01]
  • insertion sort [00:21:32]
  • * insert [00:23:42]
  • quick sort [00:29:17]
  • * um desejo duma função mágica
  • testando bobamente [00:33:40]
  • property testing com QuickCheck [00:36:35]
  • * verificar se é resolvido vs resolver: o predicado sorted [00:38:13]
  • * * não precisa escrever as «bases» primeiro [00:40:17]
  • * * abuso n00b de if-then-else [00:41:23]
  • * testando a qsort com quickCheck [00:45:44]
  • * testando a max3 com quickCheck [00:59:26]
 …...more
...more

thanosmath

961 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
▶

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
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