PyTorch and Dex with Adam Paszke
The Array Cast
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.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
