| int x (>= 0, <=10) | x = parseInt(getKeyboardInput) Will be a compile time err... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		randyrand on April 10, 2014 \| parent \| context \| favorite \| on: Programming paradigms that change how you think ab... \| int x (>= 0, <=10) \| x = parseInt(getKeyboardInput) Will be a compile time error because getKeyBoard input returns integers that are between 0-256(?) not 0-10 like 'x' wants.

jarrett on April 10, 2014 [–]

Exactly. That's why I proposed a Haskell-ish Maybe construct to represent the uncertainty of the input's validity. The code snippet:

  int x (>= 0, <=10) | x = parseInt(getKeyboardInput)

...was meant as an example of what won't work.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact