Недавно я начал играть с Scala (2.8) и заметил, что могу написать следующий код (в Scala Interpreter):
scala> var x : Unit = 10
x : Unit = ()
Не очевидно, что там происходит. Я действительно не ожидал увидеть какое-либо неявное преобразование в Unit.
См. раздел "6.26.1 Преобразование значений" в Scala Спецификация языка версия 2.8:
...
Отбрасывание значения. Если e имеет некоторый тип значения, а ожидаемый тип - Unit, e преобразуется
к ожидаемому типу, вставив его в член { e; () }.
...
Все, что может быть преобразовано в Unit. Это в основном необходимо для поддержки побочных эффектов, которые, тем не менее, возвращают значения, но где возвращаемое значение часто игнорируется. Например,
import java.util.{List =>JList}
def remove2[A](foo: JList[A], a1:A, a2:A):Unit = {
foo.remove(a1)
foo.remove(a2) //if you couldn't convert the (usually pointless) return value of remove to Unit, this wouldn't type
}
Ну, все может быть преобразовано в единицу (что является ее целью). Вы можете рассматривать Единицу как единицу в решетке (под) типов, что означает, что это супертип всего. См. Статья в Википедии.