Подскажите ЯП.

OCaml

Так же желательно наличие строгой статической типизации.

Питон?

Да, уже присмотрелся к Ocaml, Falcon и Rust.

Очень жалко, но, кроме скалы, по-моему, тебе ничего не подходит.

Тогда, не могли бы вы привести на вскидку несколько достоинств Окамла? По возможности, в сравнении с Falcon/Rust, см. чуть выше.

Hit the road, Jack... just Mono, Mono, Mono.

Почему не Окамл?

максимум синтаксического сахара
ООП
лёгкие биндинги С либ
мультипарадигменность желательна
под онтопик
с IDE

Тебе нужен C#.

А, черт, я думал, тебе нужна IDE, а не туча костылей к какому-нибудь эмаксу.

Может я что-то упускаю, но там вроде вообще плоховато с сахаром, нет?

кроме скалы, по-моему, тебе ничего не подходит

Особенно по пункту «лёгкие биндинги С либ» хорошо подходит. А чем C#/Mono хуже будет?

Смотря что понимать под сахаром. Вообще почти весь синтаксис питона — сахар над словарями.

Ну, я про JNI подумал.

Не знаю, я с до-диезом знаком шапочно, а все, что помню - это какой-то прибитый костылями linq и глобальный фап всех сишарпщиков на async/await, хотя, может, я просто не вошел во вкус.

вы правильно думали, просто ради красоты языка я готов даже пойти на использование емакс-а отказаться от иде и писать в gedit-e

По возможности, в сравнении с Falcon/Rust, см. чуть выше.

Про первый язык вообще слышу в первый раз, второй не имеет стабильной версии.

хз, мне не очень нравится ml-синтаксис. я пробовал sml - оно, конечно, расширяет сознание, но я толком не настроил ни эмакс, ни sublime. пишу вот в идее на скале)

К шарпу боюсь особо привязываться, это раз. Во-вторых, писать всё время public и break (кто в курсе, тот поймёт) — не моё, от таких вещей я и пытаюсь убежать.

стабильной версии.

да и бог с ней. готов рассматривать самые фриковские и малораспространённые варианты: для себя же

Scala

боюсь особо привязываться,

боюсь в плане на линуксе, это ж майкрософтовская поделка, в любой момент всё может лесом пойти

тогда, к вам тот же вопрос: почему не окамл?

//одного гражданина я уже выслушал, но хотелось бы несколько разных мнений узнать

Еще можно хаскель, если хочется мозги подрочить.

Не знаю окамл. В любом случае лучше уж F# тогда.

OCaml, без ООП - haskell.

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

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

OCaml старее, поэтому, объективно, более популярен и богат батарейками.

ок а почему F#? он ООП разве держит?

А ты попробуй не ООП язык, на этой парадигме свет клином не сошёлся.

Вроде тот же окамл, но с нормальной IDE и от нормального производителя.

Вроде тот же окамл

Нет

с нормальной IDE

Это с какой?

от нормального производителя

Сомнительно.

OCaml старее, поэтому, объективно, более популярен

увы, но внезапно, нет: под Rust уже плагин намутили для эклипс, а под Окамл придётся в gedit-е писать

богат батарейками.

под батарейками вы уже написанные либы имеете в виду? так ведь я не зря спрашивал про биндинги к С, у Rust-а с этим вроде всё ок

Мне вообще, хотелось бы узнать про киллер-фичи OCaml-a, т.е., пример интересного сахара

Вроде тот же окамл

Это хаскелл сбоку

под Rust уже плагин намутили для эклипс, а под Окамл придётся в gedit-е писать

http://ocamldt.free.fr/ — первая ссылка в гугле по запросу «ocaml eclipse plugin»

под батарейками вы уже написанные либы имеете в виду?

Да

так ведь я не зря спрашивал про биндинги к С

С этим тоже, вроде, всё нормально, но я не пользовался.

про киллер-фичи OCaml-a

Прежде всего это язык ФП, «энергичный», применение императивных приёмов может дать неожиданный результат, однако тут http://caml.inria.fr/pub/docs/oreilly-book/ написано, как этого избежать.

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

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

Haskell

Декларативный гуй лучше ООП гуя. Даже кутиразрабы это поняли и создали qtquick.

Lisp. Только сахара нет, синтаксиса тоже.

первая ссылка в гугле по запросу «ocaml eclipse plugin»

ох спасибо, что-то я не догадался именно так искать

применение императивных приёмов может дать неожиданный результат, однако тут http://caml.inria.fr/pub/docs/oreilly-book/ написано, как этого избежать.

дважды спасибо, почитаю

Вот именно после qtquick я и стараюсь держаться подальше от не ООП концепций в разработке гуя. Кроме того, кроме qtquick других не ООП гуйных систем не замечено, да и в квик вполне есть ООП, только оно там какое-то особое, уличное.

- Посоветуйте язык с максимумом сахара и ООП

- Лисп, только там ни сахара, ни ООП

И где там ООП? Хотя бы мультипарадигменность?

Vala, если еще не советовали.

в целом неплохой язык, но на ИДЕ к ней почему-то все успешно положили + шарпопроблемы

ООП сильно выигрывает, как только захочется сделать графический интерфейс какой-нибудь перед любыми другими парадигмами

сравни описание интерфейса на Qt/C++ и QML. не очень заметно, как там выигрывает ООП

- Лисп, только там ни сахара, ни ООП

Да, да, вообще там ничего нет. Нaфига он такой нужен вообще. Одним словом — БорщеЛишп.

И где там ООП?

есть динамическая диспетчеризация в виде встроенного в язык паттерна Visitor, плюс отличная реализация интерфейсов

мультипарадигменность?

по разброду в стилях уступает разве что C++

Вот как раз сейчас в свободное время пишу гуй (хотя, свободного времени мало + ЛОР), от QML пришлось отказаться и переписать с нуля.

Лисп, только там ни сахара, ни ООП

это в CL-то нет ООП?