Skip to content

Instantly share code, notes, and snippets.

@algebraic-dev

algebraic-dev/diversao.md

Last active October 14, 2021 18:22
Show Gist options
  • Save algebraic-dev/951ce23ca6751fa3e30dd1d2a1125203 to your computer and use it in GitHub Desktop.
Save algebraic-dev/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 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/

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