АВ
Строгая и динамическая. А так можно?
В строгости динамической типизации вроде ничего необычного нет, а вот с явной динамической я языков не встречал.
Size: a a a
2020 February 25
AZ
какой же топовый персонаж был обнаружен, аж диву даюсь
AZ
надо со Смитом свести и автором Vlang
AZ
будет вообще красота
N
Знаешь язык ирокезов?
И лакота
Я вообще индионист
Я вообще индионист
KK
Что за Vlang? Где пощупать?
KK
Даже примеры компилируются
KK
Прикольно
АВ
В общем, идея такая. На языке пишется некоторая структура данных типа struct в C++, но без разделения compile-time и run-time.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.
AZ
В общем, идея такая. На языке пишется некоторая структура данных типа struct в C++, но без разделения compile-time и run-time.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.
AZ
вот там кидай свои идеи по языку программирования
Е
В общем, идея такая. На языке пишется некоторая структура данных типа struct в C++, но без разделения compile-time и run-time.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.
По моему что-то такое в расте есть
Е
мне гиролёт пытался обьяснять
АВ
Структуры могут быть переменной длины, у них могут быть опциональные поля и другие фишки. Это позволяет легко описать многие бинарные форматы и протоколы общения между клиентом и сервером.
То есть текст на той части языка, которую я описал - это убийца JSON/XML и любых других кастомных текстовых форматов типа файлов конфигурации, локализации и т.п..
А скомпилированный байткод этого языка полностью отражает эту структуру данных в бинаре - по сути это универсальный бинарный формат, который можно использовать для сериализации и в котором можно эффективно хранить любые данные. Информация о типах содержится в самом файле и не дублируется, в отличие от BSON и подобных форматов. Таким образом обеспечиваются одновременно эффективность и версионность. Можно написать один раз визуализатор, который сможет открыть абсолютно любой файл любой кастомной структуры и увидеть в нём текст, картинки, аудио, видео и т.п., в каком бы виде о там не хранились.
Дальше можно добавить вычисляемые свойства, где можно будет писать всякие арифметические выражения, а также map, reduce, filter и другие функциональные штуки для работы с коллекциями. Это будет альтернативой методам классов других языков программирования.
Короче, убийца всего в одном языке, причём довольно простом - проще Java и C++.
То есть текст на той части языка, которую я описал - это убийца JSON/XML и любых других кастомных текстовых форматов типа файлов конфигурации, локализации и т.п..
А скомпилированный байткод этого языка полностью отражает эту структуру данных в бинаре - по сути это универсальный бинарный формат, который можно использовать для сериализации и в котором можно эффективно хранить любые данные. Информация о типах содержится в самом файле и не дублируется, в отличие от BSON и подобных форматов. Таким образом обеспечиваются одновременно эффективность и версионность. Можно написать один раз визуализатор, который сможет открыть абсолютно любой файл любой кастомной структуры и увидеть в нём текст, картинки, аудио, видео и т.п., в каком бы виде о там не хранились.
Дальше можно добавить вычисляемые свойства, где можно будет писать всякие арифметические выражения, а также map, reduce, filter и другие функциональные штуки для работы с коллекциями. Это будет альтернативой методам классов других языков программирования.
Короче, убийца всего в одном языке, причём довольно простом - проще Java и C++.
AZ
мы тут пока что заняты перетягиванием твоей либы к себе и интеграцией в проекты
AZ
Структуры могут быть переменной длины, у них могут быть опциональные поля и другие фишки. Это позволяет легко описать многие бинарные форматы и протоколы общения между клиентом и сервером.
То есть текст на той части языка, которую я описал - это убийца JSON/XML и любых других кастомных текстовых форматов типа файлов конфигурации, локализации и т.п..
А скомпилированный байткод этого языка полностью отражает эту структуру данных в бинаре - по сути это универсальный бинарный формат, который можно использовать для сериализации и в котором можно эффективно хранить любые данные. Информация о типах содержится в самом файле и не дублируется, в отличие от BSON и подобных форматов. Таким образом обеспечиваются одновременно эффективность и версионность. Можно написать один раз визуализатор, который сможет открыть абсолютно любой файл любой кастомной структуры и увидеть в нём текст, картинки, аудио, видео и т.п., в каком бы виде о там не хранились.
Дальше можно добавить вычисляемые свойства, где можно будет писать всякие арифметические выражения, а также map, reduce, filter и другие функциональные штуки для работы с коллекциями. Это будет альтернативой методам классов других языков программирования.
Короче, убийца всего в одном языке, причём довольно простом - проще Java и C++.
То есть текст на той части языка, которую я описал - это убийца JSON/XML и любых других кастомных текстовых форматов типа файлов конфигурации, локализации и т.п..
А скомпилированный байткод этого языка полностью отражает эту структуру данных в бинаре - по сути это универсальный бинарный формат, который можно использовать для сериализации и в котором можно эффективно хранить любые данные. Информация о типах содержится в самом файле и не дублируется, в отличие от BSON и подобных форматов. Таким образом обеспечиваются одновременно эффективность и версионность. Можно написать один раз визуализатор, который сможет открыть абсолютно любой файл любой кастомной структуры и увидеть в нём текст, картинки, аудио, видео и т.п., в каком бы виде о там не хранились.
Дальше можно добавить вычисляемые свойства, где можно будет писать всякие арифметические выражения, а также map, reduce, filter и другие функциональные штуки для работы с коллекциями. Это будет альтернативой методам классов других языков программирования.
Короче, убийца всего в одном языке, причём довольно простом - проще Java и C++.
иди в компиляторный чатик
KK
мне гиролёт пытался обьяснять
Ты про завтипы?
Е
Ты про завтипы?
Не, что-то другое было