Is it really better than Lean though? I started learning programming in Haskell but gradually transitioned into Lean, both because it has almost everything Haskell has (minus laziness), great meta-programming support, and most importantly allows me to drop down into proofs / formal verification if needed.

▲

cosmic_quanta 12 hours ago | parent | next [-]

What's the runtime performance of a lean program? I've ever used it.

Haskell has had 36 years to get a really good runtime system (including software transactional memory, pure concurrency bliss) and an amazing optimizing compiler

	▲	nyssos 8 hours ago \| parent [-]
		Good enough to be usable, still several times slower than Haskell.

▲

icrbow 11 hours ago | parent | prev [-]

Better than Lean for what? It certainly has more ready to use packages in a bunch of domains.