O meu projeto pessoal preferido é a biblioteca monadic pra OCaml, uma biblioteca de monad transformers extensível e que permite o uso da sintaxe especial pra monads e aplicative functors (let*, let+ e and+)
Cc @ocamlbr.bsky.social @samsantosb.bsky.social #bolhadev
github.com/Denommus/mon...
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.
Vejo muitos perguntando: "Por que aprender Programação Funcional?"
Não posso dizer por você, mas no meu caso, foi pela concisão de código.
Era viciado em Python, até que me mostraram o Haskell, que era ainda mais conciso.
Decidi aprender PF, apanhei bastante, o resto é brio.
Idiota assim.
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...
Parte 2
youtu.be/pAnLQ9jwN-E?...
youtu.be/3VQ382QG-y4?...
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...
Ocorrências em todo o projeto para OCaml 5.2: as consultas agora retornarão todos os usos do identificador selecionado em todos os arquivos de origem do projeto, não apenas no buffer atual
tarides.com/blog/2024-08...
se OCaml fosse ruim ninguém usava
#bolhadev
Baseado na implementação do @samsantosb.bsky.social eu
"overthinkey" demais mas ta aqui.
Source: github.com/Rastrian/blu...
Basta apenas mandar um "cc @rastrian.dev" bem como o auto-follow e "unfollow".
Sigam a @ocamlbr.bsky.social, em breve vamos ter alguns conteudos.
#bolhadev #bolhatech
Why OCaml?:
https://blog.janestreet.com/why-ocaml/
ok well that was a day 🙃
fuck operating systems, fuck kernels, fuck companies
from now on we only use unikernels written in OCaml
operating systems are bullshit
ocaml go brrrrr
minha primeira contribuição pra #bolhadev do Céu Azul vai ser o @ocamlbr.bsky.social (novidades em breve)
Olá #bolhadev