Explore
Mech is a programming system as well as a programming language. Its design includes the language’s type system and memory model, together with the ways programs are written, run, inspected, adapted, and shared. The technical dimensions framework[1]J. Jakubovic, J. Edwards, and T. Petricek, “Technical Dimensions of Programming Systems,” The Art, Science, and Engineering of Programming, vol. 7, no. 3, pp. 13:1–13:59, Feb. 2023, doi: 10.22152/programming-journal.org/2023/7/13. View paper provides a taxonomy for describing and comparing programming systems across this broader range of concerns. This page applies the framework to Mech through descriptions and working examples.
Languages
Technical dimensions
Contribute
Correct a Mech entry, propose a dimension, or add evidence by opening a pull request.