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.

--
Greg

_______________________________________________
cython-devel mailing list
cython-devel@python.org
https://mail.python.org/mailman/listinfo/cython-devel

Reply via email to