Здравствуйте, Sinclair, Вы писали:
S>Ну вот тем не менее мы так и не увидели примера кода, в котором S>а) есть загрузка ордера из базы
Ты издеваешься, что ли? Я ведь уже отвечал на этот вопрос. Считай, что ордер в моей статье пришел из базы. Или тебе SQL нужен?
S>б) нет функции обработки, которая бросает runtime ошибку для "статически-верифицируемых" свойств.
Нет никаких "статически-верифицируемых" свойств (хотя хз, что ты под этим имеешь в виду, конечно). Есть гарантии со стороны компилятора, что определенные функции могут быть позваны только в определенных местах кода, и эти места определяются рантайм-свойствами. Всё. А обработка рантайм-ошибок точно такая же, как всегда — исключения, коды ошибок и прочая, тут вообще ничего не меняется.
