top | item 44494760 (no title) necunpri | 7 months ago This is the strength of typing, right?If I can specify the type of my input I can ensure the verification. discuss order hn newest sureglymop|7 months ago How so? If you specify the type int how would that save you from an overflow/underflow at runtime? alternatex|7 months ago Not sure if types are supposed to protect against overflow/underflow, it's more in the arithmetic territory. Interesting idea though, I wonder if some programming language allows overflow/underflow checks directly in the types. load replies (1)
sureglymop|7 months ago How so? If you specify the type int how would that save you from an overflow/underflow at runtime? alternatex|7 months ago Not sure if types are supposed to protect against overflow/underflow, it's more in the arithmetic territory. Interesting idea though, I wonder if some programming language allows overflow/underflow checks directly in the types. load replies (1)
alternatex|7 months ago Not sure if types are supposed to protect against overflow/underflow, it's more in the arithmetic territory. Interesting idea though, I wonder if some programming language allows overflow/underflow checks directly in the types. load replies (1)
sureglymop|7 months ago
alternatex|7 months ago