Arc Forumnew | comments | leaders | submitlogin
2 points by treef 6090 days ago | link | parent

i would like the * ? to be a name-marco that would expand to

   [(is (type _) '*]
so

   int? -> [(is (type _) 'int]
   (int? 3)


4 points by nex3 6090 days ago | link

I don't like this. I'd prefer to allow the question mark to be at the end of any predicate. It's pretty simple to define your own type predicates if you need them, but it's not possible to define other question-marked predicates if the syntax is already taken up.

-----