Во всех функциях придется проверять, что числа пришли из одного поля

чтобы нельзя было создать "неправильное" значение

Во всех функциях придется проверять, что числа пришли из одного поля

аааа, это тебе тогда зависимый тип наверное нужен:)

как в идрисе

аааа, это тебе тогда зависимый тип наверное нужен:)

это я пока не понимаю, буду читать. А вообще дошло только что, что можно сделать как в математике, ввести класс фактор-пространства

(тут была фигня)

это я пока не понимаю, буду читать. А вообще дошло только что, что можно сделать как в математике, ввести класс фактор-пространства

а если так?

такие штуки наверное можно TH генерировать

правда p будет не произвольное уже

хотя не, фигня какая-то получилась

не делай так:)

не, я хочу тестировать на больших p

Так то можно было бы сделать объявив data Zp = Z (Integer, Integer)

для всех аналогичных случаев надо делать либо data Zp = Z Integer Integer, либо newtype Zp = Z (Integer, Integer)

иначе вы в два раза больше боксите на каждый чихпых

иначе вы в два раза больше боксите на каждый чихпых

боксите?

Создаете лишние конструкторы и манипулируете указателями в рантайме

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

Если нужен алиас для кортежа - есть ньютайпы для этого. А если уж создаете отдельный тип, то пользуйтесь им вместо пары, а не пакуйте туда пару.

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

по какой причине?

допустим кто-то отправить мне (Z p a) + (Z q b)

я в общем про конструирование подобных типов, а не про конкретную задачку, если что

p это что там?

Число 'p' определяет тип

p - натуральное?

типов бесконечно много

p - простое

Фантомные типы и тайл-левел натуральные числа тогда как вариант, если уж совсем не хочется держать в рантайме число.

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

так, прочитал чего выше написано, если оно в типе нужно(а оно вроде нужно), тут варианта ровно два: 1) если оно известно статически, то можно фантомные типы и всяких тайп-левел 2) если в рантайме, то нужно завтипы изображать, а это в хаскелле, кхм, удовольствие ниже среднего

если же убираем условие что p в типе, то все упрощается в разы

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

p определяется статически

тогда наверное можно newtype Z p = Z Integer, где p тип кайнда Nat

но это приведет к наличию доказательств на Nat, а там раньше не очень было, сейчас хз как, вроде плагин для GHC есть, который жизнь упрощает

https://hackage.haskell.org/package/ghc-typelits-natnormalise

FPComplete отревьюила код Cardano: https://dev-cardanoorg.pantheonsite.io/wp-content/uploads/2018/04/FP-Complete-Cardano-Report-12-April-2018.pdf

чего-то только щас написали то? они же вроде давно это делали

хотя тут интереснее бы комментарии от тех, кто Кардано писал

CC @jagajaga

Overuse of unvetted shell script code Кек

The Universum.Container.Class hierarchy forbids usages of the length function over tuples and Maybe values. Как будто Foldable.length для контейнеров

программисты не любят писать тесты - я шокирован

я люблю

но я на динамике пиу

я люблю

А вы кардано писали?

ну там точно погромисты получче меня

чего-то только щас написали то? они же вроде давно это делали

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

чего-то только щас написали то? они же вроде давно это делали

Там не такой простой процесс...

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

Кажный месяц новый отчёт, да

Кажный месяц новый отчёт, да

А когда будет ревью фронтенда?

@lonokhov я не уверен что в праве говорить, но явно не быстро, плюс кошелёк интенсивно пилят ещё

мне вот нравятся эти ревью, такой продвинутый hlint

Конкретных дат нет пока

а косяки в алгоритмах и т.п. пропускают

@lonokhov я не уверен что в праве говорить, но явно не быстро, плюс кошелёк интенсивно пилят ещё

:-Р

а косяки в алгоритмах и т.п. пропускают

Low hanging fruit типа

На алгоритмы сам понимаешь усилий больше надо как минимум

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

Твиг старательней, все знают :)

Поиск по Хакаджу отвратительно работает. Пришлось лезть в Pursuit и там искать

По стакану ищу обычно

У хакаджа сабсет либ ограниченный

hayoo никуда не делся

Тож вариант

У хакаджа сабсет либ ограниченный

Разве? Думал, если где все пакеты искать, то там. Случайно, речь не про Hoogle?

Про хугл на хакидже, да

ERROR: S client not available

А, да: Hoogle, как и Hayoo, ищут не повсюду. Про Pursuit слышу впервые

Pursuit для PureScript же, не?

Кажется, да: https://pursuit.purescript.org

Кстати, сегодня наткнулся на https://devdocs.io Кажется, поиск по частичной документации. Но зато сколько языков!

Прямая ссылка на свежий Х: http://devdocs.io/haskell~8/

Это просто вебморда для dash/zeal доксетов

Понятно, спасибо. https://zealdocs.org

как бы есть еще такой проект https://github.com/egoist/devdocs-desktop

?

На десктопе лучше уж Zeal юзать - он хоть не на электроне

@lonokhov я не уверен что в праве говорить, но явно не быстро, плюс кошелёк интенсивно пилят ещё

Да, кошелек пилится весьма активно. API обновляется и расширяется. Я сейчас в бэкенд команде кошелька.

Да, кошелек пилится весьма активно. API обновляется и расширяется. Я сейчас в бэкенд команде кошелька.

Вопрос про фронт был, а бэкэнд кошелька тоже предмет того отчёта

Да

Сейчас он расширяется для поддержки аппаратных кошельков. Типа Ledger Nano S.

можете куда то направить в поисках материала чтобы научиться и заодно что то полезное написать на haskell. через поисковики быстро закончились материалы, вдруг что укажете новое

Можно писать компиллер вебассембли на хаскеле :)

Можно писать компиллер вебассембли на хаскеле :)

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

уже вроде кто-то пишет, можно помогать:)

угу https://github.com/SPY/haskell-wasm

присоединяйся

у меня там даже монадных трансформеров и типовой магии почти нет(пока)

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

угу https://github.com/SPY/haskell-wasm

благодарю

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

@irezvov если есть идея ангажировать народ, то хорошая вещь понастрогать тикетов с лейблом newcomers или easy

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

хорошо, вернусь к этому когда чему то научусь, добавлю в закладки

хорошо, вернусь к этому когда чему то научусь, добавлю в закладки

а можно и по-другому - "здорово, начну с этого и чему-то научусь"

а можно и по-другому - "здорово, начну с этого и чему-то научусь"

смотрел код, слов не знаю

смотрел код, слов не знаю

это не самое важное. важнее то, что сам автор предложил поучаствовать

это не самое важное. важнее то, что сам автор предложил поучаствовать

Я бы вписался.

Я бы вписался.

задач на всех хватит ?

Я вообще не понимаю, в чём проблема? Не нравятся вам лигатуры, ну не используйте, вам их не навязывают.

Есть старый анекдот: "я хочу уехать до того, как это станет обязательным".

Есть старый анекдот: "я хочу уехать до того, как это станет обязательным".

Good old slippery slope...