게시판 인덱스

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

검색 결과 2 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: [숙제 6] Exercise 3 질문입니다
손영민

답변: 1
조회: 1150

올리기게시판: 4190.310 Programming Languages (Spring 2025)   올려짐: 2025년5월16일 5:32   주제: [숙제 6] Exercise 3 질문입니다
안녕하세요.

비슷한 문제로 계속 문의 드려 죄송합니다.

제공된 테스트 케이스 3번과 제공된 테스트 케이스 중 일부의 경우 파싱이 App(Lamda _, _)와 ...
  주제: [숙제 6] Exercise 3 질문입니다
손영민

답변: 1
조회: 1004

올리기게시판: 4190.310 Programming Languages (Spring 2025)   올려짐: 2025년5월15일 0:19   주제: [숙제 6] Exercise 3 질문입니다
안녕하세요. 다음과 같은 테스트 케이스 2건에 대해서 파싱의 결과가

\x.x y -> Lam(x,App (x y))
(\x.x) y -> App (Lam(x,x) y)

로 다른데 두 경우 y로 정상적 ...
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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