Extend a Python-Like Language into Your Own Type-Safe DSL
orti Saturday, February 28, 2026
Summary
TAPL (Types and Programming Languages) is an open-source programming language that emphasizes type safety and formal semantics. It is designed to serve as a platform for research and teaching in the field of programming language design and implementation.
1
0
Summary
tapl-lang.org