SML# - SmlSharpFeatures Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

SML# supports the following practically important new features:
*[[Seamless interoperablility with C|FeatureInteroperability]]
*[[Record polymorphism|FeatureRecordPolymorphism]]
*[[Rank1 polymorphism|FeatureRank1Polymorphism]]
*[[Database integration|FeatureDatabaseIntegration]]
SML# is carefully designed so that
*it is a conservative extension of Standard ML: SML# compiler compiles any program that conforms to the Definition of Standard ML.
* it supports the Basis Library.

Currently, SML# (0.20 release version) is available in the following forms.
* source package (that can be build on linux, solaris, cygwin)
* Mac OS Intel/PowerPC universal binary package
* Windows binary installer