> :{ | min' :: Ord a => Maybe a -> Maybe a -> Maybe a | min' = coerce $ (<>) @(Maybe(Min a)) | :} <interactive>:54:34: error: Not in scope: type variable `a'

это применение параметра типа, как foo<T> foo @T

не понятно. Где об этом почитать?

не понятно. Где об этом почитать?

https://ghc.haskell.org/trac/ghc/wiki/TypeApplication

не понятно. Где об этом почитать?

https://ghc.readthedocs.io/en/latest/glasgow_exts.html#visible-type-application

thanks!

сто лет уж коерс есть, нет, все фмапы лепят

Фмапы можно лепить в бессознательном состоянии

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

Можно, но это надо говлову включить

ну тут вроде надо головы как минимум одинаково, чтоб придумать что надо моноид для Maybe (Min a) дальше уже не надо

@qnikst к тебе комментарий https://www.youtube.com/watch?v=K4gDf1jCJEM&lc=Ugwd_kJRREezGu-P7ZZ4AaABAg

Фмапы можно лепить в бессознательном состоянии

Обколются своими стероидами и давай лепить фмапы в бессознательном состоянии

Обколются своими стероидами и давай лепить фмапы в бессознательном состоянии

*обколются своими моноидами

функторами же

“Haskell is very simple. Everything is composed of Functads which are themselves a Tormund of Gurmoids, usually defined over the Devons. All you have to do is stick one Devon inside a Tormund and it yields Reverse Functads (Actually Functoids) you use to generate Unbound Gurmoids.” (c) @niftierideology

И ведь правда, я именно так и программирую.

@qnikst к тебе комментарий https://www.youtube.com/watch?v=K4gDf1jCJEM&lc=Ugwd_kJRREezGu-P7ZZ4AaABAg

done

как сделать функцию (или класс) вида Not (Show a) => a -> ()?

Т.е. ты хочешь расконстреинт?

"освобождение"

или "попущение"

гарантию отсутствия инстанса

я знаю как для конкретных типов такое сделать

и.е. придется явно перечислить

никак без потенциально очень больших проблем

Как?

через closed type family TypeError

у серокелей в predule их было что-то такое чтобы Exception запрещать

или в гайдах IOHK

C QuantifiedConstraints и если ввести контрейнт False, для которого нельзя сделать инстанс, наверное можно будет написать традиционное (Show a => False) => a -> ()

только часть a -> () как-то не особо осмысленно выглядит, в чистом языке это изоморфно ()

жаль хаскель не чистый и там это имеет смысл

это не важно

а с тайпклассами такое прокатит?

instance (Show a => False, Show b, Show c => False) => Foo a b c where foo :: b -> String

ну и чтобы гхц сам выбрал подходящий

я хз, я QuantifiedConstraints еще не пробовал

я думаю не взлетит

но я не пробовал

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

https://hackage.haskell.org/package/constraints-0.10.1/docs/Data-Constraint.html хм...

а, ок, Bottom уже есть

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

не будет это имхо нормально работать

хотя с QuantifiedConstraints шансы увеличиваются, надо б его помучать

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

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

можно попробовать, но мне кажется что игра свечь не стоит

а какой алгоритм выбора?

instance (Show a => False, Show b, Show c => False) => Foo a b c where foo :: b -> String

такой

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

Show для примера. на самом деле там скорее instance (???) => Foo [a] b c where — "найди список"

а если Show есть у первого и второго?

а если Show есть у первого и второго?

тогда можно смело тайперрор кидать

пользовательский

так, а откуда список появился?

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

ну такой сделать можно, True ~ False, просто хаскель не выведет, что это пустой констрейт, и что Void => Void положительный он тоже не выведет, ведь его нужно будет сконструировать

так, а откуда список появился?

это важно?

ну поиск списка это проще чем отрицательный констрецнт

особенно обобщенный

куда копать?

> I'm disappointed that Michael's concerns regarding multiple public libraries were completely disregarded опять нехорошие кабалисты фичи добавляют не послушав сноймана

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

где это читать

https://www.reddit.com/r/haskell/comments/8yz92h/a_year_into_backpack_inside_2455d/

это поди опять тот самый тролль

ERROR: S client not available

сейчас что-то весело комментарии против стека плюсовать стали

> So fpco decided to reinvent cabal-install instead of contributing to its development and now they're realizing the costs of NIH? Too bad! плохо придется правда хаскелистам вообще а не стекоразработчикам. им теперь можно плевать на все, заметное число твсе равно будет стеком пользоваться, а значит нормального распространения бекпак не получит, ведь особых перспектив поддержки в стеке нету

так что снойман фактически удушил модули в колыбели, отличная работа!

у бекпака UX так себе в любом случае

для энкодинга тайпклассов или чего-то вроде да, для того, для чего он планировался - норм.

сейчас, наткнувшись на баг в Бэкпеке, узнал, какой бардак с package id в GHC

я-то думал там красиво всё сделали, а вот нет

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

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

у серокелей в predule их было что-то такое чтобы Exception запрещать

UIO?

как сделать функцию (или класс) вида Not (Show a) => a -> ()?

а в Расте можно ?

и в крестах можно

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

и в крестах можно

неправда, туда классы ещё не завезли

ну всяческих type_traits можешь написать каких душе угодно

Правда, выглядить это будет просто адова.

но, конечно, довольно забавно, что (потенциальные) пользователи первой практической имплементации (недо) миксинов жалуются на UX по сравнению с функторами, хотя миксины как раз придумывались для улучшения UX функторов.

а в Расте можно ?

Так там вроде это только на Send и Sync распространяется

у серокелей в predule их было что-то такое чтобы Exception запрещать

В universum нет ничего про запрещение констрейнтов. Были обсуждения в cardano-sl касательно запрещения Exception. Вот в этом посте кто-то тогда спрашивал: * https://www.reddit.com/r/haskell/comments/7xcfkk/defining_a_negative_type_constraint/

А вообще появились вменяемые тьюторилы по бакпаку? Когда его только анонсировали, была куча восторженных бессмысленных постов, но ни один даже и не попытался ответить, зачем бакпак нужен и какую проблему он решает

не понимаю, о каких постах речь

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

А вообще появились вменяемые тьюторилы по бакпаку? Когда его только анонсировали, была куча восторженных бессмысленных постов, но ни один даже и не попытался ответить, зачем бакпак нужен и какую проблему он решает

Я понял хорошо use-case бэкпака и зачем он нужен после выступления @int_index на митапе Serokell. Хотя да, было бы неплохо иметь полноценный туториал с собирающимся примером...

Я понял хорошо use-case бэкпака и зачем он нужен после выступления @int_index на митапе Serokell. Хотя да, было бы неплохо иметь полноценный туториал с собирающимся примером...

А есть где-то запись или слайды?

В universum нет ничего про запрещение констрейнтов. Были обсуждения в cardano-sl касательно запрещения Exception. Вот в этом посте кто-то тогда спрашивал: * https://www.reddit.com/r/haskell/comments/7xcfkk/defining_a_negative_type_constraint/

а ну может просто в обсуждении модальных стеков иEitherT в репах IOHK

А есть где-то запись или слайды?

К сожалению, нет ?

есть мотивация в пропозале https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst#motivation

есть туториал в янговском диссере https://github.com/ezyang/thesis/releases/download/rev20170925/main.pdf

Хотя я что-то припоминаю про слайды, надо @int_index спросить...

Вроде я нарисовал какие-то слайды пока ехал на поезде в Петербург, а потом перерисовывал их от руки на вайтборд

Исходников у меня не сохранилось точно

Меня в бекпаке беспокоит только одно — как чётко отделить юзкейсы бекпака от тайпклассов? По наличию законов?