게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

튜링머신 타입 질문입니다

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2012)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
박준호



가입: 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
이런식으로 짜서 컴파일할때는 오류체크를 다 하는데 막상 실행시에 문제가 생길때가 있네요..;;
위로
사용자 정보 보기 비밀 메시지 보내기
최민아



가입: 2009년 9월 28일
올린 글: 236

올리기올려짐: 2012년11월24일 16:29    주제: 인용과 함께 답변

네 만들어서 쓰시면 됩니다.

tape이 int * symbol list인데 list가 아닌 int * symbol을 넣고 있는 것은 아닌가요?
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2012) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay