Результаты поиска по запросу "static-typing"
существуют ли статически типизированные функциональные языки?
это трудно для Google, может быть, так есть лучшие ответы? Я исхожу из статически типизированного фона и изучаю функциональное программирование, но меня не совсем волнует динамическая типизация. Любопытно, какие варианты там. один ответ для ...
Подпись типа Haskell с несколькими ограничениями класса
Как я могу иметь несколько ограничений класса, так что если
Применение метода Extension к универсальному классу с универсальным типом
Я работал с универсальным классом в vb.net.И кажется, что метод расширения не может быть применен к универсальному классу без указания типа.У меня есть этот ...
Это динамическая проверка типов, а не статическая проверка типов.
отаю с большой существующей кодовой базой Python и хотел бы начать добавлять аннотации типов, чтобы получить некоторый уровень статической проверки. Я представляю что-то вродеErlang [http://www.erlang.org/doc/reference_manual/typespec.html], ...
В чем разница между статически типизированными и динамически типизированными языками?
Я часто слышу, что новые языки программирования динамически типизированы, но что это на самом деле означает, когда мы говорим, что язык динамически типизирован или статически типизирован?
An inheritor of a base class should have an "is a" relationship. Interface represents An "implements a" relationship. So only use a base class when your inheritors will maintain the is a relationship.
я должен использовать интерфейс и когда я должен использовать базовый класс? Должен ли он всегда быть интерфейсом, если я не хочу определять базовую реализацию методов? Если у меня есть класс собак и кошек. Почему я хотел бы реализовать IPet ...
Какова цель типовых надписей в Scala?
В спецификации не так много информации о том, что такое начертание типа, и, конечно же, там нет ничего о цели для этого. Кроме того, чтобы "сделать прохождение varargs работающим", для чего я использовал бы атрибуцию типа? Ниже приведен некоторый ...
Типизированные языки метапрограммирования [закрыто]
Я хочу сделать метапрограммирование на статически типизированном языке, где будут набираться и мои программы, и мои метапрограммы. Я имею в виду это в сильно...