кстати фейсбук нанимает людей пилить 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 прям обязательно

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

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

c{man=_x} - и нету линз и сета

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

Первым делом похоже что подойдёт universeBi. Хотя, может ошибаюсь.

не похоже, оно же должно знать в каком оно поле

от этого поведение меняется

По типу в любом месте структуры траверсит

а man там это линза, ок

он контекст же не хранит

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

c{man=_x} - и нету линз и сета

это не будет работать. ‘man’ is not a (visible) constructor field name, конечно же

Тогда, да

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

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

очень часто в контексте изучения хаскель слышу про вот какую-то особенную особенность ленивости в хаскеле. детали не копал особо, но лишь понимаю сам принцип, в традиционном изложении: мол до тех пор пока какой-то expression не нужен, он не будет вычислен. т.е. своего рода pull model. из совета постижения стг-интепретатора и ленивости, что конкретно стоит изучить ? какой конкретно аспект этой ленивости ? т.к. сейчас это кажется каким-то вроде как понятным, но раз часто так упоминают, то вероятно есть что-то мудреное там.

очень часто в контексте изучения хаскель слышу про вот какую-то особенную особенность ленивости в хаскеле. детали не копал особо, но лишь понимаю сам принцип, в традиционном изложении: мол до тех пор пока какой-то expression не нужен, он не будет вычислен. т.е. своего рода pull model. из совета постижения стг-интепретатора и ленивости, что конкретно стоит изучить ? какой конкретно аспект этой ленивости ? т.к. сейчас это кажется каким-то вроде как понятным, но раз часто так упоминают, то вероятно есть что-то мудреное там.

да там нет ничего "мудреного" как такового, да, примерно как описали так и есть, надо просто привыкнуть думать о вычислениях что они именно так происходят, пограть с каким-нибудь вычислителям вроде этого https://www.well-typed.com/blog/2017/09/visualize-cbn/ или stgi https://hackage.haskell.org/package/stgi https://skillsmatter.com/skillscasts/8800-functional-and-low-level-watching-the-stg-execute

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

а что конкретно непонятно?

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

вот код. он работает. нужно переписать new так, чтобы она не использовала знание о внутренней структуре типа 'Crowd`. Для этого я пытаюсь использовать линзы. Есть пример одной функции, уже реализованной "как нужно" — функция forget. В таком же духе хочется переписать и new.

ну вот duplicate через generic это то что нужно

без линз даже

мне тут подсказали context в plated линзах

может поможет

очень часто в контексте изучения хаскель слышу про вот какую-то особенную особенность ленивости в хаскеле. детали не копал особо, но лишь понимаю сам принцип, в традиционном изложении: мол до тех пор пока какой-то expression не нужен, он не будет вычислен. т.е. своего рода pull model. из совета постижения стг-интепретатора и ленивости, что конкретно стоит изучить ? какой конкретно аспект этой ленивости ? т.к. сейчас это кажется каким-то вроде как понятным, но раз часто так упоминают, то вероятно есть что-то мудреное там.

С ленивостью все и просто, и сложно одновременно. По началу можно ограничиться тем, что ленивость позволяет преобразовывать структуры без немедленного обхода их целиком. Напиши, например, функцию для создания графа: она принимает вершину и возвращает список смежных вершин. Одна такая функция будет полным описанием графа. Напиши теперь другую функцию, которая, используя первую, преобразует граф в список смежности. И вот пока ты работаешь с первыми элементами этого списка, он весь не вычисляется. Может, по задаче вообще не надо будет.

а у WT как всегда прекрасный пост: https://well-typed.com/blog/2018/05/ghc-special-gc-objects/

Ваще в тему, спасибо!

а если бы меня слушали уже бы все знали !!!