[：over @ :?を使用する理由はありますか？

Question

x ([: u v) yはu (x v y)に広がりますが、x u@:v yにもなります。 @:は、[:を厳密に、Special Codesに置き換えます。 @:より[:を使用する理由はありますか？

Answer 1

f @: gは、かっこなしで同じスペーシングを実現しますが、おそらくより広がっているため、([: f g)〜f@:gを読みやすくすることを好む人もいます。

結果に違いが出てきたケースを見たことがありますが、今は思い出せません。おそらく他の人たちは、彼らが異なる例を考え出すことができます。