Fidelity Framework에서의 음수 및 분수 타입

우리의 Native Type Universe (NTU)는 여러 하드웨어 플랫폼에 걸쳐 우리 프레임워크의 컴파일 파이프라인(compilation pipeline)이 목표로 하는 기질(substrate)을 구축하는 다섯 편의 이전 논문을 통해 상세히 설명되었습니다. 우리는 해당 연구 과정에서 이 토대가 제공하는 더 깊은 확장성을 발견했습니다. 즉, 음수(negative) 및 분수(fractional) 타입이 네이티브 일급 구성 요소(first-class constructs)로서 존재한다는 점입니다. James와 Sabry는 2012년에 이러한 이중성(dualities)을 확립했으며, 이후 Chen과 Sabry는 컴팩트 폐쇄 범주(compact closed categories)에서의 범주론적 해석(categorical interpretation)을 발전시켰습니다. 이러한 이중성은 기존의 범용 컴퓨팅 프레임워크가 네이티브 구성 요소로 수용할 기질이 부족한 우리 Fidelity Framework의 연산 양식(compute modalities)에 실질적인 이점을 제공합니다. 우리는 Kennedy의 차원 타입(dimensional types)이 확립한 아벨 군(abelian-group) 대수 패턴을 통해 결정 가능성(decidability)과 주 타입(principal types)을 보존하는 데 있어 이러한 타입 형태의 실용성을 확인했습니다. 결과적으로 발생하는 동형 사상(isomorphisms)은 우리의 새로운 로워링 전략(lowering strategy) 내에서 새롭고 간결한 형태의 해상(resolution)을 허용할 것이며, 우리는 우리의 대수에 유리한 차원 지수(rational dimensional exponents)를 허용할 수 있는 개념적인 Clef 언어 구문(syntax)을 스케치합니다. 우리는 이러한 타입 형태가 우리의 컴파일 및 검증 학문에 개방할 몇 가지 문제 공간 전반에 걸친 함의를 추적합니다: 분수 타입이 조건부 의무(conditioning obligations)를 표현할 베이지안 추론(Bayesian inference), 음수 타입이 타입 수준의 수반(type-level adjoint)을 제공할 양자 컴퓨팅(및 시뮬레이션), 그리고 마지막으로 결합된 규율이 해밀토니안 변형(Hamiltonian deformation)을 가역적인 제약 조건 전파(reversible constraint-propagation) 프로세스로 표현할 단열 컴퓨팅(adiabatic computation)이 그것입니다. 우리의 NTU가 가진 고유한 구조는 지원 프레임워크와 함께, 현재의 소프트웨어 생태계가 직접적으로 다루지 않는 문제 공간에 적합해 보이며, 동시에 접근 가능한 개발 인체공학(development ergonomics)과 프레임워크가 제공하고자 하는 운영 보증(operational guarantees)에 부합하는 성숙한 도구들을 유지합니다.