Зависимо типизированный язык лучше всего подходит для программирования «в реальном мире»? [closed]

В его нынешнем виде этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, повлечет за собой дебаты, аргументы, опросы или расширенное обсуждение. Если вы считаете, что этот вопрос можно улучшить и, возможно, снова открыть, посетите справочный центр , чтобы получить рекомендации.

Закрыт 6 лет назад .

Какие зависимо типизированные языки программирования можно было бы использовать для разработки реальных приложений?

Это некоторые моменты, которые я считаю важными :

документация
примеры программ
стандартная библиотека
или, по крайней мере, простой в использовании интерфейс сторонних функций
сообщество людей, использующих язык для решения реальных задач
поддержка инструментов

programming-languages dependent-type

задан Kim Stebel 8 January 2011 в 14:25

0 ответов

Другие вопросы по тегам:

programming-languages dependent-type

Зависимо типизированный язык лучше всего подходит для программирования «в реальном мире»? [closed]

0 ответов

Похожие вопросы: