ΑZ
нет, я выше привел пример который работает без плюсовых шаблонов
fn function(identifier: String) -> FunctionInfo
и больше ничегоSize: a a a
2020 December 29
ΑZ
нужно апи компилятора вида
ΑZ
ну типа такого которым пользуется rust-analyzer, только публичное
CD
нужно апи компилятора вида
fn function(identifier: String) -> FunctionInfo
и больше ничегоэто очень жесткое требование на самом деле
CD
нужно апи компилятора вида
fn function(identifier: String) -> FunctionInfo
и больше ничегодостаточно "компилируется(выражение)"
ΑZ
достаточно "компилируется(выражение)"
нет, мне ваших сфинае не нужно
ΑZ
с апи я могу сгенерировать единственный правильный вариант т.к. у меня будет вся инфа нужная
CD
с апи я могу сгенерировать единственный правильный вариант т.к. у меня будет вся инфа нужная
ну плюсы не любят FunctionInfo просто потому, что шаблон функции / перегрузка / etc, тебе же надо как-то записать в FunctionInfo что это fn<T>
CD
непонятно, почему identifier соответствует одной функции, а не семейству
CD
нужно апи компилятора вида
fn function(identifier: String) -> FunctionInfo
и больше ничегоC# генерики чисто компильтаймовые, а в расте вроде бы уже нет :)
CD
а сфинае, собственно, даёт базовую операцию на юниверсе
ΑZ
непонятно, почему identifier соответствует одной функции, а не семейству
ну кстати не помню как шарп это резолвит
а
C# генерики чисто компильтаймовые, а в расте вроде бы уже нет :)
Ты всё перепутал
В Rust дженерики компильтаймовые -- они всегда монорфизируются
В C# дженерики рантаймовые -- они есть в .NET байткоде и могут по-разному реализовываться
В Rust дженерики компильтаймовые -- они всегда монорфизируются
В C# дженерики рантаймовые -- они есть в .NET байткоде и могут по-разному реализовываться
ΑZ
по-моему он принимает не строку а
BlablaSyntax который содержит конкретный файл и спан в котором текст находится, откуда он определяет уже однозначно что за тип и тпp
Ты всё перепутал
В Rust дженерики компильтаймовые -- они всегда монорфизируются
В C# дженерики рантаймовые -- они есть в .NET байткоде и могут по-разному реализовываться
В Rust дженерики компильтаймовые -- они всегда монорфизируются
В C# дженерики рантаймовые -- они есть в .NET байткоде и могут по-разному реализовываться
Да он небось как царь
p
У царя Раст скриптуха потому что монгморфизация после тайпчека
CD
Ты всё перепутал
В Rust дженерики компильтаймовые -- они всегда монорфизируются
В C# дженерики рантаймовые -- они есть в .NET байткоде и могут по-разному реализовываться
В Rust дженерики компильтаймовые -- они всегда монорфизируются
В C# дженерики рантаймовые -- они есть в .NET байткоде и могут по-разному реализовываться
Я как раз не перепутал, странно называть генерики в C# рантаймовыми, если учитывать, что в рантайме они полностью утрачены
p
и
register(my_di!(ArgsFromDi: Foo, Bar, Baz => foo))Да я все придумал уже не переживай. Там строчек 200-350 говнокода с франком.
ΑZ
Да я все придумал уже не переживай. Там строчек 200-350 говнокода с франком.
ты забыл первое ограничение :/
p
ты забыл первое ограничение :/
Ты не увидишь франк, обещаю