3

2(*i.)5が評価されるのはなぜ0 2 4 6 8ですか?

そうであることは明らかです2*i.5が、()フックを作成し、右から左に評価すると、

 (*i.)5  ==  0 5 10 15 20

そして 2 はそのリストに作用しません - では、どこが間違っているのでしょうか?

4

2 に答える 2

5

2 (* i.) 5は、 に変換される 2 項フック2 * (i. 5)です。

(* i.) 5はモナドフックで、 に変換され5 * (i. 5)ます。

二項フックx (u v) yは と同等でx u (v y)、 と同じx u v yです。

モナドフック(u v) yは と同等でy u (v y)、 と同じy u v yです。

http://www.jsoftware.com/jwiki/Vocabulary/hook

于 2015-03-21T16:41:59.577 に答える
3

x (u v) y<-->x u (v y)二項フック用。

http://www.jsoftware.com/jwiki/Vocabulary/hookに示されているように、y を x の形に変形するのに使用できます 。

   [t=.i. 3 2
0 1
2 3
4 5

   2 3 ($ ,) t
0 1 2
3 4 5
于 2015-03-21T16:44:12.433 に答える