doc/developpez/syntaxe/listings/typage2_c.nit

   1 # Exemple simple
   2 var x: Object = "une string"
   3 if x isa Int then
   4         # Le type statique de x devient Int
   5         print x * 10 # Ok
   6 end
   7
   8 # Exemple basé sur les opérateurs booléens
   9 var a: Array[Object] = new Array[Object]
  10
  11 for i in a do
  12         # Le type statique de i est Object
  13         if not i isa Int then continue
  14         # Le type statique de i devient Int
  15         print i * 10 # Ok
  16 end
  17
  18 # Encore plus fort
  19 var max = 0
  20
  21 for i in a do
  22         if i isa Int and i > max then max = 1
  23         # Le > est valide puisque dans la partie à gauche du 'and' le type statique de i est Int
  24 end