[Перевод] Типизированные eDSL на Go В статье показано, как реализовать встраиваемый типизированный DSL на Go.…
[Перевод] Типизированные eDSL на Go В статье показано, как реализовать встраиваемый типизированный DSL на Go. Рассматриваемое представление будет типобезопасным, т.е. не позволит сконструировать некорректные выражения (термы), но допускает разные интерпретации выражений. Система типов DSL один-к-одному маппится на систему типов Go, поэтому весь type-checking производится компилятором.Обычно для этого требуются GADT или HKT. В статье... https://clck.ru/3Cq3qq
Автор: Habr все новости об IT