eb8680
eb8680
Yes, I think so. We might also need to update minipyro.
@fritzo and I came up with what seems like a nice design in #442. Inspired by the notation in that PR, we might write the `matmul` example above as ```py...
I like the idea of having `assume` or `Where`, where `Where` takes a base type and a dependent predicate. We could even allow their use simultaneously. A downside of this...
I spent some time on this today (see [branch](https://github.com/pyro-ppl/funsor/tree/pytypes-funsormeta)), but I'm not convinced yet that it will actually work... As one might expect, `typing` is really not cut out for...
Most of the infrastructure necessary for this was added in #451. The remaining work is moving patterns into type hints where possible and checking that the new `funsor.typing.GenericTypeMeta` from #451...
This definitely seems like the right way to go. Some design questions: 1. Could we replace `find_domain` with some standard Python type inference library? Are there existing special array types...
Thanks for adding this! WDYT about making `BindReturn` the default behavior of `Fresh`? That would be consistent with default behavior in existing terms like `Cat`, `Stack` and `Independent` and avoid...
> Do you mean that in the example below Fresh type hint would be smart to make ax both bound and fresh and make kernel only fresh? Yes, exactly. On...
Sorry for taking so long to review this (especially since I suggested you try it in the first place). I am still not sure how to go about fixing alpha-conversion...