[plt-scheme] Why do folks implement statically typed languages?

On Jun 1, 2007, at 9:15 AM, hendrik at topoi.pooq.com wrote:

> As an academic, long ago, I tried working on dynamic types, and I
> insistedn on implementing them to test whether they would really work
> in practice.  I'm really weary of everything being done in principle
> and nothing in practice.  The result was a dearth of papers,  which
> ended my academic career and thus denied me the time and resources I
> needed to continue implementing them.  This was back in the 80's

PLT implements and models. Always. -- Matthias