[
Ну если хочешь знать - посмотри. Он там по полочкам сначала раскладывает, в чём проблема сайд эффектов, а потом предлагает решения и реализует их.
Size: a a a
2021 March 25
t
да, я не спорю с тем, что он, скорее всего, все хорошо раскладывает. просто мне кажется, что это скорее тема для https://t.me/haskell_learn
[
да, я не спорю с тем, что он, скорее всего, все хорошо раскладывает. просто мне кажется, что это скорее тема для https://t.me/haskell_learn
У меня там тысяча непрочитанных
JS
ого, 36 минут. интересно, что там можно 36 минут объяснять, если сама IO реализуется минут за 10
что вы вкладываете в "сама IO реализуется"?
JS
(простите, мне лень запоминать, к кому можно на "ты", поэтому я ко всем на "вы")
t
что вы вкладываете в "сама IO реализуется"?
реализовать в других языках конструкцию, которая будет обладать функциональной чистотой, будет похожа на тайпкласс монад в хаскельном его понимании, и будет абстрактить сайдэффекты таким же образом, как это делает хаскельный рантайм
t
на самом хаскеле нельзя реализовать IO без использования FFI
t
(в этом вся суть)
[
что вы вкладываете в "сама IO реализуется"?
Написать тип a -> World -> (a, World)
И доказать его монадичность😄
И доказать его монадичность😄
JS
на самом хаскеле нельзя реализовать IO без использования FFI
а что тогда можно? виртуальные эффекты?
t
а что тогда можно? виртуальные эффекты?
дефайн "виртуальные эффекты"?
JS
Написать тип a -> World -> (a, World)
И доказать его монадичность😄
И доказать его монадичность😄
я эту строчку могу и быстрее написать, не за 10, а за 9 минут
JS
дефайн "виртуальные эффекты"?
нет, сначала вы определите "абстрактить сайдэффекты" без FFI
JS
дефайн "виртуальные эффекты"?
ну, там, всякая эмуляция файловой системы на структурах в памяти, параллельности через чередование жлементов списков и т. д.
t
нет, сначала вы определите "абстрактить сайдэффекты" без FFI
отделить объявление сайдэффекта от его применения. без FFI - не используя функции, которые с т.з. хаскеля являются ссылочно-прозрачными, но на самом деле такими не являются
t
ну, там, всякая эмуляция файловой системы на структурах в памяти, параллельности через чередование жлементов списков и т. д.
ну это чистые вещи, зачем для этого ио?
JS
ну это чистые вещи, зачем для этого ио?
не знаю, это вы вызвались определять IO без FFI
t
не знаю, это вы вызвались определять IO без FFI
я вызвался реализовывать IO по хаскельному образцу в других языках программирования
AK
В общем есть у меня два проекта, обсолютно идентичные, только один для stack второй cabal
Версии lts ghc там одинаковые, но я так понимаю параметры сборки у них отличны и в итоге отладка для стековского проекта работает как должна, а для кабального только в одном модуле в функции main
Не уверен, но грешу именно на параметры сборки
Версии lts ghc там одинаковые, но я так понимаю параметры сборки у них отличны и в итоге отладка для стековского проекта работает как должна, а для кабального только в одном модуле в функции main
Не уверен, но грешу именно на параметры сборки
t
в самом хаскеле нельзя реализовать IO, не прибегая к FFI