search

f5devcentral / shapeRank

Apache License 2.0
46 stars 3 forks source link

Transposition support #2

Closed gbracha-f5 closed 3 years ago

gbracha-f5 commented 3 years ago

Add support for typechecking transposition. The planned semantics are roughly based on APL. Requires type expression syntax (for transpose, and for parenthesized type expressions for precedence) and typechecker implementation.

gbracha-f5 commented 3 years ago

The new typechecker handles this just fine. However, we lost support for transposition in the interpreter when we transitioned to streams. I'm closing this issue and opening a new one for the interpreter.