Dependent Type
A dependent type is a type whose definition depends on a value.
PHP does not support dependent type explicitly, though several situations behaves in a similar manner.
<?php
print abs(-1); // 1, as integer
print abs(-1.33); // 1.33, as float
?>