FX-87

FX-87

FX-87은 정적 프로그램 분석을 위한 시스템에 기반한 다형성 타입의 기능 언어로서, 모든 표현은 유형과 효과의 두 가지 정적 속성을 가진다.[1] MIT가 수행한 연구에서 FX-87은 부작용을 포함하지 않는 프로그램(피보나치, 요인)에서 기능 언어와 유사한 성능 결과를 산출한다. FX-87은 DNA 염기서열을 일치시킬 때 성능이 크게 향상되었다.[2]

KFX는 FX-87의 커널 언어다. 그것은 '폴리모픽 효과 시스템', J.M. Lucassen 외, 제15회 ACM 컨퍼런스 POPL, ACM 1988, 페이지 47–57에 설명되었다.

참조

  1. ^ Jouvelot, P.; Gifford, D.K. (1988). "The FX-87 Interpreter". Proceedings. 1988 International Conference on Computer Languages. pp. 65–72. doi:10.1109/ICCL.1988.13044. ISBN 978-0-8186-0874-2. S2CID 27089757.
  2. ^ Hammel, Todd; David K. Gifford (September 1988). "FX-87 Performance Measurements: Dataflow Implementation" (PDF). Laboratory for Computer Science, Massachusetts Institute of Technology. Retrieved 8 October 2013.


Stub icon

이 프로그래밍 언어 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.