Мне любопытно, какие языки со статической типизацией не поддерживают дженериков (и в меньшей степени, какие языки исторически не имели дженериков) и как они с этим справляются. Пользователи просто транслируют повсюду? Есть ли какой-то особый соус...

Когда я определяю функцию в Common Lisp следующим образом: (defun foo (n) (declare (type fixnum n)) (+ n 42)) Я ожидал, что такой вызов, как (foo "a") , сразу же потерпит неудачу, но вместо этого он потерпит неудачу при вызове + ....

(Это вопрос типа теории CS; я надеюсь, что это приемлемо.) Дебаты Lisp-1 vs Lisp-2 " касаются того, пространство имен функций должно отличаться от пространства имен всех других переменных, и это актуально для языков с динамической типизацией,...

Возьмем простую функцию, которая увеличивает целое число: Статический ввод: function incrementNumber(int n) { n = n + 1; } Динамический ввод: function incrementNumber(n) { if (type of n != int) { throw Error;...

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

У меня есть два базовых класса, Foo и Bar , и класс Worker , который ожидает объекты, которые ведут себя как Foo . Затем я добавляю еще один класс, который реализует все соответствующие атрибуты и методы из Foo , но мне не удалось передать это...

Учитывая следующие определения типов: type BaseItem = { name: string; purchasedAt: string; purchasePrice: number; }; type AvailableItem = BaseItem; type SoldItem = BaseItem & { soldAt: string; sellingPrice: number; }; export type...

У меня есть класс, который наследуется от typing.Generic и передает один TypeVar в качестве параметра. Позже в коде я хотел бы: Статически (не во время выполнения) получить параметр TypeVar из класса Псевдоним переменной другого типа...

У меня есть базовый класс Generic , который возвращает себя одним методом ( get_self ). Я типа намекнул как таковой. Затем у меня есть дочерний класс этого базового класса, который передает аргумент типа для Generic . В этом дочернем классе я...