A much wanted feature in Julia is "dispatch on return type". In GATlab we potentially have the infrastructure to include either inferred or explicitly declared return types in the dispatch resolution. This would enable, for instance, using 0 for both scalars and vectors in the theory of a module over a ring.
A much wanted feature in Julia is "dispatch on return type". In GATlab we potentially have the infrastructure to include either inferred or explicitly declared return types in the dispatch resolution. This would enable, for instance, using
0for both scalars and vectors in the theory of a module over a ring.