undefined | Better HN

0 pointsmathverse2y ago0 comments

Could not in theory the stdlib and most used libraries be heavily type annotated to assist the compiler?

0 comments

1 comments · 1 top-level

The compiler could grow a cache of sorts, analysing "bubbles" of code which does not touch other bubbles and keep type info (and compilation output!).

j / k navigate · click thread line to collapse