正しいタイプの最後の要素を持たないタプル

Question

タプルの最後の要素をタイプセーフな方法で任意の要素から削除することはできますか？
私はこのような何かをしたい：

[A,B,C] abc = [a,b,c]; 
[A,B] ab = removeLast(abc); 

Answer 1

いいえ、残念ながらそれは、タプル型がTupleのインスタンスのリンクリストとして型システム内で表現されている理由が、型システムはできることはできません関数のシグネチャ内でループまたは再帰を表現します。 （そして、ループ/再帰を持つことで型システムは決して確定できなくなるでしょう）。

原則として、これを将来解決するには、組み込みプリミティブtype functionを使用して、タプル型。

"プリミティブ"型関数とは、言語自体では書き込めない型関数を意味しますが、代わりにコンパイラによって組み込み関数として提供されます。

セイロンには、現在のところ、この種のプリミティブ型関数はありませんが、このようにして解決できる他の同様の問題がいくつかあります。