Kodi Arfer

I haven't really stayed in the loop with respect to type annotations, and have gotten the impression that Python supports adding them but does nothing with them itself. How would...

Shouldn't they be validated somehow? Suppose somebody who isn't using a language server (e.g., me) submits a PR that's incorrect with respect to the type annotations.

Okay, sounds reasonable, then.

I can't speak to those questions, but beware that it appears that getting Hy to pass a typecheck is a massive job, even if you only add a little typing...

So, the smoothest route is likely to begin by getting the codebase to pass a typecheck as it stands, with few type hints, and then add the desired new hints.

RPython may have worked at one point (#29) but probably doesn't now (#780). At any rate, we can't really say we support an implementation that we're not testing on, so...

> Since this doesn't quite seem possible in practice currently, does anyone have advice for mixing Hy in to an existing Python team? Assuming that co-workers want to continue to...

To be clear, we're still not at 1.0. Work you do to update your code for the current master will help you get to 1.0 compatibility, but 1.0 still doesn't...

> I checked pip and saw that we're at 0.20.0 now. ~Not exactly; that's just the last non-alpha release. All further releases have been and will be alphas until 1.0,...

I'm not sure what the distinction is between this issue and https://github.com/hylang/hy/projects/1 . Oh well. Hy's support for Windows is going to be nominal until we have a maintainer who...