진민식
가입: 2006년 3월 21일 올린 글: 67
|
올려짐: 2006년5월6일 21:52 주제: |
|
|
http://ropas.snu.ac.kr/n/lib92/
에 보시면 Map과 관련된 함수에 대한 사용법을 찾아보실수 있습니다.
질문에 대한 답변으로,
Map.iter 란 함수가 있습니다. 이 함수의 사용법은 다음과 같습니다.
코드: |
val map = Map.add 2 "hehe" (Map.add 1 "haha" Map.empty)
fun print key value = print_string (string_of_int key);print_string value; print_string "\n"
val _ = Map.iter print map |
위와 같은 코드는 map에 있는 mapping(1-> "haha", 2-> "hehe")를 각각
따라가면서 print를 실행합니다. 이 때 print 란 함수에 대해서 mapping의 key
가 첫번째 argument, mapping의 value가 2번째 argument가 됩니다. |
|