модераторы кто кроме меня

DI/global state не надо делать ни в каких языках

сначала мы не обобщаем модули по зависимостям, потом не обобщаем функции по типу (шоб как в го), а потом не обобщем код в функции вообще

сначала мы не обобщаем модули по зависимостям, потом не обобщаем функции по типу (шоб как в го), а потом не обобщем код в функции вообще

что?

так то!

что?

DI это по сути обобщение модуя по зависимости. Вместо использования конкретной зависимости мы делаем модуль полиморфным по любой зависимости, подходящей под интерфейс. Почему не стоит делать DI? Не использовать reader совсем? Конечно, я сейчас говорю больше про ioc, чем про di

не обобщение модуля, а накостыливание модуля подручными средствами

я ничего не понимаю. передаю стейт аргументом, например конструктору. как деды ещё делаи.

со своими контейнерами и иксемелем идите в лес

со своими контейнерами и иксемелем идите в лес

Так никто и не говорит делать контейнеры и иксемели. Как выше уже сказали, пример DI - Reader

какой ридер в питоне?

Ты сказал "в любом языке". В хаскеле есть ридер

ридер это еще один аргумент

Ну а трава зеленая, как это что-то меняет?

ну да а я вот не шарю в DI

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

я уже раза 3 спрашивал

мне скорей всего нормально хорошо объясняли, ты в том числе

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

если это может быть ради тестов, то объясни в контексте тестов

@vlastachu что-бы не таскать лишние аргументы например. Ридер это такой "контекст" в дополнение к вычислениям. Можно туда сунуть конфиг, или пул коннектов к дб

или и то и другое

и луку мешок

ну а чем лучше аргументов?

удобнее

абстрактнее

если это может быть ради тестов, то объясни в контексте тестов

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

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

всё равно же ты этот ридер через все эти функции пропихиваешь

как и аргументы

всё равно же ты этот ридер через все эти функции пропихиваешь

Контекст сам неявно передается через bind

даже не знаю сумарно больше текста выйдет или меньше

Я могу пример написать через час с и без ридера

ну типа да. там где-то вверху заворачиваем конфиг и где-то внизу его используем и на всех промежуточных функциях передача

и тип если убрать бойлерплейт с явной передачей то получаем бойлерплейт с монадами/трансформерами

ну так если монады и так уже есть

всегда есть MonadReader r ((->) r)

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

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

что это

всегда есть MonadReader r ((->) r)

вот это тоже непонимаю

функция принимающая аргументом r является инстанс MonadReader

редактирую .ghci конфиг файл. Мне нужно добавить два сета :set -interactive-print=Text.Show.Unicode.uprint :set -interactive-print=myPrint где myPrint функция, определенная уже. Когда я устанавливаю один параметр, другой отменяется, и наоборот. А как включить оба?

ничего, что оба сета устанавливают одно и тоже значение?

разное. Один поддержку кирилицы, другой цветовой ghci

принтер один

аналогично тому что сделать a=1;a=2 и удивляться что туда не оба значения записались

ответ: написать myprint который внутри будет вызывать Text.Show.Unicode.uprint

ответ: написать myprint который внутри будет вызывать Text.Show.Unicode.uprint

let myPrint :: (Show a) => a -> IO (); myPrint = putStrLn . HsColour.hscolour (HsColour.TTYg HsColour.XTerm256Compatible) myColourPrefs False False "" False . IPPrint.pshow я пока не дорос до такого сращивания((

putStrLn замени на uprint заимпортив Text.Show.Unicode.

вот это вот

а, может не получится

uprint это просто putStrLn . ushow

а, может не получится

отвалились оба)

а у него тут свой show из IPPrint

тут наверное без разбора кода либ не сделать

выбирай, или кириллица, или прити-принт) цвет, полагаю, можно сделать и там, и там чтобы выбрать, нужно использовать pshow из IPPrint или ushow из Text.Show.Unicode

цвет сделать и там и там? Наверное. Но через друге инструменты.

цвет сделать и там и там? Наверное. Но через друге инструменты.

нет, я имел в виду, что независимо от того, что ты веберешь, добавить цвет ты сможешь в любом случае

не то что эти ваши идрисы

А что, разве в Идрисе прув ассистант не интерактивный?

там есть какие-то интерактивные моменты, но на порядок хуже

Почему OCaml не такой популярный как Haskell?

Почему OCaml не такой популярный как Haskell?

Наоборот же

Ну я сужу по тому по вакансиям и маломоу количеству телеграм чатов

о, а где-то есть вакансии на камле?

Ahref и JaneStreet только)

а блин! я вопрос не распарсил

=)

все сходится тогда

Для штук типа MirageOs, и то что делает JaneStreet, чем OCaml лучше подходит чем Haskell?

что умеют то и подходит

В Ocaml банально возни меньше. Хотя бы мутабельность нормальная есть

И однопоточность)

Нормальная)

Ну это уже другой вопрос

В Ocaml банально возни меньше. Хотя бы мутабельность нормальная есть

а контроль эффектов есть?

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

Неправильно выразился. У OCaml порог вхождения ниже

у окамля связь с пруверами лучше

несколько

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

f# же более менее популярен