 |
HW7 | |
|
HW6 | |
|
HW5 | |
|
HW4 | |
|
HW3 | |
|
HW2 | |
|
HW1 | |
What is the grading policy of the course?
|
Assignments: - Every 1-2 weeks - Weight is up to 20% (TAKEF) - Teams of 2 (strict!) - Matching services provided by teaching assistants. Final exam: - "Open material". - Date set by the authorities. - Weight is 80% or more. Final Grade: - If exam grade > 50: 80% exam, 20% assignments - Otherwise: 100% exam |
Standard ML - May we ignore "Warning: calling polyEqual" warnings?
|
Yes. This warning doesn't indicate any real problem with the code. |
Can you give examples for filter_dir and filter_file?
|
- val root1 = DE("/1",Dir([DE("d1",Dir([])), FE("f1",1)])); val root1 = DE ("/1",Dir [DE ("d1",Dir []),FE ("f1",1)]) : int element - val ex1 = filter_file root1 (fn (FE("f1",_)) => false | _ => true); val ex1 = DE ("/1",Dir [DE ("d1",Dir [])]) : int element val ex2 = filter_file (FE("f1",1)) (fn (FE("f1",_)) => false | _ => true); val ex2 = NullFile : int element val ex3 = filter_dir (Dir([DE("d1",Dir([])), FE("f1",1)])) (fn (FE("f1",_)) => false | _ => true); val ex3 = Dir [DE ("d1",Dir [])] : int directory |