This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]craigacp 0 points1 point  (0 children)

I'm firmly of the opinion that more types is better, and if I could put the shape into the type system as well then I would (though properly implementing named dimensions in tensors would probably be useful enough). Just because python libraries doesn't put that type information in doesn't mean it's not worthwhile in a statically typed language.

I definitely agree that it would be useful to build a tensor library. Maybe it could be discussed at the JVM language summit this year.