N>Чем обьект стек, отличается от обьекта стейт-машина с точки зрения GC?
Напомнило вот это: "исключения плохие, потому что медленные, поэтому вместо исключений мы будем использовать кортеж Result, в поле Error которого мы будем на каждом уровне добавлять информацию о месте пролета ошибки".