오평석
가입: 2014년 10월 17일
올린 글: 8
|
 올려짐: 2014년11월25일 15:38 주제: hw 7-2 테스트케이스 공유해봅니다 |
 |
|
| 코드: |
let t1 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.V "3"), SkiLiquid.V "2")
let t2 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.S, SkiLiquid.V "3"), SkiLiquid.V "2"), SkiLiquid.V "1")
let t3 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.I), SkiLiquid.V "2"), SkiLiquid.V "3")
let t4 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.V "H", SkiLiquid.V "e"), SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.M (SkiLiquid.I, SkiLiquid.S)), SkiLiquid.V "x"), SkiLiquid.M (SkiLiquid.I, SkiLiquid.I)), SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.I), SkiLiquid.V "x")), SkiLiquid.V "l")), SkiLiquid.M (SkiLiquid.M (SkiLiquid.V "o", SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.M (SkiLiquid.V ",", SkiLiquid.V "w")), SkiLiquid.V "x")), SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.I, SkiLiquid.V "o"), SkiLiquid.M (SkiLiquid.I, SkiLiquid.V "r")), SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.S, SkiLiquid.M (SkiLiquid.K, SkiLiquid.M (SkiLiquid.S, SkiLiquid.K))), SkiLiquid.S), SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.S), SkiLiquid.V "3")), SkiLiquid.V "5")), SkiLiquid.M (SkiLiquid.V "l", SkiLiquid.V "d")))))
let _ = output (fun () -> "3" = (SkiLiquid.pprint (SkiLiquid.react t1)))
let _ = output (fun () -> "((3 1) (2 1))" = (SkiLiquid.pprint (SkiLiquid.react t2)))
let _ = output (fun () -> "3" = (SkiLiquid.pprint (SkiLiquid.react t3)))
let _ = output (fun () -> "(((H e) (l l)) ((o (, w)) ((o r) (l d))))" = (SkiLiquid.pprint (SkiLiquid.react t4)))
let t5 = SkiLiquid.M (SkiLiquid.I, SkiLiquid.V "x")
let t6 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.K, SkiLiquid.V "x"), SkiLiquid.V "y")
let t7 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.S, SkiLiquid.V "x"), SkiLiquid.V "y"), SkiLiquid.V "z")
let t8 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.S, SkiLiquid.K), SkiLiquid.S), SkiLiquid.K)
let t9 = SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.M (SkiLiquid.S, SkiLiquid.M (SkiLiquid.K, SkiLiquid.M (SkiLiquid.S, SkiLiquid.I))), SkiLiquid.K), SkiLiquid.V "x"), SkiLiquid.V "y")
let _ = output (fun () -> "x" = (SkiLiquid.pprint (SkiLiquid.react t5)))
let _ = output (fun () -> "x" = (SkiLiquid.pprint (SkiLiquid.react t6)))
let _ = output (fun () -> "((x z) (y z))" = (SkiLiquid.pprint (SkiLiquid.react t7)))
let _ = output (fun () -> "K" = (SkiLiquid.pprint (SkiLiquid.react t8)))
let _ = output (fun () -> "(y x)" = (SkiLiquid.pprint (SkiLiquid.react t9)))
|
지난 번 racket 과제 중 ski combinator가 있었는데, 그 때 게시판에 올라온 테스트케이스들을 ml 형식에 맞게 수정해보았습니다.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4487
hw7-2번 그레이더 파일에 덧붙이시면 됩니다.
따로 컨버터 코드를 작성해서 한 게 아니라서, 옮기는 과정에서 틀렸을 수도 있으니 같이 확인해보아요 
오평석 가 2014년11월25일 21:45에 수정함, 총 2 번 수정됨 |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
