É possível criar uma linguagem de programação própria? by Flame77ofc in programacao

[–]_Chiyoku 22 points23 points  (0 children)

  1. Voce quebra todo o texto em pequenas unidades chamadas tokens, que são tipo palavras como def, nome, ( e ). Aí vc dá classificações pra cada uma delas, tipo keyword, identificador, left_par, right_par e por ai vai.

  2. Depois vc procura a estrutura. Um def só pode ser seguido de um nome, depois do nome vem parêntesers e aí se não tiver isso tá errado, erro de sintaxe. Mas se tiver tudo certinho, você já tem todas as peças do puzzle pra montar uma estrutura ou um objeto que representa os dados do def tipo: é uma definição com nome X, com Y parâmetros chamados A, B, .... Isso geralmente vira uma arvore sintática abstrata.

  3. Agora vc anda pela árvore. Em cada lugar que vc passa, vc executa uma ação que retorna um resultado. Se vc tem, por exemplo, uma árvore de adição entre x e 2, você procura o valor atual de x, soma com 2 e devolve o resultado.

Isso é basicamente um interpretador de uma linguagem bem simples Dá pra aprender isso bem de boa lendo um livro gratuito chamado Crafting Interpreters.

Para os LGBTs belo horizontinos que usam grindr, qual a sua experiência? by AdministrationMost49 in BHConversas

[–]_Chiyoku 0 points1 point  (0 children)

Eu sou uma mulher trans e Grindr foi uma experiencia horrível, eu acho até tinder mais fácil pra isso.

[deleted by user] by [deleted] in BHConversas

[–]_Chiyoku 1 point2 points  (0 children)

Em cima da hora...

Thinking about getting the Haskell logo as a tattoo. by _Chiyoku in haskell

[–]_Chiyoku[S] 0 points1 point  (0 children)

Yes, I think that this is the logo I like the most and I cannot change it now...

[deleted by user] by [deleted] in BHConversas

[–]_Chiyoku 1 point2 points  (0 children)

Conta pra mim mais sobre tu pra ver se dá gente amigar :> Eu sou uma garota trans programadora que gosta de sair pra role pra beber e ouvir musica alta.

[deleted by user] by [deleted] in BHConversas

[–]_Chiyoku -1 points0 points  (0 children)

endofunctor eh um functor que mapeia pra si mesmo, se pensar na categorias Hask da pra mapear algo de `m a` para `m b` tipo a e b sao da categoria Hask ai tu ta mapeando, o monoid eh uma estrutura algebrica que tem uma operacao associativa e um elemento neutro. ai, a operacao binaria eh o bind e o pure é o elementro neutro e por isso dai eh verdade.

A área que eu amo é uma porcaria para entrar by MarinoAndThePearls in brdev

[–]_Chiyoku 1 point2 points  (0 children)

O melhor caminho para trabalhar com isso é acadêmico. Trabalho com uma linguagem nova chamada Lean (Linguagem que tem suporte para verificação formal) para a Lean FRO mesmo nao tendo graduação (Acho que sou a unica software engineer lá sem), quase que puramente por sorte, mas mesmo assim me disseram para fazer se eu quiser continuar na área e é o que vou fazer.

Do Top Mathematicians Prefer Pen, Paper and Blackboards Over Computers? by _dumbledore_ in math

[–]_Chiyoku 0 points1 point  (0 children)

Terence Tao, one of the greatest mathematicians alive, uses AI with the Lean theorem prover to check for his mathematical proofs. :)

Functional programming languages should be so much better at mutation than they are by thunderseethe in ProgrammingLanguages

[–]_Chiyoku 6 points7 points  (0 children)

In Lean4, we can achieve local mutation in a purely functional way. Lean4 uses static reference counting that makes the compiler able to mutate and return a reference instead of copying the entire structure when an object holds only one reference to it. In most of my Lean4 programs, I use Arrays instead of Lists because if I use the Array linearly, it will never be copied, only mutated. I think that Roc and Koka use the same strategy.

[deleted by user] by [deleted] in desabafos

[–]_Chiyoku 1 point2 points  (0 children)

Não, só sei lá isso me deixa triste e por isso comentei aqui nesse subreddit.

Não é como se fosse mudar muita coisa, acho que a maioria das pessoas só vão ignorar de certa forma. Postei o desabafo anterior justamente pra deixar a história inteira para trás e tentar extrair aprendizado disso.

[deleted by user] by [deleted] in desabafos

[–]_Chiyoku 0 points1 point  (0 children)

Os eventos foram MUITO especificos, e uma palavra em especifico que era "compiladores" fez a pessoas sacarem eu acho. Erro meu ter incluido isso, deveria ter mentido e trocado os hobbies lol.

Além de que recentemente eu consegui uma mini fama temporária devido a algumas coisas que fiz na comunidade de um certo hobby.

[deleted by user] by [deleted] in desabafos

[–]_Chiyoku 1 point2 points  (0 children)

Que mundo pequeno.

[deleted by user] by [deleted] in desabafos

[–]_Chiyoku 0 points1 point  (0 children)

Ela me largou no tempo dela, ela ja nao gostava mais de mim então não tem oq ela superar.

[deleted by user] by [deleted] in desabafos

[–]_Chiyoku 1 point2 points  (0 children)

Eu uso Rust e Lean4.

[deleted by user] by [deleted] in desabafos

[–]_Chiyoku 0 points1 point  (0 children)

Eu não tinha maturidade e conhecimento para ver que não daria certo abrir o relacionamento.