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

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

948 programming-languages  computer-science  static-typing  dynamic-typing 

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

767 oop  interface  language-agnostic  base-class  static-typing 

Кроме того, одно подразумевает другое?

441 type-safety  strong-typing  static-typing 

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

319 terminology  strong-typing  static-typing  dynamic-typing  weak-typing 

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

107 programming-languages  lisp  static-typing 

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

105 java  performance  casting  static-typing 

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

102 html  types  web  typescript  static-typing 

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

16 compilation  julia  lint  static-typing  dynamic-typing