Skip to content

Instantly share code, notes, and snippets.

@algebraic-dev

algebraic-dev/diversao.md

Last active October 14, 2021 18:22
Download ZIP

Revisions

  1. algebraic-dev revised this gist Oct 14, 2021. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion diversao.md
    View file
    Original file line number Diff line number Diff line change
    @@ -3,7 +3,7 @@
    ### **DHALL** - Linguagem de configuração incrivel
    <https://dhall-lang.org/>

    ### **NIX** - Package manager com viagem no tempo e OS baseado nisso
    ### **NIX** - Package manager com gerações e que é reversivel e OS baseado nisso
    <https://nixos.org/>

    ### **Unison** - Language for distributed systems:
  2. algebraic-dev revised this gist Oct 14, 2021. 1 changed file with 4 additions and 4 deletions.
    8 changes: 4 additions & 4 deletions diversao.md
    View file
    Original file line number Diff line number Diff line change
    @@ -7,12 +7,12 @@
    <https://nixos.org/>

    ### **Unison** - Language for distributed systems:
    <https://www.youtube.com/watch?v=gCWtkvDQ2ZI>
    <https://www.youtube.com/watch?v=gCWtkvDQ2ZI> </br>
    <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=mOtKD7ml0NU> </br>
    <https://www.idris-lang.org/> </br>
    <https://www.youtube.com/watch?v=pAGTLlwKM48> (IDRIS COM WSL)

    ### **ELIXIR** - Reescrevendo software crítico em Elixir - um estudo de caso - Renan...:
    @@ -25,5 +25,5 @@
    <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://www.youtube.com/watch?v=6lv_E-CjGzg&t=1112s&ab_channel=CodeSync> </br>
    <https://effect-handlers.org/>
  3. algebraic-dev revised this gist Oct 14, 2021. 1 changed file with 8 additions and 8 deletions.
    16 changes: 8 additions & 8 deletions diversao.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,29 +1,29 @@
    # Coisas que eu recomendo vcs usarem algum dia pq é divertido

    ## **DHALL** - Linguagem de configuração incrivel**
    ### **DHALL** - Linguagem de configuração incrivel
    <https://dhall-lang.org/>

    ## **NIX** - Package manager com viagem no tempo e OS baseado nisso**
    ### **NIX** - Package manager com viagem no tempo e OS baseado nisso
    <https://nixos.org/>

    ## **Unison** - Language for distributed systems:
    ### **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)
    ### **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...:
    ### **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
    ### **PROLOG e DATALOG** - Sim existe dbs que usam datalog
    <https://www.youtube.com/watch?v=SykxWpFwMGs&ab_channel=DerekBanas>

    ## **MINT** - Sim linguagem pra SPA
    ### **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)
    ### **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/>
  4. algebraic-dev revised this gist Oct 14, 2021. 1 changed file with 8 additions and 8 deletions.
    16 changes: 8 additions & 8 deletions diversao.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,29 +1,29 @@
    # Coisas que eu recomendo vcs usarem algum dia pq é divertido

    **DHALL - Linguagem de configuração incrivel**
    ## **DHALL** - Linguagem de configuração incrivel**
    <https://dhall-lang.org/>

    **NIX - Package manager com viagem no tempo e OS baseado nisso**
    ## **NIX** - Package manager com viagem no tempo e OS baseado nisso**
    <https://nixos.org/>

    **Unison - Language for distributed systems:**
    ## **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)
    ## **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...**:
    ## **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**
    ## **PROLOG e DATALOG** - Sim existe dbs que usam datalog
    <https://www.youtube.com/watch?v=SykxWpFwMGs&ab_channel=DerekBanas>

    ** MINT - Sim linguagem pra SPA **
    ## **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)**
    ## **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/>
  5. algebraic-dev created this gist Oct 14, 2021.
    29 changes: 29 additions & 0 deletions diversao.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,29 @@
    # 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/>