undefined | Better HN

0 pointsmathverse1y ago0 comments

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

0 comments

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

0 pointsmathverse1y ago0 comments

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

0 comments

actionfromafar1y ago

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