в данном контексте можно считать стэйтментом

линзы можно создавать с помощью рефлексии во время компиляции

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

обычно они создаются по конкретным типам и работают с конкретными типами

декларацией, тогда уж, почему стейтментом-то?

декларацией, тогда уж, почему стейтментом-то?

просто слово не могли вспомнить

/me с отвращением добавил monad-time в build-depends

стэйтмент, порождающий объявление, точнее, несколько объявлений

стэйтмент, потому что императивное выражение

кстати, к вопросу, почему interpolatedstring-perl6, а не shakespeare ?

и ноль зависимостей.

пытаюсь запилить атомы в Haskell разумеется, pattern exhaustivity checker на такое ругается

у кого-нибудь есть идеи, как сделать хорошо?

https://gist.github.com/a7e859987ffdc477c0a51ae11343d9c2

всё бы нормально работало, если бы я мог как-нибудь засунуть в паттерн либо Symbol, либо #label, но я не придумал, как сделать ни того, ни другого (кроме ViewPatterns)

учитесь проектировать языки https://twitter.com/GabrielG439/status/963601060819476480

Ответ Брайана МакКена: "⬇️Behavior is impossible"

посоветуйте онлайн редактор / запускатор для хаскелла. типа jfiddle

google haskell online editor. А вообще - repl.it, ideone.co, paiza.io

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

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

всё бы нормально работало, если бы я мог как-нибудь засунуть в паттерн либо Symbol, либо #label, но я не придумал, как сделать ни того, ни другого (кроме ViewPatterns)

Через паттерны, который генерит view-паттерн

Через паттерны, который генерит view-паттерн

не понял

не понял

Pattern Synonym имею в виду, там нельзя сгенерировать ViewPattern?

а как дальше использовать этот pattern synonym? покажи примерно, как это выглядит вместо view pattern в моём случае

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

если ты предлагаешь что-то вроде 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

мб тайп фемили? или 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 же придумали