Functional programming 从Fstar开始_Functional Programming_Dependent Type_Fstar

Functional programming 从Fstar开始

functional-programming

Functional programming 从Fstar开始,functional-programming,dependent-type,fstar,Functional Programming,Dependent Type,Fstar,我一直在读F-star的一些文章和F-star教程，但我发现自己在试图理解它的概念时迷失了方向。例如，dependenly type、Dijkstra monads等正确理解和了解F-star的先决条件是什么？对任何资源链接的任何解释都会很有帮助。您可能会发现以下通用资源很有帮助这些都不是特别针对F*的，但您在那里学到的一些概念将提供有用的背景知识

我一直在读F-star的一些文章和F-star教程，但我发现自己在试图理解它的概念时迷失了方向。例如，dependenly type、Dijkstra monads等

正确理解和了解F-star的先决条件是什么？

对任何资源链接的任何解释都会很有帮助。

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

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