1. Куча / Говнокод #13966

    +121

    1. 1
    2. 2
    3. 3
    ref <- newIORef 0
replicateM_ 1000000 $ modifyIORef ref (+1)
readIORef ref >>= print

    Запостил: LispGovno, 17 Октября 2013

    Комментарии (10) RSS

    • ava LispGovno 17.10.2013 23:58 # −1

      В туже голубую колонну:
      ref <- newIORef '1'
forever $ atomicModifyIORef ref (\_ -> ('2', ()))

      Зачем вообще они реализуют настолько ленивую хрень, что она никогда не работает? Хоть кто-нибудь умеет этой функцией пользоваться не получая стек оверфлов на произвольных данных?
      Ответить

      • ava Horse2 18.10.2013 00:01 # −15

        показать все, что скрытоКакой багор )))
        Ответить

      • ava Yuuri 18.10.2013 14:07 # +2

        Прямо под этим примером написано «Use atomicModifyIORef' or atomicWriteIORef to avoid this problem». Наедь до кучи и на foldl, чего уж там.
        Ответить

        • ava LispGovno 18.10.2013 17:43 # 0

          А зачем писать рядом 2 функции? Одну с опасным лезвием, а вторую с безопасным? Неужели чтобы недочитавший ловил ошибки в релизе на реальных данных? Да и нахрена императивным монадам ленивая версия? Фолду функциональному ленивость к месту.
          Ответить

          • ava guest 18.10.2013 17:59 # +2

            Одну ягодицу мы побреем жилетом, другую рапиркой.
            (_R_)
            (_J_)
            Ответить

          • ava Yuuri 19.10.2013 19:33 # 0

            Монада IO - всё такая же функциональная, как и весь остальной язык. Ленивость ей полезна (а иногда вредна), как и другим частям языка. Типичный пример полезного ленивого IO - getContents.
            Ответить

            • ava LispGovno 19.10.2013 23:06 # +1

              ну тогда atomicModifyIORef типичный пример вредного IO
              Ответить

    Добавить комментарий