2025년 이상적인 배열 언어: 하드웨어 이종성에 대한 대응

점점 더 이종적인 하드웨어(멀티코어, 멀티노드, GPU, FPGA 등)를 고려할 때, 기존 프로그래밍 언어의 가정은 더 이상 유효하지 않습니다. 이 글에서는 이상적인 배열 언어 설계를 탐구하고, 순위 다형성, 커널을 직접 작성하는 기능, 값 의미론과 자동 버퍼 관리의 중요성을 강조합니다. 저자는 MLIR과 같은 컴파일러 인프라와 결합된 함수형, 비버퍼링 배열 프로그래밍 모델이 하드웨어의 잠재력을 최대한 활용한다고 주장합니다. 사용자 경험은 사용자 친화적인 컴파일러 최적화 보고서를 통해 향상됩니다. Fortran과 APL이 참고할 만한 언어로 언급됩니다.