검색 결과 59 개 일치합니다

현제 m.ml에 정의된 types에는 임의의 변수에 대한 값이 없습니다.

그러면 let f = x x in f f와 같은 입력은 들어오지 않는다고 생각해도 되는건가요?

sm5와 sonata의 내부 어떤 타입이 완전히 같게 생겼는데 컴파일할땐 에러가 납니다.\

두 타입이 같다고 명시해줄 수 있는 방법이 있나요?

바껴야맞다고하네요

Lam의 id에 해당하는 부분은 바꾸지 않는 것으로 알고있는데 아닌가요?

5-2의 재귀함수를 테스트해보기 위해서

(rec fac x => (ifzero x then 0 else (ifzero (x - 1) then 1 else (fac (x - 2) + fac (x - 1)) ))) 4

이 코드를 돌려보았는데(5_2 � ...

5-1에서 무한루프를 만드는 프로그램

(\x.x x) (\x.x x)

이것을 돌렷더니 Fatal error: exception Stack_overflow가 발생합니다.

제대로 된건지 모르겠습니다 ㅜ ...

\y.((y) (y)) (y)나오네요

함수관련하여 질문드립니다.

fn id => e 의 정확한 의미를 모르겠습니다.

이것을 f(id) = e로 이해하면 되나요?

마찬가지로 rec id id => e의 의미도 ...

natural number가 0부터인가요 1부터인가요?

sub가 음수가 나오면 error인가요?

app가 pdf에 없네요

4번 테스트셋이 헷갈리네요.
x의 scope가 바깥쪽에 걸리니까 이 경우엔 그냥 \x.x가 나와야 맞는걸까요?

5-1 테스트셋에 딱히 결과가 없어서 다른 분들은 어떻게 나왔는지 궁금해서 올려봅니다.

저는 1, 2, 3번은 입력과 출력이 동일하고

4번은 \x.y가 나옵� ...

현재 위치가 암시하는 열쇠모양이 무엇인지 이해가 안되서 질문드립니다.

또한 어떤 e의 시작점이 암시하는 열쇠모양이란 표현도 뭘 의미하는지 모� ...

조교님의 답변을 봤는데 여전히 이해가 되지 않아 다시 올립니다.

4-2를 짤 때 모두 같은 문제 하나 때문에 막히는데 어떤 연산의 결과를 임시적으로 ...