如果需要运行用户登录一次便可以访问不同而各自独立的web应用程序时，可以选择SML作为访问控制使用的语言

SML（Standard ML）作为一种静态类型的函数式编程语言，可以用于编写安全、可靠和高效的访问控制策略。SML的类型系统可以帮助开发人员在编译时捕获访问控制策略中的错误，从而减少在运行时发生安全漏洞的可能性。此外，SML的模块系统可以帮助将访问控制策略模块化和复用，使其更易于维护和更新。因此，使用SML作为访问控制使用的语言是一个很好的选择。