+++ /dev/null
-# Exemple simple
-var x: Object = "une string"
-if x isa Int then
- # Le type statique de x devient Int
- print x * 10 # Ok
-end
-
-# Exemple basé sur les opérateurs booléens
-var a: Array[Object] = new Array[Object]
-
-for i in a do
- # Le type statique de i est Object
- if not i isa Int then continue
- # Le type statique de i devient Int
- print i * 10 # Ok
-end
-
-# Encore plus fort
-var max = 0
-
-for i in a do
- if i isa Int and i > max then max = 1
- # Le > est valide puisque dans la partie à gauche du 'and' le type statique de i est Int
-end