там ограниченная глубина

нинада так, есть же default signatures

там ограниченная глубина

Ну тогда ок, я спокоен :)

default signatures для дерайвинга?

class Foo a where foo :: a -> Bool instance Foo a where foo :: a -> Bool default foo :: (Num a, Ord a) => a -> Bool foo n = n > 10

Тут это всё равно не поможет, т.к. обёртка Int' - не Num

реализация дефолтная для типов попадающих под определенные ограничения

сделать Num это проблема?

Этого может не хотеться по определённым причинам

каким?

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

точнее чтобы дефолтная релазация работала

а блин

я тупой

default foo в определении класса конечно же

Чтобы нельзя было получить 1 + 2 :: Int' может не хотеться Num

` class Foo a where foo :: a -> Bool default foo :: (Num a, Ord a) => a -> Bool foo n = n > 10 instance Foo Int instance Foo Int' where foo (Int' x) = True ``

@astynax ^

Это я понял, да

он этого хотел, вот так это получается

Я тут обещал вам про бифункторы, профункторы и гистоморфизмы стикеры... 2 готовы, не против если запощу?

Я тут обещал вам про бифункторы, профункторы и гистоморфизмы стикеры... 2 готовы, не против если запощу?

Я за :)

??

? Нельзя просто взять и налепить надпись "бифункторы" на каких-то аниме-персонажей.

? Нельзя просто взять и налепить надпись "бифункторы" на каких-то аниме-персонажей.

Это почему? Суть проясняют же

Что они проясняют-то? Связи никакой, не остроумно

Вот это тоже нельзя?

Что они проясняют-то? Связи никакой, не остроумно

+

Я не знаю, является ли неправильно написанное слово "мемоизация" какой-то отсылкой к чему-то.

Что они проясняют-то? Связи никакой, не остроумно

Они тоже Би.

Хотя мб если посмотреть тайтл то всё встанет на свои места

он этого хотел, вот так это получается

немного не то, я просто как думал, у нас есть тайпкласс Foo и мы можем для Int создать инстанс, но почему бы не сделать того же для тайпкласса, например Num. Потом мы например объявляем newtype например с Int, для Int функция, которую мы объявили работает, значит поидее можно вывести тайпкласс Foo для newtype

Я не знаю, является ли неправильно написанное слово "мемоизация" какой-то отсылкой к чему-то.

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

Я думаю, похвально, что человек что-то пытается сделать. Вместо критики, лучше правки вносите.

Они тоже Би.

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

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

Отчасти ты прав, там нужно три персонажа. Два би и ребенок :(

Господи, только слово "функтор" уберите из этого безобразия

Хорошо, а что неправильно в слове мемоизация?

Хорошо, а что неправильно в слове мемоизация?

То, что оно написано там не так

Господи, только слово "функтор" уберите из этого безобразия

А ты повёрнут, да? :)

На чем?

То, что оно написано там не так

Как правильно-то, я исправлю

Правильно "мемоизация"

Правильно "мемоизация"

Охшит

хаха

Ты прав, сорян. Поправлю. Но уже завтра

А пока вот еще вам гистоморфизм

Ну хоть с рекурсией что-то осмысленное (хотя заезженное)

Вот это норм. Я не дизайнер, и вкусом прекрасного не обладаю. Но шрифт мне не нравится. Кто что-то думает?

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

Должен быть Comic Sans, как у SPJ

Ну хоть с рекурсией что-то осмысленное (хотя заезженное)

Надо во вторую завитушку тоже содержимое стикера фоткнуть.

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

Какой смысл в стикерах? Стебаться :)

а, это типа стикеры.

Ну можно стикеры сделать с определениями заумными, но кому они будут нужны?

Ну можно стикеры сделать с определениями заумными, но кому они будут нужны?

Занудным задротам, ты прав.

Занудным задротам, ты прав.

Ок, значит нужны :)

Нужен стикерпак со старыми (или несостоявшимися) лого Haskell

А пока можно книжку почитать

Задротом нужно быть у себя дома, наедине. В обществе - нет. Я так считаю :)

А раз уж стикеры для общения, они должны быть в первую очередь забавными :D

А какое старое лого у хаскеля?

вот этот мне нравится больше всего, но мелко

А раз уж стикеры для общения, они должны быть в первую очередь забавными :D

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

Там вопрос не в том, что это аниме, или даже эротического характера, а в ПОЛНОМ ОТСУТСТВИИ СВЯЗИ С HASKELL

Кроме надписи

Так не интересно

А какое старое лого у хаскеля?

https://wiki.haskell.org/Haskell_logos/New_logo_ideas

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

Согласен полностью с тобой. К тому же я не люблю аниме, и от японской культуры далёк. ;)

Так не интересно

Надо правки вносить. Есть идеи?

Надо без хорошей идеи даже не начинать, а не делать херню и править

Давайте обсудим. Я хочу себе в меру умные стикеры про хаскель со смыслом.

Надо без хорошей идеи даже не начинать, а не делать херню и править

:(

но зачем?

Ну мне, например, и эти пригодятся - буду постить в другие чятики :)

контент важнее формы. Здесь я вижу цель "захерачить стикеров", а не выразить идею

а я хочу веб-телеграм без стикеров

веб телеграм есть, кстати

но не "без стикеров"

из веба стикеры наверное можно вырезать каким-нибудь адблоком

да, я в нем и сижу.

не особо вырезаются

там можно поймать как-то по классу у дива, я один раз попробовал. Но лень

зачем вам телеграм если вам так не нравятся стикеры?

irc же есть.

Мда.

есть консольный телеграм, но в нем я не разобрался

Убери из Телеграма стикеры — что по-твоему, IRC останется?

irc же есть.

В IRC низзя на конкретные сообщения отвечать

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

Разве что вещать через бота, который каждому сообщению ID пришпандёривает

а как заставить кабал сливать с hackage по https?