2014-02-06 97 views
-5

發現有很多ML編譯器,我不知道哪個編譯器是適合這些代碼,不知道如何編譯如何用ML編譯器編譯類別代碼?

,發現Haskell有operads封裝,適用於類的使用 是有可能翻譯成哈斯克爾?

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 
+0

也許你應該包括一些代碼。您發佈的鏈接似乎不起作用。 –

+0

代碼可以在鏈接中下載,如果不可用,則網絡存檔會包含它。代碼太多。哪個ML家族可以編譯它? – user3277894

回答

2

您發佈的鏈接是不正確,該文件其實是可以發現here

它說,它是一種語言就在頭

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

所以你需要一個標準ML(SML)編譯器。可能你需要一個與25年前編寫的代碼兼容的東西 - 你的猜測和我的一樣好,以至於現代的SML編譯器是否能夠編譯此代碼。