Ian Bicking: the old part of his blog

Comment

'You can say "float", but you can't say "float between 0 and 1, inclusive"'

We *can* define Float subranges in Ada

http://goanna.cs.rmit.edu.au/~dale/ada/aln/4_basic_types.html
Comment on Static Code Analysis
by Isaac Gouy