LINUX.ORG.RU

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

 ,


0

3

Попробовал поучить хаскель. Жестко прикололо, круто, кислотно. Понравилось в общем, а теперь вопрос. А что собственно учить чтоб было нужным? А то ходят слухи что на хаскеле полтора вакансии в мире.

★★★

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

Manhunt ★★★★★ ()

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

KblCb ★★★★★ ()
Ответ на: комментарий от anonymous

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

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

MKuznetsov ★★★★★ ()

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

aedeph_ ★★ ()
Ответ на: комментарий от Deleted

Scala

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

abs ★★★ ()
Ответ на: комментарий от PolarFox

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

Deleted ()

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

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

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

/thread

I-Love-Microsoft ★★★★★ ()

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

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

hateyoufeel ★★★★★ ()

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

qnikst ★★★★★ ()

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

Hertz ★★★★★ ()

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

olibjerd ★★★★★ ()

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

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

ymn ★★★★★ ()
Ответ на: комментарий от quantum-troll

тактик

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

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

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

motto ()
Ответ на: комментарий от ymn

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

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

iVS ★★★★★ ()
Ответ на: комментарий от iVS

Я давно обещался написать статью о том, как себя показал 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/

ymn ★★★★★ ()

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

Miguel ★★★★★ ()

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

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

AIv ★★★★★ ()

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

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

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

tfs ()
Ответ на: комментарий от motto

кому, спрашивается, нужны классы типов, 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

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

quantum-troll ★★★★★ ()
Ответ на: комментарий от ymn

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

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

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

buratino ★★★★★ ()
Ответ на: комментарий от tfs

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

anonymous ()
Ответ на: комментарий от anonymous

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

tfs ()
Ответ на: комментарий от jtootf

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

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

tailgunner ★★★★★ ()

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

nezamudich ★★ ()
Ответ на: комментарий от bookman900

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

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

Oxdeadbeef ★★★ ()
Ответ на: комментарий от ymn

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

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

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

anonymous ()
Ответ на: комментарий от tfs

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

anonymous ()
Ответ на: комментарий от quantum-troll

Первую ссылку уже видел. Вторая — вот как раз в агде «тактики» это «доказательства высшего порядка» — 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.

motto ()
Ответ на: комментарий от tfs

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

aedeph_ ★★ ()
Ответ на: комментарий от anonymous

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

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

anonymous ()

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

Waterlaz ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.