если ты предлагаешь что-то вроде say :: OneOf ["hi", "bye"] -> IO () say (Is #hi) = putStrLn "Hello world!" say (Is #bye) = putStrLn "Goodbye!" то это невалидный синтаксис вне зависимости от того, является Is паттерн-синонимом или нет

Хм, ну да, именно это и предлагал А почему невалидный?

потому что это синтаксис для деконструкции (которую можно делать через паттерн-синонимы)

в лучшем случае оно бы забайндило что-нибудь в переменную с названием #hi, от чего толку мало

Это как? Ни разу не видел

> [(3, Just True, False)] & template %~ not [(3,Just False,True)]

> [(3, Just True, False)] & template %~ not [(3,Just False,True)]

template это вроде что-то из Generics?

нет, это syb-образные дженерики на Data и Typeable

ну я это и имел ввиду

Это как? Ни разу не видел

https://hackage.haskell.org/package/generic-lens

а, и плэйты тоже

https://hackage.haskell.org/package/generic-lens

эти не на рантаймовой рефлексии как раз

а на компайлтаймовой

А как вообще рантаймовая рефлексия на Хаскелле работает? Там же вроде труЪ как можно больше на компилтайм переносить

да, но она есть

rtti для всех типов, это Typeable, более продвинутая рефлексия - это класс Data, этот надо выводить, по умолчанию для всего он не выводится

работает как и все тайпклассы работают

я ведь правильно понял, что нужно использовать это http://hackage.haskell.org/package/cryptonite ? вроде бы самый котируемый пакет и в нем все есть есть еще cryptohash и просто Crypto а, cryptohash deprecated и рекомендуют cryptonite

да. но учти что автор любит ломать api и вместо pvp у него semver

понял, прикольно)

не, 2 числа — это ComVer

SemVer из 3 чисел

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

SEMVER говно!

даже pvp лучше semver

большего идиотизма чем 0.x в semver придумать нельзя

извините

в tasty как-нить можно параллельное выполнение тестов вырубить?

внутри

таскать мвар?

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

в мваре поднимаешь четыре докера с постгресом?

я ничего не понял

типа один набор тестов данные ушатал, а следующий набор тестов в другую базу сразу?

большего идиотизма чем 0.x в semver придумать нельзя

Почему?

Почему?

прописывать особенное поведение для части версий абсолютно нелогично

и прыжок к <1.

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

типа один набор тестов данные ушатал, а следующий набор тестов в другую базу сразу?

CREATE DATABASE 4 раза. для тестов у которых транзакцию не откатить.

а если делать 0.100500

короче CREATE DATABASe из шаблона очень шустро делает бд с данными

быстрее copy?

а если делать 0.100500

Так и бывает, пока не стабилизируют

да и это глупо

быстрее copy?

да. делаешь БД, заливаешь данные и помечаешь как template. CREATE DATABASE FROM TEMPLATE (синтаксис не точный) или копирует тупо файлы или вообще ссылается на шаблонные.

мгновенно в общем

я знаю про темплейты, но непонятно почему это быстрее COPY

копирование в обоих случаях

с диска чтение в обоих тоже

ну так одной командой все данные будут в новой бд

ну разве что сразу в постгресовом формате все разложено и просто memcpy

ну а состояние темплейта самого перед тестами из чего-то внешнего раскатываешь?

да, из бекапа

вперемешку с psql -f data.sql

Здравсвуйте. Подскажите, как нужно вызывать put (для Maybe, например), чтобы не получить "Ambiguous type variables..." вот в таком случае: class Container a where put :: b -> a b get :: a b -> b instance Container [] where put a = [a] get (a:[]) = a instance Container Maybe where put a = Just a get (Just a) = a get _ = error "can't get from nothing"

@mikekekeke • покажи ошибку • ещё покажи код, который выдаёт ошибку (я предполагаю, что ты в дополнение к тому, что ты написал, ещё что-то запустил в ghci)

эти пункты стоит делать всегда, когда ты спрашиваешь про ошибки 🙂

Есть три варианта: - написать так, чтобы тип выводился из контекста - приписать его явно - использовать TypeApplications

@mikekekeke • покажи ошибку • ещё покажи код, который выдаёт ошибку (я предполагаю, что ты в дополнение к тому, что ты написал, ещё что-то запустил в ghci)

мб тайп фемили? или FD?

@mikekekeke а какой вывод ты ожидал?

мб тайп фемили? или FD?

Не пугай ребенка, не разобрался, а лезешь.

@mikekekeke а какой вывод ты ожидал?

я ожидал, что так и будет. Мне интересно, как обойтись без "listPut", но получить тот же результат

а, понятно

Есть три варианта: - написать так, чтобы тип выводился из контекста - приписать его явно - использовать TypeApplications

ну тогда вот всё правильно сказано

1. reverse (put 3) – сработает, потому что выведется, что там должен быть список 2. put 3 :: [Int] 3. put @[] 3 (с включенным TypeApplications – http://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#ghc-flag--XTypeApplications)

понял, большое спасибо

Ещё вариант asTypeOf (put 3) []

https://hackage.haskell.org/package/base-4.10.1.0/docs/Prelude.html#v:asTypeOf

Не пугай ребенка, не разобрался, а лезешь.

ах да) плюсы и минусы полиморфности) слишком полиморфная функция

Ещё вариант asTypeOf (put 3) []

намотал на карандаш, спасибо

большего идиотизма чем 0.x в semver придумать нельзя

ну вот PVP же придумали

PVP гораздо логичнее, чем semver

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

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

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

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

=-)

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

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

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

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

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