Oℕ
а он шо, передумал?
давно
Size: a a a
2020 August 11
Oℕ
он решил, что имлиситы лучшее
SK
а он шо, передумал?
может, потом что и придумает, но со всей очевидностью системы эффектов в дотти не будет
SK
ну или дотти еще лет на 110 задержится
λ
ну он как раз в этом толке позкаывает как сделать с помощью имплисит функций
λ
примерчик небольшой
Oℕ
Ну имплиситы туда же скатываются, нужно заранее в сигнатуре перечислить всё, что хочешь юзать в выражении
λ
и он говорит что этот лечится тайп алиасами)
мы же счас почти то же самое делаем баундами
мы же счас почти то же самое делаем баундами
Oℕ
и он говорит что этот лечится тайп алиасами)
мы же счас почти то же самое делаем баундами
мы же счас почти то же самое делаем баундами
Это не лечится тайп алиасами
Oℕ
Ты можешь с помощью тайпалиасов сократить количество букв, которые нужно писать заранее
Oℕ
Но всё равно ты должен сам перечислить всё, что планируешь
Oℕ
Мало того, имплиситы оч скверно ещё склеиваются
w
Мало того, имплиситы оч скверно ещё склеиваются
Эх, сча бы склеиваются
SK
для эффектов честный роу полиморфизм бы
Oℕ
Для примера можно зио глянуть - наиспользовал функций и конпелятор сам вывел, что ты там наиспользовал
Oℕ
Можно похожее сделать в инишал кодировке с помощью юнионов
Oℕ
Проблема в том, что хендлеры оч плохо композятся