Index
Blog

# interpX

At the end of class today I was asked about my use of the function name interpX. I tend to use eval for functions that perform evaluation, typeof for functions that find types, and elab for elaborators. However, I’ve not used interp often enough for it to mean anything to you. When I use interp it is typically defining a function that pulls together several functions like eval, typeof, and elab into a single language interpreter. This is not a formal definition. I don’t intend for you to remember this usage for an exam and it’s not something that is defined by the PL community.