[gawi]

Further in the text:

> A Neural Module’s inputs/outputs have a Neural Type, that describes the semantics, the axis order, and the dimensions of the input/output tensor. This typing allows Neural Modules to be safely chained together to build applications, as in the ASR example below.

[nerdponx]

Sounds like a typed Pytorch module then?

[falsedan]

> inputs/outputs have a Neural Type, that describes the semantics, the axis order, and the dimensions of the input/output tensor

Does that really answer any of my questions? What's 'Neural' about the type?

[MrEldritch]

Sounds kind of like what's described in Neural Networks, Types, and Functional Programming: http://colah.github.io/posts/2015-09-NN-Types-FP/