Как раз в сентябре начинал

Но сейчас конечно бы сделал эффективнее

я думаю с моим ооп тебе тоже норм было бы

>ооп

ХЗ

В рамде самая киллер-фича для меня сейчас то, что она обеспечивает интероп между кастомными типами данных

Включая всякие сортировки чейны и прочие uniq

рамду подключи и фигачь

Местами добавил. Но местами и весь жс функциональный

@ZeroBias ты шаришь в TL?

https://github.com/zerobias/ties Немножк))

А что?

о

я хотел спросить что # [ t ] значит в определении вектора

я хотел спросить что # [ t ] значит в определении вектора

Размер

оо

а как это распарсить?

В каком плане? Как прочитать или ты прям бинарный парсер хочешь сделать?

как прочитать

Vector 2 [ string ]

(например)

В формальной спеке есть про это

https://core.telegram.org/mtproto/TL-formal

я пытался там найти

Identifier #: This type is used to specify a special type of nonnegative integers in the range from 0 to 2^31-1; its main purpose is the same as that of Type. There are two built-in constructors: O : # and S : # -> # (“null” and “next number”, respectively), which work as if # was defined using the schema

я пытался там найти

Я пока этот парсер не сделал вообще не въезжал к чему этот хэштег и что там вообще происходит

лоол

надо попробовать

Identifier #: This type is used to specify a special type of nonnegative integers in the range from 0 to 2^31-1; its main purpose is the same as that of Type. There are two built-in constructors: O : # and S : # -> # (“null” and “next number”, respectively), which work as if # was defined using the schema

думал здесь написано про отображение в бинарном формате

надо попробовать

То что к нему есть формальная спека сильно облегчает дело) Можно имплементировать не включая голову Знай себе добавляй в парсер небольшие отрывки правил

А потом в конце вжух — и парсится

думал здесь написано про отображение в бинарном формате

Ну да

0x2d84d5f5 0x1cb5c415 0x3 0x2 0x3 0x4

но это другое использование этого символа ведь

Не

getUsers#2d84d5f5 (Vector int) = Vector User; vector#0x1cb5c415 getUser([ 2,3,4 ])

И смотри, прям по бинарным данным всё раскладывается

ну, здесь # указывает как сериализуется

а в том примере как nat числовой аргумент

vector 3

Как десериализуется — то же самое просто не так наглядно так так там дофига данных

Но вектор всё равно 3

но у нас и идентификатор вектора и количество аргументов в бинарном формате

Ты сказал что тебе только как читать, а сам про сериализацию спрашиваешь

Это зависимый тип, емнип, поэтому # характеризует размер вектора

лаадно

Тип вектора так сформулирован, сам по себе

а квадратные скобки что делают?

повторение?

Содержащийся тип

Не уверен что это тождественно повторению

В языке, к слову, куча неиспользуемых фич, так что номинальный и реальный смысл — не обязательно одно и то же

Одни зависимые типы, сведённые к простым дженерикам чего стоят

Не уверен что это тождественно повторению

оо я понял

# [ t ] это повторение t # раз

В простом кейсе очевидно да

>очевидно

?

Он же единственный реальный кейс

Но я когда начал делать парсер по спеке везде натыкался на то, что появляется тонна побочных кейсов которые не оч понятно как трактовать

Что-нибудь типа того что в этих квадратных скобках может быть больше одного типа — и понимай как знаешь))

лоол

а если как Tuple представить то имеет смысл?

ХЗ

ERROR: S client not available

Если поймёшь то и мне расскажи плз ?

Tuple вроде не оч используется, сложно судить

https://core.telegram.org/mtproto/TL-patterns Вот тут часть инфы которую ты мог пропустить

втф

в параллели с кортежами они используют новый тип

это нечестно

??

Там и dependent types читерские и ваще

??

ДА

Ето норма

отлично

Из-за телеграма у меня атрофировалось чувство удивления

Кто писал под телеграм, тот в цирке не смеётся

Я тип правильно понимаю, что слева конструктор, справа тип? long ? = Long Это конструктор типа Long?

Ага

Конструкторов может быть больше одного

То есть long 5 Это значение типа Long?

Тут уже несколько сложнее

Тебе наверняка проще будет пройтись по доке от автора, он математик в смежной области

https://core.telegram.org/mtproto/TL-polymorph

таки тогда вопрос, почему в типе вектора нет длины, только в конструкторе

https://core.telegram.org/mtproto/TL-dependent

дока очень запутанная

Это тогда не совсем завтипы

Это просто как тупо хранить длину в length в js

Окей, сейчас почитаю

Это скорее я гоню, там зав типы отдельно описаны, можешь глянуть выше

дока очень запутанная

Мягко говоря

Я себе в структурированное дерево всё выписывал чтобы как-то ориентироваться

В чем предназначение языка? Формализовать запросы?