p
А дырки чем-то лучше
fn hole<T>() -> T { todo!() }?да, ты можешь в репле посмотреть тип дырки
fn hole<T>() -> T { todo!() }?Size: a a a
2020 August 05
AZ
А дырки чем-то лучше
я только что сказал:
1. они могут принимать аргументы
2. у них тип правильный, а не !
1. они могут принимать аргументы
2. у них тип правильный, а не !
KR
Соответственно и проблемы с трейтами не будет
В
подтип
нет. это отдельный тип + коерсия
AZ
нет. это отдельный тип + коерсия
нет
AZ
боттом - подтип всех типов
Собственно потому он так и называется
Собственно потому он так и называется
p
p
p
@enomad о чем с ним еще говорить я не знаю
В
о, чувак никогда с лестницы не падал
SP
он тут вроде сидел даже
p
он тут вроде сидел даже
до сих пор тут
SP
@enomad о чем с ним еще говорить я не знаю
он не знает ту метафору жуковского смешную
SP
ну ваще ровный вроде был чувак. чат поменялся и все - какаято взаимная агрессия, кек
В
я только что сказал:
1. они могут принимать аргументы
2. у них тип правильный, а не !
1. они могут принимать аргументы
2. у них тип правильный, а не !
Ну в принципе в расте можно сделать
На счёт второго так и не понял,
hole::<fn(i32, i32) -> i32>()(1, 2), но вывод типов уже очевидно не работает, тут понял.На счёт второго так и не понял,
hole возвращает T никаких ! ты не видишь, это деталь реализацииВ
боттом - подтип всех типов
Собственно потому он так и называется
Собственно потому он так и называется
Но кто сказал что
! в расте это именно боттом?AZ
Но кто сказал что
! в расте это именно боттом?потому что это never type. Любой ненаселенный тип это боттом. В теоркате можно это даже доказать формально
p
Ну в принципе в расте можно сделать
На счёт второго так и не понял,
hole::<fn(i32, i32) -> i32>()(1, 2), но вывод типов уже очевидно не работает, тут понял.На счёт второго так и не понял,
hole возвращает T никаких ! ты не видишь, это деталь реализацииты можешь посмотреть тип unimpplemented!() ? не можешь. а дырки можешь.
В
ты можешь посмотреть тип unimpplemented!() ? не можешь. а дырки можешь.
Это к туллингу относиться
AZ
в алгебре типов есть два важных объекта - начальный объект (это боттом), у него 0 возможных значений, и терминальный объект, это юнит, у него 1 возможное значение