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

которая уже просто список возвращает

22:00пожаловаться #1

А потом на него натравливать NE.fromList

22:00пожаловаться #2

Частичную функцию?

22:01пожаловаться #3

зачем?

22:01пожаловаться #4

go t (x0:x1:xs) = f t x0 :| go' x1 xs

22:01пожаловаться #5

Это дублирование кода

22:01пожаловаться #6

ну не очень-то)

22:01пожаловаться #7

ну базовые кейсы у go и go' продублируются

22:02пожаловаться #8

У меня тут спецолимпиада, а не тут!

22:02пожаловаться #9

да, это првда, но по факту их объединять хуже, чем не объединять

22:02пожаловаться #10

потому что получается что-то страшное

22:02пожаловаться #11

Так, осталось протянуть на типах выразить что скаляр не 0

22:03пожаловаться #12

А как это сделать?

22:04пожаловаться #13

Ты же говорил, что знаешь как!

22:04пожаловаться #14

Я говорил, что я знаю как списки сортированные сделать

22:05пожаловаться #15

а, точно)

22:05пожаловаться #16

import Data.Singletons

22:06пожаловаться #17

знак, числа пеано, сдвинутые на 1?

22:07пожаловаться #18

Или как там они называются

22:07пожаловаться #19

data S = S S | Z