검색 결과 9 개 일치합니다

Do I submit Project 1 file named as pj1 or hw9_1?

If I fix the code can I re-submit it?

Thank you so much!

Is it too much to ask if we could get a validation on the challenge problems as well? Since they were not graded together with the HWs...
Thank you.

You made a code to evaluate expression using input int list, in our task source we have "val check_exp: exp -> bool" interface.
So it is not clear how to use your "interpreter.ml&q ...

repeat (read) 5
This is example of normal expression according to type definition.
How to check whether (read) is not negative?

According to the 3rd task I have to check expression before transformation: whether "repeat E1 E2" does not have E1 < 0. But expression E1 itself could have "Read" command, so h ...

I saw this, but #lang racket does not understand the notation. Why is that?

Thank you.

Could you please explain how exactly do you want type checking to be done?
Is it like this:
(provide (contract-out [add (-> number? number? number?)]))
?
I couldn't find it on the lecture slide ...