Notre langage et son système de type ont porter du fruit. Nous sommes en mesure d'exprimer des restrictions sur les tableaux multidimensionnels et exprimer les opérations qui se font dessus. Dans le cadre des sciences de données, ce type de fonctionnalité sera pratique dans l'établissement de modèles complexes.

Un autre succès vient du traitement du cas du broadcasting qui est une fonctionnalité des langages de programmations dynamique. En effet, celui-ci s'appuie beaucoup sur la conversion de type pour rendre des calculs compatibles. Nous lui avons trouvé un remplacement en implémentant des types et des opérations dédiées centrées sur la notion de matrices. Nous avons trouvé des effets satisfaisants et souvent plus proche des opérations qu'on ferait dans l'algèbre linéaire. Ceci pouvant faciliter l'application de modèles développés théoriquement.
