Size: a a a

2020 November 29

G

Gradi in Haskell
Добрый день.
Хочу по профилировать прогу. Для этого я собираю её с помощью
 cabal build --enable-profiling --ghc-options '-fprof-auto -rtsopts=all' -O0

cabal начинает пересобирать кучу пакетов и в один момент падает при компиляции dns-4.0.1 c такой ошибкой.
Но при этом, когда я делаю обычный cabal build всё собирается, запускается и успешно работает.

cabal-install version 3.2.0.0
compiled using version 3.2.0.0 of the Cabal library
The Glorious Glasgow Haskell Compilation System, version 8.10.2
Windows 10 x64

Сам хаскель ставил через chocolatey
источник

к

кана in Haskell
каждое частичное применение превращается в отдельный дата-тип, это ужас
источник

к

кана in Haskell
черт, GHC.TypeLits это вообще неюзабельная вещь

вот как такое доказать

type NotGT :: CmpNat a b == GT -> CmpNat b a == LT
источник

к

кана in Haskell
из-за приватности и магичности CmpNat и Nat, это никак не доказать
источник

DB

Danil Berestov in Haskell
Как жить, если persistent форсит свою монаду для логгирования?
источник

YS

Yan Shkurinskiy in Haskell
hasql
источник

DB

Danil Berestov in Haskell
цыц
источник

R

Roman in Haskell
кана
каждое частичное применение превращается в отдельный дата-тип, это ужас
источник

MK

Maxim Koltsov in Haskell
бедный синтаксис стрелок конечно
источник

к

кана in Haskell
https://gist.github.com/kana-sama/3c89ddb0b83610248a0621f747e0df90

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

R

Roman in Haskell
кана
https://gist.github.com/kana-sama/3c89ddb0b83610248a0621f747e0df90

так, я уже смог написать insert из insertion-sort для одноэлементных списков, осталось самое сложное, но все выглядит решаемым
side note: IsSortedNatList — плохое определение отсортированности. См How to Keep Your Neighbours in Order для хорошего
источник

к

кана in Haskell
а плохое потому что неудобное?
источник

R

Roman in Haskell
кана
а плохое потому что неудобное?
ага
источник

DB

Danil Berestov in Haskell
кстати на счёт частичного применения
источник

DB

Danil Berestov in Haskell
я для агды пока туповат
источник

DB

Danil Berestov in Haskell
Но там вроде можно типа функции делать if_then_else_
источник

DB

Danil Berestov in Haskell
Как вот такие функции частично применять?
источник

a

adam in Haskell
префиксно
источник

DB

Danil Berestov in Haskell
foo = if_then_else_ true?
источник

a

adam in Haskell
a = (_+_) 3
источник