how to compile category code with ML compiler?

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

Answers


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.


Need Your Help

What's your leadership style in IT?

project-management

I recently got promoted to be the Project Manager/Supervisor. What do you think the leadership style a managerial role in Programming Dev't should have?

Specializing both true and false for bool

c++ template-specialization

Why does the C++ allow specialization of a type for both true and false parameters?