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