кто это не видит, у того integer overflow не триггерится

какая логика в двух мажорах?

чуть большая, чем в двух мажорах в семвере

там они спрятаны в 0 и 1

=-)

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

"ты втираешь мне какую-то дичь"

какая логика в двух мажорах?

маркетинг как же я ещё покажу, что я ПЕРЕЛОПАТИЛ ВСЁ для нового релиза

или как я покажу, что я сломал все ваши юзкейсы т.к. изменилась семантика

без изменения API

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

согласен, SemVer для разработчиков, PVP для маркетинга

fuf

ага

0->1 не для маркетинга?

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

сломал семантику => сломал совместимость => должен менять мажор

в PVP у меня есть возможность указывать зависимости по второй версии

0->1 не для маркетинга?

нет, для разработчиков. 0 значит, что тебе никто не должен, 1 значит договор

например для каких-нить либ где я завишу не сильно

пусть программа сломается, но не сильно

в PVP есть все плюсы семвера, без его идиотизма

кастую сюда нелюбителей upper bounds

пусть пользователь умрёт, если не до конца

которым семвер портит жизнь окончательно и безповоротно

а ПВП позволяет работать на свой страх и риск

semver абсолютно бесполезный, с ним ничего нельзя сделать хорошо

блин у меня какая-то плохая методичка для фанатиков

(не относится к нашему сообществу) вообще кстати интересно среди любителей stackage/stack workflow, нелюбителей upper bounds, и любителей semver огромная корреляция

учитывая, что по хорошему эти вещи друг другу противоречат

т.е. хочешь чтобы семвер толк приносил - ставь аппер баунды

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

Лучше бы роботы ставили версии

@qnikst https://youtu.be/oyLBGkS5ICk?t=29m52s ) вот там про семвер хорошо

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

т.е. плохой он в определенном контексте но может же контекст сам оказаться не прав?

@qnikst https://youtu.be/oyLBGkS5ICk?t=29m52s ) вот там про семвер хорошо

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

есть список tupl'ов, каждый из трех элементов. как добавить в каждый tuple четвертый элемент, равный сумме длин всех предыдущих третьих элементов?

то есть есть что-то такое:

("INIT","","") ("JUMP","foo","56") ("JUMPDEST","bar","5b") ("PUSH","0x99","6099") ("PUSH","0x88","6088") ("MUL","","02") ("PUSH","0x6677","616677") ("SSTORE","","55") ("JUMPDEST","foo","5b") ("PUSH","0x88","6088") ("SLOAD","","54") ("JUMPI","bar","57") ("STOP","","00")

Нужно к каждой строчке добавить смещение

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

Сделай структуру с 4 элементами и в четвертой пусть будет Maybe тогда если ничего нет там будет Nothing, иначе Just value

что я делаю сейчас, но явно неверно

computeOffsets :: [(String,String,String)] -> [(String,String,String,String)] computeOffsets asm = let l = "ss" in map (\(x,y,z) -> (x,y,z,l)) asm

ну то есть я могу так посчитать length z, вместо "ss"

но нужна длина еще и всех предыдущих

Maybe мне тут не знаю зачем, это всё строки, и длина тоже будет храниться в хексе

в чём проблема-то? обходишь первый список, считаешь смещение, генерируешь второй. можно явной рекурсией. можно фолдом.

можно генерить врайтером

может быть, код более простой получится

да, наверное фолдл

обычно, (String,String,String) никто не использует, а создают ADT

для которого потом делают pretty printer, что бы его выводить

можно и list

там все строки

но нужна длина еще и всех предыдущих

в смысле, вопрос в том, как посчитать длину всех строк в тупле без дублирования? Prelude Control.Lens> ("foo", "bar", "baz") ^. each & length 9

не

третьих элементов туплей, предшествующих текущему

сумму

сумму

> scanl (+) 0 . map (\(_,_,xs) -> length xs) $ [(1,1,"1"),(2,2,"22"),(3,3,"333")] [0,1,3,6]

так а какой там пакет из validation считается хорошим?

@qnikst если любишь линзы то http://hackage.haskell.org/package/validation-0.6.2/docs/Data-Validation.html

или этот. https://hackage.haskell.org/package/either-5/docs/Data-Either-Validation.html тут разве что нет изо линз Valdation<->Either

а нет, есть

Да, в првом есть тайпкласс чтобы валидашки были полиморфные по Validation/Either. я поэтому его взял

ясно

о either в зависимостях есть уже

почему там Monoid а не Semigroup

@lonokhov ?

в каком месте?

applicative с semigroup

Alternative только с monoid, но это естественно. Так есть Alt - оно без empty

и соответсвенно semigroup

документации

data Validation e a Source# Validation is Either with a Left that is a Monoid

Ну может раньше был monoid

почему там Monoid а не Semigroup

так страшно?

да, может документацию не обновили

так страшно?

извините, я не понял комментария

ну это существенно определяет выбор либы

то что моноид вместо полугруппы

да

если ошибка не формирует Monoid то одной из либ может быть пользоваться нельзя

Semigroup e => Semigroup (Validation e a) а как это работает без ограничения на a?

@vlastachu вот я посмотрел на типы и инстансы и увидел что они не нравятся могу посмотреть код и проверить instance Semigroup e => Semigroup (Validation e a) where Failure e1 <> Failure e2 = Failure (e1 <> e2) Failure _ <> Success a2 = Success a2 Success a1 <> Failure _ = Success a1 Success a1 <> Success _ = Success a1

смотрю - вижу, т.к. у них нету Monoid a то они один из выборов семантику

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

в моей программе мне пофиг, но вообще мне это не нравится

зачем вообще этот инстанс?

по большому счёту это на alt можно же сделать

ну я хотел что-то вроде mconcat [....]

типа https://hackage.haskell.org/package/base-4.9.1.0/docs/Data-Foldable.html#v:asum, но на Alt

в общем оно мне не мешает, но пока я почти не использую validation

и NotEmpty :)

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

ну у нас даже у Maybe инстанс с моноидом

тут выбивается из ряда

Может оказаться внезапным