В
Size: a a a
2020 March 26
R
В
да хуй знает
ᛒ
тогда надо на джаву или котлин переходить ^_^
да челы пололировали сказали форматер ебанем с вставкой линии меж строками + в комментах в доке будем пруфы накидывать в коке на функцию
OS
ΛВ
чота не то у нис с нафингом
E
чота не то у нис с нафингом
научи как правильно
ΛВ
научи как правильно
ну тип Nothing же так не реализовать, он должен быть подтипом любого типа
ΛВ
а тут он подтип Эни
E
ΛВ
и вообще слева в иерархии
ΛВ
надо еще forall A Nothing extends A
ΛВ
я вот кстати хз как это сделано в скале
E
да ладно, я просто попросил привести правильную реализацию
ΛВ
знаю, что это боттом
ΛВ
но как сделан хз
E
наверное на уровне компилятора