私は中期的に勉強しているハスケルを学んでいます。私は現時点で型推論の質問を見ているテストクイズがあります。いくつかの質問にはスラッシュが含まれており、その内容が何であるか分かりません。その目的は、その変数を見て関数の型を決定することです。ここでの質問のいくつかの例は、の種類を見つけることになっイムされています。私は運とGoogleで検索している f1 x = (/x)
f3 x = (x/)
左の文字と連結式の式オブジェクトを返す入れ子関数％〜％を定義しようとしています。だから私は"y" %~% x + zがy ~ x + zを返すようにしたい。 ただし、私の関数（下記）は記号式演算子として+を使用することができず、代わりにデフォルトで算術演算子が使用されます。明らかに、~のinfix関数がこれを達成していますが、それは基本的な関数なので、私はコードをスワイプできず、関数定義に組み込ん
Agdaに特定の文字が新しいトークンの先頭を示すことを伝える方法はありますか？例えば、私は（空想ユニコードブラケットで）次き：私は f （ e⃗ ）
として使用しかし、私が本当に欲しいこと f（e⃗）
としてそれを使用することですができ data Term where
_（_） : Term -> Term -> Term
これを行うと、Agdaはそれが単一の識別子だと考え、
なぜHaskellの中置演算子として許可されていないのですか？それが動作するはずです。このHaskell Reportany Unicode symbol or punctuationとthis questionによると GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help
Prelude> :{
infixr 6 〉
(〉