forall 표기법 : 마침표/점은 무엇을 의미합니까?

forall a. Num a => a -> a -> a

단순한 구분 기호입니까?

2017-09-09 M. Walker

"단순히 구분 기호입니까?"예. –

우선 순위가 낮습니다. .... 후에 모든 재료를 괄호로 묶는 것보다 낫다. –

예, 구문 구분 기호입니다. 람다 식에서 ->처럼 변수 선언과 변수 사용을 구분합니다. 그것은 "여기 바인더를 끝내는"것을 의미합니다. 나는 언어 디자이너가 .에 갔다고 생각한다. 22 문자가 더 짧기 때문이다.

2017-09-09 23:45:04

수학의 다른 일반적인 표기법은 'forall a (Num a => a -> a)'와'forall a : Num a => a -> a -> a'. 이것은 우리에게'.'을 남긴다. – rightfold

@rightfold':'그렇게 나쁘진 않았을 것입니다. –

무지한 의견이지만''...''이 더 좋아 ... –

답변