practical.tex 233 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

\indent

- selection of occurrences whose specific typing is useful

- when refinement for a variable is useful

- handling side-effects

- generic boolean expression in if

- encoding of other constructions (isInt, typeof ...)