Из книги Yesod.
Hamlet автоматически получает доступ к переменным в области видимости при вызове. Нет необходимости специально передавать переменные.
Что это за глубокая магия? Как он может автоматически узнать, какие переменные находятся в области видимости?
Hamlet основан на Template Haskell; в частности, квазицитатор (т. е. [hamlet| ... |]) используется для встроенных шаблонов, а сращивание (т. е. $(hamletFile "foo")) используется для создания шаблоны из файла. Затем доступ к переменным осуществляется с помощью функций самоанализа Template Haskell.
Это имеет преимущества помимо автоматического доступа к переменным:
Результирующие шаблоны, вероятно, более эффективны, чем те, которые анализируются и интерпретируются во время выполнения, поскольку шаблоны Hamlet компилируются в обычный код Haskell во время компиляции.
При чтении шаблона из файла файл анализируется во время компиляции и встраивается в результирующий двоичный файл, поэтому шаблоны не нужно хранить в одном и том же месте во время выполнения, а достоверность шаблонов обеспечивается статически.
Я считаю, что эти преимущества применимы ко всем шаблонам семейства Shakespeare. Документация по Haddock содержит дополнительную информацию о доступных квазицитаторах и соединениях. .
Это функция квазицитирования в Haskell, которая представляет собой синтаксис [xxx| .... |].
Квазиквотёр может получить доступ к любым переменным, находящимся в области видимости, поэтому их можно интерполировать. Фактическая реализация интерполяции (если таковая имеется) зависит от самого квазиквота.
