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