G
То есть по-факту тебе нужна спецификация твоего язычка и реализация его через макросы (кодогенераторы) в мейнстримовых языках
Size: a a a
2020 April 03
G
Макросы будут принимать код на твоём языке с зав. типами и тайп-чекать его, если тайп-чекнулось - генерировать уже в мейнстримовый язык
p
ну я думал над генератором кода в другие языки, но хз
G
Ну как по-другому решается я не знаю
G
Хочется простой способ верифицировать конечные автоматы в языках даже со слабой системой типов
G
_простой_
G
Да и не только конечные, просто любые автоматы
G
Зав. типы это позволяют
p
ну я думал что верифицирование пусть происходит только в этом DSL
p
а код генерируется обычный
G
Да, я так и сказал
2020 April 04
C
Да и не только конечные, просто любые автоматы
Верифицировать тюринг машину?
C
Премию дадут, оч большую :)
G
В Idris лёгкими движениями верифицируют абстрактные автоматы
C
В Idris лёгкими движениями верифицируют абстрактные автоматы
Таких не знаю
G
Ну в книге есть примеры
C
Не читал
2020 April 05
G
G
Ахуенно