OCaml Brazil
@ocaml.com.br
Reposted by OCaml Brazil
E sinceramente, acho que deu certo justamente porque eu não estava fazendo checklist de prós e contras.
Você precisa aprender sobre as coisas que te interessam ou as que você precisa para resolver um problema.
Se você precisa se convencer que precisa aprender, muito provável não precise.
Você precisa aprender sobre as coisas que te interessam ou as que você precisa para resolver um problema.
Se você precisa se convencer que precisa aprender, muito provável não precise.
September 4, 2024 at 11:54 AM
E sinceramente, acho que deu certo justamente porque eu não estava fazendo checklist de prós e contras.
Você precisa aprender sobre as coisas que te interessam ou as que você precisa para resolver um problema.
Se você precisa se convencer que precisa aprender, muito provável não precise.
Você precisa aprender sobre as coisas que te interessam ou as que você precisa para resolver um problema.
Se você precisa se convencer que precisa aprender, muito provável não precise.
Reposted by OCaml Brazil
Bom dia Jeff, legal pra caramba, já fiz Peano Fold no passado também em OCaml, acho que em 2022
gist.github.com/Rastrian/f36...
gist.github.com/Rastrian/f36...
OCaml Peano Fold
OCaml Peano Fold. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
September 4, 2024 at 8:12 AM
Bom dia Jeff, legal pra caramba, já fiz Peano Fold no passado também em OCaml, acho que em 2022
gist.github.com/Rastrian/f36...
gist.github.com/Rastrian/f36...
Formas são termos de um cálculo lambda simples que representam uma abstração do sistema de módulos. Para encontrar a definição de um identificador, pode-se construir uma forma a partir de seu caminho e reduzir essa forma. O resultado deve ser uma Leaf com um UID representando a definição.
September 2, 2024 at 6:19 AM
Formas são termos de um cálculo lambda simples que representam uma abstração do sistema de módulos. Para encontrar a definição de um identificador, pode-se construir uma forma a partir de seu caminho e reduzir essa forma. O resultado deve ser uma Leaf com um UID representando a definição.
Encontrar a definição de um identificador em OCaml é um problema difícil, principalmente por causa de seu poderoso sistema de módulos. Uma solução para esse problema foi descrita recentemente em uma apresentação no ML Workshop: "shapes"
icfp22.sigplan.org/details/mlfa...
icfp22.sigplan.org/details/mlfa...
Module Shapes for Modern Tooling (ML 2022) - ICFP 2022
ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML la...
icfp22.sigplan.org
September 2, 2024 at 6:18 AM
Encontrar a definição de um identificador em OCaml é um problema difícil, principalmente por causa de seu poderoso sistema de módulos. Uma solução para esse problema foi descrita recentemente em uma apresentação no ML Workshop: "shapes"
icfp22.sigplan.org/details/mlfa...
icfp22.sigplan.org/details/mlfa...