а для тго чтоб эта уникальность сохраналось пишется тайп-фемели, которая сортирует, следит за уникальностью и т.д.

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

блин ничего не работает : (

А разве до -XTypeApplications не надо было использовать прокси? То есть писать ip :: Proxy x -> a, а затем ip (Proxy :: Proxy "x") вместо ip @"x". Понимаю, что страшно, но раньше это не выглядело как грязные хаки...

не понял, этот тайпкласс же объявлен уже, ip такой какой есть, без прокси (для рассахаривания это не имеет значения, в корке @ был всегда)

а не это я тупой

go :: Rec (?init::Bool, ?value::String) -> String -> Rec (?init::Bool, ?value::String) go r n | r?init = rec False n

вот такое как правильнго исеть?

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

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

скорее всего слишком много аннотаций требуется, это наверное первое что заметно

@A64m_qb0 ^ как сделать гард с init там?

@A64m_qb0 ^ как сделать гард с init там?

r ? ?init вроде (не проверял)

Qu.hs:16:7: error: • Unbound implicit parameter ?init::Bool arising from a use of implicit parameter ‘?init’ • In the expression: ?init если я просто ?init использую

а

понял

Qu.hs:16:11: error: • Could not deduce: ?init::Bool arising from a use of implicit parameter ‘?init’ from the context: (?init::Bool, ?value::String) bound by a type expected by the context: (?init::Bool, ?value::String) => Bool at Qu.hs:16:7-15 • In the second argument of ‘(?)’, namely ‘?init’ In the expression: r ? ?init In a stmt of a pattern guard for an equation for ‘go’: r ? ?init

:(

а если go Rec и потом просто ?init ?

• Unbound implicit parameter ?init::Bool arising from a use of implicit parameter ‘?init’ • In the expression: ?init In the expression: if ?init then rec False n else rec False (?value <> sep <> n) In an equation for ‘go’: go r n = if ?init then rec False n else rec False (?value <> sep <> n)

а

надо было Rec писать

чтобы контекст создать

тут наверное то же, что и всегда бывает с GADT и паттерн-матчингм?

хотя там он пишет про взрыв мозга обычно

inter :: String -> [String] -> String inter sep xs = extract $ foldl go start xs where go :: Rec (?init::Bool, ?value::String) -> String -> Rec (?init::Bool, ?value::String) go Rec n = if ?init then rec False n else rec False (?value <> sep <> n) start :: Rec (?init::Bool, ?value::String) start = Rec where ?init=True; ?value="" rec :: Bool -> String -> Rec (?init::Bool, ?value::String) rec b s = Rec where ?init=b; ?value=s extract :: Rec (?init::Bool, ?value::String) -> String extract Rec = ?value

ваши предложения по уменьшению кода

щас попробую с typeapplications убрать rec

и вернуть guard (уже получилось)

@A64m_qb0 может знаешь что в where сделать если у меня внутри кода

с let мне кажется ему мозг взорвёт

если я правильно помню страдания с этим всем, let почти всегда лучше where работает, а case строго лучше всего (но он самый уродливый из всех конечно)

а как сделать

вот я хочу rec False n на инлайн конструкцию заменить

| ?init = let ?init=False; ?value=n in Rec @ (?init::Bool, ?value::String)

скомпилялось

вообще круто становится

(foldl go start xs) @ (?init::Bool, ?value::String) ? как тут правильно прменять?

все не выучу

а нафиг тут не надо, из контекста все есть

? это просто же чтоб матчинг по Rec не лепить - если где-то выше по скоупу заметчено то все, имена есть в скоупе, это вроде Foo{..}

а ? чтоб селекторы имитировать

угу

inter :: String -> [String] -> String inter sep xs = case foldl go start xs of Rec -> ?value where go :: Rec (?init::Bool, ?value::String) -> String -> Rec (?init::Bool, ?value::String) go Rec n | ?init = let ?init=False; ?value=n in Rec | otherwise = let ?value = ?value <> sep <> n in Rec start :: Rec (?init::Bool, ?value::String) start = Rec where ?init=True; ?value=""

финальная версия, наверное ещё можно у start убрать аннотацию и заинлайнить

жалко нельзя писать {Rec where ?init=True; ?value=""} посреди строки

тогда бы вообще круто было

можно же let? это же выражение

тоже об этом подумал

ну (let ?init=True; ?value="" in Rec) то можно

а есть какой-то способ заставить cabal напихать все модули из hs-source-dirs в exposed-modules, кроме как через init? про hpack знаю

let ещё взорвётся

что значит этот вопросительный знак?

который? там два разного смысла

черная магия, см. выше по треду

да с let хорошо

блин как такое использование implicit в голову прийти может?

могу нагуглить почту автора

Там чо, у конструктора Rec имплиситы? (дальше кода не листал)

жалко нельзя писать {Rec where ?init=True; ?value=""} посреди строки

может стоило where тоже сделать выражением?

эдакий flip let

(let ?init=True; ?value="" in Rec) так написал норм

жалко у go сигнатуру не убрать

который? там два разного смысла

?init=True

может стоило where тоже сделать выражением?

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

может стоило where тоже сделать выражением?

При всём желании не сделаешь - парсить-то как?

?init=True

это синтаксис имлицитов

При всём желании не сделаешь - парсить-то как?

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

Область захвата where включает параметры функции, которые вне выражения - они часть биндинга.

кстати во что ?init=True превращается?

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

Ужасно.

instance IP init Bool where ip = True?

ого 🤔

/me пошёл читать мануал

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

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

это ты про что?

про то что я ghc manual открыл

про имплиситы

не я один обратил внимание на это письмо в рассылке, оказывается. даже баги репортят https://ghc.haskell.org/trac/ghc/ticket/12507

а нет, на самом деле это можно проследить до гиттер-обсуждения

а что это делает? ImplicitParams

позволяет локальные инстансы объявлять, правда только одного класса