В моем понимании, чтобы использовать уязвимость спектра, вам нужен язык с семантикой исполнения, достаточно близкой к аппаратному, чтобы иметь возможность вводить ветки по желанию.
Семантика типизированного лямбда-исчисления гораздо более ограничена, чемэто из более традиционных языков программирования.Компиляторы имеют гораздо больше свободы для введения оптимизаций / смягчения, чем остальные языки.
Можно ли использовать уязвимость спектра с помощью типизированного лямбда-исчисления?