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

[sighoya]

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.

> They are also in the process of moving lifetime resolution 
> engine to a Datalog based one, something that D most likely 
> will never do,
> http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/

Interesting, but it won't cut theoretical complexity just by 
using better heuristics.