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

20. Globalcode – Open4education Sintaxe

21. Globalcode – Open4education

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

52. Globalcode – Open4education Diferença: Keywords

53. Globalcode – Open4education Em C# usamos class E ‘var’

54. Globalcode – Open4education Em F# usamos type E ‘let’

55. Globalcode – Open4education Observação

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

89. Globalcode – Open4education Imutabilidade

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

107. Globalcode – Open4education Objetivo:

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!

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

157. Globalcode – Open4education >>

161. 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#)

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?

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

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/

223. Globalcode – Open4education Obrigado! @lucasteles42@lucasteles

F# para devs c# tdc

Recomendados

Recomendados

Mais conteúdo relacionado

Semelhante a F# para devs c# tdc

Semelhante a F# para devs c# tdc (20)

Mais de Lucas Teles

Mais de Lucas Teles (17)

F# para devs c# tdc