Can signatures be made simpler and error messages be made better?

Sat Jun 12 12:16:52 UTC 2021

On Saturday, 12 June 2021 at 12:12:51 UTC, sighoya wrote:
> On Saturday, 12 June 2021 at 11:35:58 UTC, Paulo Pinto wrote:
>> Rust slowness is mostly due to LLVM, with another backends 
>> like cranelift and using lld it is considerably faster.
>
> And what about mir? Guys, every IR is a cost.

Not necessarily. If you can make it independent, like 
verification, then it can run in parallell (even on another 
computing node).

If you can make the verification unit self-contained then you can 
also cache results.

It is a combination of well thought out language design and 
tooling design.