A Tour of Standard ML
source link: https://saityi.github.io/sml-tour/tour/00-00-welcome.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Welcome
Welcome to a tour of the Standard ML programming language!
What is Standard ML?
Standard ML is a general purpose functional programming language. It is statically typed, which prevents a wide array of common programming errors, but also features powerful type inference, requiring few type declarations, if any. This makes it easy to build software that is easy to understand, extensible, and reliable.
There are free, full-program optimising compilers for it, producing efficient native code, such as MLton . The concurrency extension ‘Concurrent ML’ provides support for communicating sequential processes , and is supported by SML/NJ and MLton.
The Tour
The tour consists of a set of chapters, each intended to showcase different features of Standard ML. There are examples included in the Tour of Standard ML repository . You may view the table of contents by via the ‘Table of Contents’ menu at the top of the screen, and go to the next page by clicking the right arrow.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK