Well yeah, but I wanted to experiment with the language type system(it started from HM, but it can go anywhere). Classes/records are not implemented yet, but I

Well yeah, but I wanted to experiment with the language type system(it started from HM, but it can go anywhere). Classes/records are not implemented yet, but I can imagine that we have two cases: <object_with_known_exact_class>.<method> then we'll just convert that to a normal function invocation in c(because we'll be able to detect the exact ancestor which defines the method and the method) <an_instance_of_some_class>.<method> if we only know that an object is an instance of a class, we can wrap the invocation in an inline switch on the type field of the object.(instances would map to C structs).