>Is there any programming language at all which allows sensitive data to be annotated in such a way that the compiler will promise not to leak it to memory inde

>Is there any programming language at all which allows sensitive data to be annotated in such a way that the compiler will promise not to leak it to memory indefinitely in some sense? Somewhat related: there's a recent paper that develops a language with syntax for marking data as secret; the compiler then goes even further and avoids timing side-channel leaks: Cauligi, Sunjay, et al. "FaCT: A flexible, constant-time programming language." 2017 IEEE Cybersecurity Development (SecDev). IEEE, 2017. http://www.sysnet.ucsd.edu/~bjohanne/assets/papers/2017secdev.pdf http://www.sysnet.ucsd.edu/~bjohanne/assets/papers/2017secde...