Home/ Questions/Q 6036653
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-23T05:57:23+00:00

Last night I was thining that programming languages can have a feature in which

  • 0

Last night I was thining that programming languages can have a feature in which we should be able to constraints the values assigned to primitive data types.

For example I should be able to say my variable of type int can only have value between 0 and 100

int<0, 100> progress;

This would then act as a normal integer in all scenarios except the fact that you won’t be able to specify values out of the range defined in constraint. The compiler will not compile the code progress=200.
This constraint can be carried over with type information.

Is this possible? Is it done in any programming language? If yes then which language has it and what is this technique called?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    It is generally not possible. It makes little sense to use integers without any arithmetic operators. With arithmetic operators you have this:

    int<0,100> x, u, v;
...
x = u + v; // is it in range?

    If you’re willing to do checks at run-time, then yes, several mainstream languages support it, starting with Pascal.

    • 0