прочих -- там классы все с 1 параметром, поэтому нужно постоянно преобразовывать типы в вычислениях со смешанными типами, почему эта арифметика была сделана не на MPTC?
Потому, что выводиться типы будут только с фундепами
потому, что сначала мптц не было просто (хотя идея есть в первом пейпере про тайпклассы, но там она скорее как работа на будущее рассматривается) ну и не попали они сначала в язык из-за проблем с выводом типов, скорее всего
Обсуждают сегодня