我是榆树的新手，对这门语言有一个基本的问题。
核心功能Basics.toString : a -> String有一个原生模块（即javascript）implementation。
似乎 by design Elm无法进行运行时类型检查，也没有功能重载，换句话说，没有ad-hoc polymorphism。
我在这个断言中是否正确，因此本机模块实现是唯一方式来实现任何函数，如toString，其行为取决于类型变量的值？< / p>
我并不反对这一点，我可以看到这种约束提供的简单性 - 我只是想知道我是否理解正确的事情！