박준호
가입: 2012년 9월 15일 올린 글: 71
|
올려짐: 2012년11월24일 0:28 주제: 튜링머신 타입 질문입니다 |
|
|
과제 7-1에 보면
symbol = type 으로 되어있고, tape같은건 type명시가 안되어있는데,
이건 저희가 만들어서 쓰는건가요??
아니면 문제에서 주어진 sig 인터페이스는 바꾸면안되는건가요?
그리고 제가 tape = int * symbol list로 만들고있는데
가끔(항상발생하는게 아니에요 이상해요..)
tape이어야 하는데 int * symbole이라고 오류가 뜰때가 있더라구요..
혹시나 강제로 타입을 지정해줄 수 있나요??
현재 코딩은 let 함수이름 : 타입a * 타입b -> 타입c =
fun a b -> body
이런식으로 짜서 컴파일할때는 오류체크를 다 하는데 막상 실행시에 문제가 생길때가 있네요..;; |
|