Начиная с Fstar

Question

Я читал о F-звезде из некоторых статей и из учебника по F-звезде, но я совершенно заблудился, пытаясь понять его концепции. Например, зависимый тип, монады Дейкстры и т. Д.

Что необходимо сделать, чтобы правильно понять и узнать о F-star? Любое объяснение ссылок на любой ресурс тоже будет полезным.

Answer 1

Вам могут быть полезны следующие общие ресурсы.

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

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

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

Ни один из них не является специфичным для F*, но некоторые из понятий, которые вы там изучите, предоставят полезную основу.