Skip to content

Instantly share code, notes, and snippets.

@the-sofi-uwu

the-sofi-uwu/diversao.md

Last active October 14, 2021 18:22
Show Gist options
  • Save the-sofi-uwu/951ce23ca6751fa3e30dd1d2a1125203 to your computer and use it in GitHub Desktop.
Save the-sofi-uwu/951ce23ca6751fa3e30dd1d2a1125203 to your computer and use it in GitHub Desktop.
Download ZIP
Coisas divertidas da programação
Raw
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 gerações e que é reversivel 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/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment