게시판 인덱스

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

7-1 질문

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김종석



가입: 2013년 9월 4일
올린 글: 4
올리기올려짐: 2013년11월30일 3:35    주제: 7-1 질문 인용과 함께 답변
simple에서 결정되지 않은 타입이 있는 경우 맨 마지막 출력시 결정되는지 결정되지 않은지만을 확인하면 되는건가요?

예를들어 다음의 두가지에서의 결론이 궁금합니다.
1.
(fn x => x)


2.
(fn x=> x); 2
위로
사용자 정보 보기 비밀 메시지 보내기
박재훈



가입: 2010년 9월 23일
올린 글: 8
올리기올려짐: 2013년11월30일 14:32    주제: 네 인용과 함께 답변
M 문서의 1.1 Program을 보면

인용:

A program is an expression of non-function type: i, s, b, T loc, or T * T' where T and T' are non-function types. For example,

fn x => x

is not a program, because its type is a function. On the other hand,

(fn x => x) read

is a program, whose type is integer.


라고 되어있네요~ 입력으로 들어오는 program이 위 정의만 따른다면 결정되지 않는 경우는 존재하지 않겠죠

정의를 안따른다면 오류를 내면 될거 같구요


(tau 대신 T로 썼어요)
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602
올리기올려짐: 2013년11월30일 16:30    주제: 인용과 함께 답변
M언어에서 (fn x => x) 는 프로그램이 아닙니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013) 시간대: GMT + 9 시간(한국)
페이지 1 중 1

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


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