Saya melihat sistem efek versus monad eksplisit sebagai sintaks yang berbeda untuk semantik yang mendasari yang sama. Bahkan dengan I/O, referensi heap, dan fitur logika fungsional penuh, segala sesuatu dalam bahasa Verse kami dengan anotasi efek dapat diterjemahkan ke monad Haskell.

Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • 6
  • Posting ulang
  • Bagikan
Komentar
0/400
Layer3Dreamervip
· 5jam yang lalu
secara teoritis... monad hanyalah gula sintaksis untuk bukti zk rekursif
Lihat AsliBalas0
WalletDetectivevip
· 13jam yang lalu
Hmm, monad sangat enak
Lihat AsliBalas0
NullWhisperervip
· 13jam yang lalu
heh... monad menyerang lagi, secara teknis semuanya hanyalah gula sintaksis
Lihat AsliBalas0
LayerZeroHerovip
· 13jam yang lalu
Fakta menunjukkan bahwa efek sistem adalah gula sintaksis
Lihat AsliBalas0
StealthMoonvip
· 13jam yang lalu
Oh, ini kan hanya cara penulisan yang berbeda?
Lihat AsliBalas0
  • Sematkan
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)