On Thu, Feb 26, 2015 at 9:58 AM, Matt Oliveri <[email protected]> wrote:
> ....it looks like you mean maximum total arity, which > is indeed unknown in that example. But I really am talking about > maximum _shallow_ arity, which is not the same. > Hmm. Through this whole discussion, I have been interpreting "shallow arity" to mean the native concrete arity of the leftmost application. That is always a simple (singleton) arity rather than an arity vector. I'm not sure what is meant by the *maximum* shallow arity, so I'm not yet able to use that term in a way that is consistent with you. Aside: I'm disconcerted by using "shallow" and "deep" here, which are generally associated with object graphs and pointer traversal. Perhaps I'm just not seeing the connection. So: can you define terms? >> What are some of your favorite concrete types? > > > > Well, Sakrete is good for a lot of things... (http://www.sakrete.com) I can't believe you passed up the chance to play with Sakrete. It's really fun stuff! :-) shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
