A very frequent use for a result of typeOf is obtaining an underlying type symbol. Another thing that comes up occasionally at stack overflow is a request to add facilities for reification of symbols.
This naturally suggests that our reflection API would benefit from a method called symbolOf that can take a term or type argument and return an underlying symbol.
The text was updated successfully, but these errors were encountered:
A very frequent use for a result of typeOf is obtaining an underlying type symbol. Another thing that comes up occasionally at stack overflow is a request to add facilities for reification of symbols.
This naturally suggests that our reflection API would benefit from a method called symbolOf that can take a term or type argument and return an underlying symbol.
The text was updated successfully, but these errors were encountered: