J
Я просто хочу создать типы для определенных полей Галуа и определить алгебру
Size: a a a
2021 March 04
к
data X = A | B | C | D
JS
самый простой вариант —
data FourValues = Zero | One | Two | ThreeJ
Вот такую штуку хочется
JS
можно назвать значения G0..G3
JS
если определять совместимость с литералами для своего типа, то её надо определять для любого Integer, не только 0..3
JS
хотя если по остаткам, то можно попробовать
J
Там умножение не в кольце, поэтому mod не подойдет тут
JS
тогда числовые литералы лучше не трогать
JS
технически можно, но не стоит
J
То есть нельзя вот так взять и сказать - вот четыре числа, они составляют такой-то тип и вот операции с ними?
JS
можно, конечно
JS
только у вас же не числа, а элементы группы
JS
и связь с числовыми литералами — это отдельная история
J
Ну, так было бы удобнее, но не суть
JS
То есть нельзя вот так взять и сказать - вот четыре числа, они составляют такой-то тип и вот операции с ними?
data GF4 = G0 | G1 | G2 | G3J
Тогда в инстансе, соответственно, подставляю G0…G3?
JS
Ну, так было бы удобнее, но не суть
чтобы для своего типа писать 0, 1, 2, 3, надо определять instance Num, мне кажется, вам сейчас это создаст больше проблем, чем поможет
JS
Тогда в инстансе, соответственно, подставляю G0…G3?
да
J
Понял, спасибо