Haskell

07 Jun 2023 23:27

Да, делал, полет нормальный.

Haskell

07 Jun 2023 22:57

Наверное, и правда неплохо. Просто мне почему-то казалось, что QuickCheck сам так умеет числовые данные собирать. Но, наверное, с чем-то перепутал

Haskell

07 Jun 2023 22:55

> quickCheck \x y -> collect (let x' = (x `div` 10) * 10 in show x' <> " .. " <> show (x' + 10)) $ x + y == y + x
+++ OK, passed 100 tests:
16% "0 .. 10"
15% "-10 .. 0"
11% "10 .. 20"

Haskell

07 Jun 2023 22:51

collect ровно это и делает, как я понимаю. а зачем newtype?

Haskell

07 Jun 2023 22:41

в общем, в такой ситуации чтобы видеть результаты всех изменений, нужно по классике нюкать
.stack-work проекта
и
$HOME/.stack

Haskell

07 Jun 2023 22:25

в Б-блах.dylib есть ссылки на функции из зависимостей А, и линкер, видимо, такое разрешает. интерфейс А ведь не менялся..

Haskell

07 Jun 2023 21:11

Как добиться такого вывода (диапазонами) у QuickCheck? Я сделал через newtype над Int и collect, но может есть стандартный способ?

  +++ OK, passed 100 tests:
  56% 0 .. 10
  24% 10 .. 20
  13% 20 .. 30
   4% 30 .. 40
   1% 40 .. 50
   1% 50 .. 60
   1% 60 .. 70

Haskell

06 Jun 2023 19:39

А то у нас есть проект, патчей куча и дохлый меинтейнер не отвечающий на email

Haskell

02 Jun 2023 17:21

там даже папочка /files есть для этого.

только строго желательно ещё статью написать о том, к чему эти файлы

Haskell

02 Jun 2023 17:08

Мы тут просто коллективными усилиями получили от него сканы старых отчётов по Haskell и его предшественников. Вроде как их в Интернет нету. А другим исследователям может быть интересно.

Haskell

09 Jan 2021 17:13

Причём тут гентушники?

Haskell

09 Jan 2021 17:11

техдолг вылез. номинально поддержку 8.8 и выше я добавил, но до конца не разбирался, а с v2-, v3- командами очень много всякого пришло, так что с апгрейдом надо всё это разгрести, разобраться, поправить и убедиться, что тесты проходят, и лишь т тогда релизить и узбагоиться..

Haskell

09 Jan 2021 17:04

придётся объявить святую войну с самим собой и дропнуть поддержку всех версий ниже 8.8

Haskell

09 Jan 2021 16:26

Агда мне вообще разонравилась заочно

Haskell

09 Jan 2021 16:22

f : {a : Type} -> (x : a) -> Type
f {a = b} _ = -- тут нет "a" в скоупе

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

Haskell

07 Jun 2023 23:09

А кто чего может сказать по такому поводу.
У меня есть проект на стеке и ghc 8.10.4 (именно 4, потому сборка с 7 ломается на каких-то там версиях glibc на последней убунте и это неудобно).

1) Недавно я пытался переехать на 9.2 и все даже было отлично, кроме того, что сборка статических бинарников с musl сломана. Статические бинарники очень хочется делать, чтобы не одним только докером дистрибьютить. Говорят, этот баг пофиксили в 9.6.

2) У меня есть ощущение, что со стека надо слезать, потому что а) снепшоты очень сильно запаздывают и это немношк бесит б) кабал уже умеет делать все примерно то же самое.

Кто-нибудь уже реально что-то делал с 9.6 и кабалом? Насколько это реалистично для проекта в 15KLOC с 250 зависимостей? Или подождать, все слишком свежее пока? Или я неправ насчет стека?

Haskell

07 Jun 2023 22:56

ok, да. У меня что-то похожее и получилось:

newtype Approx
  = Approx Int
instance Show Approx where
  show (Approx n) = unwords [show $ n10 * 10, "..", show $ (n10 + 1) * 10 ]
    where n10 = n `div` 10

collect (Approx ...)

Haskell

07 Jun 2023 22:52

Чтобы диапазоны по 10, а не конкретные значения. А то у меня получается: 31 - 1%, 32 - 1% — не очень информативно

Haskell

07 Jun 2023 22:43

на каждое изменение зависимости А. моя ситуация усложняется тем, что через stack exec -- ghc-pkg describe A ничего не видно

Haskell

07 Jun 2023 22:30

а не, линкер взорвался 😅

Haskell

07 Jun 2023 22:23

пользователи стека, что думаете?

в стек файле прописана зависимость А в качестве форка. в проекте используется зависимость Б из лтс, у которой в зависимостях - А.

интерфейс А не меняется, меняются внутренности.

при пересборке проекта зависимость Б не пересобирается. ожидаемо?

модули проекта, зависящие от А, пересобираются. ожидаемо.

Haskell

06 Jun 2023 19:41

https://wiki.haskell.org/Taking_over_a_package

Haskell

06 Jun 2023 19:38

А не подскажете, какой сейчас процесс у package takeover

Haskell

02 Jun 2023 17:19

пулреквест в репозиторий https://github.com/ruHaskell/ruhaskell

Haskell

02 Jun 2023 17:07

файлы - PDF с Вадлеровскими папирами

Haskell

09 Jan 2021 17:13

если это всё забороть аккуратно, то тогда можно замахнуться и на переход с haskell-src-exts на ghc-lib

Haskell

09 Jan 2021 17:08

+ ещё не до конца понятно, как вывернуться с ghc-pkg для того, чтобы можно было не выкачивать сорцы fay-base.

ещё, кажется, в aeson >= 1.5.0.0, во время рендеринга стали дополнительные \n вылезать, вообще веселье на ровном месте привнесли гентушники

Haskell

09 Jan 2021 17:04

блин, выходит не удастся просто так обойти это ограничение между разницей в версиях Cabal и cabal-install

Haskell

09 Jan 2021 16:25

Только на коке писал

Haskell

09 Jan 2021 16:19

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

f : {a : Type} -> (x : a) -> Type
f _ = a