Josef Svenningsson

Thanks @OvermindDL1! We're aware that self-gradualization doesn't work just yet. Indeed, we just recently celebrated that the gradualizer doesn't crash when run on itself. Since the gradualizer is not what...

@Zalastax, indeed! The ticket was automatically closed by github. Thanks for reopening it.

Indeed, we should populate the wiki with info about this. In the meantime you can have a look at a talk I gave before summer at Code Beam: https://www.youtube.com/watch?v=_u1NDuFsW2A There's...

A few thoughts on handling flexible variables: I have already tried to pave the way for dealing with flexible variables. - The `constraints` module collects constraints on both rigid and...

Yes, the `gradualizer` module is the public API. The module `ty` is somewhat special. It is meant as an interim solution to the problem of type annotations in expressions. Currently...

@Zalastax, go wild! I'd love to see this happen.

Where did I write anything along the lines of "type_check_expr should not return type in any case"? If I did then I was clearly delusional. The function `type_check_expr` has a...

I'm glad to hear you're experiencing eureka moments. > Is the reason for this (not to infer type from other constructs) is to maximize the power/effect of user intent? >...

@zuiderkwast, you should be a little careful to use the original gradual typing paper as a reference. The paper "Refined Criteria for Gradual Typing" describes the original paper as providing...

@zuiderkwast, sorry for my unnecessarily abrasive last post. I've been rather frustrated that I don't have much time to work on the gradualizer right now, but it's unfair to take...