HW2-5 질문드립니다.

박찬수 · 가입: 2014년 9월 3일 올린 글: 5

2-5번에 각각 tau, gamma, sigma 등의 문자로 함수가 정의되어 있는데요, 그냥 각각의 변수나 함수의 끝에 주석으로 타입을 정의하면 되는 건가요?
예를 들어 다음과 같은 방식으로 하면 되는 건지 알고 싶습니다.

(if (null? l) ’() 'TODO); (null? l) : tau list -> bool, '() : tau list, 'TODO : symbol

김윤승

교수님 슬라이드의 fac 함수처럼 해주세요.