yeah this take is like, nuclear hot, but u heard it here first folks: no languages that compile by monomorphisation are powerful
Quote Tweet
there are *very* legitimate reasons for not having higher-rank types, yes! if you invoke them, you lose your right to have your type system called "Powerful"
Show this thread
2
8
