IO вообще тупо тип, говорящий что есть эффект IO. Не больше не меньше.

У него есть свойчтва он функтор, что позволяет поднимать в него чистые функции

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

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

просто означает что может быть ввод вывод

как эффект монадического связывания

ok, в свежем GHC IO определен через ST от RealWorld

😁

И monad, который позволяет связать результат одного действия с другим действием

Т.е. monad это удобный API для работы

Есть подход явного тегирования функций эффектами

Но это работает в строгих ЯП только

Есть в каких-то лиспах

Можно как в старые добрые времена сделать что-то похожее на интерпретатор по типу Free

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

Вроде да, я не знаю ТК

Ilya в общем-то вон аж 3 подхода

3.5

я немного прочитал, в общем это такая нехилая математическая теория

абстрактная теория

С applicative вообще интересно их полезность совсем недавно поняли

которую можно использовать много где, начиная от квантовой физики и заканчивая топологией

ну и в хаскелле само собой

там вводится понятие категории, объект, морфизм, функтор, моноид - это всё оттуда

в хаскелле объекты для категорий - типи, морфизмы - функции

ok, в свежем GHC IO определен через ST от RealWorld

Да вообще там магия и поддержка только для того чтобы сделать код эффективным и вырезать state tokens. А так обычный strict state

функтор и есть функтор

При том что есть специальные вещи которые уже именно встроены типа magicDict и побочных вещей, которые работают только на уровне core или вообще хаки в typechecker

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

Да

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

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

интересно, как в других компиляторах сделано

Эм?

как понять хаскель перестаёт быть чистым?)

С чего это вдруг перестает?

хаскель это практически чистое типизированное лямбда исчисление

Вообще всякие unsafePerformIO/unsafeInlineIO /unsafeCoerce# ломают чистоту

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

Вообще всякие unsafePerformIO/unsafeInlineIO /unsafeCoerce# ломают чистоту

да

Но они нужны

И ничего с этим не сделаешь

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

есть кстати примеры, когда без них нельзя? если не считать либу компилятора

Со всякими gadts иногда ума компилятора не хватает на правильный reasoning и приходится его через unsafeCoerce убеждать, крайне редко

Иногда нужны глобальные мутабельные/ или присваивающиеся из окружения переменные (крайне редко) тогда unsafeCoerce

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 вокруг и т.п. уже нет

что это значит?

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

вовза?

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

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

да хз