2011-06-28 13 views
5

は、それは(のようなPaterson, A New Notation for Arrows)ので、理論的には何が起こるかは明らかである私が応じて論文を読んだGHCの言語拡張のソースコードはどこですか?「矢印」ですか?私は、ソースコードを見つけることができます

{-# LANGUAGE Arrows #-} 

言語プラグマの後ろに隠します。今私は見て、どのように実際にソースコードに変換されます。

すべての検索は、GHCのユーザーガイドまたはControl.Arrowのソースのみになります。 ここに何か不足していますか?

答えて

7

私はthisがあなたが探しているものだと思います。

+3

明確にする:LANGUAGE矢印は矢印の表記のためのdesugaringをオンにするだけです。ソースを見ることで概念的に矢印を理解したい場合は、Control.CategoryおよびControl.Arrowモジュールのソースと、Arrow typeclassのインスタンシエーションを調べる方がよいでしょう。 – Edward

関連する問題