2011-06-17 7 views
0

私は2つの質問があります。F#コンパイラのマニュアルとF#のデータフロー解析ライブラリ

  1. を誰かがF#コンパイラのマニュアルまたは関連リソースを認識している場合、私は、コンパイラのソースコード自体を除いて、私は現在、午前(思っていましたそれを見て) - ASTの構造と、もしあれば、ツリーの解析とトラバースのための追加機能(もしあれば)についての情報が役に立つでしょう。

  2. データフロー分析にはF#ライブラリが必要です。もしあれば、私に知らせてください。

感謝:)

+0

私が見つけた唯一のリソースは、コンパイラを使用するVS拡張機能の例です。 – Rumi

答えて

2

これは、最適なリソースではありませんが、あなただけの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'を検索)a 'パーサを必要とするサンプルアプリケーション'の例です。

(私はデータフロー解析についての提供には何もありません。)

+0

提案に感謝します。私はすでにこの拡張を見てきました。それは非常に便利です。もう1つの有用なリソースは、F#refactor(http://fsharprefactor.codeplex.com/)で、ParseOneInputFileの使用方法と、指定されたASTをカスタムAST表現に変換する方法を示しています。 – Rumi

0

は、残念ながら、まだ、データフロー解析のためのF#ライブラリがありません。ただし、postのリンクを見て、何か(例えば、死んだコードや到達不能なコードを検出するメカニズム)を実装することができます。 SAT解法はブール式をテストするのに便利です。