Запитання з тегом «static-typing»

Я багато чую, що нові мови програмування динамічно набираються, але що це насправді означає, коли ми говоримо, що мова динамічно набирається та статично набирається?

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

Коли я повинен використовувати інтерфейс і коли я повинен використовувати базовий клас? Чи повинен це завжди бути інтерфейс, якщо я не хочу фактично визначати базову реалізацію методів? Якщо у мене є клас Собака і Кішка. Чому я хотів би реалізувати IPet замість PetBase? Я можу зрозуміти наявність інтерфейсів для ISheds …

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

Також, чи має на увазі одне інше?

440 type-safety  strong-typing  static-typing 

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

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

Чи можливий статично набраний повний варіант Lisp? Чи навіть має сенс існувати щось подібне? Я вважаю, що однією з чеснот мови 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); На жаль, …

101 html  types  web  typescript  static-typing 

У специфікації немає багато інформації про те, що це за тип атрибуції, і, звичайно, там немає нічого про призначення. Окрім того, щоб "змусити прохідні варарги працювати", для чого б я використовував атрибуцію типу? Нижче наведено шкалу REPL для синтаксису та ефектів його використання. scala> val s = "Dave" s: java.lang.String …

75 scala  static-typing  ascription 

Чи є якийсь спосіб явно вимагати в Julia (наприклад, сказати в модулі чи пакеті), що типи повинні бути оголошені ? Чи є, наприклад, PackageCompilerчи Lint.jlє підтримка таких перевірок? Загалом, чи пропонує стандартний розподіл Julia який-небудь аналізатор статичного коду або його аналог, який міг би допомогти перевірити цю вимогу? Як мотивуючий …

16 compilation  julia  lint  static-typing  dynamic-typing