« first day (3185 days earlier)      last day (595 days later) » 

6:42 PM
@iArnold Oh good, glad you choose Italy. Have a good vacation! Me also I'm far from Pavia these days :-)
 
 
2 hours later…
8:46 PM
So I've actually gotten some ways in on the @[...] implementation for datatypes. It raises some questions. But I do think I prefer this direction to other ideas (such as comparing a WORD! as equal to a DATATYPE! with the same name). It feels more solid.
integer!: @[integer] and then type of 10 being @[integer], and having the equality come from that, seems to abstract it better. And having it be a reusable part for dialects which aren't interested in dealing with types lets it mean other things. I don't feel bad losing @[...] in PARSE to mean "datatype".
But it seems clear that we need "type functions", e.g. refinement!: compose @[(:refinement?)] :-( This makes me wonder if the standard "lax" equality operator should be "weird" and actually dereference things when matching. Like switch 4 [@[even?] [print "e.g. this means run the function on the argument, so this would match"]]
 

« first day (3185 days earlier)      last day (595 days later) »