F# para devs c# tdc
- 1. Globalcode – Open4education Lucas Teles Developer at Lambda3 F# para desenvolvedores C# @lucasteles42@lucasteles
- 2. Globalcode – Open4education Por que aprender uma linguagem de programação nova?
- 3. Globalcode – Open4education Uma linguagem 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ças entre C# e F#
- 13. Globalcode – Open4education Índice Diferenças entre C# e F# – Sintaxe
- 14. Globalcode – Open4education Índice Diferenças entre C# e F# – Sintaxe – Inferência de tipos
- 15. Globalcode – Open4education Índice Diferenças entre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults
- 16. Globalcode – Open4education Índice Diferenças entre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults – Diferente filosofia
- 17. Globalcode – Open4education Índice Diferenças entre 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ças entre 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ças entre C# e F# – Sintaxe – Inferência de tipos – Diferentes defaults – Diferente filosofia Exclusivo do F# – Functional-first – Algebraic type system
- 22. Globalcode – Open4education Diferença de sintaxe: Indentação ao invés de chaves
- 27. Globalcode – Open4education Diferença de sintaxe: ‘Backing fields’ criados automaticamente de parâmetros no construtor
- 30. Globalcode – Open4education Diferença de sintaxe: Juntar o construtor padrão com definição da classe
- 37. Globalcode – Open4education Diferença de sintaxe: Não precisamos de ‘return’
- 41. Globalcode – Open4education Diferença: Campos são públicos por padrão
- 44. Globalcode – Open4education Diferença: Inferência de tipos
- 49. Globalcode – Open4education Diferença: Anotação de tipos
- 53. Globalcode – Open4education Em C# usamos class E ‘var’
- 54. Globalcode – Open4education Em F# usamos type E ‘let’
- 56. Globalcode – Open4education Observação 21 linhas de Código foram reduzidas 5 linhas de código
- 57. Globalcode – Open4education Observação 21 linhas de Código foram reduzidas 5 linhas de código
- 58. Globalcode – Open4education Observação 21 linhas de Código foram reduzidas 5 linhas de código
- 59. Globalcode – Open4education Comparando com C# futuro/moderno
- 61. Globalcode – Open4education Functional programming syntax
- 62. Globalcode – Open4education Functional programming syntax
- 69. Globalcode – Open4education Inferência de tipo
- 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
- 93. Globalcode – Open4education Não null por default
- 96. Globalcode – Open4education Igualdade estrutural
- 100. Globalcode – Open4education Tudo tem que ser inicializado!
- 104. Globalcode – Open4education Diferente filosofia
- 105. Globalcode – Open4education Diferente filosofia • C# historicamente é um derivado da linguagem C
- 106. Globalcode – Open4education Diferente filosofia • C# historicamente é um derivado da linguagem C • F# veio do ML, uma Meta Linguagem para se provar coisas
- 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!
- 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 Como fazer uma linguagem mais previsível?
- 118. Globalcode – Open4education Como fazer uma linguagem mais previsível? • As variáveis não devem poder alterar seu tipo
- 121. Globalcode – Open4education Como fazer 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
- 125. Globalcode – Open4education Como fazer 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
- 127. Globalcode – Open4education Ninguém pode dizer!
- 128. Globalcode – Open4education Ninguém pode dizer!
- 129. Globalcode – Open4education Ninguém pode dizer!
- 130. Globalcode – Open4education Como fazer 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
- 135. Globalcode – Open4education Como fazer 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.
- 140. Globalcode – Open4education Como fazer 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. Globalcode – Open4education Functional First
- 144. Globalcode – Open4education Funções Princípios de uma linguagem funcional
- 145. Globalcode – Open4education Funções Composição Princípios de uma linguagem funcional
- 146. Globalcode – Open4education Princípios de uma linguagem funcional Funções Composição Parametrização
- 147. Globalcode – Open4education FP Principle: Funções são coisas
- 148. Globalcode – Open4education Funções são coisas que transformam inputs em outputs
- 151. Globalcode – Open4education Uma função existe por si só, não precisa estar vinculada a uma classe ou objeto
- 155. Globalcode – Open4education FP Principle: Composição em todo lugar
- 161. Globalcode – Open4education Composição em F#
- 162. Globalcode – Open4education Composição em F#
- 163. Globalcode – Open4education Composição em F#
- 164. Globalcode – Open4education Composição em C#
- 165. Globalcode – Open4education Composição em C#
- 166. Globalcode – Open4education Piping (F#)
- 167. Globalcode – Open4education Piping (F#)
- 168. Globalcode – Open4education Piping (F#)
- 169. Globalcode – Open4education Piping (F#)
- 170. Globalcode – Open4education Piping (F#)
- 171. Globalcode – Open4education Piping (C#)
- 172. Globalcode – Open4education Por que dizemos “functional-first”? F# torna FP fácil C# torna FP possível - mas é estranho e não idiomático
- 173. Globalcode – Open4education FP Principle: Parametrize tudo!
- 186. Globalcode – Open4education Tipos algébricos
- 187. Globalcode – Open4education Tipos algébricos • Tipos não são classes
- 188. Globalcode – Open4education Tipos algé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 Tipos em F# podem ser compostos
- 197. Globalcode – Open4education Tipos em F# podem ser compostos
- 198. Globalcode – Open4education Tipos novos podem ser criados a partir de tipos menores usando:
- 199. Globalcode – Open4education Tipos novos podem ser criados a partir de tipos menores usando:
- 200. Globalcode – Open4education “AND” types
- 201. Globalcode – Open4education “AND” types
- 202. Globalcode – Open4education “OR” types
- 203. Globalcode – Open4education “OR” types
- 204. Globalcode – Open4education Exemplo de “type composition”
- 205. Globalcode – Open4education Exemplo de alguns requisitos:
- 206. Globalcode – Open4education Exemplo de alguns requisitos: Aceitamos três formas de pagamento: Dinheiro, cheque ou cartão.
- 207. Globalcode – Open4education Exemplo de 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 Exemplo de 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 Exemplo de 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
- 211. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 212. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 213. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 214. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 215. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 216. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 217. Globalcode – Open4education Em F# iriamos compor os tipos da seguinte forma
- 218. Globalcode – Open4education Em F# pensamos nos tipos como uma documentação executável!
- 221. Globalcode – Open4education Por onde começar? + Visual Studio 2017 VS Code + Ionade
- 222. Globalcode – Open4education Visitem https://fsharpforfunandprofit.com/