A restricted form is refinement types.
Μια σχετική μορφή είναι οι refinement types.