Какъв е идиомът на Ceylon за указване, че дадена функция не е внедрена? Често искам да видя дали дизайнът ще се проверява на типа, преди да мине през проблемите с внедряването на всички функции. Предполага се, че това означава тялото да изведе грешка, която има тип Nothing и може да бъде присвоена на всяка функция. Това също е полезно за споделяне на примерен код, когато внедряването няма значение.
Изглежда, че някои хора използват UnsupportedOperationException от Java по следния начин:
Integer add(Integer a, Integer b) {throw UnsupportedOperationException();}
Но това е твърде многословно, за да се обхване с куп методи на класа. Търся нещо подобно на сладкото име на Scala ??? като в:
def add(a: Int, b: Int): Int = ???
