AZ
а че с выводом
ну подумай сам, функции Foo i32 и Foo i32 (i32 = 0) обе подходят под вызов
Foo 10Size: a a a
2020 July 16
p
в шарпе по крайней мере за циклические импорты я сразу с вертухи бью
ну и норм
AZ
в чуть более сложных случаях с тайпклассами, неймпейсами и остальным движок быстро охуевает
AZ
ну и норм
ну можно пойти по принципу тайпскрипта
AZ
он если за 100 шагов не смог вывести тип считает что типы совпадают и ошибки нет
p
в шарпе по крайней мере за циклические импорты я сразу с вертухи бью
data Foo = Foo Bar | Baz
data Bar = Bar [Foo]
data Bar = Bar [Foo]
p
и это исходит из самой постановки задачи
p
он если за 100 шагов не смог вывести тип считает что типы совпадают и ошибки нет
лол
AZ
data Foo = Foo Bar | Baz
data Bar = Bar [Foo]
data Bar = Bar [Foo]
это не импорты, а типы
AZ
циклические типы в 1 сборке сидеть должны
p
это не импорты, а типы
дык я хотел в разные модули вынести
p
а нельзя
AZ
red75prime
Potential contract violations go ding-ding-ding.
ох уж эти растовики, всё у них потенциально уб, ничего полезног онаписать не могут, не обложившись мягими стенами и убрав острые предметы
AZ
а нельзя
нигде нельзя, а где можно, там это плохая идея
AZ
например в шарпе вроде можно так объявлять
AZ
в итоге инкрементальная компиляция идёт нахуй, тупо пересборка всего проекта
AZ
удобно? Очень
p
в расте работает
p
нигде нельзя, а где можно, там это плохая идея
мне НУЖНО