Size: a a a

cxx.Дискуссионная

2020 February 29

АВ

Александр Вольнов in cxx.Дискуссионная
Т-34 85
язык будет компилироваться в c++ ?
Поскольку типизация динамическая, то в общем случае нет. Но для его статического подмножества можно и сделать компиляцию в C/C++ и другие языки.
Под статическим подмножеством я подразумеваю, когда во время компиляции известны все входные данные, от которых могут зависеть типы, что позволяет вычислить все типы во время компиляции.
источник

BB

Bohdan Bessonov in cxx.Дискуссионная
Скину сотку рублей на номер телефона тому, кто соберет эти идеи воедино, можно текстовиком, можно зафорвардить
источник

Т8

Т-34 85 in cxx.Дискуссионная
Александр Вольнов
Поскольку типизация динамическая, то в общем случае нет. Но для его статического подмножества можно и сделать компиляцию в C/C++ и другие языки.
Под статическим подмножеством я подразумеваю, когда во время компиляции известны все входные данные, от которых могут зависеть типы, что позволяет вычислить все типы во время компиляции.
а как дебажить динамически типизированную версию?
источник

i

ivan in cxx.Дискуссионная
Т-34 85
а как дебажить динамически типизированную версию?
ну не дебажится и не дебажится
источник

Т8

Т-34 85 in cxx.Дискуссионная
ivan
ну не дебажится и не дебажится
"а надо писать без багов!"
источник

i

ivan in cxx.Дискуссионная
ага
источник

i

ivan in cxx.Дискуссионная
очень хочется помочь Александру, но я только недавно понял что такое указатель (наверное), поэтому надо избегать лишний раз кривых понятий и непонятного синтеза
источник

АВ

Александр Вольнов in cxx.Дискуссионная
Т-34 85
а как дебажить динамически типизированную версию?
Запустить программу в визуализаторе, который я планирую сделать, и увидеть иерархию всех выражений в виде дерева. Зайти в нужную ветку и посмотреть что там вычислилось.
источник

i

ivan in cxx.Дискуссионная
и мне не понятно зачем делать типы "плавающей" длины, пытаясь избегать преобразования типов, и сделав какой-то неявный кастинг я хз
источник

KK

Kirill Kaymakov in cxx.Дискуссионная
ivan
и мне не понятно зачем делать типы "плавающей" длины, пытаясь избегать преобразования типов, и сделав какой-то неявный кастинг я хз
Типы плавающей длины хорошая вещь, я все в плюсах жду
источник

i

ivan in cxx.Дискуссионная
как средство изучения самого С++ - мб прикольно, но говорить, что это отдельное подмножество... в виде языка...
источник

KK

Kirill Kaymakov in cxx.Дискуссионная
Но тип стандартные тоже нужны
источник

KK

Kirill Kaymakov in cxx.Дискуссионная
Да и есть реализации
источник

Т8

Т-34 85 in cxx.Дискуссионная
Александр Вольнов
Запустить программу в визуализаторе, который я планирую сделать, и увидеть иерархию всех выражений в виде дерева. Зайти в нужную ветку и посмотреть что там вычислилось.
ну, то есть, дебаг будет не самым приятным?
источник

KK

Kirill Kaymakov in cxx.Дискуссионная
Зачем пилить для этого новый язык - мне сложно понять)
источник

АВ

Александр Вольнов in cxx.Дискуссионная
Нет, мой язык декларативный, он этим не похож на другие языки, включая typescript.
источник

i

ivan in cxx.Дискуссионная
ivan
и мне не понятно зачем делать типы "плавающей" длины, пытаясь избегать преобразования типов, и сделав какой-то неявный кастинг я хз
А тут аля попытка переизобретать аксиоматику в рантайме, если грубо говоря
источник

АВ

Александр Вольнов in cxx.Дискуссионная
Т-34 85
ну, то есть, дебаг будет не самым приятным?
Наоборот, самый приятный, можно будет увидеть результат вычисления выражения на любом этапе вычисления. Таким образом, можно даже дебажить "назад" без перезапуска программы.
источник

i

ivan in cxx.Дискуссионная
Александр Вольнов
Нет, мой язык декларативный, он этим не похож на другие языки, включая typescript.
Можно же условно написать меташаблоны для тех же паттернов и попробовать это все как-то минимизировать, плодить ЯП на основе С или С++ - на это лет 5 нужно и пару мультов баксов
источник

Т8

Т-34 85 in cxx.Дискуссионная
Александр Вольнов
Наоборот, самый приятный, можно будет увидеть результат вычисления выражения на любом этапе вычисления. Таким образом, можно даже дебажить "назад" без перезапуска программы.
чего ж тут приятного, когда ты узнаешь об ошибке только тогда, когда она случилась?
источник