еще одна интересная задачка

Перед самыми выборами Президента США 7 ноября 2000 года хакеры, взломав сайт с официальной информацией о процедуре выборов, указали там, что голосование ввиду чрезмерного количества изъявивших участвовать в них избирателей будет проходить в два этапа. Догадайтесь, какую процедуру голосования предложили доверчивым выборщикам явно настроенные в пользу республиканцев хакеры.

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

ну тогда не ной потом когда будет семья с детями что валить уже поздно

@catamorphism Учти, что l в результате это тоже input, а не output в type family

Если у тебя BlaBla и Verb method code ctypes a разных кайндов, то тут и оверлаппинга даже нет

ну тогда не ной потом когда будет семья с детями что валить уже поздно

нет сорь я гей

Потому что оно будет по l диспатчиться

нет сорь я гей

ну тем более, мужа и детей тебе тут не светит

они тут одного кайнда

нет сорь я гей

там вроде льготные возможности для геев на получение визы в США(именно из России)

уж LGBTQ++ то точно нужно из рашки валить

уж LGBTQ++ то точно нужно из рашки валить

LGBT with Classes

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

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

ну тогда не ной потом когда будет семья с детями что валить уже поздно

ещё могу быть пожилые родители

а кто-то предлагал кстати сделать :kind!!

так поглядеть чтоли гист..

/me поглядел, сходу непонял, почему не работает

@catamorphism У меня редьюсится всё

там наверное в реальности сложнее все

выглядит нормально

{-# LANGUAGE TypeFamilies, TypeInType, EmptyDataDecls #-} data Verb method code ctypes a data GlavRyba type family Schematized' (req :: Maybe q) (api :: k) :: Bool where Schematized' 'Nothing (Verb method code ctypes GlavRyba) = 'True Schematized' 'Nothing (Verb method code ctypes a) = 'False ghci> :kind! Schematized' 'Nothing (Verb () () () GlavRyba) Schematized' 'Nothing (Verb () () () GlavRyba) :: Bool = 'True ghci> :kind! Schematized' 'Nothing (Verb () () () ()) Schematized' 'Nothing (Verb () () () ()) :: Bool = 'False

там при особой форме blabla может нередьюситься вроде

блин как сесть и работать

или ночью поработать

Blabla там :: T -> Type

тьфу, Type он там

короче не вижу как это суть меняет

Никак не меняет ghci> :kind! (Schematized' 'Nothing (Verb () () () GlavRyba) :: Type) (Schematized' 'Nothing (Verb () () () GlavRyba) :: Type) :: * = Int ghci> :kind! (Schematized' 'Nothing (Verb () () () ()) :: Type) (Schematized' 'Nothing (Verb () () () ()) :: Type) :: * = Bool

в Type тоже редьюсится

Перед самыми выборами Президента США 7 ноября 2000 года хакеры, взломав сайт с официальной информацией о процедуре выборов, указали там, что голосование ввиду чрезмерного количества изъявивших участвовать в них избирателей будет проходить в два этапа. Догадайтесь, какую процедуру голосования предложили доверчивым выборщикам явно настроенные в пользу республиканцев хакеры.

чёт не очень

ну я тащемта такие же манипуляции проделал в ghci и ничего не понял

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

Что тут сказать, для больших программ можно и DCH нанять (jk)

Dah Chong Hong Conglomerate company?

Ага

dirty cheap haskell

Вот эти ребята https://dirtcheaphaskell.io/

а, видел

dirty cheap haskell

что сразу dirty, мы на самом деле чистые, это dirt cheap (= дешевое)

воу, вот это вы демпингуете

а зачем больше тратить на кастомизированный StackOverflow?

хаха

ну как всегда

я полдня думал что я сумасшедший, а проблема не там была -_-

впрочем как решать - хз

@int_index а дописывание фич в GHC присутствует в прейскуранте?

я конечно могу отличить type family от data family, но еще не Эйзенберг

принижаешься

У меня самого несколько Trac тикетов, которые я больше года жду.

Весь research мне портят

И вообще про дописывание, это же консалтинг, а не аутсорсинг

эх, на разраба в GHC мы бы наверняка накраудфандили

фичи разной квалификации требуют (но DH точно придется @int_index дописывать, Эйзенбергу это не надо уже)

я кстати со Стефани Вайрих говорил на эту тему

на разраба GHC еще можно, а вот чтобы он добавлял те фичи, которые НАРОД хочет, это вряд ли, потому что он будет в конкретном наборе тем в лучшем случае разбираться (GHC же гигантский)

да даже закрытие багов уже супер будет

про dependent haskell вообще анрил что-то сделать, в т.ч. краудфандить, т.к. там разработчиков не отвязать от неё и ричарда

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

я кстати тоже

я вообще подумывал на что-то такое вакансию запилить

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

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

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

Была бы толерантность к многодневной компиляции, был бы и фикс уже в HEAD

мы еще им денег дадим, лол

у меня уже никакой толерантности

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

отрицательный результат исследования тоже результат

ERROR: S client not available

я вообще подумывал на что-то такое вакансию запилить

Надо срочно пойти в GHC internals разобраться получше, похоже.

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

я уверен что там много чего можно сделать

в одном симплифаере только ад и израиль

я уверен что там много чего можно сделать

откуда такая уверенность?

Фиксить GHC это работа мечты, на самом деле, можно ведь своими же фиксами в следующем релизе и пользоваться

Фиксить GHC это работа мечты, на самом деле, можно ведь своими же фиксами в следующем релизе и пользоваться

пока один обладатель такой работы известен - Бен Гамари

ГХЦ это такое адище, что насчет работы мечты я сильно сомневаюсь

откуда такая уверенность?

из багов с симплификатором как минимум

Да там прикольно, я читал исходники.

То есть там нельзя сказать, что хороший или понятный код, или к поддержке пригодный. Вот "прикольно" правильное слово.

Заходишь туда как в цирк и развлекаешься, а там еще эти [NOTE]

которые объясняют, почему тот или иной трюк смешной

из багов с симплификатором как минимум

не понял

я бы сказал что исходники GHC это очень нишевое чтиво

Там очень много вещей сделано криво, потому что надо research реализовывать поскорее и ship it

не понял

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

Дык поэтому оплачиваемый человек, который это всё вычищает, очень актуальный

А потом практические юз-кейсы вылезают и надо всё подпирать костылями

> Думаю что если только откровенные баги починить, то скорости компиляции пойдет строго в плюс. Я только что выше написал, что починка major бага, который я репортил, ухудшает производительность троекратно.

wishful thinking про то, что корректность и перформанс идут нога в ногу

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

> Думаю что если только откровенные баги починить, то скорости компиляции пойдет строго в плюс. Я только что выше написал, что починка major бага, который я репортил, ухудшает производительность троекратно.

это точно единственное решение?

> Думаю что если только откровенные баги починить, то скорости компиляции пойдет строго в плюс. Я только что выше написал, что починка major бага, который я репортил, ухудшает производительность троекратно.

там сейчас в некоторых случаях количество коэршенов сильно больше нужного делается, а в каких-то - реврайтов(там вообще мрак)

ну Эйзенберг его сделал, а сейчас его в Well-Typed передали переделывать

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

ну это ты потребление памяти сокращаешь, а так-то coercions нужны в основном для -dcore-lint, и нет разницы, что они большие

в общем я готов на такую вакансию, пинайте после нг

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

в общем я готов на такую вакансию, пинайте после нг

Вакансия подразумевает время на разгон (поразбираться в GHC), или ты хочешь найти кого-то, кто сразу херачить пойдет?

Потому что я пытался в GHC контрибьютить и это мрак

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

Потому что я пытался в GHC контрибьютить и это мрак

я тоже пытался, так себе развлечение(как по мне, некоторым нравится)