README.md

Formality-Benchmarks

Simple benchmarks for comparing Formality Performance with other languages

Benchmark Cases

1. Flip bits in an array 2^20 times
2. Apply x=x+1 to all elements in an array 2^20 times
3. Call a function a googol times times
4. Forth test case: Sort a list 2^22 times

Tested Languages

• Formality
• C
• Haskell
• JavaScript
• Python