Re: [Felix-language] [felix] Ugly ?x in patterns

2012-12-25 Thread Dobes Vandermeer
I think the #true thing is not bad. It may be worth considering treating special cases like that as if "true" were a boolean literal rather than an identifier, and doesn't require a parameter. But that said, #true isn't that bad. In LISP they always write #t and it doesn't bother people much. I

Re: [Felix-language] [felix] ATS

2012-12-25 Thread john skaller
On 25/12/2012, at 7:10 PM, Raoul Duke wrote: > 2nd'd (although i'm just a language "groupie", not a 'trusted > authority' on such things :-) There are no authorities (though Oleg comes dang close :) > > note that iirc from the ats list, one wants to be looking at / using > ats2, since ats is d

Re: [Felix-language] [felix] ATS

2012-12-25 Thread Raoul Duke
2nd'd (although i'm just a language "groupie", not a 'trusted authority' on such things :-) note that iirc from the ats list, one wants to be looking at / using ats2, since ats is deprecated pretty much. please also note the part of the ddc dissertation that says the dependent etc. typing notation