к
data Unit = Unit
data Void
Size: a a a
2018 June 14
AE
Nothing is a subtype of every other type (including scala.Null); there exist no instances of this type.
AE
no instances of this type
AK
похоже
к
Nothing is a subtype of every other type (including scala.Null); there exist no instances of this type.
вот Nothing это empty, да
RA
го в пыхе шаблоны рендерить
Гоу
🦉
адово
к
если инетерсна теория, можно прочитать примитивно у Бартоша в терминальный и инициальных объектах категорий
🦉
открыл сундучок блэд…
🦉
но тс все равно говно
🦉
😄
А
но тс все равно говно
всё говно, что не моча
D
что за книга ? Есть фул ?
🦉
но тс все равно говно
как минимум из-за кучи infer и ситуации с тьюплами
к
что за книга ? Есть фул ?
🦉
Дима показывал кейс с невыводом типов, че-то там про Animal )
к
тут по главам. Я делал давно склейку всех глав, но не уверен, что там ничего не обновилось
🦉
а как в тс вариативность указывать?