- Haskell-Cafe - Haskell.org

ANN: hledger-1.22
by Simon Michael 04 Jul '21

04 Jul '21

I'm pleased to announce hledger 1.22 ! https://hledger.org/release-notes.html#hledger-1-22 describes the user-visible changes. Highlights include: - Optimisations: about 20% faster overall, with register about 2x faster and 4x more memory-efficient - Bugfixes, including fixes for several regressions. Thank you to the following release contributors this time around: Felix Yan, crocket, Eric Mertens, Damien Cassou, charukiewicz, Garret McGraw, and especially Stephen Morgan. hledger (https://hledger.org) is a dependable, cross-platform "plain text accounting" tool, with command-line, terminal and web interfaces. It is an actively maintained, largely compatible reimplementation of Ledger CLI with many improvements. You can use it to track money, time, investments, cryptocurrencies, inventory and more. See also the Plain Text Accounting site (https://plaintextaccounting.org) https://hledger.org/download shows all the ways to install hledger on mac, windows or unix (stack, cabal, brew, nix, CI binaries, your package manager..). Or, run this bash script to install or upgrade to the latest release: $ curl -sO https://raw.githubusercontent.com/simonmichael/hledger/master/hledger-insta… $ less hledger-install.sh # security review $ bash hledger-install.sh New users, check out https://hledger.org/quickstart or the tutorials (with pictures!) at hledger.org -> FIRST STEPS or the https://hledger.org/videos.html. To get help, see https://hledger.org#help, and join one of our chat rooms: - #hledger:matrix.org (http://matrix.hledger.org) - #hledger:libera.chat (http://irc.hledger.org) Beginners and experts, contributors, sponsors, and all feedback are most welcome! Wishing you health and prosperity, -Simon

1 0

Spam Control
by Gershom B 30 Jun '21

30 Jun '21

On Jun 29, 2021, 4:57 AM -0400, Ivan Perez <ivanperezdominguez(a)gmail.com>, wrote: > Can we please permanently ban this person and everyone from the confscience.com domain? > > Thanks, > > Ivan Done. —Gershom

1 0

Using Data.String.Conversions
by Galaxy Being 30 Jun '21

30 Jun '21

I would simply like to use Data.String.Conversions, specifically the cs function while I'm in my global ghci REPL. Here's the code I'm working on (from here <https://zacwood.me/posts/2020-12-29-dates-ihp/>) parseDay' :: String -> Maybe Day parseDay' = parseTimeM True defaultTimeLocale "%Y-%m-%d" then mydate = getCurrentTime (Data.Time imported just fine.) parseDay' $ takeWhile ('T' /=) (cs mydate) My problem is I can import and expose Data.Time, but Data.String.Conversions will not import to my global REPL. Any tips on doing this project-based would be enlightening too. ⨽ Lawrence Bottorff Grand Marais, MN, USA borgauf(a)gmail.com

3 5

Re: [Haskell-cafe] Prolog-style list syntax?
by Johannes Waldmann 29 Jun '21

29 Jun '21

> `[ x, y, z | zs ]` is also valid; [...] > That structure is particularly ugly in Haskell syntax. how so? `x : y : z : zs` Prolog list syntax is ugly here because the "cons" operator (|) needs special parentheses. Well, a similar thing in Haskell ist the ".." (enumFromTo) operator. For syntactic generality, you could go full Agda https://agda.readthedocs.io/en/v2.6.0.1/language/mixfix-operators.html but I'm not sure whether brackets could be "name parts" - J.W.

9 10

Re: [Haskell-cafe] [Haskell Cafe] How to debug stack build failure? (YAMAMOTO Yuji)
by David Banas 29 Jun '21

29 Jun '21

$ stack build -v Version 2.7.1, Git revision 8afe0c2932716b0441cf4440d6942c59568b6b19 x86_64 hpack-0.34.4 {snip} 2021-06-28 16:20:17.903335: [info] comonad > configure 2021-06-28 16:20:17.905709: [debug] Run process within /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/: /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/bin/ghc-8.8.4 --make -odir /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup -hidir /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup -i -i. -clear-package-db -global-package-db -package-db=/home/david/.stack/snapshots/x86_64-linux/6d64ef72f82ddc8525a7ddc3720c5e56c966b1ecb86aceed15c48dc305ef2f2c/8.8.4/pkgdb -package-db=/home/david/prj/haskarch/.stack-work/install/x86_64-linux/6d64ef72f82ddc8525a7ddc3720c5e56c966b1ecb86aceed15c48dc305ef2f2c/8.8.4/pkgdb -hide-all-packages -package-id=Cabal-3.0.1.0 -package-id=base-4.13.0.0 -package-id=cabal-doctest-1.0.8-2wQRz9ec1yB5lMDRmEgBWB -optP-include -optP/tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup_macros.h /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/Setup.lhs /home/david/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs -main-is StackSetupShim.mainOverride -o /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup -threaded 2021-06-28 16:20:17.943489: [warn] comonad > /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/ghc: /lib64/libtinfo.so.5: no version information available (required by /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/../haskeline-0.7.5.0/libHShaskeline-0.7.5.0-ghc8.8.4.so) 2021-06-28 16:20:17.944049: [warn] comonad > /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/ghc: /lib64/libtinfo.so.5: no version information available (required by /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/../ghc-8.8.4/libHSghc-8.8.4-ghc8.8.4.so) 2021-06-28 16:20:17.944266: [warn] comonad > /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/ghc: /lib64/libtinfo.so.5: no version information available (required by /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/../terminfo-0.4.1.4/libHSterminfo-0.4.1.4-ghc8.8.4.so) 2021-06-28 16:20:18.075957: [info] comonad > [1 of 2] Compiling Main ( /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/Setup.lhs, /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/Main.o ) 2021-06-28 16:20:18.195209: [info] comonad > [2 of 2] Compiling StackSetupShim ( /home/david/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/StackSetupShim.o ) 2021-06-28 16:20:18.353001: [info] comonad > Linking /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup ... 2021-06-28 16:20:20.173612: [debug] Process finished in 2267ms: /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/bin/ghc-8.8.4 --make -odir /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup -hidir /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup -i -i. -clear-package-db -global-package-db -package-db=/home/david/.stack/snapshots/x86_64-linux/6d64ef72f82ddc8525a7ddc3720c5e56c966b1ecb86aceed15c48dc305ef2f2c/8.8.4/pkgdb -package-db=/home/david/prj/haskarch/.stack-work/install/x86_64-linux/6d64ef72f82ddc8525a7ddc3720c5e56c966b1ecb86aceed15c48dc305ef2f2c/8.8.4/pkgdb -hide-all-packages -package-id=Cabal-3.0.1.0 -package-id=base-4.13.0.0 -package-id=cabal-doctest-1.0.8-2wQRz9ec1yB5lMDRmEgBWB -optP-include -optP/tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup_macros.h /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/Setup.lhs /home/david/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs -main-is StackSetupShim.mainOverride -o /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup -threaded Progress 1/10 2021-06-28 16:20:20.191005: [error] Did not find executable at specified path: /tmp/stack-d3c8d82a69b145e0/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup > On Jun 29, 2021, at 5:00 AM, haskell-cafe-request(a)haskell.org wrote: > > Try stack build -v firstable.

1 0

Prolog-style list syntax?
by Anthony Clayden 29 Jun '21

29 Jun '21

One of the annoying (to me) inconsistencies with Haskell syntax is that `[ ]` means 'here comes a list'; but for the most common way to write a list, you can't use `[ ]`: > elem x [] = False > elem x ( y: ys ) = ... Prolog syntax has lists, signalled by `[ ]`: [], [1], [2, 3], [4, 5, 6], [[7, 8], [9, 10, 11]] are all valid list literals. For cons it also uses `[ ]` syntax > elem x [y | ys ] = ... `[ x, y, z | zs ]` is also valid; pattern match or build a list with at least 3 elements, where `zs` is the tail -- 4th element onwards (if any). That structure is particularly ugly in Haskell syntax. Neither `|` inside `[ ]` in a pattern nor a comma-list with `|` inside `[ ]` is valid H98 syntax, nor valid in GHC extensions AFAICT. In an expression, `[ x | xs ]` could be taken as a list comprehension, which is I guess why Haskell didn't follow Prolog. I've come across another theorem-prover that follows Prolog style, except it uses `:` instead of `|` inside `[ ]`. Unfortunately ... > elem x [ y: ys ] = ... Is valid syntax, where `:` is cons, so this is a nested list. I'm thinking that's relatively uncommon, and means the same as `[ ( y: ys ) ]`. Would anyone be violently pro or anti changing the meaning of `:` appearing at top level in `[ ]` to mean cons-tail? AntC

4 4

Help Improving Conduit Performance
by Matthew Leach 29 Jun '21

29 Jun '21

Hi there! I'm currently trying to write a program for the creation of IQ samples from various sound files; AM is my current focus. This seems like a really good application for the conduit library. I've so far got: --8<---------------cut here---------------start------------->8--- run :: AMOptions -> IO () run opts = do (info, Just (aSamps :: SV.Buffer Float)) <- SF.readFile $ inputFile opts putStr "Processing samples... " hFlush stdout runConduitRes $ yieldMany (SV.fromBuffer aSamps) .| modulateAM (modIndex opts) .| zeroStuff (upsample opts) .| mapC renderSample .| unsafeBuilderToByteString .| sinkFile (outputFile opts) --8<---------------cut here---------------end--------------->8--- However, this is *slow*. It takes over 40 seconds to run; I've previously implemented the above without using streaming and this code took approx 3 seconds to run with the same input. I compiled the code for profiling and it appears as though the main culprit is the function `injectLeftovers': --8<---------------cut here---------------start------------->8--- Mon Jun 28 22:55 2021 Time and Allocation Profiling Report (Final) ayeQ +RTS -p -RTS am -i /Users/matthew/40.flac -o /Users/matthew/out.cfile -u 15 -m 150 total time = 76.32 secs (76322 ticks @ 1000 us, 1 processor) total alloc = 445,275,685,456 bytes (excludes profiling overheads) COST CENTRE MODULE SRC %time %alloc injectLeftovers Data.Conduit.Internal.Pipe src/Data/Conduit/Internal/Pipe.hs:(410,1)-(418,38) 79.5 81.6 runPipe Data.Conduit.Internal.Pipe src/Data/Conduit/Internal/Pipe.hs:(395,1)-(399,33) 7.1 5.0 awaitForever Data.Conduit.Internal.Conduit src/Data/Conduit/Internal/Conduit.hs:(950,1)-(952,10) 5.3 3.7 run AM AM.hs:(62,1)-(77,88) 4.4 7.0 renderSample Render Render.hs:8:1-58 3.5 2.5 --8<---------------cut here---------------end--------------->8--- I'm at a bit of a loss as to where to start looking for why this particlar function is using so many resources, or which part of the pipeline is causing the issue. The custom pieces of code that I've got in the pipeline are: --8<---------------cut here---------------start------------->8--- modulateAM' :: Int -> Float -> IQ modulateAM' modIdx s = (base + amp) :+ 0.0 where x = fromIntegral modIdx / 200 amp = s * x base = 1 - x modulateAM :: Monad m => Int -> ConduitT Float IQ m () modulateAM = mapC . modulateAM' --8<---------------cut here---------------end--------------->8--- --8<---------------cut here---------------start------------->8--- zeroStuff :: Monad m => Int -> ConduitT IQ IQ m () zeroStuff factor = awaitForever (\v -> yield v >> replicateM_ (factor - 1) (yield zero)) where zero = 0 :+ 0 --8<---------------cut here---------------end--------------->8--- --8<---------------cut here---------------start------------->8--- renderSample :: IQ -> Builder renderSample (real :+ imag) = floatLE real <> floatLE imag --8<---------------cut here---------------end--------------->8--- Any help would be appreciated! Regards, -- Matt

1 0

Re: [Haskell-cafe] Prolog-style list syntax?
by Johannes Waldmann 29 Jun '21

29 Jun '21

>> but it would be interesting if this worked: >> >> [x, y, z] ++ zs = list this works in Curry; a functional-logic PL, very roughly: Prolog semantics (in a sane way) with Haskell syntax and typing https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/ - J.W.

1 0

How to debug stack build failure?
by David Banas 29 Jun '21

29 Jun '21

Anyone know how to start debugging this? $ stack build comonad > configure comonad > /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/ghc: /lib64/libtinfo.so.5: no version information available (required by /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/../haskeline-0.7.5.0/libHShaskeline-0.7.5.0-ghc8.8.4.so) comonad > /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/ghc: /lib64/libtinfo.so.5: no version information available (required by /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/../ghc-8.8.4/libHSghc-8.8.4-ghc8.8.4.so) comonad > /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/ghc: /lib64/libtinfo.so.5: no version information available (required by /home/david/.stack/programs/x86_64-linux/ghc-8.8.4/lib/ghc-8.8.4/bin/../terminfo-0.4.1.4/libHSterminfo-0.4.1.4-ghc8.8.4.so) comonad > [1 of 2] Compiling Main ( /tmp/stack-038db506ab1301e1/comonad-5.0.6/Setup.lhs, /tmp/stack-038db506ab1301e1/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/Main.o ) comonad > [2 of 2] Compiling StackSetupShim ( /home/david/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /tmp/stack-038db506ab1301e1/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/StackSetupShim.o ) comonad > Linking /tmp/stack-038db506ab1301e1/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup ... Progress 1/10 Did not find executable at specified path: /tmp/stack-038db506ab1301e1/comonad-5.0.6/.stack-work/dist/x86_64-linux/Cabal-3.0.1.0/setup/setup

2 1

Munich Virtual Haskell Meeting, 2021-06-29 @ 19:30
by Leah Neukirchen 27 Jun '21

27 Jun '21

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Tuesday, June 29 on Jitsi at 19:30 CEST. **Due to bad weather for meetings outside this meeting will take place online!** For details see here: https://muenchen.haskell.bayern/dates.html A Jitsi link to join the room is provided on the page. Everybody is welcome, especially the Haskellers from Bavaria that do not usually come to our Munich meetings due to travel distance! cu, -- Leah Neukirchen <leah(a)vuxu.org> https://leahneukirchen.org/

1 0