а в том, почему любой Applicative это Functor, но любая линза это Traversal, а не наоборот.

если я верно понял

я попытался ответить на это гистом выше с которым можно поиграться

когда у нас тип (a -> f a) -> (b -> f b)то a -> f a у нас в негативной позиции, а f a в положительной, значит f a в негативной (1 * (-1) = -1), аналогично f b в положительной. То есть у нас f сразу и в положительной позиции, и в отрицательной

Возможно всё уже объяснили, тогда повторюсь. f в инвариантной позиции, но констрейт Functor f в контрвариантном. Поэтому независимо от того, где находится сам f справа от толстой стрелки, усиление констрейта, т.е. замена на более конкретные требования приводит к менее конкретному типу в результате

На сайте fby.by повесили анонс конференции, но дата забавная :)

Хмм, и билет уже нельзя купить... Быстро же предварительная продажа билетов закончилась

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

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

я еле сдержался от этой шутки

Зато быстро

где самый мощный вентилятор?

наброс начался

Так, там точно верная цена? 53к рф?

wat

the ticket is already completed.

OMG WTF

1800 BYN ~ $925

круто. интересно, что там должно происходить, что бы это было оправдано

может ошибка?

ну, на прошлый fpconf тоже билеты каких-то денег стоили существенных

Скорее всего ошибка на лишний ноль

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

но профита было 0

В том году около 6Круб стоил билет

в мск?

> Сайт fby.by пока не может обработать этот запрос > HTTP ERROR 500:

снойман жи ему билет и проживание нужно оплачивать

а думаете кошерная еда и жильше дешёвое?

и билет в US и обратно

в мск?

Билет на минскую конфу в прошлом году стоил что-то вроде 6 тыс. российских рублей - я как-то так помню

/me задумался про минидоклад, там тчо-то про бесплатный билет говорили

бизнес-классом поди

@cblp_su ты не помнишь, сколько мы платили в тот раз?

не помню, но порядок такой, да

115 BYN в прошлом году

это я заплатил за раннюю голодную пташку

Во! Это с обедом даже вроде

у них ранние пташки без обеда!

будьте внимательны!

а поесть в округе негде

Пока нет никаких пташек. И 53К - неадекватная цена для меня лично

это они просто для инфоповода написали, видимо, а не для продажи

в прошлом году мне говорили > обычно все наши early bird билеты не включают обеды

Практика показала, что тот же самый обед можно прикупить на месте

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

здорово, если так

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

/me высказался :)

Всем привет. Хотел узнать, где можно поискать вакансии для junior или даже стажера по haskell?

здесь

и в ruhaskell

я очень засмеялся

про прод понравилось

дико извиняюсь что не по теме

А такие книги правда есть?

Если толковые, я бы почитал

Сразу видно, что незадудно написаны

похоже кто-то тупо сгенерил обложки и всё

это суперобложки же

Забыв придумать имена псевдоавторов

https://github.com/cazala/coin-hive :D

Вау, я написал небольшие линзы без статей, попытался сам допереть, как использовать эти идентити и консты. И таки допер. И это такая классная идея. И такая странная. Я хз, как Кметт до этого дошел вообще. Он безумен.

а были наброски линз до кметта?

а были наброски линз до кметта?

https://github.com/ekmett/lens/wiki/History-of-Lenses

были

Кто подскажет почему в Contarvariant в Predicate не сделан представитель Monoid?

вроде просто же

instance Monoid (Predicate a) where mempty = Predicate (\_ -> True) mappend (Predicate x) (Predicate y) = Predicate (\t -> x t && y t)

и почему не назвать type Lens fromContainer fromValue toContainer toValue

и можно писать так p = foldMap Predicate [(>5), (<20)] filter (getPredicate p) [0..30]

почему это всегда так сложно

я так понимаю, линзы в виде traverse предложил twan van laarhoven

твой треугольник это &

как-то там потом доказали, что (a -> f b) -> s -> f t изоморфно (s -> a, s -> b -> t)

и почему не назвать type Lens fromContainer fromValue toContainer toValue

я лично читаю буквы s и t в Lens s t a b как source и target, вполне норм

гляньте доклад Кметта

глянь в Data.Function, там есть флипнутый оператор применения