Вопросы с тегом «static-typing»

948
В чем разница между статически типизированными и динамически типизированными языками?

Я часто слышу, что новые языки программирования динамически типизированы, но что это на самом деле означает, когда мы говорим, что язык динамически типизирован или статически...

767
Интерфейс против Базового класса

Когда я должен использовать интерфейс и когда я должен использовать базовый класс? Должен ли он всегда быть интерфейсом, если я не хочу определять базовую реализацию методов? Если у меня есть класс собак и кошек. Почему я хотел бы реализовать IPet вместо PetBase? Я могу понять наличие интерфейсов...

319
Статический / Динамический против Сильный / Слабый

Я вижу эти термины повсеместно в программировании, и у меня есть смутное представление о том, что они имеют в виду. Поиск показывает, что на самом деле такие вещи задавались по всему переполнению стека. Насколько я знаю, статическая / динамическая типизация в языках слегка отличается от строгой /...

107
Возможен ли статически типизированный полный вариант Лиспа?

Возможен ли статически типизированный полный вариант Лиспа? Есть ли вообще смысл в существовании чего-то подобного? Я считаю, что одним из достоинств языка Lisp является простота его определения. Подорвет ли статическая типизация этот основной...

105
Вносит ли кастинг Java накладные расходы? Зачем?

Есть ли накладные расходы при преобразовании объектов одного типа в другой? Или компилятор просто все разрешает, и во время выполнения нет затрат? Это общие вещи, или бывают разные случаи? Например, предположим, что у нас есть массив Object [], где каждый элемент может иметь другой тип. Но мы...

102
TypeScript: проблемы с системой типов

Я просто тестирую машинописный текст в VisualStudio 2012, и у меня проблема с его системой типов. На моем html-сайте есть тег холста с идентификатором «mycanvas». Я пытаюсь нарисовать прямоугольник на этом холсте. Вот код var canvas = document.getElementById("mycanvas"); var ctx:...

16
Требование объявления типа в Юлии

Есть ли способ явно требовать от Юлии (например, в рамках модуля или пакета), что типы должны быть объявлены ? Есть ли , например , PackageCompilerили Lint.jlесть какая - либо поддержка для таких проверок? В более широком смысле, предоставляет ли стандартный дистрибутив Julia какой-либо статический...