> А могли бы работать и пользу приносить.

Работать != Пользу приносить
Почему я не могу тратить свое свободное время на изучение новых языков? К тому же, я сделал несколько фиксов в проектах на Rust и Nim.

> Раз уж вы начали, то перечисляйте объективные критерии, по которым вы проводили сравнение.
> Как язык лучше всех Idris.

Какое объективное сравнение вам нужно? Речь ведь о языке, не реализации. А здесь, на мой взгляд, всё субъективно. Лично мне понравилось автоматическое доказательство. Просто непередаваемое ощущение, когда на этапе компиляции обнаруживаются не только синтаксические ошибки, но и ошибки архитектуры. У меня ни с какими тестами и покрытием не было ощущения, что программа будет работать точно так, как я задумал. А с Idris есть, при чём не надо описывать 100500 ограничений.

> Но пользоваться им нереально.

Да потому что компиляция не сильно сложных примеров занимала у меня 3-5 минут. Кто-то в чате писал, что у него проект собирается полчаса. И там явно вещи не уровня офиса/браузера.

> Rust имеет интересную концепцию управления памятью

А какая здесь может быть объективность? Оно лично мне интересно, ибо такого я ранее не видел. И, судя по комментариям на опеннете, я не одинок в этом.

> Go я абсолютно не вижу смысла, т.к. nim обходит по всем фронтам.

Опять-таки сравнение языков. Это субъективно. Лично мне понравился DSL и система макросов в Nim. Го ничего подобного уровня предложить не может. А всё остальное нужное мне есть в обоих языках.
Сравнение реализаций(бенчмарки) ищите сами. Когда я смотрел последний раз, Nim был на уровне Си. Go чутка отставал.