Fidelity 프레임워크에서의 음수 및 분수 타입 (Negative and Fractional Types)

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