D
@psilon, я как смог тебе ответил в мейне, если чё то не так понял извини
Size: a a a
2021 January 15
ΑZ
если автору насрать — просто делает полиморфный эффект, нет?
и нафига этот шум?
ΑZ
вот прикинь что в КАЖДОЙ растовой сигнатуре надо теперь писать | bottom
ΑZ
стало легче кому-то?
H
и нафига этот шум?
хочешь выражать самый обобщённый эффект — пиши Future везде
ΑZ
хочешь выражать самый обобщённый эффект — пиши Future везде
это не самый обобщенный эффект
ΑZ
это эффект Async
H
обобщеннее чем не `fn(...) -> u32
ΑZ
и? например он не дает множественности результата как list
H
это нонсенс, я говорю что Future<u32> это обобщеннее чем u32
ΑZ
List u32 тоже обобщеннее
ΑZ
ты же читал про конусы/коконусы
H
List u32 тоже обобщеннее
Ну вот с твоим подходом везде писать такие вот list и future
H
Так как это невыносимо, в расте пишут отдельно те же функции для футур и для синхронных функций
H
Полиморфизм по эффектам бы позволил писать 1 раз
ΑZ
ты мне правда щас объясняешь что такое M : Monad?
ΑZ
я тебе говорю что невозможно предусмотреть все юзкейсы
ΑZ
и если автор не описал эффект который тебе нужен то
1. сосать бибу потому что иди нахер
2. использовать эффект на свой страх и риск
1. сосать бибу потому что иди нахер
2. использовать эффект на свой страх и риск
CD
я тебе говорю что невозможно предусмотреть все юзкейсы
мы же придём в итоге, что js - сила?
ΑZ
ad absurdum - демагогический прием