static-typing- все статьи тега
В чем разница между статической типизацией и языки с динамической типизацией?
Я много слышу, что новые языки программирования динамически типизированы, но что это на самом деле означает, когда мы говорим, что язык динамически типизирован против статически типизированного? ...
В чем разница между строго типизированным языком и статически типизированным языком?
кроме того, означает ли одно другое? ...
Вводит ли Java-кастинг накладные расходы? Зачем?
есть ли накладные расходы, когда мы бросаем объекты одного типа в другой? Или компилятор просто решает все и нет никаких затрат во время выполнения? Это общие вещи, или бывают разные случаи? например, предположим, что у нас есть массив Object[], где каждый элемент может иметь различные типы. Но мы всегда точно знаем, что, скажем, элемент 0 является двойным, элемент 1-строкой. (Я знаю, что это неправильный дизайн, но давайте просто предположим, что я должен был сделать этот.) информация о типе ...
Недостатки системы типа Scala по сравнению с Haskell?
Я читал, что система типов Scala ослаблена взаимодействием Java и поэтому не может выполнять некоторые из тех же полномочий, что и система типов Haskell. Это правда? Это слабость из-за стирания типа, или я ошибаюсь?во всех смыслах? Является ли эта разница причиной того, что у Scala нет typeclasses? ...