Questions tagged [compiler-inference]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
117 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 ...
gstukelj's user avatar
  • 143
8 votes
3 answers
135 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 ...
Rydwolf Programs's user avatar