5
は、それは(のようなPaterson, A New Notation for Arrows)ので、理論的には何が起こるかは明らかである私が応じて論文を読んだGHCの言語拡張のソースコードはどこですか?「矢印」ですか?私は、ソースコードを見つけることができます
{-# LANGUAGE Arrows #-}
言語プラグマの後ろに隠します。今私は見て、どのように実際にソースコードに変換されます。
すべての検索は、GHCのユーザーガイドまたはControl.Arrowのソースのみになります。 ここに何か不足していますか?
明確にする:LANGUAGE矢印は矢印の表記のためのdesugaringをオンにするだけです。ソースを見ることで概念的に矢印を理解したい場合は、Control.CategoryおよびControl.Arrowモジュールのソースと、Arrow typeclassのインスタンシエーションを調べる方がよいでしょう。 – Edward