KR
Та какая-то старая enrico fermi
Size: a a a
2020 July 31
H
забавно
H
это не работает
H
и не из-за присвоения
() = aV
А почему должно
H
а это работает уже
H
я надеялся на то что он мне выведет тип
aH
вот почему в расте нет пустот как в идрисе
H
щас бы Ctrl+Alt+T жмакнул и всё
H
IDE мне офк перестала уже давно подсвечивать типы
V
вот почему в расте нет пустот как в идрисе
?
V
А, ты хочешь чтобы компилятор сказал что за тип у тебя?
H
пустоты в идрисе это элемент синтаксиса заменяющий термы
H
Vetro
А, ты хочешь чтобы компилятор сказал что за тип у тебя?
да
V
Можно let _: () = <переменная типа>
H
посмотри тут
V
Так там просто у тебя let ()
V
Так не работает
H
это совершенно не имеет разницы