я вот думаю стоит ли ливать в США, или все же куда-то в англоязычные далекие земли типа Новой Зеландии или Австралии

возьму паттерны точёные, срублю тайп фемели оверлапчёные

λeonid yes please

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

по одному

Ты понимаешь, что облажался в условиях? 2, 3, 5 — простые, они могут быть только произведениями 1 на самих себя. Это уже четыре числа. А 4 из них не получить

никто не говорил, что числа целые

вроде

(но меняет ли это дело, мне пока не очевидно)

не хочу отказываться от гражданства рф

а какой толк от российского паспорта?

(но меняет ли это дело, мне пока не очевидно)

Меняет. Если там есть нецелые числа, то нужно расширить целые соответствующими нецелыми числами и изучать простые в этом более широком полукольце

ну в смысле с нецелыми я сходу решения не нашёл

так то понятно, что меняет

https://gist.github.com/dredozubov/282331b9473a6879598434c6618943d7 вот чего-то вроде этого есть(там еще другие клоузы, поэтому существует первый аргумент), но оно нифига не редьюсится нормально вторым клоузом

а какой толк от российского паспорта?

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

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

Перед самыми выборами Президента США 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

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

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