к
ничего страшного, можешь найти другой чатик где меня нет и там тоже поныть
Size: a a a
2020 December 28
DB
ничего страшного, можешь найти другой чатик где меня нет и там тоже поныть
да ну че ты
в
если бы лучше сформулировал вопрос, мб и сам бы понял тупость этого вопроса, и не отправил бы, и жопа бы не горела
Что тупого в вопросе? У компилятора есть информация, которую мне хотелось бы из него вытянуть. Чтобы понимать, что этот вопрос тупой, надо разбираться в устройстве GHC и разнице в реализации тайпфэмили и фундепов
в
если же абстрактно на это смотреть, то нет адекватных причин, почему нельзя из
a -> b и a получить b на тайплевелек
давай иначе, ты можешь показать кейс, и вдруг в этом кейсе будет решение вытащить b из a как раз констрейнтом
к
по сути хочется какой-то механизм перебора существующих инстансов на тайплевеле, такого точно нет
LO
зыканска, хаскелисты друг друга токсят
VD
Надо ж кого-то токсить, когда твитора нет.
R
Сначала других потом между собой.
R
Так устроено все
R
И везде
E
зыканска, хаскелисты друг друга токсят
вот уж не думал, что кто-то ещё употребляет это слово
LO
"токсить" весь интернет употребляет
к
я думаю он про зыканска
к
без понятия что это значит
R
R
R
Из двух зол заберай оба.
R
В 21 году 21 века можно уже и без проводов.
AG
а я не люблю беспроводные устройства