Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-11 07:15:45 +03:00
Code Issues Projects Releases Wiki Activity

Merge branch 'master' of github.com:kind-lang/kind

Browse Source
This commit is contained in:
MaiaVictor 2021-11-03 17:12:11 -03:00
commit c21b14fa43
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
blog/4-funcional-alquimista.md
View File

@ -3,6 +3,7 @@ Funcional Alquimista
O Haskell e outras linguagens funcionais usam tipos algébricos, declarados com a sintaxe "data":
```
data Bool = True | False
data Jokenpo = Rock | Paper | Scissor
data Pair x = MakePair x x
@ -10,6 +11,7 @@ data Maybe x = Nothing | Just x
data Nat = Zero | Succ Nat
data List x = Nil | Cons x (List x)
data Tree x = Empty | Branch x (List (Tree x))
```
Se você não entende o que está acontecendo acima, o resto não vai fazer sentido (e tudo bem); nesse caso, recomendo ler algum tutorial de Haskell caso ainda tenha interesse nesse post. Se as linhas acima fazem sentido para você, continue lendo, pois lhe contarei a história de um alquimista funcional que foi longe demais.