Телеграмм чат группы haskellru страница 14670

Ну я так и сделал

21:42пожаловаться #1

это тоже делается оч тривиально

21:42пожаловаться #2

Да

21:42пожаловаться #3

кана

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

а что есть "нормализовать"?

21:42пожаловаться #4

свести к полиному

21:43пожаловаться #5

привести к канонической форме

21:43пожаловаться #6

в данном случае полином

21:43пожаловаться #7

кана

свести к полиному

а ну не совсем к полиному, много же переменных

21:43пожаловаться #8

полином имеет право иметь много переменных

21:43пожаловаться #9

У меня это грубо говоря [(Integer, [String])]

21:44пожаловаться #10

к списку списков просто, получается?)

21:44пожаловаться #11

Только стринг сортированный, а интеджер /= 0

21:44пожаловаться #12

тут нормальная форма будет что-то вроде

type Norm = [(Int, [String])]

элементы списка это слагаемые, Int это константа, [String] - переменные

21:44пожаловаться #13

Alexander Vershilov

Только стринг сортированный, а интеджер /= 0

на типах не указано, бан

21:44пожаловаться #14

Я в процессе!

21:44пожаловаться #15

А сортированность - через newtype

21:44пожаловаться #16

ликвид кваскель не щитается

21:45пожаловаться #17

Ну могу и через честные gadt c доказательствами

21:45пожаловаться #18

кана

даже нет, просто

type Norm = [(Int, String)]

21:45пожаловаться #19

Нет