Vejo os sistemas de efeitos em comparação com os monads explícitos como diferentes sintaxes para a mesma semântica subjacente. Mesmo com I/O, referências de heap e recursos completos de lógica funcional, tudo na nossa linguagem Verse com anotações de efeitos pode ser traduzido em monads Haskell.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
10 Curtidas
Recompensa
10
6
Repostar
Compartilhar
Comentário
0/400
Layer3Dreamer
· 6h atrás
em teoria... monads são apenas açúcar sintático para provas zk recursivas
Ver originalResponder0
WalletDetective
· 13h atrás
Hmm, monad é realmente bom
Ver originalResponder0
NullWhisperer
· 13h atrás
heh... monads atacam novamente, tecnicamente é tudo apenas açúcar sintático
Ver originalResponder0
LayerZeroHero
· 14h atrás
De fato, o efeito do sistema é açúcar sintático.
Ver originalResponder0
StealthMoon
· 14h atrás
Oh, isso não é apenas uma forma diferente de escrever?
Vejo os sistemas de efeitos em comparação com os monads explícitos como diferentes sintaxes para a mesma semântica subjacente. Mesmo com I/O, referências de heap e recursos completos de lógica funcional, tudo na nossa linguagem Verse com anotações de efeitos pode ser traduzido em monads Haskell.