История изменений
Исправление x4DA, (текущая версия) :
рассказывать почему в ракетке есть local type inference и нету module level
не совсем понял.
почему sub-tuping важен
потому что
(U A B) :> A на этом построен occurency typing
Исходная версия x4DA, :
рассказывать почему в ракетке есть local type inference и нету module level
не совсем понял.
почему sub-tuping важен
потому что (U A B) :> A на этом построен occurency typing