но если ввести доменное имя, то попадаю именно на сайт, а не на Welcome to nginx

❌ 52.71.209.192 заблокирован, идентификатор записи #884508

❌ 52.72.159.235 заблокирован, идентификатор записи #884508

Он, вероятно, на хост в HTTP запросе смотрит

у меня сегодня стекедж доступен, но пару дней назад не был

Опять вы про фри монады. @qnikst же вчера на митапе сказал, что они не нужны, что тут еще обсуждать.

А сегодня кто-то их на крестах имплементил 🤔

Чорд, спалился!

Да ладно, не сегодня же. Все уже в прошлом!

Да все плюсовики так говорят

У меня нет зависимости! Захочу - брошу фри-монады.

А брат как себя чувствует?

Жив, по последним данным

Забавно, VSCode тоже нельзя скачать без VPN

Лишь бы только VPN можно было скачивать

Кто сталкивался с Constraint?

Expected a type, but ‘Zp a’ has kind ‘Constraint’

не могу понять как это обойти

class Zp a where genP :: a genQ :: a -- генератор мультипликативной секьюрной подругрппы pBase :: a qBase :: a toZp :: Integer -> a fromZp :: a -> Integer instance Num (Zp a) where fromInteger = toZp :: a -> Zp a (+) a b = fromInteger $ (fromZp a) + (fromZp b) (*) a b = fromInteger $ (fromZp a) * (fromZp b) (-) a b = fromInteger $ (fromZp a) - (fromZp b) negate = (-) pBase

Ошибка говорит, что вы пытаетесь инстанциировать класс Num для класса, а это делается для типов

Думаю, вы хотите instance Zp a => Num a where

сделал так, возникло много прагм (кажется они так называются) и ghci говорит что код неправильный

Требование расширений, это нормально.

ну хотя бы я внутрь объявленя класса зашел в компиляции :)

ещё неправильно написана сигнатура a -> Zp a

Zp - это класс, а не тип. Поэтому он ожидается в позиции констреинта

T.е. правильная сигнатура будет выглядеть так fromInteger :: Zp a => Integer -> a

ещё неправильно написана сигнатура a -> Zp a

это был случайный тык, уже удалил

но пока сложности еще есть

Но дальше будет больше проблем.

а в классы вообще нельзя передавать классы?

Только в роли констреинта

И это не "передавать"

cмысл понял

Констреинты, это просто подсказки для компилятора, позволяющие отсечь overlapping instances

В данном сулчае мы имеем проблему - констреинт Zp a => никак не "уменьшает" область поиска инстансов. И для компилятора нет разницы между нстансами instance Zp Int => Num Int where и instance Num Int where

Т.о. компилятор не может выбрать, какой "плюс" использовать: (+) :: (Zp a, Num a) => a -> a -> a или (+) :: Num a => a -> a -> a

а как это обходится?

Заворачиванием в newtype

может сигнатуру прописать к функции (+) ?

Нужно завести тонкую обёртку class Zp a where ... newtype Zpable a = Zpable a instance Zp (Zpable Int) where ... instance Num (Zpable a) where ...

Тут чётко отделены типы, которые умеют Zp от всех остальных, которые умеют Num сами по себе

как громоздко однако

сейчас буду пробовать

спасибо

Добавился по сути один newtype и немного изменились сами инстансы. Не сильно более громоздко стало

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

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

нанизывать видимо нельзя, можно "ограничивать"

Тут проблема не в самом подходе

и тип данных надо как-то еще крутить на всех уровнях

Просто нельзя навешивать класс (констреинт) на уже существующую связку (инстанс) тип - класс

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

без существующих инстансов

не пересекаясь

Тогда будет работать

Проблема в конкретном пересечении Num a и Zp a => Num a

первый код я так и написал, но мне захотелось использовать + вместо <+>

первый код я так и написал, но мне захотелось использовать + вместо <+>

newtype в данном случае лучше всего

newtype же решит проблему, не? можно будет писать 1 + 2 * 3 и подразумевать Zpable Int, например

Тут как раз помогает fromInteger - числовые литералы "апгрейдятся" до типа-обёртки

пока не понимаю, для меня 'newtype = data'

newtype это "как data", но выкидывается компилятором после проверки типов

пока не понимаю, для меня 'newtype = data'

не совсем data как правило существует как обёртка в рантайме тогда как newtype это чисто компайл-тайм метка

тэкс, а куда ее навешивать?

класс Zp сделать newtype ?

Я же выше "рыбу" написал :)

Нужно завести тонкую обёртку class Zp a where ... newtype Zpable a = Zpable a instance Zp (Zpable Int) where ... instance Num (Zpable a) where ...

Класс остаётся тем же

Нужно завести тонкую обёртку class Zp a where ... newtype Zpable a = Zpable a instance Zp (Zpable Int) where ... instance Num (Zpable a) where ...

это понятно, я подумал что предлагается что-то другое еще сделать newtype

Просто инстансы Zp пишутся не для Int, а для Zpable Int

Просто инстансы Zp пишутся не для Int, а для Zpable Int

ok :)

класс Zp сделать newtype ?

у тебя видимо немного путаница между типами и классами типов в голове) newtype (как и data) — это создание нового типа, а не класса

Да ладно, это сложно с непривычки. Все путаются

у тебя видимо немного путаница между типами и классами типов в голове) newtype (как и data) — это создание нового типа, а не класса

типы и классы я различаю

Да ладно, это сложно с непривычки. Все путаются

я ж без наезда

:)

я ж без наезда

я вообще самый нетоксичный человек в русскоязычном коммьюнити!

поэтому удивляюсь тому как я понял некоторые вещи :)

это понятно, я подумал что предлагается что-то другое еще сделать newtype

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

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