我正在学习一些教程，但看到这些变量时感到困惑，这些变量到底是什么，它们叫什么？
这些都是模块属性。
有一些预定义的模块属性，如Module文档中所述。@impl和@type是在上述ModuleI的文档中描述的预定义的。
从语言核心开始，然后深入到框架中总是一个好主意，但由于您的问题也提到了phoenix框架，因此值得一提的是phoenix很好地使用了模块挂钩，隐式地声明了一些模块属性以方便访问@assigns等，但这肯定超出了您当前的范围。