Есть какой-нибудь язык с алгебраическими типами данных, в котором был бы products-of-sums, а не sums-of-products подход?

Я сейчас с этим экспериментирую, но хотелось бы prior art посмотреть

А что это??

Ну в Haskell тип обычно выглядит как data T = A X Y | B M N, что аналогично Either (X, Y) (M, N)

sum of products

и генерики соответствующие, https://hackage.haskell.org/package/generics-sop

Мне интересен подход, в котором будет наоборот, что-то вроде data T = MkT (A | B) (C | D)

У меня не хватает фантазии понять, в чем разница

Кроме синтаксиса, пожалуй

Ну первое следствие тут в том, что из-за того, что у сумм нет ассоциированных с ними конструкторов, то мы получаем A | A = A

У меня не хватает фантазии понять, в чем разница

data T = MkT (Either A B) (Either C D)

А все типы-произведения должны себя идентифицировать а-ля Typeable, чтобы можно было по этим суммам матчить

То есть с точки зрения рантайма мы переносим локальные теги сумм в глобальные теги произведений

Ну первое следствие тут в том, что из-за того, что у сумм нет ассоциированных с ними конструкторов, то мы получаем A | A = A

ты union типы что ли хочешь?

а получаем из этого нормализацию типов-сумм, они образуют semilattice

у редхата был язык с ними, забыл название

если ты про union а-ля C++, где он untagged, то да

но в C++ они работают с reinterpret-cast, а я хочу сместить тэг из суммы в каждое произведение

нет, я про теоретико-типовой юнион

но в Си похоже

Есть какой-нибудь язык с алгебраическими типами данных, в котором был бы products-of-sums, а не sums-of-products подход?

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

A | A = A -- это уже не сумма

это не disjoint union

т.к. A + A = 2 * A

Еще один глупый вопрос

т.к. A + A = 2 * A

логично, значит не суммы

Как с помощью мегапарсека взять всю строку?

takeRest вроде был

Он кажется вообще все возьмет

так ты и просишь вообще все взять?

редхатовский язык назывался Ceylon -- компилировался на JVM (и вообще чем-то похож на Скалу), там у них все на union-типах было сделано

хотя я давно смотрел

Как с помощью мегапарсека взять всю строку?

many any какой-нибудь

Мне нужно до конца строки

до \n

редхатовский язык назывался Ceylon -- компилировался на JVM (и вообще чем-то похож на Скалу), там у них все на union-типах было сделано

> union and intersection types Звучит интересно, надо посмотреть. Спасибо

а, строку в смысла line, а не string

Да

takeWhileP (/='\n') как вариант

manyTill?

я советую takeWhileP, потому что он быстрее

Спасибо

Не выходит

''' takeWhileP (\a -> a /= '\n') '''

Так тоже не выходит

что значит "не выходит"?

получается что-то другое?

* Couldn't match expected type `Maybe String' with actual type `Char -> Bool' * The lambda expression \ a -> a /= '\n' has one argument, but its type `Maybe String' has none In the first argument of takeWhileP', namely (\ a -> a /= '\n')' In a stmt of a 'do' block: takeWhileP (\ a -> a /= '\n') | 27 | takeWhileP (\a -> a /= '\n')

так это не "кобыла не едет", а ты её не запряг ещё

Хорошо, а что делать?

вызвать takeWhileP правильно

А что у меня неправильно?

для этого почитать её документацию, например

Я читаю

А что у меня неправильно?

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

ну или если так хочется, то или сечение или flip

ну или если так хочется, то или сечение или flip

это как вообще поможет?

будет не первым, а вторым

там аргумент просто пропущен

аа

ок

хоть флипай, хоть не флипай, а другой аргумент передавать надо

хоть флипай, хоть не флипай, а другой аргумент передавать надо

Я почитал доки

И я не понял

ЧТо нужно передавать первым аргументом

Объясни пожалуйста

takeWhileP :: Maybe String -- ^ Name for a single token in the row -> (Token s -> Bool) -- ^ Predicate to use to test tokens -> m (Tokens s) -- ^ A chunk of matching tokens

первый аргумент — Maybe String — ^ Name for a single token in the row

Что это значит

Похоже я не понимаю что эта штука делает вообще

Мне нужно просто взять все символы до конца строки

это уже не про хаскель

https://translate.yandex.ru/?lang=en-ru&text=Name%20for%20a%20single%20token%20in%20the%20row

Ппц ты токсичный

Ппц ты токсичный

не обзывайся, а перехватывай знамя

Просто передай туда Nothing

это используется для сообщений об ошибках парсинга только

Спасибо:)

Ппц ты токсичный

давать удочку вместо рыбы — это токсично?

Все ок,