But math is done with only type signatures! They do everything with strongly-typed macros! It’s like the limit case of Hindley–Milner types, if did speculative expansion to find better compressions.…

Posters: eshear. eshear

2 likes recorded by the source corpus.