[컴퓨터]프로그래밍언어 15장문제정답

소개글

안녕하세요
프로그래밍언어를 수강하시는 분들은 매 chapter가 끝날때마다
압박을 주는 많은 연습&복습문제 때문에 다덜 고생이 많으실겁니다 ^^
또한 시험기간에 일일이 정리하는데도 시간이 엄청 많이 걸리죠?
그러한 불편한점을 저도 겪었기에 이렇게 정리해서 자료로 올립니다
가격도 다른데보다 일부러 더 저렴하게 올립니다
모두들 많은 참고 바라구요 좋은학점 받으시길 발래요 ^^

목차

1. 범함수 형태와 참조 투명성을 정의하시오.
2. 원본 LISP의 데이터 타입은 무엇인가?
3. EQ?, EQV? = 의 차이점은 무엇인가?
6. COND의 의미를 서술하시오.
7. LET의 의미를 서술하시오.
9. COMMON LISP과 Scheme은 어느 면에서 정반대인가?
10. Scheme, COMMON LISP, ML, Haskell에서 사용되는 영역규칙은
각각 무엇인가?
11. ML이 Scheme과 다른 세 가지 면이 무엇인가?
12. ML에서 사용된 것처럼 타입 추론이란 무엇인가?(5장참고)
14. 지연평가는 무엇을 의미하는가?

본문내용

1. 범함수 형태와 참조 투명성을 정의하시오.
- 범함수 형태 : 매개 변수로 함수를 취하거나 결과로
함수를 산출하는 함수

- 참조 투명성 : 함수의 실행은 동일한 매개 변수가 주어진다면
항상 동일한 결과를 생산한다

2. 원본 LISP의 데이터 타입은 무엇인가?
데이터 객체-원자와 리스트가 있다

3. EQ?, EQV? = 의 차이점은 무엇인가?
- EQ?
기호원자에 대해서 동작, 수치원자에는 반드시 동작하지 않음

- EQV?
수치원자와 기호원자에 동작하는 다른 술어 함수
- =
수치원자에는 동작 기호원자에는 동작하지 않음
- EQV? 대신에 EQ? 나 =를 사용하는 주 이유는
EQ?와 =가 EQV? 보다 빠르다는 것

6. COND의 의미를 서술하시오.
- 매개 변수의 술어는 처음부터 순서대로 #T로 평가될 때가지
한번에 하나씩 평가
#T로 알려진 첫 술어 다음에 오는 표현식이 평가되고 마지막 표현식의 값이 COND의 값으로 반환된다.

7. LET의 의미를 서술하시오.
- (LET (
(이름_1 표현식_1)
(이름_2 표현식_2)
..............
(이름_n 표현식_n)
(이름_1 표현식_1)
표현식 {표현식}

- LET의미는 처음 nro의 표현식은 평가되고 결과값이 관련 이름에 바인딩 된다는 것

참고 자료

없음