Etkiler sistemlerinin açık monadlarla karşılaştırılmasını, aynı temel anlamsal yapı için farklı sözdizimleri olarak görüyorum. I/O, yığın referansları ve tam işlevsel mantık özellikleri ile bile, etkiler anotasyonlarına sahip Verse dilimizdeki her şey Haskell monadlarına çevrilebilir.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
10 Likes
Reward
10
6
Repost
Share
Comment
0/400
Layer3Dreamer
· 6h ago
teorik olarak konuşursak... monad'lar sadece özyinelemeli zk kanıtları için sözdizimsel şekerlerdir
View OriginalReply0
WalletDetective
· 13h ago
Hmm, monad gerçekten güzel.
View OriginalReply0
NullWhisperer
· 14h ago
heh... monadlar yine saldırıyor, teknik olarak hepsi sadece sözdizimsel şeker
Etkiler sistemlerinin açık monadlarla karşılaştırılmasını, aynı temel anlamsal yapı için farklı sözdizimleri olarak görüyorum. I/O, yığın referansları ve tam işlevsel mantık özellikleri ile bile, etkiler anotasyonlarına sahip Verse dilimizdeki her şey Haskell monadlarına çevrilebilir.