Generics

[lastmjs]

Records, Variants, Tuples, Aliases all need to support generics now. The cdk framework should guide you, along with the existing examples and the new generics example.

• [ ] Update the cdk_framework
• [ ] records
• [ ] variants
• [ ] tuples
• [ ] aliases
• [ ] Make a Result type
• [ ] Replace all ad-hoc result types in examples with the new Result type
  • [ ] Use results like in Azle, everywhere a Result type is appropriate (look at the stable structures Azle example in particular)
• [ ] Create the generics example
• [ ] Documentation
• [ ] We need to uppercase opt, manual, alias

[lastmjs]

We cannot do this until RustPython allows for TypedDicts with Generics, or until we decide to do data classes and deal with the typing issues with making classes with optional properties, I am not sure it's easily possible.

Here's the RustPython issue to follow: https://github.com/RustPython/RustPython/pull/4946

We also will probably (maybe?) need the full stdlib in Kybra first.

[lastmjs]

We are closing this issue anticipating an entire rearchitecture of Kybra similar to what we have done with Azle. This removes most of the compiler architecture as it is. We believe that this issue no longer applies to the new planned architecture.

In case our rearchitecture is not successful, or we otherwise need to find these closed issues, the search term KYBRA_REARCHITECTURE can be used.