функциональщина живет?

А что собственно учить чтоб было нужным?

1С

не 1.5, а 2.5. хаскель не для работы учат. для души. оммм...

Что хочешь. Конкуренция за эти 2.5 вакансии так велика что ты можешь заниматься чем хочешь и не заморачиваться.

Похапе.

для души. оммм...

Согласен.) Но может есть нехужий аналог, который ещё и выгоду принесет.

Clojure ☺

не 1.5, а 2.5. хаскель не для работы учат. для души. оммм...

и не 2.5, а 2.49(9), функциональщина же :-)

Scala

Поправил.

Алгебру, топологию, матлогику и формальные методы.

Scala

Присматриваюсь к scala, вроде как libGDX на котором я пишу поддерживает scala(ну или оно безпрепятственно в java встраивается)

Скала — слишком мейнстрим, так неинтересно.

Вопрос был про функциональщину, а не маргинальщину.

Жестко прикололо, круто, кислотно

мама скажет «какой ты у меня умный», не более того

на хаскеле полтора вакансии в мире

/thread

ходят слухи что на хаскеле полтора вакансии в мире.

В haskell-cafe каждую неделю пара новых вакансий сваливается. На /r/haskell тоже можно найти. Ищущий всегда найдет.

Agda — будущее за формальной верификацией.

выучи всё, выберешь потом

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

Хаскель надо изучать хотя бы потому, что зная его в другие фп-языки будет въехать на раз-два. Очень хорошо прочищает голову.
Работа на .hs есть, но за кордоном: http://functionaljobs.com/

Да, но не хацкель.

Ты хотел сказать Idris? Agda пригодна лишь для значков из юникода, в неё даже тактик нет.

Я так и не понял, чего там кислотного.

А ты хотел сказать Coq? Значков из юникода нет, куда ни посмотри — одни тактики)

А то ходят слухи что на хаскеле полтора вакансии в мире.

1. Устраиваешься на работу
2. Смотришь какой профит может принести хаскель
3. Пишешь прототип на хаскеле, тестируешь и т.п.
4. ???
5. Всё, ты программист, который пишет на хаскеле за деньги.

тактик

Ты хотел сказать Coq? Idris это какая-то помесь PHP Haskell и Agda — кому, спрашивается, нужны классы типов, do нотации и сомнительное «general-purpose».

А какие там тактики в Idris, на примере? Говорить что в Agda их нет тоже не совсем правильно.

З.Ы. проверил, http://homotopytypetheory.org/ пока всё ещё сидит на Coq и Agda (и формализм в книжке там практически Agda).

Опередил :)

6. PROFIT!!!

3. Пишешь прототип на хаскеле, тестируешь и т.п.

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

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

Для тех, кто не уследил — его в начале 2012 пролоббировали и с энтузиазмом начали внедрять программисты в Селектеле. Тогда же я обещал опубликовать отчёт о том, насколько «это всё» можно использовать.

Продакт в коммерческом проекте — это не в маленькая песочница «для себя», не академический эксперимент в области Computer Science. Это бесконечная борьба за «линию партии», когда вокруг ад, ужас и погибель, а оно всё равно должно работать. Int64 в XML-RPC кодируется строкой (потому что int'ы в XML-RPC signed int32), openssl при чтении нескольких сертификатов из файла читает только первый из них, в bool надо писать либо «1», либо «0», но иногда — «2», ибо только так придумали закодировать третий режим — и т.д. и т.п. В этих условиях требования к языку постепенно перерастают в требования к его экосистеме, инфраструктуре, готовности адаптироваться к реальному миру.

Я буду писать о Haskell с позиций product owner'а, менджера проекта, системного администратора, но никак не программиста. Так что не ожидайте от меня задушевных восторгов о том, как изящно через монадки можно сделать семигрупоид и как здорово выводить типы через типы с помощью типов.

http://habrahabr.ru/post/193722/

Я, освоив Haskell, спокойно устроился на вакансию, где требовалась Scala. Не изучая Scala специально.

А что собственно учить чтоб было нужным? 

Предметную область, в которой собираетесь работать.

А то ходят слухи что на хаскеле полтора вакансии в мире.

Ты сам зайди на HH и поищи

Или просмотри здешний раздел Job. Там когда появляется вакансия на какой-ть хаскель или лисп, у всех любителей экзотики начинается эйфория как от амфетамина.

кому, спрашивается, нужны классы типов, do нотации и сомнительное «general-purpose».

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

А какие там тактики в Idris, на примере?

http://eb.host.cs.st-andrews.ac.uk/Idris/theorems.html (устаревшая статья, свежей документации по тактикам пока нет). Вот пример использования в стандартной библиотеке: https://github.com/idris-lang/Idris-dev/blob/master/libs/prelude/Prelude/Nat.idr

проверил, http://homotopytypetheory.org/ пока всё ещё сидит на Coq и Agda

Им и на них неплохо. Но опять же, некоторые люди хотят писать программы.

в bool надо писать либо «1», либо «0», но иногда — «2»

отсюда главный принцип:

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

Так уж прямо полторы? http://careers.stackoverflow.com/jobs/tag/haskell

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

Привет и тебе, житель сказочной станы эльфов и розовых пони. Когда вылезешь из неё - сходи почитай вакансии, например, в плебейскую Intel, потом будешь брызжать слюной.

выучи всё, выберешь потом

Если учить всё, время выбирать никогда не настанет.

Все в колесницу, патриций в треде.

Часто ходит мнение, что вакансии проще создавать самому. То есть искать ниши в уже существующих инфраструктурах и развивать их.

Бд пилиндрить с haskell можно?))

Вопрос хаскелистам. Изучение R после ознакомления с Haskell или можно сразу?

http://habrahabr.ru/post/193722/

В итоге Haskell:

1) Быстрее пыха
2) Статика
3) Говно
4) Говно
5) Говно
6) Говно

Им бы просто Java подошла, и никаких говнопроблем.

Изучение R после ознакомления с Haskell или можно сразу?

R — это такой «недолисп», поэтому можно сразу или пораллельно с чем угодно.

Будете ли продолжать использовать хаскель дальше или же откажетесь от него?

Не знаю — с этим вопросам уже к Селектелу, я оттуда через неделю ухожу.

Спасибо, поржал.

«Почитай вакансии» - как раз про тот самый плебейский уровень. Юниоров только так и набирают. А по делу было бы сказать «посмотри, кого Intel схантил». Например, толпу спецов по HOL.

Первую ссылку уже видел. Вторая — вот как раз в агде «тактики» это «доказательства высшего порядка» — equational reasoning и всё что ещё подобного придумается, просто всё подряд на голой рекурсии не доказывают

https://github.com/agda/agda-stdlib/blob/master/src/Data/Nat/Properties.agda

https://github.com/agda/agda-stdlib/blob/master/src/Algebra/Properties/Group....

(https://github.com/agda/agda-stdlib/blob/master/src/Relation/Binary/PreorderR..., https://github.com/agda/agda-stdlib/blob/master/src/Relation/Binary/EqReasoni...)

http://www.cse.chalmers.se/~nad/listings/equality/Equality.Tactic.html

Тем странным людям, что хотят писать программы, а затем доказывать их корректность?

Ну вот я про то, что оно не готово. А вот математику — можно, только не на general-purpose.

На том же сайте: scala - 82 вакансии, clojure - 25

Лучше в жёлтых страницах или в журнале «Работа» искать.

Например, толпу спецов по HOL.

Кстати, да, они же сейчас на food stamps все сидят, надо брать пока дешево.

В Киеве в epam уже несколько лет открыта вакансия на хаскель. Вакансия есть, хаскелистов нет.