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.
  • Recompensa
  • 6
  • Repostar
  • Compartilhar
Comentário
0/400
Layer3Dreamervip
· 6h atrás
em teoria... monads são apenas açúcar sintático para provas zk recursivas
Ver originalResponder0
WalletDetectivevip
· 13h atrás
Hmm, monad é realmente bom
Ver originalResponder0
NullWhisperervip
· 13h atrás
heh... monads atacam novamente, tecnicamente é tudo apenas açúcar sintático
Ver originalResponder0
LayerZeroHerovip
· 14h atrás
De fato, o efeito do sistema é açúcar sintático.
Ver originalResponder0
StealthMoonvip
· 14h atrás
Oh, isso não é apenas uma forma diferente de escrever?
Ver originalResponder0
  • Marcar
Faça trade de criptomoedas em qualquer lugar e a qualquer hora
qrCode
Escaneie o código para baixar o app da Gate
Comunidade
Português (Brasil)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)