Нурлан
хотелось общую задачу сделать, видимо красиво не получится
Нурлан
p определяется статически
Denis
тогда наверное можно newtype Z p = Z Integer, где p тип кайнда Nat
Denis
но это приведет к наличию доказательств на Nat, а там раньше не очень было, сейчас хз как, вроде плагин для GHC есть, который жизнь упрощает
Denis
https://hackage.haskell.org/package/ghc-typelits-natnormalise
Alexander
FPComplete отревьюила код Cardano:
https://dev-cardanoorg.pantheonsite.io/wp-content/uploads/2018/04/FP-Complete-Cardano-Report-12-April-2018.pdf
Alexander
чего-то только щас написали то? они же вроде давно это делали
Alexander
хотя тут интереснее бы комментарии от тех, кто Кардано писал
Alexander
CC @jagajaga
Leonid 🦇
Overuse of unvetted shell script code
Кек
Leonid 🦇
The Universum.Container.Class hierarchy forbids usages of the length function over
tuples and Maybe values.
Как будто Foldable.length для контейнеров
Leonid 🦇
программисты не любят писать тесты - я шокирован
Aliester
я люблю
Aliester
но я на динамике пиу
Aliester
ну там точно погромисты получче меня
Nikita
чего-то только щас написали то? они же вроде давно это делали
Это только сейчас выложили, они типа дали время подготовить ответ iohk, вроде как теперь будут регулярно апдейтить его
Kirill
чего-то только щас написали то? они же вроде давно это делали
Там не такой простой процесс...
Kirill
Kirill
@lonokhov я не уверен что в праве говорить, но явно не быстро, плюс кошелёк интенсивно пилят ещё
Alexander
мне вот нравятся эти ревью, такой продвинутый hlint
Kirill
Конкретных дат нет пока
Alexander
а косяки в алгоритмах и т.п. пропускают
Leonid 🦇
Kirill
На алгоритмы сам понимаешь усилий больше надо как минимум
Alexander
я подозреваю, что за аудит там деньги платят что и постараться можно
Kirill
Твиг старательней, все знают :)
Alexander
Поиск по Хакаджу отвратительно работает. Пришлось лезть в Pursuit и там искать
Kirill
По стакану ищу обычно
Kirill
У хакаджа сабсет либ ограниченный
Andrey
hayoo никуда не делся
Kirill
Тож вариант
Anonymous
У хакаджа сабсет либ ограниченный
Разве? Думал, если где все пакеты искать, то там.
Случайно, речь не про Hoogle?
Kirill
Про хугл на хакидже, да
Anonymous
А, да: Hoogle, как и Hayoo, ищут не повсюду.
Про Pursuit слышу впервые
Aleksei (astynax)
Pursuit для PureScript же, не?
Anonymous
Кажется, да:
https://pursuit.purescript.org
Anonymous
Кстати, сегодня наткнулся на
https://devdocs.io
Кажется, поиск по частичной документации.
Но зато сколько языков!
Anonymous
Прямая ссылка на свежий Х:
http://devdocs.io/haskell~8/
Aleksei (astynax)
Это просто вебморда для dash/zeal доксетов
Anonymous
Понятно, спасибо.
https://zealdocs.org
Зигохистоморфный
как бы есть еще такой проект https://github.com/egoist/devdocs-desktop
Anonymous
👍
Aleksei (astynax)
На десктопе лучше уж Zeal юзать - он хоть не на электроне
Denis
@lonokhov я не уверен что в праве говорить, но явно не быстро, плюс кошелёк интенсивно пилят ещё
Да, кошелек пилится весьма активно. API обновляется и расширяется. Я сейчас в бэкенд команде кошелька.
Kirill
Да, кошелек пилится весьма активно. API обновляется и расширяется. Я сейчас в бэкенд команде кошелька.
Вопрос про фронт был, а бэкэнд кошелька тоже предмет того отчёта
Denis
Да
Denis
Сейчас он расширяется для поддержки аппаратных кошельков. Типа Ledger Nano S.
Ilya
можете куда то направить в поисках материала чтобы научиться и заодно что то полезное написать на haskell. через поисковики быстро закончились материалы, вдруг что укажете новое
Можно писать компиллер вебассембли на хаскеле :)
тот
Можно писать компиллер вебассембли на хаскеле :)
звучит весело, не уверен что знаю минимум чтобы даже по документации такое сотворить :)
Anatolii
уже вроде кто-то пишет, можно помогать:)
Ilya
угу https://github.com/SPY/haskell-wasm
Ilya
присоединяйся
Ilya
у меня там даже монадных трансформеров и типовой магии почти нет(пока)
тот
в группе можно закреплять ссылки проще находить
Ilya
если нужна какая-то конкретная задача приходи в личку, что-нить придумаем из интересного
Kirill
@irezvov если есть идея ангажировать народ, то хорошая вещь понастрогать тикетов с лейблом newcomers или easy
тот
если нужна какая-то конкретная задача приходи в личку, что-нить придумаем из интересного
хорошо, вернусь к этому когда чему то научусь, добавлю в закладки
Anonymous
хорошо, вернусь к этому когда чему то научусь, добавлю в закладки
а можно и по-другому - "здорово, начну с этого и чему-то научусь"
тот
а можно и по-другому - "здорово, начну с этого и чему-то научусь"
смотрел код, слов не знаю
Anonymous
смотрел код, слов не знаю
это не самое важное. важнее то, что сам автор предложил поучаствовать
Слава
Я вообще не понимаю, в чём проблема? Не нравятся вам лигатуры, ну не используйте, вам их не навязывают.
Есть старый анекдот: "я хочу уехать до того, как это станет обязательным".
IC
Есть старый анекдот: "я хочу уехать до того, как это станет обязательным".
Good old slippery slope...
Антон
Скажите, это нормально или я уже слишком на pont-free упоролся?
solve k = snd . snd . head . dropWhile ((/= k `rem` 2) . fst) . dropWhile ((< k) . fst . snd) . zip (cycle [0, 1, 1, 0]) . zip sums $ [0..]
Kirill
интересно, люди-таки юзают хаскель (а не R/Python) для дата-сайенса - https://twitter.com/bitemyapp/status/985597970577051653
Антон
Kirill
имхо как-то перебор когда жонглирование fst/snd, слишком требует держать контекст в голове, мне обычно list comprehensions помогают в таких случаях, хотя пойнтфри совсем не остаётся как правило
Антон
имхо как-то перебор когда жонглирование fst/snd, слишком требует держать контекст в голове, мне обычно list comprehensions помогают в таких случаях, хотя пойнтфри совсем не остаётся как правило
Ну, с учётом того, что тут зиппуется список, совсем без этого не обойтись
Vladimir
Всё, что произошло после зипов, можно в натуре в компрехеншон засунуть. Будет куда нагляднее.
Vladimir
А то эти caadr не шибко читаемы.
Антон
Всё, что произошло после зипов, можно в натуре в компрехеншон засунуть. Будет куда нагляднее.
А после зипов и пихать нечего. Только взять голову списка и от шелухи почистить
Anonymous
Скажите, это нормально или я уже слишком на pont-free упоролся?
solve k = snd . snd . head . dropWhile ((/= k `rem` 2) . fst) . dropWhile ((< k) . fst . snd) . zip (cycle [0, 1, 1, 0]) . zip sums $ [0..]
яп разбил на несколько ф-й (например, в where) и добавил коментарии
Антон
яп разбил на несколько ф-й (например, в where) и добавил коментарии
> разбил на несколько ф-й
уже
Alexander
postgresql-simple или чтото более приличное?
Dmitry
ну можно попробовать hasql