On Thursday, December 10, 2015 at 9:11:00 PM UTC+1, Vincent St-Amour wrote: > Right. That's why we've built tools to get information about these types > more digestible: > > http://docs.racket-lang.org/ts-reference/Exploring_Types.html
Thanks, I'd seen those but forgot the non-verbose option. > You may be interested in: > > > http://andmkent.com/blog/2015/11/22/new-draft-paper-occurrence-typing-modulo-theories/ Thanks, I had forgot SMT altogether. What's good about Presburger arithmetic is that it's predictable — it doesn't get multiplication. But that's indeed very restrictive. I've bookmarked that paper and already skimmed the PADL one. Cheers, Paolo -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
