В общем, почитал я разные книги на этот счет и поглядел примеры программ. И знаете-таки, что я вам за это скажу? Что как только мы отходим от примеров на арифметику Пеано и применение теории категорий с выводом зависимых типов и приближаемся к таким банальным вещам, как GUI и веб-сервера, не говоря уже об играх, так программы становятся все длиннее
(
Read more... )