В YouTrack для анализа вот что есть

только насчёт интеграции с гитхабом не уверен, но там что-то было

Приветствую, нужен парсер под фэйсбук. Довольно сложный в реализации. Бюджет 1 к $. Если что, стучите в личку

Приветствую, нужен парсер под фэйсбук. Довольно сложный в реализации. Бюджет 1 к $. Если что, стучите в личку

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

Приветствую, нужен парсер под фэйсбук. Довольно сложный в реализации. Бюджет 1 к $. Если что, стучите в личку

и что за парсер?

и что за парсер?

Под фейсбук

гениально!

Ну знаешь как определение монады для всех типов однозначно, так и парсер для всех доменов

string "фейсбук" готово, парсер, парсящий "фейсбук"

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

Мне кажется, аналогичное сообщение было отправлено в несколько чатов.

Либо из-за «конечных автоматов».

Пока что не видел ещё нигде

Под фейсбук

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

загугли "парсер комбинаторы", но только после того как разберёшься с функторами и аппликативными функторами. Суть в том, что парсеры писать очень удобно.

можно по ходу дела разобраться

скорее, имелся в виду не parser, а scraper

и/или crawler

Ребята, а вы здесь о хаскеле только говорите или где-то есть конторы, в конторых на нем реально что-то пишут?

Ребята, а вы здесь о хаскеле только говорите или где-то есть конторы, в конторых на нем реально что-то пишут?

прям слово в слово =) думаю, если сменить формулировки еще пачка найдется

да всем интересно)

я к тому что можно не начинать по кругу этот вопрос, а воспользоваться историей чата

кмк стоило бы сделать FAQ

кмк стоило бы сделать FAQ

С одним единственным вопросом? Можно сделать бота, который паттерны вылавливает и отвечает на них

С одним единственным вопросом? Можно сделать бота, который паттерны вылавливает и отвечает на них

не с одним офк

А с какими ещё? Много ты стандартных вопросов кроме этого слышал?

как минимум про материал для изучения еще

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

Ребята, а вы здесь о хаскеле только говорите или где-то есть конторы, в конторых на нем реально что-то пишут?

На Хаскелле продакшен пишут много где. Лору Палмер убил её отец. Земля круглая. 42. Кит или слон — зависит от среды. Возьму пики, срублю остальное. Самолёт с ленты взлетит.

универсальный FAQ

Напиши одним сообщением и можно будет закрепить "в шапке" :)

> Лору Палмер убил её отец эй! что за спойлеры? не все же ещё посмотрели... :D

Ну, как бы, не совсем отец ;)

Это половина спойлера, которую все знают

нету контор, факториалы пишем и домашки в школе

это лжеспойлер

рабочий чятик продолжает радовать > (and re:dhall and non turing-completness: It's really cool in theory, and I hope that we're going in this direction in general, but but It's wayy to heavy to be usable in real-life™) (edited) > aspiwack [11:06] (why is it cool? In theory or practice? What does it bring, apart from wearing a shiny « non-turing complete » badge which seems to be so fashionable these day, like microbrewed beer) > james [11:07] I am asking myself the same question, I'm confused why total functions are so desirable _specifically_ in config?

может тут кто мне расскажет, зачем нужна тотальность в языке для конфигов?

меня это самого озадачивает

т.е. это точно не является практической гарантией

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

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

тут выше уже выяснили, что Dhall не создавался как язык для конфигов, значит, на высказывание "dhall для конфигов" не стоит опираться в рассуждениях

если убрать dhall для конфигов, то это сведётся к "dhall не нужен" : ]

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

т.к. это преподносится как фича

он нужен Гонсалесу для решения личных задач Гонсалеса

повторюсь, что вопрос не почему dhall такой, а почему тотальность это хорошо для конфигов

просто эта дискуссия возникла в контексте dhall

повторюсь, что вопрос не почему dhall такой, а почему тотальность это хорошо для конфигов

сложнее написать бред. всё ещё можно, но сложнее

но, при этом не бред, становится написать ещё сложнее

давайте соберём комитет и придумаем хороший язык для вычислимых конфигов

на основе проблем, с которыми писатели конфигов реально сталкиваются

согласен собрать комитет (собирать комитеты прикольно потом можно ничего не делать)

можно собираться на скамейке возле подъезда после школы

> ..., reminds me of a paper I saw which tried to make a machine-learning based type-system

мне сегодня вечером на кружок по го (не ЯП), я не могу : /

я может чего-то не понимаю, но YAML считаю хорошим форматом для конфигов

можно писать данные, можно писать комменты

абстракция слабая

отсюда копипаста.

а вот это вопрос нужна ли там возможность для абстракции

нужна, конечно

я думаю, все эти языки когда тебе нужно конфиг для амазона сделать

иначе копипаста и огромные нечитаемые конфиги

где тебе нужны функции генерирующие конфиги, иначе это не поддерживаемо

т.к. их язык тупой

если метрики агрегировать хочешь этим конфигом, то там уже ЯП нужен, а не конфиг, а если в стек резолвер передать, то и YAML пойдет

причем возможно ещё его и генерировать с учетом рантайм данных надо

типа сделал ноду, узнал её IP подставил в другие части конфига

для передать в программу 15 опций и INI подойдет

секспы могут и то, и другое

я может чего-то не понимаю, но YAML считаю хорошим форматом для конфигов

https://www.reddit.com/r/programming/comments/7ctwi7/yaml_sucks/

секспы могут и то, и другое

.emacs какой-то описал

Никс норм для конфигов, высираешь жсон и все ямлоконфиги жрут

Даже недотипизация через никсос модули есть

никс такая же нетипизированная дрисня

ну вон там gradual typing прикручивают

Что-то делается вроде https://github.com/regnat/ptyx чтобы Nix типизировать.

собственно один из тех чьи цитаты выше и прикручивает