Годные нишевые языки с перспективой

CL, Scheme, OCaml, Prolog.

В коммерческих реализациях CL пролог интегрирован в рантайм, и компилируется в нативный код.

Tcl/Tk еще забыл.

C, C++

lua

но концептуально являются ЯП общего назначения и могли бы быть популярны и в больших масштабах.

Например, такие как Erlang

Насмешил, спасибо.

Ну например Ada в забугорной авиации и mission critical софте в целом.

CL, Scheme, OCaml, Prolog
ЯП, которые пришли к успеху или просто активно юзаются в определенной области

FAIL

или просто активно юзаются в определенной области

OCaml конечно же. И вообще-то, Erlang не является ЯП общего назначения.

Fortran. До сих пор активно используется суровыми бородатыми математиками.

Почему это, собственно? То есть, понятно, что видеокодек на нём писать не стоит — математика медленная — но это скорее исключение, чем правило.

Fortran. До сих пор активно используется суровыми бородатыми математиками.

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

С Коболом тоже самое.

Erlang [ˈɜːlæŋ] — функциональный язык программирования со строгой динамической типизацией, предназначенный для создания распределённых вычислительных систем.

Достаточно взглянуть на OTP чтобы понять что Erlang явно не для десктопных хомячковых нужд создавался. Использовать его как ЯП общего назначения конечно можно, но зачем? Ведь есть языки более подходящие для этого.

OCaml

Да. Ждем ебилдов^Wкогда смержат ветку flambda. Будет и глобальный инлайнинг, и module implicits.

OCaml

Да

Вы что, серьёзно?

Что ты против OCaml'a имеешь?

Достаточно взглянуть на OTP

Язык != библиотека? И даже язык != платформа.

Кому нужен Erlang без OTP?

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

Вот именно, нужно просто натянуть OTP на нормальный язык, или нормальный язык на EVM.

Вы что, серьёзно?

Да, еще не много и наступит светлое функциональное будущее, ymnа возьмут во Всемирный Функциональный Комитет на какую-нибудь хлебную должность за непосильный труд по пропаганде в смутные годы и он наконец-то съедет от мамки.

Ну, есть Elixir. Правда он не очень популярен, но внешне довольно приятен (хотя и не без шероховатостей). Как по мне, лучше бы в HiPE запилили GCC JIT или довели до ума LLVM бэкэнд, чем чтобы городили поверх BEAM что-нибудь новое.

нужно просто натянуть OTP на нормальный язык

нужно просто натянуть OTP

просто

Хочу ML на beam. Куда нажать?

Все хотят ML, а пилится почему-то Руби-параша с макросами.

тебя рубисты опустили, что у тебя такие ассоциации? м, петушок?

Prolog не является языком общего назначения.

Зачем вопросы про маргинальщину на моем уютном лоре?

HiPE не нужен никому похоже, про второе вобще не слышал. Elixir может и прикольный, я не смотрел его совсем.

HiPE нужен, но вот пока довольно криво работает с NIFками и драйверами - бывают крэши. По поводу LLVM - http://erllvm.softlab.ntua.gr/ , собирается по-умолчанию с ним.

Компилятор Coq пока что написан именно на нём.

Пол года назад был аннонс чего-то такого, сейчас хотел посмотреть прогресс, а найти не смог :(

Go, Rust, Julia. Еще не пришли к успеху, но могут.

Ну, тогда можно задать вопрос (правомерный) зачем его использовать вообще. А так — не любой язык можно использовать только там, где задумал его создатель.

или просто активно юзаются в определенной области

И в каких же? Ну, естественно, кроме знаменитой Petukh & Co of LOR Industry.

И в каких же?

В совершенно-секретных же :P

Ну, тогда можно задать вопрос (правомерный) зачем его использовать вообще.

Его надо использовать там где он уместен. Можешь считать Erlang/OTP DSL'ем. Самый верный подход к Erlang'у, имхо - это не ЯП, а ОС. Если интересно поищи статью «Erlang is not a programming language» (вроде так называлась она).

В совершенно-секретных же :P

Жди теперь, лошарик, когда снова придет ваш модератор-борщехлеб и сотрет твой позор.

классика же: Forth и Smalltalk. Оба пришли к успеху, оба ещё живы, из обоих весь новодел тырит плюшки :-)

классика же: Forth

+1. Наверное единственный язык, который заставляет писать коротко, быстро и без багов. У меня так было.

перед анонимными свиньями бисер метать? Нет уж увольте. Пригорай в одиночку, аноним.

COBOL

Только C++. Что может быть популярнее???

Лисп

Пролог в нативный код? Ну, SICSTUS-шники тоже чтото эдакое утверждают :)

C# (нишевый из-за того, что управляемый байткод, но популярен), vala(проблемы из-за маленькой популярности).

Ur/Web is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict.

Борщета уже совсем какая-то хиленькая пошла, раньше им хоть удавалось находить пару-тройку полудохлых сайтов с маргинальщиной, сейчас и того нет. Жалуются модераторам и играют в девочек-недотрог.

Все-таки выдавили мы эту заразу с лора, поздравляю коллеги!

который заставляет писать коротко, быстро и без багов. У меня так было.

Однако ж у Io он соснет в этом плане. Да и вообще стековая модель, она сама по себе сильно ограничивает.

Ada.

Тоже мне подвиг. Тут этой борщеты всегда и было полтора человека. А что они теперь заткнулись, так это сезонное, весна кончается. Нашей заслуги тут нет.