169 похожих чатов

\Не могли бы вы пожалуйста прислать пример? Это ведь всего

3-4 строки?

8 ответов

9 просмотров

пример произвольного инстанса?

class TypeName a where typeName :: Proxy a -> String instance (TypeName a, TypeName b) => TypeName (a -> b) where typeName Proxy = typeName (Proxy @a) ++ " -> " ++ typeName (Proxy @b)

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

instance (Eq e) => Collects e (e -> Bool) where empty = (\_ -> False) insert x f = \y -> if x == y then True else f y member x f = f x

Gentle Rabbit
Proxy это легаси уже

не хочу новичка пугать

Cheese Syrowiecki
не хочу новичка пугать

Ты уже использовал @a в коде

Nick-By Автор вопроса
Prokhor Shlyakhtun
instance (Eq e) => Collects e (e -> Bool) where ...

Спасибо Прохор сейчас попробую в коде. Интересно мжно ли это "безобразие" продолжить на функцию из двух переменных, но в другом контекдте? Вообще напоминает контравариантный функтор

Похожие вопросы

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
Я тут за тем, чтобы задать вопрос, так как не знаю ассемблер, учу с/с++. Короче, насколько дорога операция перехода в функцию при ее вызове? Дело в том, что в с++ есть макросы...
Максим Рябцев
12
А какие чаты вообще в ходу? Auto aim? И что еше
do you think you're better off alone? А
13
hello friends. Do you know how can I learn getx? I have a software project that I should deliver it up to 5 weeks later and I need to learn firebase too. I will be thankfull
AmirHossein Razavi
15
Привет, нужен совет старших товарищей. Есть глобальная переменная var DefaultDataFolder:string; инициализируем DefaultDataFolder:='a:\_OUT\'; есть примитивная процедур...
Max Otto
14
Доброе время суток! у меня тут иноды закончились. и понял почему по сути кстит, я периодически очищаю постгрес и сентри контайнер: postgres=# DELETE FROM nodestore_node WHER...
Юсиф Насиров
9
Вопрос. Теоретический. Есть список команд. Команды отправляю в обработку некой функции, по очереди. Разные команды могут давать разные результаты после обработки. В зависимос...
Serjone
7
Какой дос блять?
007
9
lazarus-3.2.0/gtk, linux патч "имя проекта по умолчанию project1 -> prj" день добрый не нравится "именя проекта по умолчанию" (project1), к.раз приходится переименовывать (н...
livontiy
5
Коллеги, а в чём сейчас хорошо писать на перле, в смысле ide? Пробовал в идее с плагином, подсветка есть, даже какие-то предупреждения есть, но рефакторинга считай нет. Перене...
Дмитрий Петров
9
Карта сайта