g0ofg1의 의미는 무엇입니까?

Question

나는 종종 ATS에서 다음 줄과 같은 코드를 참조하십시오

val xs = g0ofg1(xs) 

함수 g0ofg1 주조의 일종처럼 보인다. 실제로 무엇을합니까?

Answer 1

과부하 된 기호입니다.

ATS에는 인덱싱 된 변형과 인덱싱되지 않은 변형이 여러 가지 유형이 있습니다. 예를 들어

• , 그리고 int (일종의 int의 일부 i에 대한) int(i)이 존재한다. 두 유형 모두 정수를 사용하지만 전자는 int 정렬로 색인화됩니다.
• 다른 예 : string (단지 문자열)과 string(n) (길이 인덱싱 문자열)

g0ofg1는 인덱싱되지 않은 하나에 인덱싱 된 형태로 변환하기위한 것이다. 그것은 castfn이므로이 작업에는 런타임과 관련된 비용이 없습니다.

g1ofg0은 다른 방향으로 진행하기위한 것입니다. 색인되지 않은 유형에서 색인 된 유형으로 이동하는 것입니다.