올바른 유형의 마지막 요소가없는 튜플

Question

튜플의 마지막 요소를 형식적으로 임의의 요소로 제거 할 수 있습니까?
나는 이런 식으로 뭔가를 원하는 :

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

Answer 1

아니, 불행하게도 그것은 '튜플 유형이 Tuple의 인스턴스화 연결리스트와 같은 유형의 시스템 내에서 표현되어있는 이유하지만, 타입 시스템이 할 수있는 수는 없습니다 함수의 서명 내에서 루프 또는 재귀를 표현한다. (루프/재귀를 사용하면 형식 시스템을 결정할 수 없을 것입니다.)

원칙적으로 미래에 이것을 해결할 수있는 방법 중 하나는 마지막 요소 유형을 평가하는 기본 제공 type function입니다. 튜플 유형.

"원시"유형 함수는 언어 자체로 작성할 수없는 유형 함수를 의미하지만 대신 컴파일러가 기본 제공합니다.

실론에는 현재 이러한 종류의 기본 유형 함수가 없지만이 방식으로 해결할 수있는 몇 가지 유사한 문제가 있습니다.