Можете ли вы присвоить тип кортежа?

Question

Я играю с Цейлоном, и я пытаюсь создать псевдоним для кортежа. Ниже не работают:

class MyPair(Integer i, Float f) => [i, f]; 
class MyPair(Integer i, Float f) => [Integer, Float](i, f); 
class MyPair(Integer i, Float f) => 
     Tuple<Integer|Float, Integer, Tuple<Float, Float, Empty>>(i, [f]); 
class MyPair(Integer i, Float f) => 
     Tuple<Integer|Float, Integer, Tuple<Integer|Float, Float, Empty>>(i, [f]); 
class MyPair(Integer i, Float f) => 
     Tuple<Integer|Float,Integer,Tuple<Float,Float,Empty>>(i, Tuple<Float,Float,Empty>(f, [])); 

Я получаю ошибку на первых двух вращается вокруг использования скобок:

Incorrect syntax: missing statement-ending ; at [ expecting statement-ending ; 

Есть два отдельных ошибок на второй:

Некоторые вариации из

Alias parameter distance must be assignable to corresponding class parameter rest: Integer is not assignable to [Integer] 

на class MyPair и

Argument must be a parameter reference to distance 

f, [f] или конструкция кортежа.

Есть ли способ сделать это?

Answer 1

Да, выражение для экземпляра RHS => в объявлении псевдонима класса в настоящее время крайне ограничено, а не по дизайну, но только потому, что потребуется выполнение дополнительной работы для полной поддержки произвольных выражений-экземпляров в компиляторе backends.

Но то, что я бы на самом деле сейчас было бы использовать обычный тип alias, как это:

alias MyPair => [Integer,Float]; 

И использовать его как это:

MyPair pair = [1, 1.0]; 

Я думаю, что это на самом деле еще чище чем с использованием псевдонима class.

HTH.

Answer 2

После мастерить вокруг немного я наткнулся

class MyPair(Integer i, [Float] f) => 
     Tuple<Integer|Float, Integer, Tuple<Float, Float, Empty>>(i, f); 

, который работает.

Answer 3

Не может сделать гораздо лучше, чем ваше решение, но вы можете по крайней мере использовать ярлык для параметра Rest типа:

class Pair([Integer i, [Float] f]) => Tuple<Integer|Float, Integer, [Float]>(i, f);

Вы ограничены здесь, потому что типы параметров вашего псевдонима класса должны соответствовать типы параметров класса, которые вы используете. Если я интерпретирование spec правильно:

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

, то это может работать в последующих версиях:

class Pair(Integer i, Float f) => Tuple<Integer|Float, Integer, [Float]>(i, [f]); 

или может быть даже:

class Pair(Integer i, Float f) => [i, f]; 

Тогда опять же, если ваша цель состоит в том, чтобы destructure кортеж, Цейлон 1,2 позволит вам сделать это прямо:

value [i, f] = [2, 0.5];