> On 1 Feb 2020, at 09:49, Greg Ewing <greg.ew...@canterbury.ac.nz> wrote: > > On 1/02/20 3:03 am, John Skaller2 wrote: >> So this is some kind of hack way >> of getting something a bit like Haskell type classes, >> you’re basically saying int32_t and int64_t are of class “Integer”. > > I suppose you could think of it that way, but it's really > not that formal. > >> This also explains the conflict for me, because Felix is the opposite: >> it aims to make the types of things more precise (and has actual >> type classes for generalisation). > > To define them any more precisely, Cython would need to > know how things vary depending on the platform, which would > mean conditional compilation, etc. It's much easier to leave > all that up to the C compiler and system headers. It also > ensures that there can't be any mismatch between the two.
But the all hell breaks loose for pointers. Your hack only works for rvalues. Of course you probably know this doesn’t occur. — John Skaller skal...@internode.on.net _______________________________________________ cython-devel mailing list cython-devel@python.org https://mail.python.org/mailman/listinfo/cython-devel