« Rev
@haskellru   1561
Fwd »


Alexander
Ну может быть
A64m
почему? во времена С мне очень не хватало таких typedef, которые компилятор считает другим типом
речь о тех случаях, когда программисту совсем не хочется чтб что-то считалось другим типом, но это приходится делать для того чтоб управлять выбором инстанса, например
A64m
да, или вон случай с обсуждения которого все началось, когда оборачивать приходится из-за инъективности
Алексей ayaye :)
ну вот когда мы к числам хотим разные операции применять - сложение и умножение, мы же используем разные значки. значит и тут какой-то похожий механизм нужен
Alexander
когда мы к моноидам разнвм применяем сложение, мы используем один и тот же значек
кана
это же возможно бесконечная таблица (то есть мб задана правилами, а не перебором всех вариантов) соответствий входу и выходу, + замыкание
Евгений
Функция это структура данных + правило редукции
Денис
Функция это main, а структура данных это struct foo { int bar; };
sherzod
Это в какой формальной системе? По моему неавторитетному мнению, экзистенциальность вопроса в его противоречивости. Или есть строгое формальное определение структуры данных?..
Ilya
А мап между двумя структурами данных -- это структура данных?
Алексей ayaye :)
вообще - первичны данные. это какая-то информация в комплюктере. а структура лишь дает интерфейс для работы с ними.
Ilya
функция это тоже информация в комплюктере
Алексей ayaye :)
структуры данных изучают, чтобы эти интерфейсы были удобные, эффективные и т.п
Cheese
функция это тоже информация в комплюктере
в архитектуре Ноймана — да
Dmitry
ноймана?
Dmitry
сноймана? фон неймана?
Ilya
Нойман == Нейман == Nuemann
Ignat
так или иначе, он фон
Dmitry
"на фоне ноймана..."
Cheese
"Нейман" получено ошибкой в "Нёйман"
Cheese
а "фон" — вообще предлог
Leonid 🦇
фён нэймэн
Евгений
Т.е. он [Н'ойман]?
Leonid 🦇
Н'ойман фхтагн
Cheese
[nojmɒn ˈjaːnoʃ ˈlɒjoʃ]
Cheese
откуда ё, если там о?
такие загадочные стандарты транскрипции
Leonid 🦇
/me вспомнил про "проблему Халтинга" с гиттера
Алексей ayaye :)
John von Neumann (/vɒn ˈnɔɪmən/ ɔɪ CHOICE, void, boy
Leonid 🦇
его звали Пауль!
Муад'Диб
Kirill
скобками на = в любом случае воздействовать нельзя, а на :: можно. Раз скобки изменяют выражение, значит можно говорить о приоритете
ну как нельзя, возьми поставь скобки как x(=42) и оно не распарсится - чем не воздействие :)
Дио
John von Neumann (/vɒn ˈnɔɪmən/ ɔɪ CHOICE, void, boy
Ч мягкая, Н твердая, О круглая. Все сходится.
Dmitry
а как у нас дела на текущий момент с внешними шаблонизаторами?
Ilya
/me вспомнил про "проблему Халтинга" с гиттера
Вспоминается знаменитый чешский учёный Буравчик
Dmitry
никто ничего не написал с прошлого раза?
Aleksei (astynax)
шаблонизаторами чего?
Aleksei (astynax)
"Внешними" = "на шаблонах в файликах"?
Aleksei (astynax)
EDE мне нравится, например. И внезапно Hamlet - если HTML генерить
Serghei
раз уж я к вам забрел - повышу уровень эрудиции :)
А мы с тобой не встречались в гошном чатике? 🤔
A64m
понятно что написали, шаблонизатор из дхола
Dmitry
еще бы можно было json биндить
Dmitry
шаблонизатор из dhall ?
Dmitry
это https://github.com/dhall-lang/dhall-text ?
Dmitry
кто-то трогал? как оно ?
Dmitry
для сбороки надо 1.5 хакаджа?
саша
А мы с тобой не встречались в гошном чатике? 🤔
наверняка вы с ним встречались
Aleksei (astynax)
кто-то трогал? как оно ?
Dhall - странное решение для шаблонизации, конечно. Но работает. Только получатся "шаблоны с логикой". Иногда хочется просто чуть более сложной интерполяции
Dmitry
а есть лучше? ну вот EDE было, я помню, да
Arseniy
кто-то трогал? как оно ?
https://github.com/serokell/ariadne/tree/master/config
Arseniy
Нам нравится
A64m
это https://github.com/dhall-lang/dhall-text ?
это cli утилита просто, дхол сам по себе шаблонизатор (если лямбда возвращает текст)
Leonid 🦇
эта падла MonadUnliftIO еще и не дерайвится
Anatolii
у нас скоро как у скалистов будет парочку стэков несовместимых
Leonid 🦇
как я ненавижу всё это
Aleksei (astynax)
Те, кто не любит Сноймана, могут думать об uio, как об очередном шаге в сторону долгожданного ухода Сноймана в свой местячковый хаскель с Йесодом и без трансформеров.
A64m
у нас скоро как у скалистов будет парочку стэков несовместимых
я пару лет назад тоже думал, что скоро, но что-то снойман медленно работает
Kirill
всякие менеджерские таски время у него отжирают :)
Leonid 🦇
потом как бос перестанет вообще программить а либы важные будут загнивать
Kirill
ну если какой Пейсбух перетянет, то может быть
Ю ли я? 🤔
https://github.com/ghc/ghc/blob/master/libraries/base/GHC/Base.hs#L1293-L1298 чому тут (.) и ($) с инлайном, а flip без?
A64m
исторически так сложилось, наверное. на первый взгляд INLINE не нужен во всех трех случаях
Зигохистоморфный
https://kowainik.github.io/posts/2018-06-21-haskell-build-tools.html
Maksim
Доброго вечера. А подскажите любезно, что сейчас модно для логирования использовать?
Leonid 🦇
katip
Alexander
+
Vitaly
С документацией у него катастрофа
Alexander
а она нужна? там вроде все достаточно очевидно если внутрь не лезть
Serghei
Serghei
Пришла )
Kirill
этож в соседний чат вроде как?
Dmitry
Такая же, только for working programmers есть?
Maxim
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
« Rev
@haskellru   1561
Fwd »