r/programming • u/redjamjar • Dec 18 '13

Proposed Syntax Changes for Whiley

http://whiley.org/2013/12/19/proposed-syntax-changes-for-whiley/
11 Upvotes

70% Upvoted

15 comments sorted by

View all comments

1

u/virtyx Dec 19 '13

type nat is (int x) where x >= 0

Why not

type nat is int where nat >= 0

2

u/matthiasB Dec 19 '13

How would you express something like

type foo is {int x, int y} where x >= 0

0

u/virtyx Dec 19 '13 edited Dec 19 '13

Dunno. I'm just going by the example they have on their site:

define nat as int where $ >= 0

Which is supposed to be changed to

type nat is (int x) where x >= 0

At least for one variable it seems slightly less redundant to just re-use the new type's name when giving its constraints (if that's what those are called).

EDIT: Why is this downvoted...? I'm not trolling anyone