unsafePerformIO

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

внутрь нескольких контейнеров

f (a -> b)<*> f a -> f b

функтор может это сделать для функции одной переменной

(a->b)<$> f a->f b

а вот если у меня есть функция a->b->c

и два контейнера f a, f b

а мне надо f c

<$> это fmap

да, это функтор

Аппликативный функтор приьаскивают <*>

А так да, частное применение такое

(a->b->c) <$> f a -> f (b-> c)

f (b->c) <*> f b -> f c

(a->b->c) <$> f a <*> f b -> f c

как писать/использовать на хаскелле эффективные структуры данных, не заворачивая их в IO/ST монады?

видимо можно через unsafePerformIO, опять же

аппликатив это тоже из теории категорий?

аппликатив - это всего лишь моноидальный функтор

strong lax monoidal functor

моноидальный функтор это как? Функтор это штука которая переводит одну категорию в другую

На Википедии забанили https://en.wikipedia.org/wiki/Monoidal_functor

А вообще в оригинальном пейпере про аппликативы написано, почему так.

щас покурю

на википедии все просто написано и доступным языком

Куда проще и доступнее чем академично через кванторы?

только вкуривать долго приходится

Очень редко, но нужны

FFI же?

FFI можно как safe импортнуть

А вот всякие alloca вокруг и т.п. уже нет

линтеру не нравится

вовза?

а с кем меня еще можно спутать?

и на что это влияет?

да хз

ты ники меняешь что-то

я давно уже гэлловей

ой, я случайно......

так нельзя

бля

так по делу кто-нибудь поможет?

а я на эрланге пишу

после рома

Минимум что кусок кода по которому вопрос полностью копировать

Чтобы ванговать не приходилось

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

http://www.alexeyshmalko.com/2014/haskell-defaulting-rules/ например или сразу на haskell prime

Подробно пост не читал так что за то что там все точно не отвечаю

Минимум что кусок кода по которому вопрос полностью копировать

http://lpaste.net/4094497992357183488

Ну значит объяснение выше верно

аа

Решение в одном из элементов тип добавить

seeDups(8::Int,5...

да это понятно

спасибо

Т.к. литералы числовые это на самом деле дешугарится в fromInteger 8

Незачто

seeDups(8::Int,5...

а как еще можно это сделать?

Что именно?

нотацию чтоли

чтоб оно понимало что это int короче

Можно в seeDups тип явно задать

Или если байндинги используешь если его тип из чего-то выводится еще

Типа let i = 8 in "11234" !! seeDups (i, j,k) + i

Извиняюсь за тупой пример

ничего

Но тут тип i будет Int

Т.к. seeDups возвращает Int и он складывается с i

Ну и т.к. это второй аргумент !! Тип которого Int

Ну или сделать i8 = 8 :: Int

Или забить на warning

Можно в seeDups тип явно задать

вот это самый хороший вариант

Ну не факт, смотря что ты хочешь от seeDups

в моей ситиуации

Если ты хочешь чтобы он любой Num принимал, то не вариант

Я бота на хаскеле запилил

nice

Что делает?

знакомая давно делала

\©/

Да ниче, калькулятор

privet

hi

кто как деплоит хаскель?

бинарники по onedrive передаю

я circleCI настроил, сейчас думаю как после билда деплоить

бинарники по onedrive передаю

а бинарники стрипаешь и upxом жмешь?

нет

я не деплою))

просто с кажым билдом загружать по 200мб, офигеть

кстати, что там с доками hackage, давно его шатает?