Coisas divertidas da programação

diversao.md

Coisas que eu recomendo vcs usarem algum dia pq é divertido

DHALL - Linguagem de configuração incrivel**

https://dhall-lang.org/

NIX - Package manager com viagem no tempo e OS baseado nisso**

https://nixos.org/

Unison - Language for distributed systems:

https://www.youtube.com/watch?v=gCWtkvDQ2ZI https://www.unisonweb.org/

Idris2 - Type driven development (Quem quiser posso dar aulinha de idris2, é divertido)

https://www.youtube.com/watch?v=mOtKD7ml0NU https://www.idris-lang.org/ https://www.youtube.com/watch?v=pAGTLlwKM48 (IDRIS COM WSL)

ELIXIR - Reescrevendo software crítico em Elixir - um estudo de caso - Renan...:

https://www.youtube.com/watch?v=9hrimuctYqc

PROLOG e DATALOG - Sim existe dbs que usam datalog

https://www.youtube.com/watch?v=SykxWpFwMGs&ab_channel=DerekBanas

MINT - Sim linguagem pra SPA

https://www.mint-lang.com/

Algebraic effect handlers (Uma feature para programação geral para a nova década que o facebook e a microsoft tambem estão investindo)

https://www.youtube.com/watch?v=6lv_E-CjGzg&t=1112s&ab_channel=CodeSync https://effect-handlers.org/