Alessandro Marrella

@SiriusStarr : TIL row polymorphism, thanks! What I proposed is a bit weaker than row polymorphism, because we don't preserve the `ρ`, but yeah full row polymorphism is even better!...

> If I remember correctly, the main issue here is that row polymorphism has the extra ρ type parameter for a reason. In a typed language it's not just a...

I see what you mean now :) How about having a special type which allows this? Such type would be of kind `* -> *` and accept a record as...

@Gabriel439: thanks for the link and the explanation! :) I agree that this could be a problem for unification or bidirectional type inference if these were going to be introduced...

Hi @clairelin135 @rexledesma is there anything I can do to help this PR getting merged? These pins are holding us back on several dependencies

No problem, thanks for taking care of this!

Having the same problem here (python 3.10, prophet 1.1.1 works but 1.1.2 , 1.1.3 and 1.1.4 don't)

Hi @arnaudbos , thanks for opening this issue and for opening the PR! The 1.17 link and the example definitely needed to be fixed, thanks for taking care of that!...

Thank you for your help :) > However, I think simply keeping the 1.17 link and example fixes in the aforementioned PR is not a good idea. Because, in the...

@Gabriel439: I didn't mean for the versions to be combinatorial. Only different kubernetes versions would be supported in this model, not different versions of the packages themselves. But keeping the...