Преимущества системы типов Scala
Я исследую язык Scala. Одно требование, которое я часто слышу, состоит в том, что у Scala есть более сильная система типов, чем Java. Этим я думаю, какие средние люди то, что:
scalacотклоняет определенные ошибочные программы которыйjavacскомпилирует счастливо, только для порождения ошибки периода выполнения.- Определенные инварианты могут быть закодированы в программе Scala, таким образом, что компилятор не позволит программисту написать код, который нарушает условие.
Действительно ли я прав в размышлении так?
2 ответа
Основное преимущество системы типов Scala не столько в том, что она сильнее , сколько в том, что она намного богаче (см. « Система типов Scala »).
(Java может определять некоторые из них и реализовывать другие, но в Scala они встроены).
См. Также Создатели мифов 1: «Типы типов» Scala , комментируя сообщение в блоге Стива Йегге , где он «отвергает» Scala как «монстра Франкенштейна», потому что «существуют типы типов, и тип тип типы ».
- Классы типов значений (полезные для достаточно небольших структур данных, имеющих семантику значений), используемые вместо типов примитивов (Int, Doubles, ...), с неявным преобразованием в классы «Rich» для дополнительных методов.
- Тип, не допускающий значения NULL
- Типы монад
- Типы признаков (и состав миксина , который идет с ним)
- Типы одиночных объектов (просто определите 'объект', и он у вас есть),
- Составные типы (пересечения типов объектов, чтобы выразить, что тип объекта является подтипом нескольких других типов),
- Функциональные типы (
(type1,…) => returnTypeсинтаксис), - Классы вариантов (обычные классы, которые экспортируют свои параметры конструктора и обеспечивают механизм рекурсивной декомпозиции через сопоставление с образцом),
- Типы, зависящие от пути (языки, которые позволяют типы вложений предоставляют способы ссылаться на эти пути типов),
- Анонимные типы (для определения анонимных функций),
- Собственные типы (могут быть , например, в Trait ) ,
- Псевдонимы типов , а также:
- объект пакета (введено в 2.8)
- Универсальные типы (например, Java) с аннотацией параметра типа m механизм для управления поведением универсальных типов при выделении подтипов,
- Ковариантные универсальные типы: аннотация
+ Tобъявляет, что типTбудет использоваться только в ковариантных позициях.Стек [T]- это подтипСтек [S], еслиTявляется подтипомS. - Контравариантные общие типы:
-Tобъявляют, чтоTиспользуется только в контравариантных позициях.
- Ковариантные универсальные типы: аннотация
- Ограниченные универсальные типы (хотя Java поддерживает некоторую его часть ),
- Высшие родственные типы , которые позволяют выражать более сложные отношения типов, чем это возможно с Java Generics,
- Абстрактные типы (альтернатива универсальному типу),
- Экзистенциальные типы (используемые в Scala как подстановочный тип Java),
- Неявные типы (см. « Великолепие Scala неявно »,
- Просмотр ограниченных типов и
- Структурные типы , для определения типа путем указания характеристик желаемого типа (утиная типизация) .
Основная проблема безопасности Java связана с дисперсией. По сути, программист может использовать неправильные объявления отклонений, которые могут привести к возникновению исключений во время выполнения в Java, в то время как Scala не позволит этого.
Фактически, тот факт, что Java Array является ковариантным, уже является проблемой, поскольку он позволяет сгенерировать неправильный код. Например, как показано в sepp2k :
String[] strings = {"foo"};
Object[] objects = strings;
objects[0] = new Object();
Тогда, конечно, в Java есть необработанные типы, которые позволяют все виды вещей.
Кроме того, хотя в Scala это тоже есть, есть приведение типов. Java API богат на приведение типов, и нет такой идиомы, как в Scala case x: X => // x теперь безопасно приведено . Конечно, в одном случае для этого используется instanceof , но для этого нет никакого стимула. Фактически, Scala asInstanceOf намеренно многословен.
Это то, что делает систему типов Scala сильнее. Как показывает VonC , он также намного богаче.