Típusszinonímák
A Miranda programozó új nevet vezethet be már létező típusokhoz a
== segítségével (megkülönböztetendő az értékadásoktól). Például:
string == [char]
matrix == [[num]]
Nyilvánvaló okokból a rekurzív típusszinonímák nem megengedettek. A típusszinonímák teljes mértékben átlátszóak a típusellenörző
számára, a legjobb ha makrókként gondolunk rájuk. Lehetséges sablon-típusoknak (típuscsaládoknak) is új név bevezetése, sablon-típus
szimbólumok alkalmazásával formális paraméterként:
array * == [[*]]
Ezek után az
array num típus azonos a
mátrix típussal.
