2017-10-19 6 views

답변

5

는 모든 채플 도메인을 설정하지만 '결합 도메인'세트로 사용할 수 있습니다 : 파이썬 세트, 연관 도메인 지원 회원 확인 및 노조의 차이, (다른 사람의 사이에서) 교차로 작업처럼

var s : domain(string); 
s.add("table"); 
s.add("chair"); 
s.add("emu"); 
writeln(s); // {chair, table, emu} 
var t = {"table", "chair", "emu"}; // associative domain literal 

. See the online docs for more information. 기본적으로 연관 도메인은 병렬로 사용하는 것이 안전합니다.

채플의 '연관 배열'은 파이썬 사전과 유사합니다. 채플 배열은 인덱스에서 요소로의 매핑이므로 연관 도메인으로 연관 배열을 만들 수 있습니다.

var inds = {1, 2, 3, 7, 42}; 
var map : [inds] string; 

map[3] = "foo"; 
map[42] = "bar"; 

inds.add(100); // add new index and element 
assert(map[100] == ""); 
map[100] = "baz"; 

var lit = ["bob" => 1, "alice" => 2]; // assoc. array literal