Yu Gu

> I assume you're talking about the wikitables parser? You can see the optimization that is done here: > > https://github.com/allenai/allennlp-semparse/blob/937d5945488a33c61d0047bd74d8106e60340bbd/allennlp_semparse/domain_languages/wikitables_language.py#L68-L102 > > (there are also a few other places...

> So, this kind of polymorphism is not something that we handle right now. We had some crazy logic for `Placeholder` types in the nltk grammar code, but I didn't...

In fact, my need is just to define a JOIN function for my language. So the join function should take inputs of type and type , and then returns a...

Or maybe I can try to solve it in another way, i.e., I can define multiple JOIN functions for different input types (e.g., JOIN1, JOIN2, JOIN3...), then the problem becomes...

Thanks for your explanation! So the first option will introduce multiple different predicates into my logic forms (e.g., 'JOIN1', 'JOIN2', 'JOIN3',...), right? That's what I don't want. I only want...

Just found another way to address my problem: ```python class TestLanguage(DomainLanguage): def __init__(self, ...): ... for a in types: # types is the set of all possible types we want...

I guess what I don't quite get about option 2 is how do we generate subtype production rules? For instance, in your example that `bool -> [, X, X]`, `...

> Yes, this is related to option 2 that I mentioned above (the caveat that I gave was talking about exactly this error). > > It's actually challenging to implement...

> Does your function result in the same action sequence as the existing function for our current `DomainLanguages`? Or does it change the order? If it changes the order, you...

@EmilyReif Thanks for the quick response! The complete stack trace is as follows, ``` 2020-08-17 17:02:48.345849: I tensorflow/stream_executor/platform/default/dso_loader.cc:48] Successfully opened dynamic library libcublas.so.10 2020-08-17 17:02:50.591791: E tensorflow/stream_executor/cuda/cuda_blas.cc:225] failed to create...