Документация компилятора F # и библиотека анализа потока данных F #

Question

У меня есть два вопроса:

1. Мне было интересно, знает ли кто-нибудь о документации компилятора F # или связанных ресурсах (кроме самого исходного кода компилятора, я сейчас его ищу) -Будет полезна информация о структуре AST и дополнительных функциях (если таковые имеются) для синтаксического анализа и обхода дерева.

2. Мне также нужна библиотека F # для анализа потока данных, если таковая имеетсяу вас есть идея, если таковая существует, пожалуйста, дайте мне знать.

Спасибо:)

Answer 1

Это не лучший ресурс, но если вы просто хотите разобрать и получить AST, см.

http://lorgonblog.wordpress.com/2010/11/21/source-code-for-f-depth-colorizer-extension/

и

https://github.com/brianmcn/FSharpDepthColorizer/blob/master/ParseTreeDepth/MyFSParser/MyParsing.fs

(ищите «ParseOneInputFile») в качестве примера «примера приложения, которому требуется анализатор».

(У меня нет ничего, что можно было бы предложить относительно анализа потока данных.)

Answer 2

К сожалению, пока нет библиотек f # для анализа потока данных. Однако вы можете реализовать что-то (например, механизмы для обнаружения мертвого или недоступного кода), взглянув на ссылки в следующем post . Алгоритмы решения SAT полезны для проверки логических выражений.