how to compile category code with ML compiler?

Question

find that there are many ML compilers which i do not know which compiler is suitable for these code, and do not know how to compile it

and find that haskell has operads package which is suitable for usage of category is it possible to translate to haskell?

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

when compile with ocaml, got error

# #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

Perhaps you should include some code. The link you posted doesn't seem to work. — Daniel Wagner, Feb 06 '14 at 06:29
the code can be downloaded in the link, if not available, web archive has it. too much code. which ML family can compile it? — user3277894, Feb 06 '14 at 08:08

Chris Taylor · Accepted Answer · 2014-02-06T10:45:27.690

The link you posted is incorrect, the file can actually be found here.

It says which language it is right in the header

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

So you need a Standard ML (SML) compiler. Probably you need one that's compatible with code written over 25 years ago - your guess is as good as mine as to whether a modern SML compiler will be able to compile this code.

how to compile category code with ML compiler?

1 Answers1