Существует ли проект с открытым исходным кодом, который использует Hoplon и обрабатывает веб-аутентификацию?

Аутентификация в Castra выполняется с помощью аннотаций функций конечной точки RPC. Эти аннотации становятся утверждениями, когда функция вызывается как конечная точка вызова RPC, но не при вызове из REPL или из другой функции. Думайте об этом как о способе внедрения кода в функцию только тогда, когда функция вызывается клиентом. Эта архитектура имеет несколько преимуществ:

• Аутентификация становится своего рода предварительным условием для самих функций RPC, но поскольку они реализованы в виде аннотаций к функциям, они не связаны с проблемами функций RPC.
• Аутентификация, реализованная таким образом, является полной по Тьюрингу: любая схема аутентификации, которую можно себе представить, может быть реализована в вашем приложении напрямую, в виде библиотеки clojure. Лисп может это сделать (тм). Просто поверь :)
• Вы можете создавать функции RPC без необходимости имитировать состояние, потому что оцениваются только аннотации конечной точки, которую клиент вызывает напрямую.
• Вы можете вызывать конечные точки RPC в REPL или из тестов без необходимости имитировать состояние. Конечно, если вы хотите проверить предварительные условия, это возможно и в REPL.