но какая разница

камон, всем ведь известно, что монада — это эндофунктор!

и что? да это эндофунктор с 2-мя естественными преобразованиями

ну а где эндофунктор, там и A → A

всё сходится

всё сходится

* -> *?

k -> k, пора бы уже typelevel monads

k -> k, пора бы уже typelevel monads

это канал о Haskell, это из какой манги?

Надпись неправильная. Вместо "nice" должно быть нечто вроде "damn this world".

А есть теория категорий по понятиям?

я хотел написать спешной комментарий, но вовремя сообразил что написано world а не word

Category theory for computer scientists?

Category theory for computer scientists?

...po poniatiam dlia blatnih.

xxx: а знаете как увольняют хаскель-программиста? "собирай свои монадки и уматывай!"

Карируешь, небось?

Что почитать сейчас из актуального для лучшего понимания теоркрата и хаскеля?

Кнута

Или Канта

На выбор

Кнута

Кнутом тех кто Кнута советует читать

теоркрат? это было бы здорово

по теоркату — Милевского

по Хаскелю — Липовачу

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

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

из всех возможных пониманий требуется выбрать лучшее (по субъективному мнению наблюдателя)

ну как , что такое монада в котах ( scala библиотека ) я знаю, в каких местах удобно использовать тоже знаю, но вот слова Монада в категории C это эндофунктор T: C → C с двумя естественными преобразованиями: η: 1 → T и μ: T ° T → T. для меня скажем немного близки, но есть подохрение, что я азбуку этого всего не до конца понимаю

Нашёл тут , аж 7 лет этой штуке https://habrahabr.ru/post/125782/

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

скорее наверное тогда хаскель, пока интересуют прикладные аспекты.

по Хаскелю — Липовачу

спасибо

а знаете как увольняют хаскель-программиста? "собирай свои монадки и уматывай!"

(мне показалось, что если ещё раз 15 это скопировать, то может смешно станет)

но это не точно

(мне показалось, что если ещё раз 15 это скопировать, то может смешно станет)

просто шутка недостаточно выдержана, всего лишь несколько лет ей

Что примечательно, тебе ответил именно человек со словом "трап" в нике.

Это было ради шутки в одном специфическом чате, не обращайте внимания

Это было ради шутки в одном специфическом чате, не обращайте внимания

А жаль

А жаль

<_<

<_<

выглядит как оператор

стрелочки напоминает монадные операторы а у подчёркивания я бы ожидал скипание аргумента

Не выглядит, нижнее подчеркивание не операторный символ

эх

f <_< g = \x -> do x' <- g x putStrLn "It's a trap!" f x'

Забавно. Похоже в github решили, что elm - редкий язык. И выпилили подсветку синтаксиса

К чему бы это?...

А есть теория категорий по понятиям?

Это тебе к Сохацкому

К чему бы это?...

К тому, что дала тебе индустрия тайпскрипт - и будь щастлив

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

(нет, я не агитирую за тс)

TS тоже не подсвечивает :(

Но эльм странная вещь мягко говоря. Из одного паттерна язычок городить

Ну окей, родина дала им чистый жиэс

Клепай лапшу - нет, не хочу

Работа на Haskell нужна кому? Несколько направлений - bigdata/ml, веб и крипта. Можно фуллтайм, можно не фуллтайм. Удалёнка. Можно на hxr.team, можно на польскую или кипрскую компанию. Зп обсуждается, по рынку, в отдельных случаях выше рынка. dzuikov@gmail.com, dmz@hxr.team

> Работа на Haskell нужна кому? Парттайм с рейтом 20+ и выставлением инвойса от имени ltd в ес - нормально?

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

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

Ну, если очень прямо коротко - то у меня есть два человечка, кто занят, но имеет энный объем свободного времени. Ключевики - по языкам scala, haskell, erlang, purescript. Из более унылого - typescript. cassandra, spark, хорошая экспертиза в хайлоде и распределенке.

Если все еще интересно - скину детали

в почту, плс

я сейчас ухожу со связи

детали в почту.

(Дилемма: есть два чатика по Хаскелю: этот и еще на Гиттере. Что предпочесть?)

Оба два но телеграм

Гм, окей.

А irc-каналы по хаскелю еще живы?

Предпочитаю телеграм, потому что приложение приятное

@qnikst можно пришпилить объявление?

А irc-каналы по хаскелю еще живы?

На фриноде живее всех живых

Да, но на Гиттере есть раздел про haskell jobs,

На фриноде живее всех живых

Понял, спасибо

Работа на Haskell нужна кому? Несколько направлений - bigdata/ml, веб и крипта. Можно фуллтайм, можно не фуллтайм. Удалёнка. Можно на hxr.team, можно на польскую или кипрскую компанию. Зп обсуждается, по рынку, в отдельных случаях выше рынка. dzuikov@gmail.com, dmz@hxr.team

у меня сайт не рабоает

Что не работает?

(Дилемма: есть два чатика по Хаскелю: этот и еще на Гиттере. Что предпочесть?)

Сам в этом чатике сиди, в гиттер бота посади, чтобы он сюда мессаги форвардил

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

все кнопки перезагружают страницу вместо того чтобы вести на соответствующие страницы(извините за размытость предыдущего предложения)

Работа на Haskell нужна кому? Несколько направлений - bigdata/ml, веб и крипта. Можно фуллтайм, можно не фуллтайм. Удалёнка. Можно на hxr.team, можно на польскую или кипрскую компанию. Зп обсуждается, по рынку, в отдельных случаях выше рынка. dzuikov@gmail.com, dmz@hxr.team

Вот это нежданчик!

а, нет, не все

только кнопка бекенд, другие просто не работают

(Дилемма: есть два чатика по Хаскелю: этот и еще на Гиттере. Что предпочесть?)

в гиттере можно знаниями обмениваться и код вставлять