Народ, была задачка — заменить каждый элемент списка (в оригинале массива, но не суть) на произведение всех остальных элементов массива. Один парень предложил такое решение: magic = fmap =<< div . product main = print $ magic [1,2,3,4] Вопрос: как это работает? Я не понимаю

hint: magic x = (div . product >>= fmap) x смотри как определён (>>=) для типа (-> r)

hint: magic x = (div . product >>= fmap) x смотри как определён (>>=) для типа (-> r)

Всегда этот инстанс затруднения вызывал. Сейчас гляну

это аналог Reader если так легче

это аналог Reader если так легче

Да я знаю

Этот инстанс ведь в base определён?

да

> А промежуточное значение разве не должно и так в след функцию бросаться? не должно. do foo x <- bar baz x рассахаривается в foo >>= \_ -> bar >>= \x -> baz x никакого магического "и так" нет. Всё передаётся только явно

Понял. Спасибо)

instance Monad ((->) env) where return = const f >>= g = \x -> g (f x) x Что ж, это объясняет, почему аргумент используется два раза

Мне кажется, или (>>=) в этом контексте - это S-комбинатор с переставленными аргументами?

Народ, была задачка — заменить каждый элемент списка (в оригинале массива, но не суть) на произведение всех остальных элементов массива. Один парень предложил такое решение: magic = fmap =<< div . product main = print $ magic [1,2,3,4] Вопрос: как это работает? Я не понимаю

красиво, но не верно λ> magic [1, 2, 3, 0] [0,0,0,*** Exception: divide by zero

красиво, но не верно λ> magic [1, 2, 3, 0] [0,0,0,*** Exception: divide by zero

Про это уже сказали

Мне кажется, или (>>=) в этом контексте - это S-комбинатор с переставленными аргументами?

Да вроде не кажется

Про это уже сказали

где?

где?

В чате, где это решение скинули

Ссылку на чат кидать не буду, чтоб рекламой не считали

полезное тогда замечание тут

на мутабельные объекты в 8.6 можно не надеяться

а на что можно надеяться?

На синтаксический сахар?

на quantified constraints можно, на deriving via вроде можно, внезапно авторы линейных типов заявляют что надеятся можно, но я бы не советовал

А какой дерайвингвиа примут? Их вроде много было

на или паттерны надежда небольшая, но побольше

А какой дерайвингвиа примут? Их вроде много было

где это их много?

qc приняты рулевым комитетом и имплементированы dv видимо со дня на день будет принят и имплементирован orp видимо имплементированы, переданы на рассмотрение в комитет, но комитетчик который должен подготовить обзор для комитета и предварительные выводы ничего не делает с марта месяца

про линейные типы Пикеринг написал буквально следущее > I am also working on the linear types branch. Arnaud is quite keen for it to be ready for 8.6 but we still have a bit to go. но это его сообщение проигнорировано судя по всему

заморозка 8.6 в июне

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

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

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

Народ, была задачка — заменить каждый элемент списка (в оригинале массива, но не суть) на произведение всех остальных элементов массива. Один парень предложил такое решение: magic = fmap =<< div . product main = print $ magic [1,2,3,4] Вопрос: как это работает? Я не понимаю

magic = map product . liftA2 (zipWith (++)) inits (tail . tails) Решение "в лоб". С нулями работает правильно.

magic = zipWith (*) <$> scanl (*) 1 <*> (tail . scanr (*) 1)

Нубский вопрос. Альяс конструктора типа АТД задать можно. Можно ли задать альяс конструктора значений?

типа data X = Z a b c, alias = Z?

pattern synonymous не позволяют?

типа data X = Z a b c, alias = Z?

Да. Я больше про Maybe думаю. Иногда не хочется создавать свой изоморфный ему тип, а просто переименовать

pattern synonymous не позволяют?

Не слышал о такой штуке. Спасибо, покурю

Ну так Z -- это и есть функция a -> b -> c -> Z

Что это функция, понятно.

Не alias = Z a b c а synonym MyZ = Z

Ну так для функций можно же алиасы создавать. Т.е. это просто будут другие функции.

Ну тогда это к просвящённым тутошним

Ну так для функций можно же алиасы создавать. Т.е. это просто будут другие функции.

Нет, не про это вопрос. Так ты не альяс создашь, а функцию, конструирующую значение. В паттерн-матчинг ее не запихаешь

Разве что с помощью viewpatterns

Ааа

Она чё

Ну тогда не знаю :)

А было бы такое вообще полезно? Ну, про паттерн синонимс я еще не ознакомился

Судя по всему, pattern synonyms делают как раз это.

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

они ж с view patterns комбинируются

вот из статьи пример

не-не, речь конкретно про алиас на Maybe

так-то плюсы паттерн-синонимов я вижу

да просто как алиас не особо полезно

Foo . Just конечно можно прятать

Гм, а полезная штука, однако. Кое-где помогает бойлерплейт снизить

такое с тиобе бывает постоянно, какой-то язык выскакивает в топ, а потом падает обратно, можно не обращать внимания, методика там адская

Там нужно смотреть на первые 5, они там как скотчем приклеины (именно скотчем)

На первые 5 смотреть неинтересно, про них мы и так знали.

Люблю четвертого

Гм, а полезная штука, однако. Кое-где помогает бойлерплейт снизить

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

Где можно посмотреть исходный код функций Haskell?

смотря каких

(++) написал

Если есть пакет на Hackage, заходишь в либу, там есть Source

с hie можно прям в редакторе)

hie?

Haskell Ide Engine

в хаддоке, если модуль с ней загружен в репл :list имя

Ок, щас поищим

Сорри :)

?

Втупливаю по-страшному. Я потер свое сообщение, может, никто и не заметил.

Увидят только админы)

Где можно посмотреть исходный код функций Haskell?

Еще на ГитХабе многие проекты хостятся. Вообще, идешь на Hoogle, ищешь там свою функцию, переходишь к описанию, а там для каждой есть ссылка на сурс конкретно этой функции. Но иногда Hoogle не работает так, как хочется. В этом случае можно пойти на Hayoo, ввести поиск функции там. Hayoo, помимо выдачи поисковых результатов, предлагает еще ссылку на исходники оных

на hackage у каждой функции кнопочка source есть

если докуентация не сгенерирована (и такое бывает) то на github

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

самое полезное у PatternSynonyms — что можно константу назвать не aNY_PORT, а ANY_PORT

прям таки самое?

нет

тем временем, Хаскель аж на 48 месте в писькомерке Тиобе

А был?

хз, где посмотреть

зачем вообще смотреть тиобе?

зачем вообще смотреть тиобе?

Так ведь других... А впрочем, действительно.

да есть поприличнее

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

Давайте составим свой рейтинг. Рейтинг "Привлекательность языков программирования для топовых разработчиков". Составим списки всех известных разработчиков мирового уровня и посмотрим, какие языки они предпочитают.

а как будет топовых выбирать?

Если известный человек изучил язык и что-то даже про это написал, - засчитываем

не думаю, что это много кому интересно

не думаю, что это много кому интересно

С учетом, что подавляющее большинство разработчиков - либо новички, либо среднячки, которым все по барабану, то это выражение правдиво. "Много кому" не интересно будет еще много что. Но мы ж не на них ориентируемся, верно?