검색 결과 12 개 일치합니다

5-2에서요

fn x=>x같은 경우 types의 정의에 타입변수는 없던데
Type Checking에서 뭘 띄워야 하나요?

Laughing

언제 될까요?

부담을 드리고자 하는 것은 저저저저절대 아닙니다
숙제 3 결과가 언제 나오는지 알고싶어서 질문드려요~ Razz

세번째 질문입니당
4-2에서 음수는 안 다루죠? Smile

음수를 받거나 sub결과가 음수거나 하는 경우 어떻게 해야 하는지 궁금합니당.

그리고 마찬가지로 4-1에 대한 질문입니다.
test9는 y가 나와야 하죠? Smile

하긴 했는데 제가 이해를 제대로 하고 있는건지 모르겠어요.
4-1에서
\x.B
꼴의 함수라면
B 내부에서도 레덱스를 찾아서 reducton해야하는건가요?

수� ...

함수의 parameter가 0개면 파싱에러가 나는데 null함수는 어떻게 정의하나요?

스켈레톤 코드에 Error of string으로 정의되어 있어서 각각 에러 내용을 간략하게 서술해야 하는 줄 알았어요 ㅠㅠㅠㅠ
그러면 그냥 Error of string을 Error로 ...

에러의 출력내용은 상관없이 에러를 내고 정지하기만 하면 되나요?^0^

빈 레코드의 필드에 접근할 경우 어떤 에러를 내야 하나요? Razz

2. 그리고 함수정의시 함수이름과 변수이름이 같은 반인륜적인 입력은 들어오지 않는다고 가정해도 되나요? Razz

->이 경우 not allowed가 뜨는 거 같은� ...

사칙연산은 Num(int)에 대해서만 허용하는 것인가요?^_^
당연한 사항인 것 같지만 일단 혹시나 해서 질문드립니다 ㅜㅜ