functional-programming - 从 Fstar 开始

Question

我一直在从它的一些论文和 F-star 教程中阅读有关 F-star 的信息，但我发现自己在试图理解它的概念时迷失了方向。例如，依赖类型、Dijkstra monads 等。

正确理解和学习 F-star 的先决条件是什么？对任何资源的链接的任何解释也将有所帮助。

Answer 1

您可能会发现以下通用资源很有帮助。

https://softwarefoundations.cis.upenn.edu/

https://www.springer.com/gp/book/9783540208549

http://adam.chlipala.net/cpdt/

这些都不是特别针对 F* 的，但是您在那里学到的一些概念将提供有用的背景。