Chad Scherrer

Comparison to other approaches?

18

Hi Taine, I was just talking to @McCoyBecker about traits. There are a few different approaches in Julia, and it can be tough to choose among them. He also mentioned...

Reasoning about return types?

8

Hi Taine, In one of your example, you have ```julia @trait Addable{L, R} begin (+) :: [L, R] => Any (+) = Base.:+ end ``` I'd like to do something...

API constraints for method arguments

5

Hi Taine, I'd like to better understand the limitations of this approach, and any workarounds. In the docs you say, > Due to the limitations of dynamic language, the type...

WIP: Nested named tuples

1

This PR is to allow nested named tuples, as first described in https://github.com/JuliaArrays/StructArrays.jl/issues/126#issuecomment-738548831

left/right inverses?

16

Just adding a note here (we don't have to dig in right now), that it would be great to also support `left_inverse` and `right_inverse`, since this comes up so often

Static infinities

1

Not done yet, but should be a good start

static infinity

3

I'm not sure whether it makes more sense here or in Static.jl, but I'd think there should be code somewhere to make this work: ```julia julia> static(∞) ERROR: There is...

`::StdPowerMeasure{MU,1}` pattern

1

In `product_transport.jl`, I see a lot of methods with arguments like ```julia μ::StdPowerMeasure{MU,1} ``` This complicates dispatch, and I don't see why it's necessary. @oschulz Why do we need to...

Missed simplification opportunity for `productmeasure`

8

In this measure ```julia julia> d = productmeasure(fill(Lebesgue(), 5)) ProductMeasure([Lebesgue(ℝ), Lebesgue(ℝ), Lebesgue(ℝ), Lebesgue(ℝ), Lebesgue(ℝ)]) ``` we have ```julia julia> Base.issingletontype(eltype(marginals(d))) true ``` But this guarantees we could instead have written...