tinkoff
— Скажите пожалуйста, когда Вы были в Тинькове, Вы видели код? И какой он? — Да, синьор. Код там пишется постоянно. Потому что хвалит монадку и джун и архитектор, и аналитик, и каждый оператор коллцентра, которых я там видел, оно всё учит теоркат. Код, можно сказать, формально доказанный. Вот эти вот, компилятивные контракты, которые помогают, которые... Если бы там были баги, я бы сказала, что исправляют, но там нет багов. Но это прекрасный код, он и сейчас частно снится мне по ночам.