Myia is a new differentiable programming language. It aims to support large scale high performance computations (e.g. linear algebra) and their gradients. The main application Myia aims to support is research in artificial intelligence, in particular deep learning algorithms.
- Define a model using a subset of Python, which is compiled to Myia (interfaces in other languages than Python may follow). This subset is general purpose and includes looping constructs and recursion. It excludes side effects and inplace operations.
- Ask for the derivative of your model. Derivatives are fully supported for all control flow and all differentiable primitives.
- Compile to efficient CPU and GPU code that optimizes use of your resources.
Myia is currently under development and is not yet ready for use. As of 2018/11/05 we anticipate we may be able to offer a beta for 2018/12/01. We will update that estimate regularly.
Development in artificial intelligence has been undergoing a boom in the past decade, chiefly due to the success of deep neural networks. The training of a neural network is a sort of differentiable program: one writes a program to compute the output and a cost, and then one computes the derivative of that cost with respect to the model's parameters to determine how they should be updated.
Differentiation can be automated, but mainstream programming languages offer no support for this, hence the need for libraries or programming languages that can reliably support these applications.
The current leading solutions for deep learning fall in two camps:
Computation graph-based solutions such as TensorFlow, Theano and MXNet support automatic differentiation and are very well optimized, but they are not fully general, with only limited support for loops and none for general recursion. Thus models like recursive neural networks are tricky and awkward to write.
Operator overloading solutions such as PyTorch or Autograd use a dynamic approach to automatic differentiation which makes them much more general, but they are tightly coupled to the Python language and cannot reap the benefits of an optimizing compiler. They also involve a certain quantity of overhead per operation which discourages composing small cheap operations.
Myia's solution is to define a strongly-typed, general-purpose intermediate representation with an IR-level automatic differentiation transformation, which can then be compiled and optimized for various targets, thereby getting the best of both leading approaches.
- Parser: Supports
while, operators, function calls,
classand methods (limited support).
- Intermediate representation: Implemented, with an array of utilities.
- Debug VM: Faithfully runs the IR.
- VM: Works on the simplified/optimized IR. Uses NNVM to run linear chunks.
- Primitives: Scalar primitives work, as well as map, reduce and broadcasting.
- Type system: Types are inferred without the need for annotations. Shapes can also be inferred.
- Optimization: Pattern-based optimizations, inlining, constant propagation, common subexpression elimination, closure conversion.
- Automatic differentiation: Supported for scalar optimizations. Second order differentiation is not yet in working order.
- Automatic differentiation: We are currently working on supporting all array operations and optimizing the result.
- Optimization: Graphs produced by AD need further optimization to eliminate operations on special data structures.
- GPU support: NNVM is supported but only tested on CPU, so this should be a formality.
- Error messages: We need to make sure that every likely mistake leads to an understandable and traceable error diagnosis.
- Serialization: Serializing optimized graphs will allow for greater performance across runs and greater portability across systems.
- Debugger: Intent is to have a step debugger for Myia. There used to be a working one for a previous version of the IR, so this should not pose a problem.
- More Python syntax:
- Even more Python syntax: Support for these features is not certain.
- Augmented assignment (under restrictions)
- Support other languages: Which ones depend on demand. A new language is also a possibility.