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.
10 Suka
Hadiah
10
6
Posting ulang
Bagikan
Komentar
0/400
Layer3Dreamer
· 5jam yang lalu
secara teoritis... monad hanyalah gula sintaksis untuk bukti zk rekursif
Lihat AsliBalas0
WalletDetective
· 13jam yang lalu
Hmm, monad sangat enak
Lihat AsliBalas0
NullWhisperer
· 13jam yang lalu
heh... monad menyerang lagi, secara teknis semuanya hanyalah gula sintaksis
Lihat AsliBalas0
LayerZeroHero
· 13jam yang lalu
Fakta menunjukkan bahwa efek sistem adalah gula sintaksis
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.