smlnj

‘a means “any type”, while ”a means “any type that can be compared for equality”. Since your alreadyVisited function compared x and v using =, x and v need to have a type that supports comparing them for equality, so you get the type ”a. The warning means that you’re comparing two values with polymorphic … Read more

Both MosML and MLton also have the posibility to create standalone binary files. MosML through mosmlc command and MLton through the mlton command. Note that MLton doesn’t have an interactive loop but is a whole-program optimising compiler. Which in basic means that it takes quite some time to compile but in turn it generates incredibly … Read more