## Motivation for erase

Moderator: Type Systems of Programming Languages

timo.b
Mausschubser
Beiträge: 79
Registriert: 28. Sep 2009 16:18

### Motivation for erase

Hi,

in the lecture (19.11.) the function $$erase$$ was introduced. This function takes an typed term and computes an untyped term. What is the motivation of using/writing the $$erase$$-function?

kind regards
Timo Bähr

dschneid
Sonntagsinformatiker
Beiträge: 271
Registriert: 14. Dez 2009 00:56

### Re: Motivation for erase

The motivation is basically to demonstrate that the types are only used by the type checker, and do not influence the execution of terms.

timo.b
Mausschubser
Beiträge: 79
Registriert: 28. Sep 2009 16:18

### Re: Motivation for erase

dschneid hat geschrieben:The motivation is basically to demonstrate that the types are only used by the type checker, and do not influence the execution of terms.
Thank you. I asked me if there was more than that.