Deno も結構そういうところあるけど、Lean のチュートリアル、ちょっと古いやつだと最新の Lean で動かなくなってるぽいのがあるっぽくて注意が必要そうだ・・・