Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

2
  • 3
    Indeed, in C++ template meta programming it is common to write code that will not be instantiated for types with certain properties with a technique called SFINAE. It looks a bit similar to me to the Scala example except that it is, as the name says, not an error; instead, a viable fallback or alternative is chosen by the compiler. Commented Feb 24, 2021 at 10:45
  • SFINAE was what I was thinking of, but I wasn't sure if that's actually what it was. Commented Feb 25, 2021 at 23:03