Ошибка Цейлона

Question

Что такое идиома Цейлона, указывающая, что функция не реализована? Я часто хочу увидеть, будет ли дизайн проверяться на тип, прежде чем решить проблему с выполнением всех функций. Предположительно, это означает, что тело выдает ошибку, которая имеет тип Nothing и может быть назначена любой функции. Это также полезно для обмена примером кода, когда реализация не имеет значения.

Похоже, некоторые люди используют UnsupportedOperationException от Java, как это:

Integer add(Integer a, Integer b) {throw UnsupportedOperationException();} 

Но это слишком многословным, чтобы лавировать на кучу методов класса. Я ищу что-то подобное в Scala симпатично названный ??? как в:

def add(a: Int, b: Int): Int = ??? 

Answer 1

На самом деле, nothing встроенный в верхнем уровне добытчика вы можете вызвать:

Integer add(Integer a, Integer b) => nothing; 

Это может выглядеть как объект возвращается, но на самом деле он выдает исключение во время выполнения, как только оно будет достигнуто.