프로그래밍 언어 J에서 동사는 항상 연관성이 있습니까? 그렇다면 증거가 있습니까?기차가 J 연관에 있습니까
3
A
답변
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)).