Questions tagged [compiler-inference]
The compiler-inference tag has no summary.
3 questions
3
votes
1
answer
255
views
What do you call the act of rebalance an parse tree so simplistic regex are closest to the root node over variables/identifiers?
What is this step called to convert a parse tree into a pattern tree?
I need to understand terminologies on the act of conversion/rebalancing the parse tree such that the most simplistic regular ...
- 141
3
votes
1
answer
297
views
Expressing runtime constraints with trait-bounds
I've recently listened to Corecursive episode with John A De Goes and there's one thing that really got me thinking: the idea of type class laws pertaining to performance guarantees. The example ...
- 163
8
votes
3
answers
229
views
How can single-item tuples be disambiguated from the grouping operator?
While single-item tuples aren't particularly useful, disallowing them entirely, or allowing them but with few to no valid representations in syntax, may also be undesirable. However, since tuples ...
- 4,870