Здравствуйте, Mamut, Вы писали:

M> Более того, никто так и не ответил на банальный вопрос: ну перенесли логику в типы, молодцы. Кто и как будет проверять и дебажить реализацию логики в типах? Ну, весь этот real time pricing или risk management на типах.

Банальный вопрос имеет такой же банальный ответ. Программист будет. Как — имеющимися средствами.