[안현주]

for_all 이라는 함수를 짜는데

아무리 생각해도 Nil이면 false를 리턴해야 할거 같습니다.

만약 처음부터 Nil이면 조건에 해당하는 원소가 없으니까요..

그런데 함수 자체는 && 연산자를 써서 구현해야 할것 같은데

그러면 Nil 까지 간 뒤에 무조건 결과값이 false가 되어버립니다. ㅠㅠ

Nil일때는 true로 해줘야 하는건가요?

[정영범]

Nil 일때는 true를 돌려줘야 합니다.

for_all은 리스트의 모든 원소에 대해서 주어진 조건이 만족하는지 체크하는 것입니다.
만약 리스트의 원소가 없다면 어떤 조건이든지 항상 만족하는 것이 되지요.

[이원찬]

정답을 말씀드리는것 같지만 Nil일때는 true가 돼야 맞습니다.
"모든 l의 원소가 f를 만족한다"는 사실 자체는
l의 원소가 존재한다는 "가정"이 참일때 성립합니다.
허나, l의 원소가 존재하지 않으므로 가정이 거짓이 되고,
전체는 항상 참이 되는 것입니다.

[안현주]

답변 감사합니다! ^^