O documento fornece uma introdução ao F#, uma linguagem de programação funcional desenvolvida pela Microsoft. Resume as seguintes informações essenciais: 1) O F# foi desenvolvido pela Microsoft Research, é open source e funciona no Visual Studio e VS Code de forma cross-platform. 2) Apresenta as principais diferenças entre F# e C#, como a inferência de tipos, filosofia funcional-first e tipos algébricos. 3) Recomenda recursos como o site fsharp.org para aqueles interessados em aprender mais sobre a linguagem.

1. F# para desenvolvedores C#
@lucasteles
@lucasteles42

2. Por que aprender uma
linguagem de programação
nova?

3. Uma linguagem que não afete a maneira
como você pensa em programar, não
vale a pena conhecer.
Alan Perlis

4. Sobre
• Desenvolvido pela Microsoft Research
– Incluído junto com Visual Studio in 2010

5. Sobre
• Desenvolvido pela Microsoft Research
– Incluído junto com Visual Studio in 2010
• Open source
– GitHub

6. 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. 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. Sobre
• Roda em cima do CLR

9. Sobre
• Roda em cima do CLR
• Interopera com outras linguagens .NET

10. Sobre
• Roda em cima do CLR
• Interopera com outras linguagens .NET
• É turing completa

11. 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. Índice
Diferenças entre C# e F#

13. Índice
Diferenças entre C# e F#
– Sintaxe

14. Índice
Diferenças entre C# e F#
– Sintaxe
– Inferência de tipos

15. Índice
Diferenças entre C# e F#
– Sintaxe
– Inferência de tipos
– Diferentes defaults

16. Índice
Diferenças entre C# e F#
– Sintaxe
– Inferência de tipos
– Diferentes defaults
– Diferente filosofia

17. Í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. Í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. Í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. Sintaxe

22. Diferença de sintaxe:
Indentação ao invés de chaves

27. Diagrama da verdade

28. Diferença de sintaxe:
‘Backing fields’ criados automaticamente
de parâmetros no construtor

31. Diferença de sintaxe:
Juntar o construtor padrão com
definição da classe

38. Diferença de sintaxe:
Não precisamos de ‘return’

42. Diferença:
Campos são públicos por padrão

45. Diferença:
Inferência de tipos

50. Diferença:
Anotação de tipos

53. Diferença:
Keywords

54. Em C# usamos
class
E ‘var’

55. Em F# usamos
type
E ‘let’

56. Observação

57. Observação
21 linhas de Código foram
reduzidas 5 linhas de código

58. Observação
21 linhas de Código foram
reduzidas 5 linhas de código

59. Observação
21 linhas de Código foram
reduzidas 5 linhas de código

60. Comparando com
C# futuro/moderno

62. Functional programming syntax

63. Functional programming syntax

70. Inferência de tipo

88. Defaults diferentes

89. F# tem ‘defaults’ diferentes do C#

90. F# tem ‘defaults’ diferentes do C#
• Imutável por padrão
• Mutabilidade é caso especial

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

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

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

94. Imutabilidade

98. Não null por default

101. Igualdade estrutural

105. Tudo tem que ser inicializado!

109. Diferente filosofia

110. Diferente filosofia
• C# historicamente é um derivado da linguagem C

111. Diferente filosofia
• C# historicamente é um derivado da linguagem C
• F# veio do ML, uma Meta Linguagem para
se provar coisas

112. Objetivo:

113. Objetivo:
• Você consegue entender o código usando apenas as
informações estão bem na sua frente?

114. Objetivo:
• Você consegue entender o código usando apenas informações
que você tem bem na sua frente?
• Você não tem permissão para olhar outras partes da base de
código!

119. C# é mais previsível que JavaScript!

120. C# é mais previsível que JavaScript!
Em C#, se você não corresponder os tipos corretamente você
obtém um erro de compilação!

121. 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!

122. Como fazer uma linguagem mais previsível?

123. Como fazer uma linguagem mais previsível?
• As variáveis ​​não devem poder alterar seu tipo

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

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

132. Ninguém pode dizer!

133. Ninguém pode dizer!

134. Ninguém pode dizer!

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

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

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

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

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

148. Functional First

149. • Funções
Princípios de uma linguagem funcional

150. • Funções
Princípios de uma linguagem funcional
• Composição (em todo lugar)

151. • Funções
Princípios de uma linguagem funcional
• Composição (em todo lugar)
• Parametrize tudo!

152. FP Principle:
Funções são coisas

153. Funções são coisas que
transformam inputs em outputs

156. Uma função existe por si só, não
precisa estar vinculada a uma classe
ou objeto

160. FP Principle:
Composição em todo lugar

162. >>

166. Composição em F#

167. Composição em F#

168. Composição em F#

169. Composição em C#

170. Composição em C#

171. Piping (F#)

172. Piping (F#)

173. Piping (F#)

174. Piping (F#)

175. Piping (F#)

176. Piping (C#)

177. Por que dizemos “functional-first”?
F# torna FP fácil
C# torna FP possível
- mas é estranho e não idiomático

178. FP Principle:
Parametrize tudo!

191. Tipos algébricos

192. Tipos algébricos
• Tipos não são classes

193. Tipos algébricos
• Tipos não são classes
• Estão mais para conjuntos

194. • O que são tipos?

195. • O que são tipos?

196. • O que são tipos?

197. • O que são tipos?

198. • O que são tipos?

199. • O que são tipos?

200. • O que são tipos?

201. Tipos em F# podem ser
compostos

202. Tipos em F# podem ser
compostos

203. Tipos novos podem ser criados a
partir de tipos menores usando:

204. Tipos novos podem ser criados a
partir de tipos menores usando:

205. “AND” types

206. “AND” types

207. “OR” types

208. “OR” types

209. Exemplo de “type
composition”

210. • Exemplo de alguns requisitos:

211. • Exemplo de alguns requisitos:
• Aceitamos três formas de pagamento: Dinheiro,
cheque ou cartão.

212. • 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

213. • 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

214. • 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

216. Em F# iriamos compor os tipos da seguinte forma

217. Em F# iriamos compor os tipos da seguinte forma

218. Em F# iriamos compor os tipos da seguinte forma

219. Em F# iriamos compor os tipos da seguinte forma

220. Em F# iriamos compor os tipos da seguinte forma

221. Em F# iriamos compor os tipos da seguinte forma

222. Em F# iriamos compor os tipos da seguinte forma

223. Em F# pensamos nos tipos como uma documentação
executável!

226. Por onde começar?
+
Visual Studio
2017
VS Code +
Ionade

227. Visitem https://fsharpforfunandprofit.com/