2012-12-18 11 views

답변

5

아니요, 일련의 동사는 연관 적이 지 않으며 정의에 따릅니다. 예를 들면, 포크

(f g h) y = (f y) g (h y) 

아니라 y f y g h y 같이 쓸 수있다

(f (g h)) y = y f ((g h) y) = y f (y g (h y)) 

이다. 그리고

((f g) h) y = y (f g) (h y) = y f (g (h y)) 

이 또한 y f g h y으로 기록 될 수 있습니다.

이 세 가지는 완전히 다른 것입니다.

1

Train in J는 right associative이고 최소 그룹은 fork입니다. 포크를 만들 수없는 경우에만 후크가됩니다. 그래서

vvvvv = (vv(vvv)), 

그리고

vvvv= (v(vvv)).