不，没有像Elm的DefinitelyTyped这样的机制。
要使用来自Elm的JavaScript，您有两个选择：Elm ports和本机代码，前者是推荐的机制。
对于端口，您基本上使用消息传递来请求在JavaScript中实现的某些功能。
使用本机代码，您可以使用两种语言实现Elm和JavaScript之间的绑定。我想这是与DefinitelyTyped最接近的东西。您可以查看使用本机代码的现有模块，例如Dom，以便了解如何执行此操作。请注意，如果您使用本机代码，Elm软件包服务器通常会拒绝为您的模块提供服务。