а вот вроде новый типа https://hoogle.haskell.org/

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

а новый это `https://www.stackage.org/lts-11.5/hoogle?q=` например

а новый это `https://www.stackage.org/lts-11.5/hoogle?q=` например

это же стакедж обычный)

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

это же стакедж обычный)

нет, это запрос для поиска, можно прямо дальше писать что искать надо

нет, это запрос для поиска, можно прямо дальше писать что искать надо

та я в основном на стакедже и ищу

но есть пакеты, которых нет на стакедже

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

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

Посоветуйте, пожалуйста, что почитать/посмотреть для ознакомления с Free монадой?

Роскомнадзор заблочил stackage.org ?

Такой подлянки я даже не ждал

Короче третий полный метр смешариков можно не смотреть. Так себе, как обычно.

Роскомнадзор заблочил stackage.org ?

они по очереди блочат все репозитории билд-тулов потихоньку, во всех чатах жалуются

жизнь через vpn

Роскомнадзор заблочил stackage.org ?

угу, вчера еще недоступен был

Может мы напишем террористам отдельный мессенджер, ркн его заблочит радостно и ркн отстанет от телеги?

интересы террористов не учтены. вангую проблемы с успешностью этого решения.

эх, а погружаться в предметную область чтот не хочется

придётся жить через впн

придётся жить через впн

хостинги впн тоже потихоньку лочат.. DO, scaleway

Свой подниму на малоизвестном vps провайдере

ну или эммигрирую к чертям

у чертей не банят телегу?

Может мы напишем террористам отдельный мессенджер, ркн его заблочит радостно и ркн отстанет от телеги?

в твиторе был вариант названия "втеракте" )

у чертей - нет

Ходят слухи, у них ещё средняя зп выше

Роскомнадзор заблочил stackage.org ?

у меня работает

у меня работает

Чтобы было честно, будь в рф и выключи впн

я в рф, провайдер ДОМ.ру

Во, записываем провайдеров, которые саботажники

У меня провайдер тоже сботирует

https://www.seven-sky.net/

а какой IP у этого сайта? можно проверить по реестру

раньше я узнавал IP через ping или 2ip.ru, но что-то со stackage.org оба этих способа не работают

перестаю понимать современные интернеты :(

$ host stackage.org 8.8.8.8 stackage.org has address 52.71.209.192 stackage.org has address 52.72.159.235

$ host stackage.org 8.8.8.8 stackage.org has address 52.71.209.192 stackage.org has address 52.72.159.235

ага, эти я тоже видел

а если перейти по ним, там просто

так что не всё так просто

но если ввести доменное имя, то попадаю именно на сайт, а не на 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 говорит что код неправильный

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

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

ERROR: S client not available

ещё неправильно написана сигнатура 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

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

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

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

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

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

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

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

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