Результаты поиска по запросу "type-systems"

2 ответа

Scala - принудительный размер вектора во время компиляции

Возможно ли обеспечить соблюдение размера

2 ответа

Scala: упорядочение контравариантности

Есть ли причина, по которой Scala

2 ответа

Каковы различия и сходства систем типа Scala и Haskell?

Как объяснить СкалаСистема типов с экспертом Haskell? Какие примеры показывают Scala 'преимущества?Как объяснить ХаскельСистема типов для опытного специа...

ТОП публикаций

9 ответов

Языки динамического типа и языки статического типа

Каковы преимущества и ограничения динамических языков типов по сравнению со статическими языками типов?Смотрите также:что с любовью динамических языков (гора...

2 ответа

Scala: упорядочение контравариантности

Есть ли причина, по которой ScalaOrdering черта не контравариантна? Мотивирующий пример следует. Предположим, я хочу выполнить заказную вставку. У меня может быть функция с подписью def insert[A, B >: A](list: List[A], item: A)(implicit ord: ...

5 ответов

Все ли языки программирования имеют четкую концепцию NIL, null или undefined?

2 ответа

Почему типовая позиция метода помечена как отрицательная?

Извините, я задал несколько вопросов, подобных этому, но до сих пор не могу получить четкий ответ, возможно, мой плохой английский и неясное выражение лица о...

1 ответ

Что подразумевается под типами, зависящими от пути в Scala?

0 ответов

Есть ли в C # эквивалент структурной типизации Scala?

В Scala я могу определитьструктурные типы следующее:

11 ответов

Что такое экзистенциальный тип?