内容简介：Welcome to a tour of the Standard ML programming language!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, requiri
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.
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
人类2.0
皮埃罗∙斯加鲁菲（Piero Scaruffi) / 闫景立、牛金霞 / 中信出版集团股份有限公司 / 2017-2-1 / CNY 68.00
《人类2.0:在硅谷探索科技未来》从在众多新技术中选择了他认为最有潜力塑造科技乃至人类未来的新技术进行详述，其中涉及大数据、物联网、人工智能、纳米科技、虚拟现实、生物技术、社交媒体、区块链、太空探索和3D打印。皮埃罗用一名硅谷工程师的严谨和一名历史文化学者的哲学视角，不仅在书中勾勒出这些新技术的未来演变方向和面貌，还对它们对社会和人性的影响进行了深入思考。 为了补充和佐证其观点，《人类2.0......一起来看看 《人类2.0》 这本书的介绍吧!
