search

joelberkeley / spidr

Accelerated machine learning with dependent types
Apache License 2.0
72 stars 4 forks source link

Distributed computing #387

Open joelberkeley opened 7 months ago

joelberkeley commented 7 months ago

This is a place to discuss the implementation of type-safe distributed computing, including Send, Recv etc. available in XLA/StableHLO.

Brady's paper Idris 2: Quantitative Type Theory in Practice gives an example of type-safe distributed computing using session types. Probably the best place to start