d as {{"a", "b"}: {1, 2}} = {"a": 1}
dict = !d
dict.insert! "b", 2
_ = dict.get("a") == "a" # ERR
_ = dict.get("b") == "a" # ERR
_ = dict.get("c") # OK
_ = dict["b"] # OK
_ = dict["c"] # ERR
_: Mapping(Int, Str) = !{1: "a", 2: "b"}
_: Mapping(Str, Int) = !{1: "a", 2: "b"} # ERR
Manager = Class {
.tasks = List Dict! { Int: Str }
}
Manager.
show_tasks! self, id: Str =
for! self.tasks, task =>
print! task[id] # ERR