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

Coq против R

←→ наоборот

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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