там ни ad-hoc ни row-polymorphism нету

это полная печалька

и мало средств для абтракции

блин нельзя написать let mkType = \a -> .. uses a in let b = [...] : mkType a in b

Dhall всем нравится, гм, платонически

почему dhall считают хорошей вещью?

единственный язык для вычислимого конфига. да ещё и тотальный

но почему нужен он, а не аналог, который писать пару вечером и он будет делать что надо?

ну не пару вечеров, конечно

ну напиши за пару вечеров аналог

но лучше бы действительно кто-то сделал аналог

вот пока вопрос, не лучше ли в dhall контрибьютить

а там правда отличные error messages

не думаю, что так в нем можно будет что-то значительное изменить

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

Пыщ

https://pbs.twimg.com/media/DMLHtKdX0AAwNGN.jpg:large твоё лицо, когда в твоём языке о ф и г е н н ы е типы

нубский вопрос: Пытаюсь с тестами в хаскелле разобраться (hspec). Я правильно понимаю, что в тестах видны только exposed-modules и поэтому надо стараться все выносить из executable в library в exposed-modules? Мне с непривычки это кажется странным (как тестировать тогда other-modules). Может я доки плохо просмотрел, а может так и принято.

в executable вообще лучше по минимуму держать. как раз в связи с тестированием, да

internal library вводить

и в ней держать other-modules

библиотека внутренняя пишется просто как

library internal в кабал файле

ну вообще любая именованная библиотека явлй яется внутренней и не экспортируется, но ее можно испортировать в тестах

с другой стороны other-modules в общем случае это далеко не лучшая затея

и неясно зачем так делать

ну кроме того, чтобы портить другим жизнь

ну вообще любая именованная библиотека явлй яется внутренней и не экспортируется, но ее можно испортировать в тестах

это уже ввели? вроде бы отказались от этой идеи

кто, когда отказался?

я вот сейчас у себя собрал так проект

причем тесты в отдельном hs-source-dir им модуля не видно

в документации новой тоже это есть

просто пару лет назад ходили разговоры, а я год назад нашёл тикет, в котором решили не делать

ни разу не видел

> Cabal 2.0 and later support “internal libraries”, which are extra named libraries (as opposed to the usual unnamed library section)

https://www.haskell.org/cabal/users-guide/developing-packages.html#developing-packages

мне интересно common-fields ли запилили

я правильно понимаю что комоноид и моноид это одно и тоже?

я правильно понимаю что комоноид и моноид это одно и тоже?

Неправильно понимаешь, в комоноиде на две буквы больше

я правильно понимаю что комоноид и моноид это одно и тоже?

class Comonoid a where comempty :: a comappend :: a -> a -> a comconcat :: a -> [a] Это комоноид или нет?

Я просто развернул все стрелки, а так я не в теме

все сложно

ну, у моноида есть (a, a) -> a, у комоноида a -> (a, a) и memtpy :: () -> a в a -> () comconcat в бесконечный массив развернет

а вообще забавно как он лист развернет из мконката )

ну, у моноида есть (a, a) -> a, у комоноида a -> (a, a) и memtpy :: () -> a в a -> () comconcat в бесконечный массив развернет

А, точно, забыл декаррировать append

ну, у моноида есть (a, a) -> a, у комоноида a -> (a, a) и memtpy :: () -> a в a -> () comconcat в бесконечный массив развернет

оооооо

как у нас появляется продукт

и синглтон сет

из одного обьекта

если мы просто стрелки повернули >_>

А зачем моноиду concat?

конвиниенс

Когда мы отделяем от строки по одной буковке - это комоноид? Или раскладываем натуральное число в сумму единиц?

Пытаюсь придумать какие-то примеры чисто по сигнатуре...

а в сумму двоек не катит?

а в сумму двоек не катит?

Ща узнаем у @kana_sama

или в бесконечную сумму нулей, как ту выше предлагали )))

да я хз вообще, я не шарю)

а что - бесконечный список мемптев как сомконкат! ) как идея?

или в бесконечную сумму нулей, как ту выше предлагали )))

Нулик можно выдавать, если дальше не раскладывается ужо

В comappend

comconcat 7 = [1, 1, 1, 1, 1, 1, 1, 0, 0, 0...] comconcat "hask" = ["h", "a", "s", "k", "", "", "", ...]

Какой-то бред

лоол

откуда код?

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

но можно какой комоноид Ones определить, который будет по единичкам отделять, или еще что

откуда код?

Только что родил

unFoldMap Ones 4 = [Ones 1, Ones 1, Ones 1, Ones 1, Ones 0, ...] поиск комоноида по гуглу вообще ничего не дал, так странно

Every set can be made into a comonoid in Set (with the cartesian product) in a unique way. More generally, every object in a cartesian monoidal category can be made into a comonoid in a unique way.

Надо идти в смежный чат и спрашивать @comonoid

ну то есть я понимаю как комоноид работает но почему так и почему с рисунком категории нифига не сходится- нет

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

хз насколько правильно нарисовал но здесь не видно никакой дуальности

Дык не

🤔

На схемах (у Милевски) моноид рисуют так: есть один объект и у него куча морфизмов на композицию со всеми вариантами. Типа, для String есть (++ ""), (++ "1"), ...

у милевски то как я сверху нарисовал

Я как-то час назад подогнал комоноид под схему Милевски, но чет сейчас понимаю что хрень и такого быть не могло