게시판 인덱스

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

검색 결과 2 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 과제 6-3의 ASSIGN의 type과 관련해서 질문이 있습니다.
정민규

답변: 1
조회: 2299

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월25일 6:22   주제: 과제 6-3의 ASSIGN의 type과 관련해서 질문이 있습니다.
static semantics의 Assign 항목을 보면
Γㅏe1: τ loc
Γㅏe2: τ
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
Γㅏe1 := e2: τ
라고 되어 있습니다.

이에 따르 ...
  주제: 함수의 타입에 관한 질문이 있습니다.
정민규

답변: 1
조회: 1125

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월13일 22:20   주제: 함수의 타입에 관한 질문이 있습니다.
(1)
간단히 2개의 정수를 더하는 (int * int) -> int의 함수를 선언하는 방법이 2가지가 있습니다.
1. let func1 : (int*int) -> int = fun (x,y) -> x+y
2. let f ...
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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