박종한
가입: 2021년 3월 16일 올린 글: 3
|
올려짐: 2023년6월12일 16:24 주제: [HW8] 람다예보 질문 |
|
|
안녕하세요 프로그래밍언어 조교님,
숙제 8 의 문제 3 [람다예보] 에서 질문이 있습니다.
f lambda x.e 꼴로 재귀함수가 표현되었을 때 x 는 프로그램 변수이고 X_x 는 프로그램 변수가 가지게 될 함수식들의 집합을 의미합니다.
f 도 프로그램 변수라고 볼 수 있나요?
즉, X_f 도 의미가 있는 표현인가요?
감사합니다. |
|