Правильный инструмент

Coq против 1С

←→ наоборот

Coq: Я бы рекомендовал этот язык всем программистам

Coq: Этот язык окажет большое влияние на будущие языки

Coq: Это язык низкого уровня

Coq: Я бы использовал этот язык для создания мобильного приложения

Coq: Я нахожу код на этом языке очень элегантным

Coq: Я бы использовал этот язык для Веба (создания сайтов, веб-приложений)

Coq: Я бы использовал этот язык для написания приложений командной строки

Coq: Этот язык я бы использовал для разработки игр

Coq: Этот язык хорош для обучения детей программированию

Coq: Я думаю это будет популярный язык через 20 лет

Coq: Мне бы хотелось на этом языке писать больше времени

Coq: Есть много всего open source, написанного на этом языке

Coq: Мне нравится использовать этот язык

Coq: Этот язык хорош для научных расчетов

Coq: Для этого языка много хороших open source инструментов

Coq: У этого языка очень качественная реализация

Coq: Этот язык хорош для больших проектов

Coq: Код на этом языке отличается высокой надежностью

Coq: Знание этого языка улучшило мои навыки программирования

Coq: Этот язык хорош для real-time приложений

Coq: Я бы использовал этот язык для написания встроенных (embedded) приложений

Coq: Этот язык - очень гибкий

Coq: Этот язык хорош для написания серверов

Coq: У этого языка есть особенности, которых мне не хватает в других языках

Coq: Если код на этом языке скомпилировался - скорее всего - код правильный

Coq: В этом языке мне легко писать эффективный (быстро работающий) код

Coq: Этот язык отлично подходит для многопоточных приложений

Coq: Я бы использовал этот язык для казуального(обыденного) скриптинга

Coq: Для этого языка много хороших инструментов

Coq: Код на этом языке позволяет мне хорошо представлять что происходит "под капотом" (в машинном коде)

Coq: Этот язык хорошо совместим с другими

Coq: В этом языке я регулярно нахожу новые фишки

Coq: Этот язык стимулирует писать легко обслуживаемый код

Coq: Я бы использовал этот язык в качестве языка для скриптинга другой (большей) программы

Coq: Этот язык хорош для распределенного (distributed) программирования

Coq: Этот язык очень выразителен

Coq: Этот язык хорош для новичков

Coq: Я использую много приложений, написанных на этом языке

Coq: Код на этом языке легкочитаем

Coq: Программы, написанные на этом языке - обычно работают и будущих версиях этого языка

Coq: Код на этом языке обычно очень краток

Coq: У этого языка хороший механизм распространения библиотек

Coq: Я использую этот язык по собственному выбору

Coq: Этот язык хорош для числовых вычислений

Coq: Библиотеки для этого языка доступны и хорошо документированы

Coq: На этом языке легко отлаживать, когда что-то идет не так

Coq: Когда я пишу код в этом языке - я могу быть уверен что он правильный

Coq: Этот язык отлично подходит для манипулирования текстом

Coq: Библиотеки этого языка хорошо продуманы и последовательны

Coq: Я бы использовал этот язык для создания GUI приложения

Coq: Этот язык подходит для agile методов и быстрых итераций

Coq: Мне легко писать абстракции повторяющегося кода на этом языке

Coq: Библиотеки этого языка обычно хорошо документированы

Coq: Если бы этого языка не существовало - было бы проблемой найти ему замену

Coq: Ресурсы по изучению этого языка - высококачественные

Coq: Этот язык минимален

Coq: Я обычно использую этот язык для проектов, над которыми работаю один

Coq: Я обычно использую этот язык для проектов, над которыми работает большая команда

Coq: В этом языке легко набросать прототип будущего кода

Coq: Этот язык стимулирует писать повторно-используемый код

Coq: У этого языка строгая типизация

Coq: В этом языке много выработанных общепризнанных конвенций(соглашений о том как что-то делать)

Coq: Этот язык хорош для маленьких проектов

Coq: В этом языке легко с первого взгляда понять что делает код

Coq: У этого языка хорошее сообщество

1С: Для этого языка много хороших коммерческих инструментов

1С: В этом языке я редко нахожу неизвестные мне особенности

1С: Я знаю этот язык хорошо

1С: Я бы перечислил этот язык в своем резюме

1С: Этот язык хорошо документирован

1С: Я выучил этот язык во время карьеры программиста

1С: Я бы мог себе представить что этот язык будет основным для меня на работе

1С: Я регулярно использую этот язык

1С: Этот язык скоро забудут

1С: Этот язык имеет очень маленькую основу

1С: Этот язык - гигантский

1С: Семантика этого языка очень отлична от других, что я знаю

1С: Сообщество этого языка - очень догматично

1С: С этим языком интересно играться, но для настоящего кода я бы его не использовал

1С: У этого языка жесткие рамки того как вещи "должны делаться"

1С: Это мейнстримовый язык

1С: Специалисты в этом языке получают высокую оплату

1С: Это язык высокого уровня

1С: На этом языке слишком легко написать код, который поведет себя не так, как ожидалось

1С: Написание программ на этом языке - это куча работы

1С: В этом языке слишком много случайно вносимых сложностей

1С: Код на этом языке обычно многословен

1С: Я знаю много людей, которые используют этот язык

1С: Разработчики, использующие этот язык, обычно "выгорают" за пару лет (устают, перестают использовать, теряют интерес)

1С: С этим языком легко прострелить себе ногу

1С: Мне стыдно признаваться, что я знаю этот язык

1С: У этого языка есть своя ниша, в котором он король

1С: У этого языка есть ниша, вне которой я бы его не использовал

1С: У этого языка неприятный синтаксис

1С: Мысль о том, что этот язык будет популярен через 20 лет наполняет меня ужасом