Что-то не получается

классический способ — Proxy f :: Proxy ty -> m a ... VA -> f (Proxy :: Proxy VA)

А, про Proxy мало знаю. Сейчас попробую...

современный способ f :: forall ty. m a ... VA -> f @VA

О, вот так ваще атас

А как это назвается?

"современный" требует кучу расширений включить

Чтоб загуглить

"современный" требует кучу расширений включить

Так уж и кучу

основная часть — TypeApplications

Так уж и кучу

3 минимум

AllowAmbiguous, TypeApplications... RankNTypes?

AllowAmbiguous, TypeApplications... RankNTypes?

ScopedTypeVariables обычно, чтобы ty уже внутри использовать

Кажется, всё равно надо как-то в одном из аргументов тип указывать. Вот так: mytest :: forall ty . (Serialise ty, Show ty, Arbitrary ty) => PropertyT IO () не компилируется: • Could not deduce (Serialise ty0) from the context: (Serialise ty, Show ty, Arbitrary ty) А вот так получается: mytest :: forall ty . (Serialise ty, Show ty, Arbitrary ty) => PropertyT IO ty

Включил {-# LANGUAGE ExplicitForAll #-}, всё равно где-то аргумент с типом должен быть...

А как сделать PropertyT IO ()?

Т.е. вот код: mytest :: forall ty . (Serialise ty, Show ty, Arbitrary ty) => PropertyT IO () mytest = do vx <- forAll Gen.arbitrary H.assert $ not $ BSL.null (C.serialise (vote @tx)) Вот тут https://kseo.github.io/posts/2017-01-08-visible-type-application-ghc8.html пишут, что надо включить ExplicitForAll и будет получаться: {-# LANGUAGE ExplicitForAll #-} {-# LANGUAGE TypeApplications #-} incShow :: forall a . (Read a, Show a, Num a) => String -> String incShow = show . (+1) . read @a А вот не получается

Proxy решает именно эту задачу — указывать тип в каком-нибудь аргументе, когда нет такого аргумента

добавляй аргумент Proxy ty

Т.е. вот код: mytest :: forall ty . (Serialise ty, Show ty, Arbitrary ty) => PropertyT IO () mytest = do vx <- forAll Gen.arbitrary H.assert $ not $ BSL.null (C.serialise (vote @tx)) Вот тут https://kseo.github.io/posts/2017-01-08-visible-type-application-ghc8.html пишут, что надо включить ExplicitForAll и будет получаться: {-# LANGUAGE ExplicitForAll #-} {-# LANGUAGE TypeApplications #-} incShow :: forall a . (Read a, Show a, Num a) => String -> String incShow = show . (+1) . read @a А вот не получается

ScopedTypeVariables же

Тоже включено

Или что?

скорее всего, там где-то компилятор предлагает AllowAmbiguousTypes

Предлагает, да.

Ну, попробую с ним...

там где определена функция, которая имеет параметр типа, но нету параметра, который такому типу соотвествует вроде forall foo. Bar -> Baz

С AllowAmbiguousTypes закомпилилось!

Я думал, это расширение лучше не включать, но сейчас читаю, норм.

Спасибо за помощь!

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

Я думал, это расширение лучше не включать, но сейчас читаю, норм.

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

@cblp_su , @A64m_qb0 Понятно, спасибо!

AllowAmbiguosTypes же не очень, она переносит проверку типов в call site?

/me пошел перечитывать мануал

AllowAmbiguosTypes же не очень, она переносит проверку типов в call site?

какие с этим могут быть проблемы?

какието были, но сходу не сообразить

может в преtype application era были

@OptionalChaos будет жить. Поприветствуем!

Vyacheslav будет жить. Поприветствуем!

Опасный парень у вас на входе

✋?

@Sm1ters будет жить. Поприветствуем!

@tsopin будет жить. Поприветствуем!

AllowAmbiguosTypes же не очень, она переносит проверку типов в call site?

Она ничего не переносит, она отключает ambiguity check

То есть на definition site не выполняется проверка, которая в мире с TypeApplications все равно имеет мало смысла

Она ничего не переносит, она отключает ambiguity check

переносит проверку в call site

Та проверка, что в call site, включена всегда

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

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

@v1nc11 будет жить. Поприветствуем!

@pavelcrane будет жить. Поприветствуем!

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

@A64m_qb0 ^

POSIXTime это Integer, UTCTime как?

не знаю

в thyme или как это пакет назывался

ERROR: S client not available

вроде было что-то фиксированного размера

о круто

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

https://hackage.haskell.org/package/hora-2.0.2/docs/Data-Time-Hora-Type.html

да ну?

там UTCTime обычный и Integer сплошные

instance Binary (DatePart Int) -- ^ serializeable see "Data.Time.Hora.Part" for conversion between 'UTCTime' and 'DatePart' https://hackage.haskell.org/package/hora-2.0.2/docs/Data-Time-Hora-Part.html

эффективно serializable

Компактно?

быстро, скорее

но оно очень соотносится

fixed length обычно быстрее

ну и без Fractional если Binary

а то там не очень решение

я там на скорость и размер совсем не смотрел. Либа для удобства.

ну thyme норм

вроде

А в каком модуле в thyme Binary instance?

нету, но ничего не мешает написать ^. posixTime . mixroseconds

https://www.haskell.org/hoogle/?hoogle=%28%5E.%29

https://www.haskell.org/hoogle/?hoogle=%28%5E.%29

lens

это все id замаскированный

я до линз ещё не добрался. Попробую добавить сиротский Binary для UTCTime Или лучше просто ф

Вроде самым хиповым @qni

блин, дурацкая клава

в общем @qnikst ещё чот тёрли за http://hackage.haskell.org/package/chronos

самое быстрое форматирование и близкое к машинным чиселкам

норм