We can check if a variable is an instance of a given type using the command isa:

$1$ ashow b isa Int$64$

$2$ @show b isa Float$64$;

Revert

Not yet executed

We can check if two variables have the same type using the command below.

$1$ @show a isa typeof$($b$)$ ;

Run

Revert

Not yet executed

All types are organized hierarhically with a tree$-$like structure. All number types $($including Float$64,$ Float$32,$ Float$16,$ Float$8,,$ Int$64,$ Int$32,$ Int$16,$ and Int$8)$ are subtypes of the abstract type Number. We can visualize the Number type hierarchy using the command below.

$1$ using AbstractTrees

$2$ AbstractTrees. children$($T: :Type$)=$ subtypes $($T$)$

$3$ print$\_$tree$($Number$)$

$5$ Revert

Not yet executed