作者suhorng ( )
看板PLT
标题[连结] Josh Ko: 看看程式语言学在干嘛
时间Wed Apr 8 08:48:12 2020
https://josh-hs-ko.github.io/blog/0006/
Josh Ko: 看看程式语言学在干嘛
-----
推荐心得:
街头巷口常常可以见到这样的说法: "程式语言只是
工具, 学好演算法与资料结构才是重要的事情."
既然如此, 程式语言还有什麽好研究的呢? 难道不是从
工程的角度出发, 累积经验, 有通用的工业标准就好吗?
实际上程式语言的研究并不是如此琐碎平凡.
相反地,作为电脑科学与逻辑学的交集, 程式语言研究同时
应用了问题抽象化以及形式化建模的特点来探讨程式语言的
原理, 原则和设计方法.
在这篇文章里, Josh Ko 概述了何谓应用形式化的方法来
将程式语言的问题抽象化, 以及形式化後符号能让我们如何
表述程式语言的安全性, 如何为了形式化後能藉由操作符号
来协助设计程式等面向.
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.30.46 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1586306897.A.324.html
※ 编辑: suhorng (140.112.30.46 台湾), 04/08/2020 10:14:46
1F：推 alan23273850: 推喔！ 04/08 19:54
2F：推 stopcrying: m 起来！重读发现每一段还是需要一些背景知识。 04/14 01:42
3F：→ stopcrying: 不知道一般的街头程式设计师，除了看 TaPL 外， 04/14 01:46
4F：→ stopcrying: 还有没有其他材料可以了解 operational semantics ？ 04/14 01:46
5F：→ suhorng: 如果你的问题是这一篇的背景, 那要找的是 pi calculus 04/18 16:29
6F：→ suhorng: 的操作语意以及 session types 04/18 16:30
7F：→ suhorng: 如果像 TaPL 这麽一般的介绍我也暂时想不到有什麽课本 04/18 16:32
8F：→ suhorng: 可能找找上课讲义或投影片. 其他就是找特定主题的资料了 04/18 16:34
9F：→ suhorng: 例如讨论程式语言语意时, 一个场景是在原本语言之下还有 04/18 16:35
10F：→ suhorng: 抽象机器, 然後可以探讨抽象机器与原本语言的解释器之间 04/18 16:36
11F：→ suhorng: 有什麽关系. 这里会应用操作语意 04/18 16:36
12F：→ suhorng: 又或者针对特定语言去应用操作语意来讨论 contextual 04/18 16:37
13F：→ suhorng: equivalence 等等 04/18 16:37
14F：→ stopcrying: 啊，我整理一下去年遇到的问题好了 XD 可能要回一篇 04/25 01:37