для души программиста - с++/с# (в зависимости от задачи)

для всех остальных - python/js (в зависимости от задачи)

сам предпочитаю c#

http://www.instinct.org/elm/

Он както назывался раньше, забыл уже как, но сейчас Эдвин переименовал его в Idris2. Там было что-то из раста кстати в задумке

Nim

Забудь это недоподелие. Узай лучше https://crystal-lang.org Я в него багрепорты слал. Отличная штука чтоб посчитать что-нибуть на досуге

Предлагаю снести и пересоздать голосование.

Можно еще добавить пункт «пишу свой язык»

Из представленного python, по сути прежде всего clojure, также scala, ocaml, idris в какой-то степени.

scala

Жалкое подобие хаскеля.

clojure

Жалкое подобие лиспа.

Из jvm языков норм только котлин, потому что его писали не в подражание другим платформам с другими возможностями, а именно для раскрытия потенциала jvm

dart

Первый.

P.S. Где kotlin?

dart

Фу типы перед функцией писать. Си ввел дурную моду

Меня больше напрягает обязательные точка с запятой и отсутствие if as an expression.

Экстеншенов тоже не хватало, но их теперь завезли.

А тип перед функцией можно и не писать.

if as an expression

А ретурн там тоже надо всегда писать? Меня это даже в JS бесит, у бабеля есть плугин, который убирает необходимость в ретурне в конце функции, но стрёмно такое баловство узать

Scala них разу не подобие Хаскелля, а намного лучше спроектированый язык и готов для настоящего применения. Хаскелль поломан навсегда

Нельзя на jvm натягивать хорошие парадигмы. Получается как с С++, только еще запутаннее.

В паттерне Redux это благо что мутабельности нет. Даже библиотека через десятую зависимость не сможет сделать тайный запрос на сервер если этого нету в сигнатуре типа.

Elm - хаскель здорового человека. Для решения узкой доменной задачи (строительство SPA) такой «хаскелль» подходит. Конечно быть языком общего назначения - нет

Жалкое подобие хаскеля.

Нет, не подобие

Жалкое подобие лиспа.

Жалкое в чем?

Elm - хаскель здорового человека.

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

Python. Конечно на нём легко писать говнокод, но он вкуснее шарпа, а шарп лучше крестов с точки зрения синтаксиса и удобства. В JAVA слишком уж виртуальная машина мне не нравится, а так она тоже топ.

Ruby - правильный питон.

Clojure, только Clojure и ничего другого!

Жалкое подобие хаскеля.

Вот только в отличии от хаскеля язык нашел себя в нише ML благодаря спарку и хадупу, которые вполне себе используются на хайлоаде.

Душевность у всех своя, кому-то надо попердолиться с С, кому-то наоборот пособирать из «кубиков» на python, кому-то нравится идеи и попытки математической строгости haskell, у всех своя душа поэта. Максимум что показывает опрос это распределение которых больше на лоре из числа тех кто вообще голосовал.

На текущий момент Agda.

Мы про душу вроде как. А то, что реальность печальна и так понятно

Ага, как же, правильный. И begin и do и end, всё сразу из всех языков собрали и в кучу смешали.

Agda

Ага, забавная штука. Вот только миксфиксные операторы и тонна юникода превращают чтение чужих кодов в сплошную боль. Было дело обклеил на работе стену листингами стдлибы агды. Красиво было. И почитать познавательно

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

Но интереснее решать задачи, а не придумывать сферические велосипеды в вакууме.

Просто как всегда с ml-ем пытаешься сделать проще, получается слишком топорно. Хаскелисты хотябы пытаются это всё исправить. А sml забил. Ocaml немного поисправлял и тоже забил.

Очевидный Lisp

Вот только миксфиксные операторы и тонна юникода превращают чтение чужих кодов в сплошную боль.

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

И begin и do и end

Зато настоящее ООП с приватными членами и модулями. Последовательный подход в стдлибе. Фигурные скобки заменяют begin end для коротких блоков (вообще для любых, но конвеншен же)

ЯП для души

А вот ещё вопрос – что можно писать «для души» на «ЯП для души»?

Для души – Хаскель, остальное – просто работа…

C++

Я бы написал С, но там не ООП, исключений, overloading, STL и еще парочки вкусностей.

Я в хаскеле разочаровался когда понял насколько он абстрактен. Например в нём нельзя сделать так чтоб моя монада с интом работала принципиально иначе чем с флоатом или там со стрингом. Ну вроде как и не надо так делать, но а если я хочу оптимизировать например, запустить код на GPU вместо CPU например если типы позволяют, то как быть?

Что значит «принципиально иначе»? Полиморфизм С++ отличается от полиморфизма функциональных языков. К тому же, это де «язык для души», мозги поломать :)

Ну тут просто была нестыковка задачи и средства. Задача подразумевает практичность. Хаскель требует писать обобщенно. Высшие порядки они такие. В языках, в которых их нет, обычно всегда можно переопределять частные случаи. Впрочем никто не мешает и в хаскеле ограничиватся простыми непараметрическими тайпклассами когда это нужно, просто теряется машинерия do и arrow

erlang где?

erlang

Его вытеснил elixir вроде как. Как джаву вытесняет котлин…

I Love Coding in C

• https://news.ycombinator.com/item?id=21883704

Elexir для смузихлёбов, не кто в здравом уме не будет юзать это говно с OTP.

Кста еще для души можно потыкать https://kittenlang.org или https://www.factorcode.org

Ну когда я ерланг тыкал он был так себе. И дедлоки на нем легко пишутся. Впрочем за эликсир я не топлю. Лучше взять тот же раст и узать асинки с каналами для повторения успеха ерланга

Ну когда я ерланг тыкал он был так себе

Он прост как топор и самобытен

Лучше взять тот же раст

Раст это плохой пример, синтаксис - говно, тогда лучше go

для повторения успеха ерланга

Зачем повторять если можно взять и написать на божественном языке?

Зачем повторять

Тормоза по сравнению с плюсами и нестатическая типизация - вполне достаточная причина искать замену. И с кодировками вроде проблемы были

Guile

Что для души, что для работы — кресты устраивают на 90%. На остальные 10% утешаюсь тем, что идеала нет.

Странно, что в опросе есть практически мёртвый Delphi Language, но отсутствует его живой преемник, Free Pascal. Он бы, кстати, очень подошёл бы в качестве языка для души, но либ для него, увы, куда меньше, чем для крестов.

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

P.S. И да, очень хочу посмотреть на человека, у которого «для души» SQL :)))

просто теряется машинерия do и arrow

Так ведь вся машинерия из всяких Monad-Foldable-Traversable не будет работать, если тип зафиксировать, а do - сахар, который расширяется расширением.

Если мне не изменяет память, то у Free Pascal был вполне терпимый FFI.

Котлина и тайпскрипта нету, печаль.