Por que dar uma chance a FP com TypeScript?

Uma introdução as bases da programação funcional, os motivos pelos quais ela funciona bem com o TypeScript e um exemplo do casamento dos dois.

Transcript

1. Por que dar uma chance a Programação funcional com TypeScript?
2. Quem sou eu? @VitorLuizC em todas as redes sociais (LinkedIn, Twitter, GitHub etc). - Trabalho como Engenheiro Front-End na Linte. - Mantenho +30 bibliotecas em JavaScript.
3. Contexto
4. FP é mais hipster
5. FP tá na moda
6. JS/TS é insano
7. O que é programação funcional?
8. "FP É um paradigma que resume computação a execução de funções e evita ao máximo mutabilidade."
9. Quais as características da programação funcional?
10. Declarativa ao invés de Imperativa
11. Declarativa Imperativa
12. Funções como cidadãos de primeira classe
13. Cidadãos de primeira classe - Podem ser retornados por outras funções. - Podem ser guardados em variáveis. - Podem ser recebidos como argumentos.
14. Funções puras
15. - Funções que não fazem I/O. - Não causam efeitos colaterais. - Não possuem dependências de dados*.
16. Transparência Referencial
17. "chamadas de funções podem ser substituídas pelo resultado delas sem afetar o funcionamento do programa"
18. Closures (Fechamentos)
19. - Funções que acessam o escopo superior. - Não necessariamente é o escopo de outra função*.
20. EDs Imutáveis
21. - Não existem operações que modificam os estados das estruturas.
22. Recursão
23. Recursão
24. - Recursões são a maneira declarativa de fazer loops. - Toda recursão tem um caso de parada. - JS tem call stack.
25. Avaliação Preguiçosa
26. - Em avaliação restrita essa linha lança um erro de divisão por "0". - Porém com a avaliação preguiçosa essa linha vai ser executada e vai exibir "4".
27. Sistemas de Tipos
28. - Checagem de tipos estáticos. - Tipos dependentes.
29. O Sistema de Tipos do TypeScript, por exemplo, é Turing completo
30. Composição de Funções
31. - Criar novas funções operando e compondo funções já criadas. - Atomicidade e divisão de responsabilidade total.
32. Estruturas de Dados Algébricas
33. - Estruturas de dados usados pra compor outras estruturas. - No exemplo ao invés de retornar null a função retorna um Option.
34. • Funções Puras - Fáceis de entender. - Fáceis de testar. - Fáceis de compor. • Checagem de Tipos - Ajuda a compor com mais segurança as funções. - Garante checagens em estruturas de dados e tipos algébricos*. • Manutenção fácil. • TS suporta muita e infere uma boa parte das funções mais complexas. • Infelizmente sem suporte a HKT e Variadic Kinds. Beleza. Mas por que usar TS com FP?