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
5
Posting ulang
Bagikan
Komentar
0/400
Layer3Dreamer
· 09-13 15:47
secara teoritis... monad hanyalah gula sintaksis untuk bukti zk rekursif
Lihat AsliBalas0
WalletDetective
· 09-13 08:21
Hmm, monad sangat enak
Lihat AsliBalas0
NullWhisperer
· 09-13 08:15
heh... monad menyerang lagi, secara teknis semuanya hanyalah gula sintaksis
Lihat AsliBalas0
LayerZeroHero
· 09-13 08:09
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.