Type safe interpreters

It is well known that most software has bugs [Citation needed] . It is also well known that interpreters are mostly software 1 . One issue that one might run into in an interpreter is type safety : It may very well be possible for your typed language&#x27;s interpreter to nevertheless end up in a state where it is asked to evaluate 1 + "hi!" . What can we do about that? GADTs: Generalized ADTs 2…