[feature] Support for type arguments for convenient factory functions about kcl

[Peefy]

I agree.

If we need to have factory for any schema and required attributes. We may have the following form

type {**required_attrs}

However, KCL currently check the schema type strictly. In the next version, I believe that you can impl the type factory and I will do some minor optimzed changes for KCL and show you the example later. 😃

[Peefy]

I've opened a PR to impl this: #1269

But I have not added the type type for the arguments and used a runtime type type assert statement to verify the argument type at runtime.

schema Foo:
    foo: str

schema Bar:
    bar: str

factory = lambda type: any, attrs: {:} = {} -> Foo | Bar {
    assert typeof(type) == "type"
    func = $type
    instance = func() {**attrs}
}

_foo = factory(Foo, {foo = "foo"}) # Note we set attributes here.
_bar = factory(Bar, {bar = "bar"}) # Note we set attributes here.
if typeof(_foo) == "Foo":
    foo = _foo as Foo

if typeof(_bar) == "Bar":
    bar = _bar as Bar

[dennybaa]

Thanks a lot Peefy! Very solid 👍