@haskellru - страница 1423 - Telegram web archive

Alexander

чай не java

Anonymous

чай не java

воробей не python

Alexander

чай не java

А ведь и правда. Если ты про кофе, конечно

Alexander

полезность автодополнения в Haskell сравнительно низкая (околонулевая) если за 1 взять полезность автодополнения при программировании на java

Alexander

особенно если не пишешь в гонзалесовом стиле

Алексей

Гонзалевский это всё квалифицированно?

Alexander

нету базового объекта, и по типам (пока начинаешь писать код) тоже не сильно выведешь

Alexander

Гонзалевский это всё квалифицированно?

ага

Алексей

Оно жж в строку влезать перестанет

Alexander

причем import qualified Control.Concurrent.STM.TVar

Alexander

без этих ваших as

A64m

да нормальная полезность

undefined

@rustem_b, текущий hie собирается как-то так stack stack-yaml stack-8.2.2.yaml build --copy-compiler-tool

Alexander

unsafeUninterruptibleMask дополнять если, т.к. там букаф много

Anonymous

@rustem_b, текущий hie собирается как-то так stack stack-yaml stack-8.2.2.yaml build --copy-compiler-tool

ок

undefined

Это если ghc8.2

Anonymous

Это если ghc8.2

а как проверить?

undefined

stack exec ghci где-нибудь, в калоге, где нет stack.yaml

Anonymous

8.2.2

undefined

Тогда пробуй, ghc больше скачивать не будет

Anonymous

там гдето ошибка

Anonymous

stack --stack-yaml stack-8.2.2.yaml build --copy-compiler-tool?

undefined

ага

Anonymous

спс

Anonymous

ой всё, надоело

Anonymous

блин

Anonymous

я понял

Anonymous

кароче я не так реп скачал

A64m

> ой всё, надоело да, с таким терпением ничего хаскельного не собрать

Anonymous

> ой всё, надоело да, с таким терпением ничего хаскельного не собрать

*терпение - haskell*

Leonid 🦇

Хаскель для терпил

Anonymous

GoLang для терпил я 5 минут ждал пока он мне 5 на 2 поделит

parket

Хаскель для терпил

Россия для россиян, Луна для лунатиков!

Anonymous

Рублёвка для рублей

Leonid 🦇

Заводы - рабочим, землю - крестьянам.

Anonymous

А соски?

Alexander

банкамер модераторам

Anonymous

власть людям, работы ai'

parket

            Damn it, Jamal! 🧔🏿: - I'm free as well, right guys? 🧑 👨: - Yes you are, Jamal! 👴

Anonymous

сложный прикол

parket

Ну, может у меня чувство юмора никакое, хз.

Ilya

https://markkarpov.com/post/free-monad-considered-harmful.html

Спасибо, интересный подход. Я так понял, что если от AST требуется только различная интерпретация (например вкл/выкл логи), то достаточно строить AST полиморфное по монаде. А если хочется перестраивать AST, то уже Free. А MonadWriter, MonadReader — это тоже получается final tagless encoding?

Alexander

да

Alexander

если нужно pro-free(r) мнение - пни @graninas он их любит

Alexander

Я их люблю, но до pro мне далеко. Я сейчас сижу и втупливаю, как мне заменить свою Free на Church. Сам-то язык нормально заменился, а вот с интерпретатором беда.

Зигохистоморфный

Я их люблю, но до pro мне далеко. Я сейчас сижу и втупливаю, как мне заменить свою Free на Church. Сам-то язык нормально заменился, а вот с интерпретатором беда.

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

Alexander

Если бы я еще понял, что ты сказал...

Ilya

а я понял, как мне кажется 🙈 если фри монада — это разворачивание (построение) AST, то есть что-то вроде анаморфизма, то логично, что интепретатор, который сворачивает (~ катаморфизм) AST к значению, должен делаться через что-то дуальное — кофри