@chshersh а ну если ещё и num то можно

но это только для цифирей

а со строками или т.п. уже не взлетит

кто-нибудь вообще видел какие-то примеры использования этих нетипизированных списков, чтоб они хорошее впечатление производили?

чего это они нетипизированные?

я понимаю, что они на самом деле монотипизированные

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

Что есть хорошее впечатление?

IRL пришлось использовать экзистенциальные типы и даже RankNTypes в задаче, пожалуй, динамического полиморфизма - вывод API с общей сигнатурой. но разным поведением из сервантовских типов. еще пачка расширений, что бы типы выводились

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

@greenest_pig когда не хочется этого больше никогда не видеть

@voidlizard я про примеры таких списков из дин.языков от их любителей

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

конкретно списка не использовалось, при этом.

То есть как это обычно делается в ООЯ.

ага.

в хаскелле это боль.

это боль тогда, когда в операциях параметров этого неизвестного типа больше одного

когда один - еще сносно

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

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

кто-нибудь вообще видел какие-то примеры использования этих нетипизированных списков, чтоб они хорошее впечатление производили?

s-exp

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

да, как формат

а в этом то случае какие преимущества у безтиповых языков? Там даже линзы не сделать вроде тех что для иксемеля и жсона в хаскеле есть? Даже элементарных удобств нет

1) порог входа 2) простота реализации

Секспы парсить просто.

что в языке с типами их парсить сложнее что-ли?

вектор с трейт объектами использовал в расте пару раз

вопросик

смотрю Park Bench Panel Session with #HaskellX Experts пурскриптофанат меня затроллил

вопросик

Да

ну конечно, еще и антитуплофолдабелист закукареал.

ситуацией с иде, что ли?

нет

вопрос отпал

но возник другой

да

деперь про гипотетических БЕГИННЕРОВ еще

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

есть такой код data MyFreeF f a r = MyReturnF a | MyBindF (f r) deriving (Functor, Foldable, Traversable) type MyFree f a = Fix(MyFreeF f a) pattern MyReturn a = Fix (MyReturnF a) pattern MyBind a = Fix (MyBindF a) cataFix alg = alg . fmap (cataFix alg) . unfix cataFixM f = (>>= f) . cataFix (traverse (>>= f)) liftF' c = MyBind (fmap MyReturn c) retract' = cataFixM alg where alg (MyReturnF a) = return a alg (MyBindF as) = as e = do x <- liftF' [10, 20] y <- liftF' [30, 40] return $ x * y retract' e но я чот не догоню чего patterns не работают • Couldn't match kind ‘* -> *’ with ‘*’ When matching the kind of ‘Fix’ • In a stmt of a 'do' block: x <- liftF' [10, 20] In the expression: do { x <- liftF' [10, 20]; y <- liftF' [30, 40]; return $ x * y } In an equation for ‘e’: e = do { x <- liftF' [10, ....]; y <- liftF' [30, ....]; return $ x * y } если взять просто retract' $ liftF' [10] работает не спрашивайте зачем) просто есть эксперимент что нам нужен только Fix

но вообще нынешний haskellx неплохой

попробовал сделать аппликатив, но instance Functor f => Applicative (MyFree f) where pure = MyReturn MyReturn a <*> MyReturn b = MyReturn $ a b MyReturn a <*> MyBind mb = MyBind $ fmap a <$> mb MyBind ma <*> b = MyBind $ (<*> b) <$> ma как это решить? • The type synonym ‘MyFree’ should have 2 arguments, but has been given 1 • In the instance declaration for ‘Applicative (MyFree f)’

а если сигнатуры для паттернов написать?

не помогло

pattern MyReturn :: a -> MyFree f a pattern MyReturn a = Fix (MyReturnF a) pattern MyBind :: f (MyFree f a) -> MyFree f a pattern MyBind a = Fix (MyBindF a)

я не ожидал, что это заработает, я ожидал что сообшение об ошибках другое будет

эм

что-то не так с паттернами

• Couldn't match kind ‘* -> *’ with ‘*’ When matching the kind of ‘Fix’ Expected type: Fix (MyFreeF [] a) Actual type: MyFree [] a • In a stmt of a 'do' block: x <- liftF' [10, 20] In the expression: do { x <- liftF' [10, 20]; y <- liftF' [30, 40]; return $ x * y } In an equation for ‘e’: e = do { x <- liftF' [10, ....]; y <- liftF' [30, ....]; return $ x * y }

уже появились настальгирующие по hugs (нет, он ни в чем не лучше ghci, и не был никогда)

ложь

чот не могу понять как это решить

а как же friendly error messages?

он под андроидом запускается

примеров правда никто никогда не приводит

в термуксе

я не ожидал, что это заработает, я ожидал что сообшение об ошибках другое будет

есть предположение почему?)

это в хагсе-то? во всех имплементациях ФЯ что я видел ошибки еще хуже чем в ghc

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

@xgrommx не знаю, я особо не вник.

ОМГ теперь кто-то рассказывает, что хагс оказывается интегрировал редактор и интерпретатор, причем пльцами показывает редактор над, видимо, окном репла

нет, не интегрировал

такая штука как он описывает была например для элис (это такой СМЛ)

но хагс просто вызывал редактор по команде так же как и ghci

Волков рассказывает про hasql, мол в моих бенчмарках 50% ГЦ, я открываю репозиторий на гитхабе, смотрю параметры которые он ртс передает

ну естественно, настройки ГЦ дефолтные

ну так что еще ожидать при дефолтных настройках-то?

Бле, ну так это хаскель, а не жаба какая-нибудь, чтобы гц то тюнить, вот ещё.

ну так что еще ожидать при дефолтных настройках-то?

а какие надо?

-A64m -qb0 -n4m очевидно же.

по крайнем мере до 8.2 так, начиная с него балансировка и чанки сами включатся если -A64m включить

@greenest_pig в жаве они по умолчанию сносные, про ghc такого не скажешь

@A64m_qb0 разве чанки тоже? вот -qb0 - да

@qnikst https://git.haskell.org/ghc.git/commitdiff/85e81a850a3e79d965e18f267a0e0b1c4bc69fae

в комментариях вот к этому тикету https://ghc.haskell.org/trac/ghc/ticket/9221 история мееедленного и поэтапного торжества разума над безумием дефолтных настроек (до полного там еще далеко)

-A64m -qb0 -n4m очевидно же.

ник неполный

@A64m_qb0 обоснуй -qb0

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

а то один гц уже как то скучно

из-за большого nursery -n4m?

в TH по Name как-нибудь можно распознать тайп синоним? Ничего такого не вижу, походу не умеет с ними работать.

в TH по Name как-нибудь можно распознать тайп синоним? Ничего такого не вижу, походу не умеет с ними работать.

мне reify говорит TySynD, значит, можно

ну и если у тебя -A64m

будут у тебя это один ядро разбирать или все

@lonokhov -qb0 позволяет не тратить время на синхронизацию

есть ли порог ядер/объёмов, когда применение qb0 перестаёт быть выгодным? ?

что будет если заменить в хаскеле Hask на Cohask?

@anarchostatist лисп

@icrbow эм?

без -qb0 один работает все ждут

с -qb0 все работают синхронизируясь при этом

затрат на синхронизацию в -qb0 строго больше : ]

нет, без qb0 они все равно все работают, только балансировка плохая

на всех поровну?

а не из пула брать?

ну и я так понимаю -qg1 теперь вреден