logoalt Hacker News

pcwalton • yesterday at 8:36 PM • 1 reply • view on HN

It remains to be seen whether you can have a useful borrow checker on top of a simpler type system (at least, a type system that's significantly simpler so as to meaningfully reduce compile times). I have my doubts, personally.


Replies

rikarendsmp • yesterday at 10:41 PM

Relax runs the borrow checker 'lazily' so it already starts your app whilst the borrow checker runs asynchronous. It's jokingly called 'gandalf' because I think It halts the JIT if it finds a problem.