в🧇
Мы о том, что не понятно как стандартизировать борроу чекер, учитывая что со временем он значительно меняется
Size: a a a
2020 September 04
T1
Мы о том, что не понятно как стандартизировать борроу чекер, учитывая что со временем он значительно меняется
Стандартизировать интерфейс просто тогда
T1
А если не получается сделать обращённый интерфейс, то нахуя стандартизировать вообще
в🧇
Какой интерфейс?...
MB
Стандартизировать интерфейс просто тогда
Не интерфейс, а реализацию.
T1
Не интерфейс, а реализацию.
Нет, интерфейс
MB
Реализация борроучекера должна одинаково работать во всех компиляторах.
T1
Нахуя углубляться в имплементацию, боже
T1
Стандартизируй вход и выход и все, и что и когда срабатывает
T1
Реализация борроучекера должна одинаково работать во всех компиляторах.
Нет, она просто должна придерживаться определенным правилам
MB
Стандартизируй вход и выход и все, и что и когда срабатывает
У борроучекера нет интерфейса, видимого для внешнего пользователя.
MB
Нет, она просто должна придерживаться определенным правилам
Вот эти вот правила по своей сложности будут того же порядка, что и борроучекер.
в🧇
Стандартизируй вход и выход и все, и что и когда срабатывает
Ещё раз: на одинаковых входных данных разные версии борроу чекера выдают разные результаты
T1
И в чем проблема ваша?
MB
И отклонения в любую сторону крайне плохи, так как пораждают несовместимость
JC
У борроучекера нет интерфейса, видимого для внешнего пользователя.
всмысле, а как же вот это, ну попиши пол года, и все станет очевидно🙈
MB
И в чем проблема ваша?
Проблема. Пусть в rustc модный молодежный борроучекер на нейросетках и прологе, а в mrustc всего лишь nll.
Тогда многие программы, разработанные с помощью rustc, под mrustc просто не скомпилируются.
Тогда многие программы, разработанные с помощью rustc, под mrustc просто не скомпилируются.
T1
И в чем проблема лол? Я же говорю задокументируйте нужный интерфейс, а углубляться в имплементацию не надо, тебе не важно как компилятор реализует что-то с тем условием что имплементация подчиняется каким-то определённым правилам.
в🧇
И в чем проблема лол? Я же говорю задокументируйте нужный интерфейс, а углубляться в имплементацию не надо, тебе не важно как компилятор реализует что-то с тем условием что имплементация подчиняется каким-то определённым правилам.
Ну вот что ты можешь сказать про абстрактный борроу чекер в вакууме? Что в твоём понимании интерфейс борроу чекера? Какого рода правилам он должен подчиняться?
MB
И в чем проблема лол? Я же говорю задокументируйте нужный интерфейс, а углубляться в имплементацию не надо, тебе не важно как компилятор реализует что-то с тем условием что имплементация подчиняется каким-то определённым правилам.
Борроучекер общается только с другими подсистемами компилятора. У него нет API для пользователя, поэтому непонятно какой интерфейс борроучекера предлагается стандартизировать.