PyTorch and Dex with Adam Paszke
The Array Cast
00:00
The Importance of Type Classes in Code Synthesis
There are some rank polymorphic facilities, but it's not like built in to everything. Plus is actually an overloaded operation and we kind of adopted essentially type classes from Haskell. And you can think of type classes as being kind of a type-driven code synthesis tool for something like plus. So a bunch of operators do behave in a rank-philomorphic way, but we do achieve it through type classes.
Transcript
Play full episode
