标准 ML 的定义

Hacker News 上怎么说

• reikonomusha · 2023 年

  你的目标会是证明一门语言形式语义的各种性质，但这需要该语言以一种形式化的方式进行描述。去看看《标准 ML 的定义》（The Definition of Standard ML），感受一下一份（基本合规的）形式化编程语言定义大概长什么样。

  You would aim to prove properties of the formal semantics of a language, but that requires the language be described in a formal manner. Check out "The Definition of Standard ML" to get a sense of what a (mostly kosher) formal programming language definition might look like.

• sanxiyn · 2012 年

  额，我觉得看罗伯特·哈珀（Robert Harper）博客的人，理应知道《标准 ML 的定义》（The Definition of Standard ML）就是罗伯特·哈珀写的吧。

  Eh, I think people reading Robert Harper's blog can be expected to know that Robert Harper wrote The Definition of Standard ML.

• Cladode · 2020 年

  ……从那以后，任何负责任的编程语言设计者本都可以吸取 ML 的经验教训，而为什么事实并非如此，成了一个耐人寻味的唯史学问题。[1] R. Milner, M. Tofte, R. Harper，《标准 ML 的定义》（The Definition of Standard ML）。http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-62/

  …responsible programming language designer could have taken on board ML's lessons sincen, and it's an interesting historical question why this did not happen. [1] R. Milner, M. Tofte, R. Harper, The Definition of Standard ML. http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-62/

• barrister · 2020 年

  这里有一篇论文[1]，作者是 WebAssembly 规范的制定者 Andreas Rossberg，探讨了标准 ML 定义中的缺陷。据我所知，他曾试图通过 Alice ML[2] 来解决其中很多问题。[1] https://people.mpi-sws.org/~rossberg/papers/sml-defects-2013... [2] https://github.com/aliceml/aliceml

  Here is a paper[1] written by Andreas Rossberg, specification author of Web Assembly, that discusses the defects in the definition of Standard ML. I believe he tried to address many of these issues with Alice ML[2]. [1] https://people.mpi-sws.org/~rossberg/papers/sml-defects-2013... [2] https://github.com/aliceml/aliceml

• silentbicycle · 2009 年

  ……摇旗呐喊的支持者。）说句公道话，关于类型系统的行话往往充斥着晦涩难懂的数学符号，所以大家看不清这种对应关系我也丝毫不奇怪。（我很喜欢 OCaml，所以曾尝试读《标准 ML 的定义》来更好地理解这个语言家族。结果Duang的一下，直接撞墙。话说回来，我又不是数学专业的研究生……我学的是历史。）* 这只是一种表达语义的不同方式……

  …vocal proponents.) In all fairness, the language about type systems is often impenetrably mathematical, so I'm not surprised that the parallel isn't clear. (I really like OCaml, so I tried reading _The Definition of Standard ML_ to get a better understanding of the language family. Wham, brick wall. Then again, I'm not a mathematics grad student...I studied history.) * Which is just a different way of communicating semantic…

• silentbicycle · 2010 年

  想自学形式语义学，从哪里入门比较好？我尝试啃过 LiSP、TAPL、CTM 以及《标准 ML 的定义》（The Definition of Standard ML）里关于形式语义的章节，效果参差不齐（TDoSML 里的内容完全超出了我的能力范围），现在有点摸不清该从哪开始了。我知道问题部分在于需要熟悉那些密密麻麻的数学符号。我正在慢慢掌握一种……

  Where is a good place to get started with studying formal semantics? I've tried to follow chapters about formal semantics in LiSP, TAPL, CTM, and _The Definition of Standard ML_ with varying degrees of success (the material in TDoSML was beyond me), but I'm not sure where to start. I know part of the issue is getting familiar with the dense notation. I'm gradually getting an…

正在加载完整评论……