K0
классический наезд приверженцев динамических языков на языки со статической типизацией
Size: a a a
2020 May 03
SS
Korvin 0x7CFE
это колхозное объяснение
Так чем проще объяснение тем лучше. А если ссылаться на другие умные термины то сложно
K0
в том, что мол везде приходится тыкать типы (а точнее аннотации, но они не знают этого слова)
K0
и что мол в том же руби я могу написать функцию просто от a и b а внутри указать a + b
K0
и мол мне не надо думать какие там будут типы я выражаю идею
K0
Так чем проще объяснение тем лучше. А если ссылаться на другие умные термины то сложно
объяснение не должно терять смысл и подменять одно другим
K0
так вот теория типов позволяет ввести определение _полиморфной_ функции +: a, a → a
K0
то есть для любого типа a: A можно определить рефлексивный оператор + который будет дествовать на нем
K0
это автоматом позволит типировать такие выражения как 2 + 3 и "hello" + "world"
K0
но "hello" + 42 проверку типов уже не пройдет
SS
Да, a + b в руби это тоже полиморфизм но который "приведение типов"
SS
Korvin 0x7CFE
но "hello" + 42 проверку типов уже не пройдет
В js пройдет
K0
это adhock полиморфизм и перегрузка операторов
SS
Я понял, а что такое мономорфизация?))
K0
В js пройдет
потому что в js определены операторы преобразования почти для всех типов
K0
мономорфизация это способ переложить это абстрактнео определение на инструкции процессора не потеряв производительность
K0
и выводить типы дальше
K0
то есть да, при мономорфизации из полиморфной функции делают мономорфную, подставляя конкретные типы
SS
Korvin 0x7CFE
это adhock полиморфизм и перегрузка операторов
ну я +- в этом подразобрался, ad hock это приведение типаов и вроде функции которые overide parent
K0
в итоге ты получаешь не абстрактный
add<T>(a, b) а скажем add<i32>