Т8
Size: a a a
Т8
V
С
Ct
Т8
Ct
AZ
Ct
Ct
p
Ct
Ct
p
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)
p
Ct
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)
foo: Map<String, Fn(Vec<Arg>)>
?DS
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)
С
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)
DS
HCons<("a", PolymorphicAdder), HCons<("b", Fn() -> "co"), HNil>>
DS
AZ
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)
FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : Map k (FooType k)
foo = ...