Sofia e eu (Gabi) fizemos a rinha com lean4 e c++ para FFI.
Fizemos 5 fucking mini libs para Parser de HTTP com PicoHTTPParser, um parser combinator, binding pra postgres, uma lib para dar handle no HTTP em LowLevel e dar um mini framework express like que ficou lindissimo inclusive.
So faltou provar formalmente as coisas e usar mais tipos dependentes mas fizemos em dois dias entao ta tudo ok assim