Parse, Don’t Validate

Re:Parse, Don’t Validate by oblio on Thursday November 07, 2019 @11:10PM (#21479904)

> such as ensuring an integer is in a particular range

I find it funny that one of the most advanced programming languages of our day can't do what Pascal did back in 1980 :-)

[ Parent | on HN ]

Re:Parse, Don’t Validate by papln on Friday November 08, 2019 @11:50AM (#21484033)

"can't do" is not the same as "is not a syntactical built-in". Of course Haskell can represent bounded integers:

Also, Pascal's ranged integers are only for literals; the are not thoroughly enforced by the compiler. They are trivial to circumvent:

    var
      y,z: 5..10;

    Begin   
      Read(y);   Writeln(y);  // 60 works here
      y := 10;
      z := 2*y;  Writeln(z);

[ Parent | on HN ]