Jacques Carette
Jacques Carette
I was definitely not thinking of these as *types*, to be dealt with in a 'type system'. Guards, sure. Annotations even.
@zaxtax Is this still live?
Did this maybe get done by either @ccshan or @yuriy0 when lots of changes to the parser and pretty-printer were done?
The conclusion might be that this is, in fact, not an 'issue' that requires action? If it is never going to be implemented, we should just close it.
@pravnar I believe you've done work on subst -- is this still a 'live' issue?
http://www.itl.nist.gov/div898/handbook/eda/section3/eda366h.htm
`t::TopProp, z::TopProp, as::TopProp` worry me a little. I guess we know these are some kind of array (which I think can be said to Maple). One possibility comes to mind:...
The reason to use `size[z]` (and companions) is that `depends(size[z],z)` is still true. If you go to `size/z`, then that now is false -- and that breaks things, badly. What...
Right - most of the time, we have to assume that the dependency structure matters. Only in purely algebraic contexts (like SemiAlgebraic) is it clear that this doesn't matter. There...
I have totally stalled on all my coding work. All my time in the last couple of weeks has gone into preparing talks, meeting a couple of paper deadlines and...