McBrideとPatersonの「エフェクトを使用したアプリケーションプログラミング」では、純粋関数を持ち上げるための素敵な構文糖衣を紹介しています。
[| f x y z |]
にとって
f <$> x <*> y <*> z
どこかでli f w x y z il
orを使用している人を思い出します。これは、既存の言語機能ととの狡猾な定義をil f v w x y z li
使用して定義できるためかもしれないと思いました。li
il
私はこれについての言及を論文以外に見つけることができず、それを仮定して[|
、|]
すぐにghcに現れる可能性は低いと仮定して、実装することは可能li
ですil
か?私は彼らにとって賢明なタイプを考えることができないので、私はテンプレートHaskellまたは同様のものが必要だと思いますが、これを達成するのに十分な知識はほとんどありません。[af| f x y ]
大丈夫ですが、試してみる前にそれが可能かどうかはわかりません。可能であれば、確かに助けが必要です。