ML 컴파일러로 카테고리 코드를 컴파일하는 방법은 무엇입니까?

Question

내가이 코드에 적합하다 컴파일러 모르는, 그리고 그것을

을 컴파일하는 방법을 몰라 찾아 많은 ML 컴파일러가 있음을 발견하는 하스켈 카테고리의 사용 는 적합 operads 패키지를 가지고 그것은 가능한 haskell로 번역 할 수 있습니까?

cs.man.ac.uk/~david/categories/programs/cat

를 OCaml로 컴파일 할 때, 가지고 오류

# #use "C:/Documents and Settings/wilson/My Documents/Downloads/ML/cat.ml";; 
File "C:/Documents and Settings/wilson/My Documents/Downloads/ML/cat.ml", line 20, characters 13-14: 
Error: Syntax error: operator expected. 
# #use "C:/Documents and Settings/wilson/My Documents/Downloads/ML/functorcat.ml";; 
File "C:/Documents and Settings/wilson/My Documents/Downloads/ML/functorcat.ml", line 12, characters 13-14: 
Error: Syntax error: operator expected. 
# #use "C:/Documents and Settings/wilson/My Documents/Downloads/ML/basic.ml";; 
File "C:/Documents and Settings/wilson/My Documents/Downloads/ML/basic.ml", line 7, characters 15-16: 
Error: Syntax error 

Answer 1

당신이 게시 된 링크가 잘못된 파일이 실제로 할 수있다 발견 된 here.

그것은

(*    COMPUTATIONAL CATEGORY THEORY 
          Oct. 1987 
       Programming Language: Standard ML *) 

그래서 당신은 표준 ML (SML) 컴파일러를 필요로하는 헤더에 적합한 언어를 말한다. 아마 25 년 전에 작성된 코드와 호환되는 코드가 필요할 것입니다. 현대 SML 컴파일러가이 코드를 컴파일 할 수 있는지 여부는 내 생각과 비슷합니다.