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

это не я писал

а, ну если это статья такая, то понятно

у меня ещё будет чем тебя удивить. Ты рад?

😂

там кстати тип парсера объявлен через newtype, это что за магичество такое? А, ну и автор_ка в начале для вкатывания в хаскель советовала сырую недописанную книжку "О Haskell по-человечески", читал я эту книжку, галопом по Европам 140 страниц, дальше пустота и "ожидайте новых глав", после неё у меня хаскель из головы через 3 дня вылетел.

инстанс-то на самом деле однострочный

это что за статья такая?

newtype это как type-алиас для типов, только создает новый номинальный тип

то есть если есть

newtype X = X Int

то X и Int структурно одинаковые (в рантайме например), но тайпчекер их различает

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

и так же иметь разные инстансы для них

Да хотел почитать по парсерам на хаскеле, вбил в гугл и пошёл по первой попавшейся
https://habr.com/ru/post/436234/

например, для Int нельзя выбрать однозначный инстанс моноида, это может быть как моноид по сумме, так и по произведению, так и еще по какой-нибудь ассоциативной операции с нейтральным элементом

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

кроме того для ньютайпов есть один важный инструмент: coerce

если два типа X и Y это просто номинально разные версии одного и того же типа (например X - ньютайп над Y, или они оба ньютайпы от другого типа Z, который тоже может быть ньютайпом), то можно, и конструкторы X и Y есть в контексте, то существует функция coercе, которая сменит номинальный тип

newtype X = X Int

a :: Int
a = 1

b :: X
b = coece a

c :: [Int]
c = [1, 2, 3]

d :: [X]
d = coerce x

plus :: Int -> Int -> Int
plus a b = a + b

plus_xxx :: X -> X -> X
plus_xxx = coerce plus

plus_xix :: X -> Int -> X
plus_xix = coerce plus_xxx -- = coerce plus

писать d = map coerce x нет смысла, так как это по сути будет map id

Today you'll learn: https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-List.html#v:stripPrefix

рассказал все сам, чтобы человек случайно не прочитал что-нибудь про newtype = data с одним конструктором

ещё у newtype нет дополнительного levity, т.е.
data A = A () имеет значения undefined, A undefined и A ()
newtype A = A () имеет значения A undefined и A ()

это ты хорошо придумал, хотя мне хватило и "алиас на тип, но который компилятор различает с исходным"

что соответствует утверждению о том, что рантайм представления типов одинаковые

в такой формулировке нет ничего про инстансы, а это по сути основное, для чего используют ньютайпы

для просто алиаса type Parser a = String -> [(a, String)] нельзя определить функтор парсера, потому что он уже определен для (String ->)

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

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