SerVB08/13/2021, 6:26 PM
have lambdas that we can't compile for now. I want to switch my context a bit and try to support lambdas.
with an invariant that every saved value lies in the range of possible values of the corresponding Kotlin type. Compiler should ensure this invariant: add overflow simulation after arithmetic operations, for example. Plain Python type will make code easier to use from Python and also more perfomant. Sounds workable but the problem will arise when we want to save a number as a generic type, or
and then check its type. I guess in such a situation we will have to box the integer into a Kotlin wrapper class like
to understand its type in the future. Boxing/unboxing isn't supported in my PR at all. We should support it at some point
Piotr Krzemiński08/14/2021, 11:32 AM