> it was able to become one of the most widely used languages precisely because, despite all its warts, it implements the core foundations from the lambda calc

> it was able to become one of the most widely used languages precisely because, despite all its warts, it implements the core foundations from the lambda calculus correctly You think that's why Javascript is widely used? I think it's widely used because it was already useable within the browser and people just kept going with it.