G
Алг. эффектов в Vala нет
Size: a a a
2020 June 07
EG
EG
Пойду дальше читать про идрис всё-таки
G
Укажем две функции - нужно теперь объединение исключений
EG
Надо его выучить
EG
Только я файл с книгой где-то просрал
@hirrolot, напомни название?
@hirrolot, напомни название?
G
Только я файл с книгой где-то просрал
@hirrolot, напомни название?
@hirrolot, напомни название?
Type-driven development with Idris
EG
Спасибо
G
В Idris алг. эффекты есть и это сделать можно
G
Как можно и с помощью обычных Either, Option
G
Почему? Потому что, как Жуковский говорил, алгебраические - значит алгебру можно над ними определить
G
И вот эти ситуации с исключениями/ошибками и функциями высшего порядка требуют этой алгебры
G
Иначе информация теряется о типах
G
Кстати, вот есть на GitHub библиотека, я хочу её использовать в open-source проекте
G
Как её подключить? Просто скачать git clone?
G
Или там ненужные файлы удалить можно? Или там автоматически как-то делают?
VS
Блин, можно не кидать скримеры на ночь глядя!
😁
VS
Блин, можно не кидать скримеры на ночь глядя!
Ты там просто в уме вместо F Option поставь а F[_] считай Option у которого внутри что угодно может быть 😁
p
Ты там просто в уме вместо F Option поставь а F[_] считай Option у которого внутри что угодно может быть 😁
вот нельзя по человечески писать
DS
Ты там просто в уме вместо F Option поставь а F[_] считай Option у которого внутри что угодно может быть 😁
Ну это неправильно, потому что вместо Either, тут может быть и IO, и какое-нибудь ZIO