숙제 4 뼈대코드에서 Map.empty Map.add Map.mem 이 나오는데요..

김학봉 · 가입: 2008년 9월 5일 올린 글: 70

코드안에는 structure Map 을 정의하지 않았는데

Map 을 쓰는 문장이 계속 나오네요

최원태 · 가입: 2006년 9월 16일 올린 글: 369

Map은 nml 에서 제공하는 기본 module 이에요.
이것들을 잘 쓰면 프로그램을 쉽게 짤 수 있겠죠.
http://ropas.snu.ac.kr/n/lib92/

특히 List 모듈, Set 모듈, Map 모듈은 배워두면
과제하는 내내 써먹을 수 있습니다.

P.S :
미리 정의된 모듈을 불러쓰는 곳은 Submodule들입니다.
K 자체는 어떤 자체적으로 정의한 Submodule만을 사용하죠.
두단계로 추상화가 이루어져있는 셈이에요.