Baixar para ler offline
F# para devs c# tdc
- 1. Globalcode – Open4education LucasTeles Developer at Lambda3 F# para desenvolvedores C# @lucasteles42@lucasteles
- 2. Globalcode – Open4education Porque aprender uma linguagem de programação nova?
- 3. Globalcode – Open4education Umalinguagem que não afete a maneira como você pensa em programar, não vale a pena conhecer. Alan Perlis
- 4. Globalcode – Open4education Sobre •Desenvolvido pela Microsoft Research – Incluído junto com Visual Studio in 2010
- 5. Globalcode – Open4education Sobre •Desenvolvido pela Microsoft Research – Incluído junto com Visual Studio in 2010 • Open source – GitHub
- 6. Globalcode – Open4education Sobre •Desenvolvido pela Microsoft Research – Incluído junto com Visual Studio in 2010 • Open source – GitHub • Cross platform – Funciona com VS Code (e outros)
- 7. Globalcode – Open4education Sobre •Desenvolvido pela Microsoft Research – Incluído junto com Visual Studio in 2010 • Open source – GitHub • Cross platform – Funciona com VS Code (e outros) • Comunidade ativa – fsharp.org – F# Slack channel
- 8. Globalcode – Open4education Sobre •Roda em cima do CLR
- 9. Globalcode – Open4education Sobre •Roda em cima do CLR • Interopera com outras linguagens .NET
- 10. Globalcode – Open4education Sobre •Roda em cima do CLR • Interopera com outras linguagens .NET • É turing completa
- 11. Globalcode – Open4education Sobre •Roda em cima do CLR • Interopera com outras linguagens .NET • É turing completa • É possível usufruir de qualquer bibliotecas escritas em/para C# tal como EntityFramework, ASP.NET, Xamarin, etc.
- 12. Globalcode – Open4education Índice Diferençasentre C# e F#
- 13. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe
- 14. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe – Inferência de tipos
- 15. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults
- 16. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults – Diferente filosofia
- 17. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults – Diferente filosofia Exclusivo do F# – Functional-first – Algebraic type system
- 18. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults – Diferente filosofia Exclusivo do F# – Functional-first – Algebraic type system
- 19. Globalcode – Open4education Índice Diferençasentre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults – Diferente filosofia Exclusivo do F# – Functional-first – Algebraic type system
- 20.
- 21.
- 22. Globalcode – Open4education Diferençade sintaxe: Indentação ao invés de chaves
- 23.
- 24.
- 25.
- 26.
- 27. Globalcode – Open4education Diferençade sintaxe: ‘Backing fields’ criados automaticamente de parâmetros no construtor
- 28.
- 29.
- 30. Globalcode – Open4education Diferençade sintaxe: Juntar o construtor padrão com definição da classe
- 31.
- 32.
- 33.
- 34.
- 35.
- 36.
- 37. Globalcode – Open4education Diferençade sintaxe: Não precisamos de ‘return’
- 38.
- 39.
- 40.
- 41. Globalcode – Open4education Diferença: Campossão públicos por padrão
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53. Globalcode – Open4education EmC# usamos class E ‘var’
- 54. Globalcode – Open4education EmF# usamos type E ‘let’
- 55.
- 56. Globalcode – Open4education Observação 21linhas de Código foram reduzidas 5 linhas de código
- 57. Globalcode – Open4education Observação 21linhas de Código foram reduzidas 5 linhas de código
- 58. Globalcode – Open4education Observação 21linhas de Código foram reduzidas 5 linhas de código
- 59. Globalcode – Open4education Comparandocom C# futuro/moderno
- 60.
- 61. Globalcode – Open4education Functionalprogramming syntax
- 62. Globalcode – Open4education Functionalprogramming syntax
- 63.
- 64.
- 65.
- 66.
- 67.
- 68.
- 69.
- 70.
- 71.
- 72.
- 73.
- 74.
- 75.
- 76.
- 77.
- 78.
- 79.
- 80.
- 81.
- 82.
- 83.
- 84. Globalcode – Open4education F#tem ‘defaults’ diferentes do C#
- 85. Globalcode – Open4education F#tem ‘defaults’ diferentes do C# • Imutável por padrão • Mutabilidade é caso especial
- 86. Globalcode – Open4education F#tem ‘defaults’ diferentes do C# • Imutável por padrão • Mutabilidade é caso especial • Classes e tipos por padrão não nuláveis • Permitir nulo é um caso especial
- 87. Globalcode – Open4education F#tem ‘defaults’ diferentes do C# • Imutável por padrão • Mutabilidade é caso especial • Classes e tipos por padrão não nuláveis • Permitir nulo é um caso especial • Igualdade estrutural por padrão • Igualdade por referencia é caso especial
- 88. Globalcode – Open4education F#tem ‘defaults’ diferentes do C# • Imutável por padrão • Mutabilidade é caso especial • Classes e tipos por padrão não nuláveis • Permitir nulo é um caso especial • Igualdade estrutural por padrão • Igualdade por referencia é caso especial • Todos os valores devem ser sempre totalmente inicializados
- 89.
- 90.
- 91.
- 92.
- 93. Globalcode – Open4education Nãonull por default
- 94.
- 95.
- 96. Globalcode – Open4education Igualdadeestrutural
- 97.
- 98.
- 99.
- 100. Globalcode – Open4education Tudotem que ser inicializado!
- 101.
- 102.
- 103.
- 104.
- 105. Globalcode – Open4education Diferentefilosofia • C# historicamente é um derivado da linguagem C
- 106. Globalcode – Open4education Diferentefilosofia • C# historicamente é um derivado da linguagem C • F# veio do ML, uma Meta Linguagem para se provar coisas
- 107.
- 108. Globalcode – Open4education Objetivo: Vocêconsegue entender o código usando apenas informações que você tem bem na sua frente
- 109. Globalcode – Open4education Objetivo: Vocêconsegue entender o código usando apenas informações que você tem bem na sua frente? Sem olhar outras partes da base de código!
- 110.
- 111.
- 112.
- 113.
- 114. Globalcode – Open4education C#é mais previsível que JavaScript!
- 115. Globalcode – Open4education C#é mais previsível que JavaScript! Em C#, se você não corresponder os tipos corretamente você obtém um erro de compilação!
- 116. Globalcode – Open4education C#é mais previsível que JavaScript! Em C#, se você não corresponder os tipos corretamente você obtém um erro de compilação! Isso é ótimo!
- 117. Globalcode – Open4education Comofazer uma linguagem mais previsível?
- 118. Globalcode – Open4education Comofazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo
- 119.
- 120.
- 121. Globalcode – Open4education Comofazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão
- 122.
- 123.
- 124.
- 125. Globalcode – Open4education Comofazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão • Comparar tipos diferentes deve dar erro de compilação
- 126.
- 127. Globalcode – Open4education Ninguémpode dizer!
- 128. Globalcode – Open4education Ninguémpode dizer!
- 129. Globalcode – Open4education Ninguémpode dizer!
- 130. Globalcode – Open4education Comofazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão • Comparar tipos diferentes deve dar erro de compilação • Objetos sempre devem ser inicializados em um estado válido, caso contrario erro de compilação
- 131.
- 132.
- 133.
- 134.
- 135. Globalcode – Open4education Comofazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão • Comparar objetos de diferentes deve dar erro de compilação • Objetos sempre devem ser inicializados em um estado válido, caso contrario erro de compilação • Uma vez criados, objetos e coleções devem ser imutáveis.
- 136.
- 137.
- 138.
- 139.
- 140. Globalcode – Open4education Comofazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão • Comparar tipos diferentes deve dar erro de compilação • Objetos sempre devem ser inicializados em um estado válido, caso contrario erro de compilação • Uma vez criados, objetos e coleções devem ser imutáveis. • Dados ou erros ausentes devem ser explicitados. Sem permitir nulos
- 141. Globalcode – Open4education F#tenta ser uma linguagem previsível • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão • Comparar tipos diferentes deve dar erro de compilação • Objetos sempre devem ser inicializados em um estado válido, caso contrario erro de compilação • Uma vez criados, objetos e coleções (geralmente) são imutáveis. • Dados ou erros ausentes (geralmente) são explícitos. Sem permitir nulos
- 142. Globalcode – Open4education F#tenta ser uma linguagem previsível • As variáveis não devem poder alterar seu tipo • Objetos com os mesmos valores devem ser iguais por padrão • Comparar tipos diferentes deve dar erro de compilação • Objetos sempre devem ser inicializados em um estado válido, caso contrario erro de compilação • Uma vez criados, objetos e coleções (geralmente) são imutáveis. • Dados ou erros ausentes (geralmente) são explícitos. Sem permitir nulos
- 143.
- 144. Globalcode – Open4education Funções Princípiosde uma linguagem funcional
- 145. Globalcode – Open4education Funções Composição Princípiosde uma linguagem funcional
- 146. Globalcode – Open4education Princípiosde uma linguagem funcional Funções Composição Parametrização
- 147. Globalcode – Open4education FPPrinciple: Funções são coisas
- 148. Globalcode – Open4education Funçõessão coisas que transformam inputs em outputs
- 149.
- 150.
- 151. Globalcode – Open4education Umafunção existe por si só, não precisa estar vinculada a uma classe ou objeto
- 152.
- 153.
- 154.
- 155. Globalcode – Open4education FPPrinciple: Composição em todo lugar
- 156.
- 157.
- 158.
- 159.
- 160.
- 161.
- 162.
- 163.
- 164.
- 165.
- 166.
- 167.
- 168.
- 169.
- 170.
- 171.
- 172. Globalcode – Open4education Porque dizemos “functional-first”? F# torna FP fácil C# torna FP possível - mas é estranho e não idiomático
- 173. Globalcode – Open4education FPPrinciple: Parametrize tudo!
- 174.
- 175.
- 176.
- 177.
- 178.
- 179.
- 180.
- 181.
- 182.
- 183.
- 184.
- 185.
- 186. Globalcode – Open4education Tiposalgébricos
- 187. Globalcode – Open4education Tiposalgébricos • Tipos não são classes
- 188. Globalcode – Open4education Tiposalgébricos • Tipos não são classes • Estão mais para conjuntos
- 189. Globalcode – Open4education •O que são tipos?
- 190. Globalcode – Open4education •O que são tipos?
- 191. Globalcode – Open4education •O que são tipos?
- 192. Globalcode – Open4education •O que são tipos?
- 193. Globalcode – Open4education •O que são tipos?
- 194. Globalcode – Open4education •O que são tipos?
- 195. Globalcode – Open4education •O que são tipos?
- 196. Globalcode – Open4education Tiposem F# podem ser compostos
- 197. Globalcode – Open4education Tiposem F# podem ser compostos
- 198. Globalcode – Open4education Tiposnovos podem ser criados a partir de tipos menores usando:
- 199. Globalcode – Open4education Tiposnovos podem ser criados a partir de tipos menores usando:
- 200.
- 201.
- 202.
- 203.
- 204. Globalcode – Open4education Exemplode “type composition”
- 205. Globalcode – Open4education Exemplode alguns requisitos:
- 206. Globalcode – Open4education Exemplode alguns requisitos: Aceitamos três formas de pagamento: Dinheiro, cheque ou cartão.
- 207. Globalcode – Open4education Exemplode alguns requisitos: Aceitamos três formas de pagamento: Dinheiro, cheque ou cartão. Para dinheiro, não precisamos de nenhuma informação extra
- 208. Globalcode – Open4education Exemplode alguns requisitos: Aceitamos três formas de pagamento: Dinheiro, cheque ou cartão. Para dinheiro, não precisamos de nenhuma informação extra Para cheques, precisamos do número do cheque
- 209. Globalcode – Open4education Exemplode alguns requisitos: Aceitamos três formas de pagamento: Dinheiro, cheque ou cartão. Para dinheiro, não precisamos de nenhuma informação extra Para cheques, precisamos do número do cheque Para cartões, precisamos do tipo de cartão e do número do cartão
- 210.
- 211. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 212. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 213. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 214. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 215. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 216. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 217. Globalcode – Open4education EmF# iriamos compor os tipos da seguinte forma
- 218. Globalcode – Open4education EmF# pensamos nos tipos como uma documentação executável!
- 219.
- 220.
- 221. Globalcode – Open4education Poronde começar? + Visual Studio 2017 VS Code + Ionade
- 222. Globalcode – Open4education Visitemhttps://fsharpforfunandprofit.com/
- 223.