Λ ll И K X
Пацаны а вообще есть работа на хаскелле？
Λ ll И K X
А то вот дотнетчики не верят
Anonymous
https://hh.ru/search/vacancy?text=haskell&area=1
Λ ll И K X
Рельсы пхп
Λ ll И K X
Лол
Anonymous
https://hh.ru/vacancy/18000772?query=haskell
Anonymous
>Будет плюсом знание хотя бы одного из функциональных языков программирования (Clojure, Haskell, Lisp, Erlang)
Λ ll И K X
Эхх. Получается моя мечта укаииться в хаскель с эльмом не только за еду импоссибл
Evgeniy
Вот элм я думаю реальнее
Anonymous
А elm вообще жив? На нем есть что-нибудь кроме тех 1.5 поделок на их сайте?
Мерль
Эхх. Получается моя мечта укаииться в хаскель с эльмом не только за еду импоссибл
Становись тимлидом и насаждай Хаскель в принудительном порядке
Evgeniy
Становись тимлидом и насаждай Хаскель в принудительном порядке
Ага а кто бабло даёт - согласен?
Evgeniy
Риски большие
Evgeniy
Элм - реально на одном челе ,а Хаск - мало разрабов и много альтернатив проверенных временем
Evgeniy
И ещё очень много(я читал про это ) проблем что люди не понимают что такое ленивость в языке
Alexander
Пацаны а вообще есть работа на хаскелле？
У нас есть вакансии но дотнетчиум в среднем они не светят
Λ ll И K X
У нас есть вакансии но дотнетчиум в среднем они не светят
Это щас акт снобизма был или что？
Evgeniy
Я предполагаю дотнет это на винде а там юниксы?
Λ ll И K X
А джунов берете？ на вырост
Λ ll И K X
В смысле джун в хаскелле
Alexander
Пока нет
Alexander
Мы маленькие для этого
Alexander
http://tweagio.strikingly.com
Alexander
Нет, гетшоптв вроде брали новичков
Λ ll И K X
В париже неплохо так
Alexander
Если сверх крут и не хочешь в Париж можно удалённо
Alexander
Но не желательно т.е. там грант EU
Alexander
Хз.. если честно
Alexander
Мне повезло и я в свое время в РФ работу нашел
Alexander
High availability для кластеров
Alexander
Другая часть где этвп вакансия что-то хитрое
Evgeniy
Я заметил хаскелисты - это продвинутые девопсы(по современному) - интересно почему?
Alexander
Для распределенных фс
Alexander
+ всякий софт для фармацевтов типа haskellR
Alexander
Bindings к spark и т.п.
Evgeniy
Stack согласен ок а вот никс есть реальное решение проблем?
Evgeniy
Кстати вот у вас http://www.tweag.io/blog/stack-nix-portable-reproducible-builds
Λ ll И K X
В личку можно
Alexander
Вечером, хорошо?
Evgeniy
А еще было одно, но там просто на жуйке 3 задачи для ерланг и хацкель опубликовали, я отправил
Вот читай про первую работу на хаске
Evgeniy
Это для alix kononov
Evgeniy
HaskellR ранее незнал , а сейчас узнал - не зря день прошёл😊
Alexander
Еще inline-java есть у нас
Alexander
Пока только байндинги правда, без TH
Алдар
http://www.mathstat.dal.ca/~selinger/quipper/
Алдар
Вдохновлялись хаскелем видимо
Evgeniy
Только где достать квантовый компьютер?😏
Denis
Вдохновлялись хаскелем видимо
Вдохновлялись... Там прямым текстом написано, что без ghc работать не будет.
Denis
Только где достать квантовый компьютер?😏
Квантовый компьютер доставать не нужно, его нужно эмулировать.
Evgeniy
Видел где-нибудь симулятор для по играться?
Denis
Видел где-нибудь симулятор для по играться?
Не симулятор, а эмулятор. :)
Нет, не видел, к сожалению. Меня квантовые вычисления не особо интересуют, потому что компьютерами в привычном понимании этого слова им не стать.
Denis
Прикольно, многие реально пытаются симулировать квантовые процессы
Evgeniy
Ребята сможет понятно объяснить что такое "type level" программирование - так то я интуитивно понимаю -> хочется чёткого определения😎
Aleksey
это кодирование инвариантов программы при помощи типов
Evgeniy
те это только подходит для яп с сильными типами?со слабыми типами это невозможно?
Aleksey
Для начала надо определиться, о чем речь. Если ты в с++ явно опрделяешь тип переменной, то это уже кодирование инварианта, и можно рассматривать как простиейший вид type level coding. В хаскеле можно кодировать инварианты с более сложными условиями.
Evgeniy
Ну например джаваскрипт - слабая типизация - т.е. тайп левел программирование там невозможен ( инвариантность бесконечна - даже если неправильное выражение - всё равно отработает , а что будет в результате хз), а на хаске сильная - там это сам бог требует т.е. это возможно (может я неправильно сформулировал вопрос?)
Evgeniy
это кодирование инвариантов программы при помощи типов
Кстати это определение мне нравится(надо записать)😎
Evgeniy
На размышления меня подвинула статья https://habrahabr.ru/post/308484/