но топикстартеру теоркат или хаскель?

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

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

> увлекающихся теорией категорий Я тут вижу антисемитизм. И нужно ещё доказать, что я цисгендерный

лучше что-то написать на хаскеле, пртом провести разбор и посчитать, сколько потребовалось теорката

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

На самом деле нет

> увлекающихся теорией категорий Я тут вижу антисемитизм. И нужно ещё доказать, что я цисгендерный

мои чувства важнее твоих фактов.

мои чувства важнее твоих фактов.

Пруф или не квир

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

В чате есть небольшая группа лиц, которые любят обсуждать зигоморфизмы. Это круто, но это не про Хаскель. Просто игнорь их

Если смотреть на чат, то может показаться, что знание интерсекциональной теории тоже важно для написания продукта на хаскеле

лучше что-то написать на хаскеле, пртом провести разбор и посчитать, сколько потребовалось теорката

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

В чате есть небольшая группа лиц, которые любят обсуждать зигоморфизмы. Это круто, но это не про Хаскель. Просто игнорь их

Будучи одним из таких людей, я соглашусь

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

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

Достойно пина

понял, благодарю всех участников ?

"теоркат" нужен когда задача хорошо попадает под какую-то модель

но и без этого можно прекрасно обойтись

А если теоркат на задачу не налазит, что делать?

к тому же обычно теоркат базовый, а не та жесть которую тут частенько обсуждают

что делать если паттерн factory не решает вашу задачу?

уйти в девопсы

А если теоркат на задачу не налазит, что делать?

Брать inf-category

что делать если паттерн factory не решает вашу задачу?

Менять задачу. Не отказываться же от паттерна

что делать если паттерн factory не решает вашу задачу?

использовать factory factory, конечно же

уйти в девопсы

И писать на го

использовать factory factory, конечно же

hoc factory

Программирование на Haskell - это ремесло, искусство или наука?

Инженерия?

Программирование на Haskell - это ремесло, искусство или наука?

это искать работу полгода

это деятельность

Инженерия?

Хороший ответ, но пока еще вроде только зарождается.

Программирование на Haskell - это ремесло, искусство или наука?

это комета

это искать работу полгода

Оба раза меня работа сама находила, и вот еще был третий раз от одного местного обитателя, и вот еще четвертый раз люди пришли. Сегодня собеседование.

фейсбук небось, они всем писали?

И в четвёртый раз пришли люди, и собеседовали его.

хаскелистов нада

фейсбук небось, они всем писали?

Не, товарищи из Эквадора ?

не Stack builders?

Да, они

А что интересного про них можешь рассказать?

https://well-typed.com/blog/2018/03/haskell-development-job-with-well-typed Интересно, у нас здесь есть люди, которые бы хотели заняться такой работой?

я бы дважды подумал перед тем как соглашаться

Ну я пока и не соглашался.

@metaxis я к ним пытался устроиться, но в тот год взяли Бена Гамари

кстати фейсбук нанимает людей пилить GHC

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

я попал в четверку лучших кандидатов тогда

я попал в четверку лучших кандидатов тогда

Здорово!!

у них самое классное интервью было из всех на которых я был

Фейсбук ковровые бомбардировки устраивает походу - мне и в Linkedin написали и на почту (рекрутер какой-то) и на реддите вакансия

@qnikst А в этом году не хотите попробоваться? Tuesday, 27 March 2018 Два месяца назад вакансия была.

нет :)

у них самое классное интервью было из всех на которых я был

А можно по-подробнее, чем оно интересное?

меня работа в Tweag устраивает более-менее

оно по irc :)

весьма интересная атмосфера

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

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

это даже мрачнее чем whiteboard

да ну, вообще класс

это даже мрачнее чем whiteboard

как раз наоборот, ящетаю

Вопрос по линзам. Как-то можно пройтись по всем сеттерам структуры, чтобы над каждым выполнить какое-то действие? То есть для вот такой структуры data Crowd a = Crowd {_first :: a, _second :: a, _third :: a} deriving Show makeLenses ''Crowd Я хочу поработать с чем-то типа Crowd (Lens' (Crowd a) a), то есть сразу со всеми сеттерами. Вот минимальный пример, зачем это может понадобиться: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE RankNTypes #-} import Control.Lens data Crowd a = Crowd {_first :: a, _second :: a, _third :: a} deriving Show makeLenses ''Crowd new :: Int -> Crowd Int -> Crowd (Crowd Int) new x c = Crowd {_first = set first x c, _second = set second x c, _third = set third x c} Хочется функцию new написать по-нормальному, не используя внутреннюю реализацию типа Crowd. @kana_sama

... deriving Functor fmap

... deriving Functor fmap

а что fmap ать будем?

(const x)

{-# LANGUAGE DerivingFunctor #-} data Crowd a = Crowd { _first :: a , _second :: a , _third :: a } deriving (Show, Functor) makeLenses ''Crowd new :: Int -> Crowd Int -> Crowd Int new x = fmap (const x)

я имею в виду контейнер какой

а

я увидел

это уже Co* какие-то

в каждом поле поле у тебя копия Crowd с только этим изменным полем

да, выглядит как комонада какая-то

угу

в каждом поле поле у тебя копия Crowd с только этим изменным полем

да

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

с generic такое написать можно наверное

я бы не парился и написал руками

uniplate стоит попробовать

fields :: [Lens (Crowd a) a] fields = [first, second, third] new x c = map (\field -> set field x c) fields

я бы не парился и написал руками

руками не проблема написать, но позже тип Crowd будет не конкретный, в виде data Crowd :: * -> * (data family). А реализация new всё равно должна быть. *Правда я ещё не разбирался с data family, но вроде это как раз то что нужно

fields :: [Lens (Crowd a) a] fields = [first, second, third] new x c = map (\field -> set field x c) fields

field надо взять откуда-то...

тогда generic надо

а не линзы

generic-lens?

просто свой класс с generic

линзы зачем тут тебе?

линзы зачем тут тебе?

для set понадобились

который делаеть new :: Generic f => a -> f a -> f (f a)

зачем тебе set?

зачем тебе set?

ща

в общем самый простой способ - сделать класс: class Duplicate f where dup :: a -> f a -> [f a]

написал для кого надо руками, а потом сделать generic реализацию

uniplate стоит попробовать

c uniplate насколько такое просто пишется? вроде highlevel комбинаторов нету

хм.. с generic-lens наверное тоже можно

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

я не понял задачу про линзы

блин f (f a) выше конечно же

зачем тебе set?

set мне понадобился в функции forget. Вот код: {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE RankNTypes #-} import Control.Lens data Crowd a = Crowd {_first :: a, _second :: a, _third :: a} deriving Show makeLenses ''Crowd type Man = forall a. Lens' (Crowd a) a new :: Int -> Crowd Int -> Crowd (Crowd Int) new x c = Crowd {_first = set first x c, _second = set second x c, _third = set third x c} forget :: (Enum a, Bounded a) => Man -> Crowd a -> [Crowd a] forget man c = [set man x c | x <- [minBound .. maxBound]] Пример работы: λ> forget first (Crowd True True True) [Crowd {_first = False, _second = True, _third = True},Crowd {_first = True, _second = True, _third = True}] Функция new более сложная, и там внутри должен использоваться forget

я не понимаю смысла forget

https://www.youtube.com/watch?v=a7R-2vtPLDM комитетчики осваивают медийное пространство для ведения войны

и не вижу зачем там set прям обязательно