lelf·7 年前·議論The language is quite interesting https://github.com/Morgan-Stanley/hobbes#evaluation: e. g. anonymous variants, isorecursive types.
lelf·7 年前·議論> but my mails will not reach my users at Big Mailer CorpsUnfortunately this is not a myth. rDNS/DKIM/SPF/not in any greylists, but mail from you goes to Junk folder on GMail®, experienced that myself.