Молнии в дикой природе
В настоящее время я ищу реализации молнии Huet " in the wild".
До сих пор я нашел:
Компилятор agda (поправьте меня, если я ошибаюсь) использует застежку-молнию для исключения вычислений по требованию, заполняя информацию по мере необходимости.
Другой экземпляр используется в XMonad для отслеживания сфокусированного рабочего пространства и сфокусированного окна в каждом рабочем пространстве.
Существуют ли другие способы реализации // других реализаций молнии?