Spec#是一种基于C#的研究型语言。

Spec# is a research language based on C#.

youdao

使用一门好的文本型语言能够降低接受的门槛。

Using a nice textual language can be a much lower acceptance hurdle.

youdao

不过事实证明函数型语言非常适合于并行编程。

But functional languages turn out to be very well suited to parallel programming.

youdao

But one of the teaching fellas also passed long to us recently, a little real world example of what happens when you're not mindful of various data types and you're not mindful of the imprecision that's inherent in representing data in a computer, at least using a language like C and low level primitives like floats and even doubles.

最近有个助教告诉我们，一个现实世界中的例子,当你不注意各种各样的数据类型,也不注意在计算机中表示数据时,其内在的不精确性，至少在用像C语言,和float甚至double型数据时，那将会发生什么？

哈佛公开课 - 计算机科学课程节选