Quorum

Quorum is a programming language which is designed based on academic studies. It calls itself “the world’s first evidence oriented programming language”. ¹

They used included studies which: ¹

• Show a positive impact of statically typed languages over dynamically typed ones.
• Show that STM can reduce programming time and prevent syncronization bugs
• Show that notation has a large impact on novices
• Show that inheritance depth is not strongly correlated with maintenance effort

Footnotes

1. 20250617075502 ↩ ↩²