SerVB
08/13/2021, 6:26 PMbinaryOp/call
have lambdas that we can't compile for now. I want to switch my context a bit and try to support lambdas.int
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 Number
, or Any
and then check its type. I guess in such a situation we will have to box the integer into a Kotlin wrapper class like Int
to understand its type in the future.
Boxing/unboxing isn't supported in my PR at all. We should support it at some pointPiotr Krzemiński
08/14/2021, 11:32 AM