ΛВ
Vasiliy
т.е. может быть A => F[Nothing]?
тогда через юнит можно запретить nothing?
или я туплю щас
тогда через юнит можно запретить nothing?
или я туплю щас
а че ж не A => _
Size: a a a
2020 September 10
VS
(a: F[Nothing]).void
учитывая имплементацию войда, скорее всего тут будет эксепшон
NV
учитывая имплементацию войда, скорее всего тут будет эксепшон
Мы про F = Task говорим? Тогда там вполне может быть незавершаемое действие
NV
Task.never
VS
кто первый скатился на конкретную монаду, тот сдался!
NV
И нет, эксепшона там тоже не будет, просто юнит никогда не вернётся
VS
но ладно, с .never норм кейс
NV
кто первый скатился на конкретную монаду, тот сдался!
Тот кто заговорил про эксепшоны, наверное
VS
очень полезно в брекете
AT
я забыл о чем вы там спорите
пиздишь
AT
никогда и не знал
V
(a: F[Nothing]).void
ну так и внезапный println никто не запретит вне io
NV
Vasiliy
ну так и внезапный println никто не запретит вне io
и
NV
не понял
Oℕ
Vasiliy
т.е. может быть A => F[Nothing]?
тогда через юнит можно запретить nothing?
или я туплю щас
тогда через юнит можно запретить nothing?
или я туплю щас
тупишь
V
тупишь
ок
ΛВ
Vasiliy
ну так и внезапный println никто не запретит вне io
его ничего не запретит
ΛВ
окромя скаллуззи