Осталось действительно углубиться в детали специфических Хаскель-либ и будет совсем хорошо )

В свитере не зареген, пишу здесь 😁 В начале всего безобразия анонсировали 3 дня ФП, четверг про систему образования и наследие Фурсенко, а пятницу про гендерное неравенство и прочие забавы. Вторник подходит к концу - 2 дня вместо анонсированного ФП - Хаскель и монады 😂 Не, я согласен, что "постигать ФП нужно именно с него" - сам так всем говорю. Просто забавное наблюдение 🙂

а чо, есть какое-то другое фп?) Идрис и всякие коки - это больше про логическое программирование имхо

Клин. Но на нем бекенд не пишут

Вопрос знатокам stack'a: есть ли способо загрузить в ghci код из test, а не только из src? Аналог команды: stack ghci

Он и подгружается

В таких радикальных эхо-камерных случаях всегда всплывает в памяти эти кадры https://www.youtube.com/watch?v=cSZfUnCK5qk

Вопрос знатокам stack'a: есть ли способо загрузить в ghci код из test, а не только из src? Аналог команды: stack ghci

можно попробовать указать target

Вопрос знатокам stack'a: есть ли способо загрузить в ghci код из test, а не только из src? Аналог команды: stack ghci

stack ghci пакет:тест ?

пакет?

Warning: Some targets (tests) are not local packages, and so cannot be directly loaded. In future versions of stack, this might be supported - see https://github.com/commercialhaskell/stack/issues/1441 . It can still be useful to specify these, as they will be passed to ghci via -package flags.

Ну ладно, может, еще покопаюсь потом

как красиво делается такое: sum $ zipWith (*) [1,9,9,9] [1000,100,10,1]

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

врод есть какая-то идиома

В таких радикальных эхо-камерных случаях всегда всплывает в памяти эти кадры https://www.youtube.com/watch?v=cSZfUnCK5qk

не понятно, про какие ФЯ вы хотите читать в твиттере. Хаскель-то еле живой, а прочие уже повымерли

дотпродукт может быть где-то в либах

Ну про что-то еще помимо кантри и вестерна ))

И особенностей щипкового звукоизвлечения на банджо в западной части Алабамы )))

например?

пакет?

stack ide targets выведет все цели. Потом stack ghci <target>

Ну вы же прекрасно знаете все примеры, зачем спрашивать

знаю, не знаю, что может быть из этого интересно в смысле бекенда. f# и ocaml? есть радикальное мнение что это ФЯ

вот, уже получается что-то вспомнить помимо сабжа )

ну так они еще более маргинальные

где еще найти человека который их знает

ну есть радикальное мнение (С) что и джаваскрипт ФП - а его знают мягко говоря многие

если яваскрипт ФЯ, то не ФЯ только C++ и раст

а, ну и си еще, конечно

это чо ж си не фя, там же тоже можно передавать функции в качестве аргументов

вот про это и хотел напомнить свитерцам )

это чо ж си не фя, там же тоже можно передавать функции в качестве аргументов

UFP не решена

они там не фест класс - поэтому не ФЯ

если считать языки, в которых UFP не решена, тогда вообще все ФЯ

а то как в анекдоте: а теперь давайте не шуметь, православные думают что они в раю одни )

грубо говоря фя это, по мере увеличения множества подходящих под определение: эдинбуржщина-тернеровщина, +лиспы, все с решенной UFP, все

ваши бы слова да в свитер

Клин. Но на нем бекенд не пишут

ats2

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

надо про ela написать

как же без этого

+

ats2

строгий же, значит недофя

такой дефективной эдинбуржщины полно, конечно

как красиво делается такое: sum $ zipWith (*) [1,9,9,9] [1000,100,10,1]

scalarProduct из Algebra.Ring?

не, считаем что есть только prelude и text

можно воспользоваться инстансами для обертки ZipList, но зачем? Будет хуже

я помню сюда чел приходил, ему подсказали элегантное решение

можно воспользоваться инстансами для обертки ZipList, но зачем? Будет хуже

да будет хуже)

можно как минимум 3 способами)

foldr (\b a -> a + product b) 0 $ transpose [[1,9,9,9], [1000,100,10,1]] но это же все дичь

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

т

эмелисты такое широко практикуют

как и гоферы, кстати

я помню сюда чел приходил, ему подсказали элегантное решение

может, Foldl? правда, это за пределами base

foldl тут не поможет

Ребят, помогите разобраться с Квантификацией типов и RankN в частности. Я понял, что ничего не понял. fun :: forall a b c. (a, b) -> (forall z. z -> c) -> (c, c) fun (a, b) fn = (fn a, fn b) И пытаюсь вызвать как fun (1, 2) id -------------- • Couldn't match type ‘c’ with ‘z’ because type variable ‘z’ would escape its scope

Просто пример, без смысла.

ну у id тип a -> a

Да. Это понятно. Но разве мы не можем вывести c?

ну мы и вывели что это будет z и значит он "убегает" из скоупа, т.е. возвращается из функции значение такого типа

Вот видимо я не понимаю, что значит "убегает". 😞

унификация приведет к тому что возвращать это предположительно будет (z,z), а это запрещено, т.к. z квалифицирован только внутри forall z. z -> c)

унификация приведет к тому что возвращать это предположительно будет (z,z), а это запрещено, т.к. z квалифицирован только внутри forall z. z -> c)

Так вроде понятнее.

квантифицирован, простите

@bravit111 вообще весело бы было если бы был какой-то врыв от других ФП языков

возможно

врыыычто?

Взрыв?

ну ворваться

Что можно почитать, чтоб не возникало подобных вопросов? А то не полностью понял. Вот, например аннотация типа foo :: Int -> c Чем может быть c? Чем-угодно, так? Т.е. мы не знаем чем. Правильно я понимаю, что единственная возможная реализация такая: foo _ = undefined

как от этого существительное сделать

@parketgo - да

я так и подумал, но требовалось подтверждение

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

Взрыв?

террористический твит?!

От @qnikst всего можно было ожидать

вот такая вот репутация

Добрый вечор, господа, а клиент для Telegram на хаскелле еще никто не реализовал?

ну боты были, клиент не знаю