IRCBrowse

2022/05/26

2022-05-26 00:13:28 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-05-26 00:14:49 +0200hueso(~root@user/hueso) (Quit: hueso)
2022-05-26 00:18:47 +0200hueso(~root@user/hueso)
2022-05-26 00:20:37 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-26 00:20:47 +0200chomwitt(~chomwitt@2a02:587:dc17:d600:c965:87d5:7916:d9b7) (Ping timeout: 260 seconds)
2022-05-26 00:21:28 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-26 00:23:26 +0200hueso(~root@user/hueso) (Client Quit)
2022-05-26 00:26:02 +0200hueso(~root@user/hueso)
2022-05-26 00:27:13 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
2022-05-26 00:32:20 +0200acidjnk(~acidjnk@p200300d0c7068b84f5dd1c47af5d1c76.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-05-26 00:34:41 +0200n3t(n3t@s45.mydevil.net) (Changing host)
2022-05-26 00:34:41 +0200n3t(n3t@user/n3t)
2022-05-26 00:41:31 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 00:44:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 00:48:01 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-05-26 00:48:47 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-05-26 00:55:18 +0200bgs(~bgs@cpe-212-85-160-171.cable.telemach.net) (Read error: Connection reset by peer)
2022-05-26 00:55:37 +0200bgs(~bgs@212.85.160.171)
2022-05-26 01:01:08 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-05-26 01:04:23 +0200raym(~raym@user/raym) (Ping timeout: 255 seconds)
2022-05-26 01:06:34 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2022-05-26 01:09:01 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2022-05-26 01:11:37 +0200mmhat(~mmh@p200300f1c705846fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2022-05-26 01:15:57 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!)
2022-05-26 01:16:05 +0200lkira(~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608)
2022-05-26 01:16:21 +0200machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2022-05-26 01:17:05 +0200 <lkira> How hard would be create a script in haskell that run shell commands to use FFMPEG to compresse some videos on a folder?
2022-05-26 01:17:28 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-26 01:19:15 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-05-26 01:19:34 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 01:19:36 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-05-26 01:19:47 +0200 <hpc> less hard than figuring out ffmpeg commands is :P
2022-05-26 01:19:50 +0200 <hpc> https://hackage.haskell.org/package/process-1.6.14.0/docs/System-Process.html
2022-05-26 01:20:25 +0200 <lkira> I already made that script with python
2022-05-26 01:20:31 +0200 <lkira> but I lost the source code lol
2022-05-26 01:20:53 +0200 <hpc> heh
2022-05-26 01:20:54 +0200 <shapr> lkira: months ago I made something vaguely related: https://gist.github.com/shapr/20bb48a22bee23fcc3118e579239176b
2022-05-26 01:21:13 +0200 <shapr> My goal was to record my screen while I wrote code and then examine the video later
2022-05-26 01:21:29 +0200 <hpc> there's also some direct bindings - https://hoogle.haskell.org/?hoogle=ffmpeg
2022-05-26 01:22:34 +0200 <EvanR> ffmpeg is really quite easy to use, but this margin is too narrow to fit the command line flags
2022-05-26 01:22:59 +0200 <lkira> shapr thanks, would be possible to run multiple ffmpeg process in parallel with a command like your command?
2022-05-26 01:23:43 +0200 <shapr> yeah, hit it harder with System.Process
2022-05-26 01:24:01 +0200 <lkira> hpc thanks for recommending this package, I'll check if this helps me
2022-05-26 01:24:02 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 01:24:36 +0200mmhat(~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de)
2022-05-26 01:24:59 +0200 <geekosaur> you run one command for each ffmpeg, then loop on waitForProcess
2022-05-26 01:25:12 +0200 <geekosaur> or the System.Process version thereof
2022-05-26 01:26:05 +0200lkira(~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608) (Quit: Client closed)
2022-05-26 01:28:54 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 276 seconds)
2022-05-26 01:31:27 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-05-26 01:34:02 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2022-05-26 01:35:05 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2022-05-26 01:35:15 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-05-26 01:37:01 +0200pavonia(~user@user/siracusa)
2022-05-26 01:38:39 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-05-26 01:40:27 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-26 01:42:58 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-05-26 01:43:17 +0200 <dons> morning all
2022-05-26 01:43:22 +0200 <shapr> g'day dons
2022-05-26 01:43:28 +0200 <geekosaur> o/
2022-05-26 01:43:40 +0200 <jackdk> hi dons
2022-05-26 01:45:48 +0200nate1(~nate@98.45.169.16)
2022-05-26 01:45:52 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a)
2022-05-26 01:46:34 +0200jpds1(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-26 01:48:23 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net)
2022-05-26 01:48:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2022-05-26 01:48:34 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 01:48:45 +0200jpds1(~jpds@gateway/tor-sasl/jpds)
2022-05-26 01:49:59 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-26 01:52:10 +0200 <Axman6> o/
2022-05-26 01:52:14 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 01:53:01 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds)
2022-05-26 01:53:31 +0200 <EvanR> /o
2022-05-26 01:53:48 +0200 <Axman6> \/o\
2022-05-26 01:54:04 +0200 <Axman6> I never have managed to figurew out how to send a / as the first character in glirc
2022-05-26 01:54:12 +0200Sauvin(~sauvin@about/linux/staff/sauvin) (Read error: Connection reset by peer)
2022-05-26 01:54:18 +0200 <Axman6> /o\
2022-05-26 01:54:22 +0200 <Axman6> ah there we go
2022-05-26 01:54:27 +0200 <Axman6> h4x3d
2022-05-26 01:54:44 +0200 <jackdk> haxman6
2022-05-26 01:54:54 +0200Sauvin(~sauvin@about/linux/staff/sauvin)
2022-05-26 01:55:46 +0200 <EvanR> /say right
2022-05-26 01:56:57 +0200 <Axman6> I used /msg #haskell but say probably works too
2022-05-26 01:57:02 +0200 <Axman6> /o\
2022-05-26 01:57:05 +0200 <Axman6> it does
2022-05-26 01:57:51 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
2022-05-26 02:01:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 02:02:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 02:04:48 +0200lkira(~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608)
2022-05-26 02:12:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 02:15:34 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 02:15:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-05-26 02:17:08 +0200Guest|62(~Guest|62@c-71-205-105-44.hsd1.co.comcast.net)
2022-05-26 02:18:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-05-26 02:22:22 +0200 <Guest|62> Hello all, I am trying to install gchcup and cabal in a docker container with `FROM arm64v8/ubuntu` as base image. I install the necessary deps, and `RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh` to install everything noninteractively. It installs correctly, but `RUN .
2022-05-26 02:22:23 +0200 <Guest|62> /root/.ghcup/env` and `RUN . /root/.bashrc` to source the necessary files does not seem to be working. I can exec -it into the container, run `cabal` and i get `bash: cabal: command not found` Any ideas what I'm doing wrong?
2022-05-26 02:24:42 +0200 <hpc> aren't RUN commands all in separate shells?
2022-05-26 02:25:11 +0200lkira33(~lkira@45.187.213.219)
2022-05-26 02:25:12 +0200lkira(~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608) (Quit: Client closed)
2022-05-26 02:25:16 +0200lkira33(~lkira@45.187.213.219) (Client Quit)
2022-05-26 02:25:28 +0200lkira(~lkira@45.187.213.219)
2022-05-26 02:25:37 +0200lkira(~lkira@45.187.213.219) (Client Quit)
2022-05-26 02:25:55 +0200 <jackdk> Yeah I think that's right - try something like `RUN . /root/.bashrc && ...`. It's often considered good practice to consolidate RUN statements to avoid generating intermediate layers too
2022-05-26 02:25:59 +0200 <jackdk> at least AIUI
2022-05-26 02:27:10 +0200 <Axman6> it feels like adding the source lines into your ~/.bashrc or ~/.profile would be the right way to do things
2022-05-26 02:27:53 +0200 <hpc> nah, all the stuff to get cabal working is build-time
2022-05-26 02:28:05 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-05-26 02:28:10 +0200 <Axman6> eh?
2022-05-26 02:28:23 +0200 <hpc> the container doesn't need cabal or all that env stuff after it's built
2022-05-26 02:28:41 +0200 <Axman6> well, that depends on what you're using it for I guess?
2022-05-26 02:29:21 +0200 <Guest|62> I am trying the `RUN . /root/.bashrc && ...` as suggested.
2022-05-26 02:30:26 +0200 <Guest|62> I am trying to build a haskell project. fairly new to docker, and completely new to haskell.
2022-05-26 02:30:30 +0200 <hpc> Axman6: oh, you mean outside the container image
2022-05-26 02:31:02 +0200Etxeberrialex[m](~etxeberri@2001:470:69fc:105::1:5ae6)
2022-05-26 02:33:56 +0200moonsheep(~user@user/moonsheep) (Remote host closed the connection)
2022-05-26 02:34:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 02:35:15 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-05-26 02:35:17 +0200 <dons> here's a simple example of building a cabal package or two , on github , using the haskell action. https://github.com/donsbot/if-proto-scip-hs/blob/main/.github/workflows/ci.yml
2022-05-26 02:35:41 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-26 02:35:53 +0200 <dons> sorry, not that one. this one : https://github.com/sourcegraph/scip/blob/main/.github/workflows/haskell.yml
2022-05-26 02:36:04 +0200 <dons> uses: haskell/actions/setup@v2
2022-05-26 02:36:04 +0200 <dons> with:
2022-05-26 02:36:04 +0200 <dons> ghc-version: '8.10'
2022-05-26 02:36:04 +0200 <dons> cabal-version: 'latest'
2022-05-26 02:36:29 +0200 <dons> takes care of getting paths set up and putting the cabal and ghc on the image.
2022-05-26 02:37:03 +0200 <dons> you can curl ghcup yourself but maybe we don't need to do that all the time by hand, just use the action?
2022-05-26 02:37:11 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 02:37:17 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 02:37:45 +0200 <dons> i think we should probably be shipping arm64v8/ubuntu:{ghc8,ghc9} pre-installed images tbh. would save set up time , but the haskell action is close enough
2022-05-26 02:39:12 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 02:39:39 +0200Macbethwin_(~chargen@D964062A.static.ziggozakelijk.nl)
2022-05-26 02:40:33 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-05-26 02:41:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2022-05-26 02:41:48 +0200Lord_of_Life_Lord_of_Life
2022-05-26 02:42:02 +0200vicfred(~vicfred@user/vicfred)
2022-05-26 02:42:10 +0200 <Guest|62> Thank you all for the help. I feel dumb for not realizing that each RUN is a separate shell '=(
2022-05-26 02:42:18 +0200 <Guest|62> ...Now to figure out the build errors xD
2022-05-26 02:42:44 +0200 <geekosaur> @where paste
2022-05-26 02:42:44 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2022-05-26 02:43:11 +0200Chargen(~chargen@8.21.8.233) (Ping timeout: 246 seconds)
2022-05-26 02:43:56 +0200 <jackdk> Guest|62: come to think of it, I wouldn't be surprised if there's a ghcup-specific env file you can source (`.`) instead of rereading all of root's bashrc
2022-05-26 02:43:56 +0200frost(~frost@user/frost)
2022-05-26 02:44:05 +0200 <jackdk> but also yes please pastebin your build errors
2022-05-26 02:45:59 +0200 <geekosaur> that was the "/root/.ghcup/env"
2022-05-26 02:46:27 +0200 <jackdk> sounds right
2022-05-26 02:47:43 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds)
2022-05-26 02:47:50 +0200 <Guest|62> Looks like LLVM is just a missing dep?
2022-05-26 02:47:51 +0200 <Guest|62> https://paste.tomsmeding.com/DBxIkzDf
2022-05-26 02:48:13 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 02:48:42 +0200 <Axman6> I'm surprised that you would need LLVM, it';s not the defaukt. are you using -fllvm?
2022-05-26 02:48:49 +0200 <Axman6> default*
2022-05-26 02:48:58 +0200 <geekosaur> or using 8.10 on ARM
2022-05-26 02:49:02 +0200 <jackdk> Maybe it's the default on aarch64 Axman6 ?
2022-05-26 02:49:06 +0200 <Axman6> ah, that would make sense
2022-05-26 02:49:17 +0200 <Axman6> not for newer GHC, but old ones sure
2022-05-26 02:49:32 +0200 <Axman6> seems like 9.2 is the compiler to target these days
2022-05-26 02:49:45 +0200 <jackdk> I think Guest|62 would need to install it via apt before installing ghcup. Yeah I look forward to moving to 9.2 one day
2022-05-26 02:49:59 +0200 <Axman6> (I say that not having written much actual Haskell lately so no actual experience)
2022-05-26 02:50:41 +0200 <Guest|62> Ok I will give that a try.
2022-05-26 02:58:26 +0200werneta(~werneta@137.79.206.133) (Ping timeout: 244 seconds)
2022-05-26 02:58:34 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-26 03:01:15 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 258 seconds)
2022-05-26 03:04:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 03:08:35 +0200Macbethwin_(~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 255 seconds)
2022-05-26 03:14:21 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-05-26 03:15:19 +0200 <Guest|62> yeah i get the same error in my pasty after installing all the llvm packages from the stable branch install here: https://apt.llvm.org/
2022-05-26 03:22:27 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net)
2022-05-26 03:23:32 +0200 <jackdk> Guest|62: let me launch an aarch64 vm and have a play
2022-05-26 03:25:41 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-05-26 03:29:23 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2022-05-26 03:31:24 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 03:31:41 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 03:40:25 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-05-26 03:45:52 +0200andrey_(~andrey@p200300dbcf12d50000223011ec3a0f6f.dip0.t-ipconnect.de)
2022-05-26 03:45:56 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-fd61-bef1-1785-5028.res6.spectrum.com)
2022-05-26 03:46:14 +0200 <jackdk> Guest|62: I'll post here for the benefit of anyone logging. I had to install `libnuma-dev` as well as the packages mentioned by ghcup: `build-essential curl libffi-dev libffi8ubuntu1 libgmp-dev libgmp10 libncurses-dev libncurses5 libtinfo5`. I also had to install `llvm-12` as it was asking for llvm in [9,13) (i.e., >=9 && <13)
2022-05-26 03:47:56 +0200 <jackdk> Guest|62: Then, in a shell where I want to build haskell programs, I set `PATH=/usr/lib/llvm-12/bin:$PATH` so ghc could find the llvm binaries. It seems to be merrily compiling now, as I did `cabal repl -b lens` just to give it a bunch of stuff to do
2022-05-26 03:48:06 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-26 03:48:33 +0200andrey__(~andrey@p200300dbcf0c3500f9c88a1de397731a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2022-05-26 03:48:37 +0200 <jackdk> Guest|62: what this means for you, I think, is that whenever you do a `RUN` that build haskell stuff, you should start it like `RUN . /root/.ghcup/env && export PATH=/usr/lib/llvm-12/bin:$PATH && ...`.
2022-05-26 03:49:27 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-05-26 03:50:32 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-05-26 03:50:43 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 03:51:18 +0200 <Guest|62> sweet! Ok let me give that a try:)
2022-05-26 03:51:28 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 03:51:50 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 03:51:56 +0200jao(~jao@45.134.213.210)
2022-05-26 03:52:06 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 03:56:24 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 03:56:30 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-26 03:58:17 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-fd61-bef1-1785-5028.res6.spectrum.com) (Remote host closed the connection)
2022-05-26 03:59:02 +0200 <dragestil> Has anyone used ghc-lib? I'm trying to compile an old package using low level apis of ghc-8.6.5 with ghc-9.2.2, which afaik is the standard usecase for ghc-lib. So I replaced ghc with ghc-lib ==8.6.5 in the .cabal build dependes, but cabal new-build seems to be unable to use ghc-lib-8.6.5, and rejects ghc-lib-9.2.2
2022-05-26 03:59:39 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-05-26 03:59:54 +0200jao(~jao@45.134.213.210) (Ping timeout: 258 seconds)
2022-05-26 04:00:07 +0200TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-05-26 04:00:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-26 04:00:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-26 04:00:27 +0200wroathe(~wroathe@user/wroathe)
2022-05-26 04:01:02 +0200 <jackdk> I have not, but I would've imagined that it'd have to match teh ghc actually in use
2022-05-26 04:01:39 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-26 04:01:56 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 04:02:29 +0200 <dragestil> but the point of ghc-lib is that you don't have to match the ghc version used to compile with the ghc api used in the source...
2022-05-26 04:02:51 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2022-05-26 04:03:05 +0200 <dragestil> https://github.com/digital-asset/ghc-lib > the GHC API comes preinstalled with GHC, and is tied to that GHC version - if you are using GHC 8.6.3, you get version 8.6.3 of the API, and can't change it. The ghc-lib project solves that problem, letting you mix and match versions of the GHC compiler and GHC API.
2022-05-26 04:03:11 +0200 <Guest|62> Thank you big time jackdk!! Your solution worked for me. I'm on to the next set of errors in the build which I think just some more `apt-get` installs should hopefully fix.
2022-05-26 04:04:25 +0200 <jackdk> Guest|62: you're welcome. If this is stuff that can go public, it could be written as a cool "here's how I build haskell stuff in an aarch64 container" blogpost
2022-05-26 04:04:50 +0200BusConscious(~martin@ip5f5bdf3a.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2022-05-26 04:04:51 +0200 <jackdk> good luck with the next round of errors
2022-05-26 04:09:09 +0200 <Guest|62> That's a good idea. I think this portion would be fine to go public, but I will ask my team lead if it's ok to be sure and then maybe draft up the blog post (y)
2022-05-26 04:09:52 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 258 seconds)
2022-05-26 04:10:38 +0200MacbethwinChargen
2022-05-26 04:11:18 +0200 <jackdk> fair enough
2022-05-26 04:12:06 +0200flinner(~flinner@user/flinner)
2022-05-26 04:15:00 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-05-26 04:16:50 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 04:18:33 +0200seriously(~seriously@ool-18bd5811.dyn.optonline.net)
2022-05-26 04:19:37 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 04:20:41 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-26 04:22:02 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 04:22:29 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 04:23:05 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 04:23:22 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 04:25:44 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-05-26 04:27:02 +0200phma_phma
2022-05-26 04:28:21 +0200dcoutts_(~duncan@host109-149-15-56.range109-149.btcentralplus.com)
2022-05-26 04:30:30 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 04:30:39 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-05-26 04:30:58 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl)
2022-05-26 04:31:02 +0200dcoutts(~duncan@host213-122-143-3.range213-122.btcentralplus.com) (Ping timeout: 260 seconds)
2022-05-26 04:41:21 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-05-26 04:42:33 +0200danyisill(~danny@2a02:2149:8b7e:c000:514a:5a34:fc40:cdf3)
2022-05-26 04:45:10 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 04:45:27 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 04:45:37 +0200 <danyisill> hey guys, how do i compact this 'mapM_ (flip hSetBuffering NoBuffering) [stdout, stdin] >> hSetEcho stdin False ' --hSetEcho can be applied to stdout too. Just getting into functional from procedural
2022-05-26 04:45:47 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 04:47:57 +0200mmhat(~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-05-26 04:49:26 +0200 <jackdk> honestly I'd probably just write a `do` block like `do { hSetEcho stdin False; hSetBuffering stdin NoBuffering; hSetBuffering stdout NoBuffering }` but you could also do silly things like `flip hsSetBuffering NoBuffering <> flip hSetEcho False $ stdin`. I would have Words with anyone who put that into a PR though :P
2022-05-26 04:49:50 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-05-26 04:50:27 +0200_xor(~xor@72.49.198.103)
2022-05-26 04:50:49 +0200 <danyisill> heh, i see
2022-05-26 04:50:52 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-05-26 04:51:05 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-05-26 04:52:14 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 04:52:55 +0200_xor(~xor@72.49.198.103) (Client Quit)
2022-05-26 04:55:08 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-05-26 04:55:08 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-05-26 04:55:08 +0200finn_elijaFinnElija
2022-05-26 04:59:36 +0200_xor(~xor@72.49.198.103)
2022-05-26 05:00:18 +0200seriously(~seriously@ool-18bd5811.dyn.optonline.net) (Ping timeout: 252 seconds)
2022-05-26 05:00:27 +0200jbox(~jbox@user/jbox)
2022-05-26 05:03:29 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr)
2022-05-26 05:08:45 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 256 seconds)
2022-05-26 05:10:21 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-05-26 05:10:49 +0200coot(~coot@213.134.190.95)
2022-05-26 05:11:45 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-05-26 05:12:06 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl)
2022-05-26 05:12:11 +0200jbox(~jbox@user/jbox) (Quit: Leaving)
2022-05-26 05:12:26 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-26 05:12:26 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-05-26 05:13:20 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-05-26 05:13:41 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl)
2022-05-26 05:13:52 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-26 05:14:10 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-05-26 05:14:16 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 258 seconds)
2022-05-26 05:14:50 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-05-26 05:16:24 +0200jao(jao@gateway/vpn/protonvpn/jao)
2022-05-26 05:17:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 05:17:34 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 05:21:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 255 seconds)
2022-05-26 05:27:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 05:29:26 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2022-05-26 05:31:07 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2022-05-26 05:36:04 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-05-26 05:37:21 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-05-26 05:37:55 +0200[_][itchyjunk]
2022-05-26 05:42:47 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-05-26 05:46:54 +0200nate1(~nate@98.45.169.16)
2022-05-26 05:51:22 +0200jushur(~human@user/jushur)
2022-05-26 05:52:07 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-05-26 05:56:14 +0200raym(~raym@user/raym)
2022-05-26 05:56:40 +0200notzmv(~zmv@user/notzmv)
2022-05-26 05:57:12 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 258 seconds)
2022-05-26 06:00:53 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net)
2022-05-26 06:05:15 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds)
2022-05-26 06:09:04 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 06:10:02 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 246 seconds)
2022-05-26 06:11:04 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2022-05-26 06:12:24 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 06:12:48 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-05-26 06:16:11 +0200kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2022-05-26 06:22:17 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds)
2022-05-26 06:22:23 +0200ashpil(~ashpil@98.42.126.67)
2022-05-26 06:23:38 +0200 <ashpil> I've been playing around with FFI and am trying to understand how to use functions defined in a system library. Like say I'm using GLFW, which is a C library I have installed in my system -- I know to declare C functions I can use the `foreign import`, but how do I actually tell Haskell/Cabal/Stack where to find those functions?
2022-05-26 06:26:25 +0200 <sm> http://book.realworldhaskell.org/read/interfacing-with-c-the-ffi.html , any help ?
2022-05-26 06:26:29 +0200 <jackdk> ashpil: I tend to use https://cabal.readthedocs.io/en/latest/cabal-package.html#pkg-field-pkgconfig-depends , see https://git.sr.ht/~jack/libtelnet-haskell/tree/master/item/libtelnet.cabal#L39 for an example
2022-05-26 06:27:01 +0200 <jackdk> ashpil: if your library is not provided by pkg-config, `extra-libraries` may bring you joy
2022-05-26 06:27:03 +0200 <sm> aha
2022-05-26 06:31:10 +0200 <EvanR> note that glfw has nice bindings on hackage already, but yeah
2022-05-26 06:31:47 +0200Guest5455(~Guest54@modemcable048.16-160-184.mc.videotron.ca)
2022-05-26 06:32:06 +0200 <EvanR> I would say you could look at how they do it, but no, they autogenerate the bindings from the C headers
2022-05-26 06:40:14 +0200 <ashpil> jackdk: yay, thanks for pointing me in the right direction! Just to confirm, if my library is in a weird location, the correct thing to do would be to add `ld-options: -L <...>`, correct?
2022-05-26 06:40:28 +0200 <ashpil> EvanR: yeah I'm aware, just wanted to understand how this stuff works myself
2022-05-26 06:44:05 +0200 <jackdk> ashpil: the fact that it's in a weird location is probably due to your system, so I'd pass that flag on the cabal command line
2022-05-26 06:45:43 +0200 <Axman6> I would've thought that was something pkgconfig would sort out for you
2022-05-26 06:47:22 +0200 <jackdk> if glfw is supported by pkg-config you may still have to set `PKG_CONFIG_PATH` environment variable
2022-05-26 06:52:21 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-05-26 06:52:29 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-05-26 06:52:59 +0200kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2022-05-26 06:53:48 +0200zaquest(~notzaques@5.130.79.72)
2022-05-26 06:54:47 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-05-26 07:04:28 +0200fef(~thedawn@user/thedawn)
2022-05-26 07:06:04 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-26 07:08:27 +0200ashpil(~ashpil@98.42.126.67) (Quit: Client closed)
2022-05-26 07:16:20 +0200Guest5455(~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds)
2022-05-26 07:16:42 +0200euandreh(~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 260 seconds)
2022-05-26 07:18:27 +0200euandreh(~euandreh@2804:14c:33:966c:2059:6e22:1326:6607)
2022-05-26 07:19:48 +0200Guest5490(~Guest54@modemcable048.16-160-184.mc.videotron.ca)
2022-05-26 07:20:03 +0200 <Guest5490> what does deriving show at the end of a data type mean in haskell ?
2022-05-26 07:21:12 +0200 <pavonia> Auto-derive an instance of class Show for this data type
2022-05-26 07:21:47 +0200 <Guest5490> thank you for your answer
2022-05-26 07:22:09 +0200 <Guest5490> can you give me or refeer an exemple to be more clear please ?
2022-05-26 07:22:22 +0200 <Guest5490> refer*
2022-05-26 07:24:21 +0200 <pavonia> You may want to read an introduction into type classes first, like https://en.wikibooks.org/wiki/Haskell/Classes_and_types
2022-05-26 07:26:05 +0200califax(~califax@user/califx)
2022-05-26 07:26:27 +0200 <pavonia> or http://learnyouahaskell.com/types-and-typeclasses
2022-05-26 07:30:17 +0200 <Guest5490> thank you so much
2022-05-26 07:35:25 +0200vysn(~vysn@user/vysn)
2022-05-26 07:36:19 +0200michalz(~michalz@185.246.204.121)
2022-05-26 07:40:18 +0200Sauvin(~sauvin@about/linux/staff/sauvin) (Read error: Connection reset by peer)
2022-05-26 07:40:59 +0200Sauvin(~sauvin@about/linux/staff/sauvin)
2022-05-26 07:43:22 +0200chomwitt(~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa)
2022-05-26 07:43:43 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-05-26 07:46:17 +0200Sauvin(~sauvin@about/linux/staff/sauvin) (Ping timeout: 246 seconds)
2022-05-26 07:47:27 +0200 <Guest5490> I have a list of Integer i want ot convert it to list of Patient(a type that i created);
2022-05-26 07:47:27 +0200 <Guest5490> data Patient = Patient {
2022-05-26 07:47:28 +0200 <Guest5490>                         patientId :: Int,
2022-05-26 07:47:28 +0200 <Guest5490>                         patientTemps :: Int,
2022-05-26 07:47:29 +0200 <Guest5490>                         patientPriorite :: Int
2022-05-26 07:47:29 +0200 <Guest5490>                         } deriving (Show)
2022-05-26 07:47:30 +0200 <Guest5490> I want to do something like : bar :: [[Int]] -> [[Patient]]
2022-05-26 07:47:35 +0200 <jackdk> @where paste
2022-05-26 07:47:35 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2022-05-26 07:49:13 +0200Sauvin(~sauvin@about/linux/staff/sauvin)
2022-05-26 07:51:51 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-26 07:52:37 +0200koz(~koz@121.99.240.58)
2022-05-26 07:54:33 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 07:55:28 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 07:55:45 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 07:57:24 +0200 <Axman6> what happened to yahb?
2022-05-26 07:57:35 +0200 <jackdk> Guest5490: I am confused by your proposed type signature, which claims to convert a list of list of Int into a list of list of Patient
2022-05-26 07:57:37 +0200 <Axman6> Guest5490: are you sure that's the type you want?
2022-05-26 07:57:51 +0200 <Axman6> not [[Int]] -> [Patient]?
2022-05-26 07:58:02 +0200 <Axman6> Guest5490: also, is this homework?
2022-05-26 07:58:32 +0200 <[Leary]> Guest5490: When trying to write some `bar :: [A] -> [B]`, you usually want to write `foo :: A -> B` and lift it with `fmap`---or in this case, you may want to write a `foo :: A -> Maybe B` and lift it with, say, `traverse`.
2022-05-26 07:58:42 +0200 <dsal> Guest5490: I'm pretty sure you don't want that, though. You can't do a total implementation.
2022-05-26 08:01:35 +0200Guest|62(~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) (Quit: Connection closed)
2022-05-26 08:03:49 +0200Guest54(~Guest54@modemcable048.16-160-184.mc.videotron.ca)
2022-05-26 08:05:48 +0200inversed(~inversed@176.248.27.211) (Ping timeout: 272 seconds)
2022-05-26 08:07:18 +0200Guest5490(~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds)
2022-05-26 08:08:24 +0200Guest54(~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds)
2022-05-26 08:08:35 +0200Guest54(~Guest54@modemcable048.16-160-184.mc.videotron.ca)
2022-05-26 08:09:12 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 260 seconds)
2022-05-26 08:10:29 +0200inversed(~inversed@176.248.27.211)
2022-05-26 08:13:59 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 08:16:43 +0200acidjnk(~acidjnk@p200300d0c7068b246507333a1d24479a.dip0.t-ipconnect.de)
2022-05-26 08:18:35 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-26 08:19:33 +0200 <Axman6> I guess they didn't want help after all. We've had quite a few questions this week about this particular problem, but googling doesn't turn up much. I wonder if it's a university cource
2022-05-26 08:19:38 +0200 <Axman6> course*
2022-05-26 08:20:01 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-05-26 08:20:27 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds)
2022-05-26 08:21:09 +0200 <Guest54> It's okey, thanks...
2022-05-26 08:21:30 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-26 08:21:37 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-26 08:24:43 +0200z0k(~z0k@39.40.98.160)
2022-05-26 08:27:28 +0200Guest54(~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds)
2022-05-26 08:27:31 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 08:27:56 +0200 <jackdk> naw he PM'd me a bunch of stuff while I was on a phone call, then quit when I didn't answer
2022-05-26 08:34:47 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 244 seconds)
2022-05-26 08:35:33 +0200 <Axman6> ¯\_(ツ)_/¯
2022-05-26 08:41:33 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-05-26 08:42:29 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-05-26 08:44:56 +0200coot(~coot@213.134.190.95)
2022-05-26 08:51:54 +0200vpan(~0@212.117.1.172)
2022-05-26 08:52:59 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 08:57:10 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-26 08:57:22 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds)
2022-05-26 08:59:10 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-26 09:00:43 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 09:04:52 +0200z0k(~z0k@39.40.98.160) (Read error: Connection reset by peer)
2022-05-26 09:18:26 +0200Ashkan(~Ashkan@a119011.upc-a.chello.nl)
2022-05-26 09:20:45 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds)
2022-05-26 09:23:48 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-26 09:27:22 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
2022-05-26 09:35:05 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-26 09:36:07 +0200akegalj(~akegalj@78-1-179-207.adsl.net.t-com.hr)
2022-05-26 09:36:07 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 09:40:22 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-05-26 09:47:05 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-05-26 09:48:26 +0200nate1(~nate@98.45.169.16)
2022-05-26 09:48:55 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-26 09:50:58 +0200Guest8054(~Guest80@host-95-250-241-5.retail.telecomitalia.it)
2022-05-26 09:52:59 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-26 09:53:12 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-26 09:53:32 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-05-26 09:57:18 +0200Guest8054(~Guest80@host-95-250-241-5.retail.telecomitalia.it) (Ping timeout: 252 seconds)
2022-05-26 10:06:55 +0200mbuf(~Shakthi@31.32.33.168)
2022-05-26 10:09:15 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-05-26 10:13:58 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980)
2022-05-26 10:14:00 +0200frost(~frost@user/frost)
2022-05-26 10:15:11 +0200mmhat(~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de)
2022-05-26 10:15:23 +0200chimp_(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2022-05-26 10:16:59 +0200Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 255 seconds)
2022-05-26 10:22:55 +0200__monty__(~toonn@user/toonn)
2022-05-26 10:25:19 +0200Midjak(~Midjak@82.66.147.146)
2022-05-26 10:25:33 +0200danyisill(~danny@2a02:2149:8b7e:c000:514a:5a34:fc40:cdf3) (Remote host closed the connection)
2022-05-26 10:29:27 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.5)
2022-05-26 10:31:02 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-26 10:37:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 10:40:17 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:112:ae86:ce54:49b6)
2022-05-26 10:42:45 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-26 10:44:00 +0200vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-05-26 10:44:54 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-05-26 10:46:15 +0200zer0bitz_(~zer0bitz@2001:2003:f444:8f00:2183:31b2:41ac:ceec)
2022-05-26 10:47:29 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-26 10:47:34 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:112:ae86:ce54:49b6) (Ping timeout: 244 seconds)
2022-05-26 10:48:54 +0200vpan(~0@212.117.1.172)
2022-05-26 10:53:36 +0200`2jt(~jtomas@182.red-88-17-61.dynamicip.rima-tde.net)
2022-05-26 10:55:06 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 10:59:35 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-05-26 11:00:17 +0200Pikachu[m](~pychaumat@2001:470:69fc:105::2:1ce) (Quit: You have been kicked for being idle)
2022-05-26 11:05:52 +0200Natch(~natch@92.34.7.158) (Remote host closed the connection)
2022-05-26 11:08:36 +0200Alex_test(~al_test@178.34.163.188) (Quit: ;-)
2022-05-26 11:08:51 +0200AlexZenon(~alzenon@178.34.163.188) (Quit: ;-)
2022-05-26 11:09:01 +0200AlexNoo(~AlexNoo@178.34.163.188) (Quit: Leaving)
2022-05-26 11:11:27 +0200acidjnk(~acidjnk@p200300d0c7068b246507333a1d24479a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-05-26 11:16:00 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 11:16:07 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 11:16:20 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 11:16:44 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 11:18:25 +0200flinner(~flinner@user/flinner) (Using Circe, the loveliest of all IRC clients)
2022-05-26 11:21:11 +0200AlexZenon(~alzenon@178.34.163.188)
2022-05-26 11:22:26 +0200Alex_test(~al_test@178.34.163.188)
2022-05-26 11:22:31 +0200AlexNoo(~AlexNoo@178.34.163.188)
2022-05-26 11:25:13 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-05-26 11:33:13 +0200akegalj(~akegalj@78-1-179-207.adsl.net.t-com.hr) (Quit: leaving)
2022-05-26 11:33:21 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-05-26 11:33:28 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-05-26 11:34:08 +0200noteness(~noteness@user/noteness)
2022-05-26 11:34:18 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-26 11:36:43 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-05-26 11:37:26 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 11:42:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 255 seconds)
2022-05-26 11:49:00 +0200mima(~mmh@net-5-88-214-22.cust.vodafonedsl.it) (Ping timeout: 276 seconds)
2022-05-26 11:49:30 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-26 11:50:01 +0200mima(~mmh@net-5-95-238-67.cust.vodafonedsl.it)
2022-05-26 11:51:08 +0200 <maerwald> seems to be uni course, ghcup channel has been getting more windows user questions lately as well
2022-05-26 11:51:17 +0200mjs2600_(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-05-26 11:52:13 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds)
2022-05-26 11:56:23 +0200 <Hecate> haha yeah
2022-05-26 11:56:39 +0200 <Hecate> maerwald: I may have recommended ghcup to my friend who teaches haskell at Swansea Uni
2022-05-26 11:57:01 +0200 <Hecate> although I think she doesn't have class this semester
2022-05-26 12:00:00 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-05-26 12:01:22 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 258 seconds)
2022-05-26 12:07:03 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 12:13:05 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2022-05-26 12:13:05 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-05-26 12:13:08 +0200allbery_bgeekosaur
2022-05-26 12:15:11 +0200 <maerwald[m]> It seems antivirus or windows defender frequently blocks download and installation of msys2. Windows is a cluster f*ck
2022-05-26 12:21:18 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds)
2022-05-26 12:21:37 +0200 <[exa]> yes.
2022-05-26 12:23:06 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net)
2022-05-26 12:23:57 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-05-26 12:24:14 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-05-26 12:26:59 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2022-05-26 12:27:20 +0200yauhsien(~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-05-26 12:28:23 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2022-05-26 12:33:24 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection)
2022-05-26 12:35:39 +0200 <fendor[m]> at my uni course, I also endorse ghcup as the only true way to install GHC. That's like 300 students
2022-05-26 12:35:55 +0200 <jackdk> Hecate: ANU is on ghcup for its home install instructions too: https://comp.anu.edu.au/courses/comp1100/resources/install/
2022-05-26 12:44:03 +0200dextaa(~DV@user/dextaa)
2022-05-26 12:49:58 +0200 <maerwald[m]> 8.6.5, hmm
2022-05-26 12:56:44 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 255 seconds)
2022-05-26 12:59:06 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-26 12:59:40 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 13:00:07 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 13:00:49 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 13:01:48 +0200 <jackdk> it would be nice if that advanced, I agree, but the course doesn't get far enough into advanced Haskell for it to be limiting
2022-05-26 13:04:29 +0200 <maerwald[m]> My point is rather that 8.6.5 has no darwin M1 support, may have more issues on windows and may soon not be supported by HLS anymore
2022-05-26 13:04:34 +0200 <maerwald[m]> So it's a poor choice
2022-05-26 13:05:00 +0200 <fendor[m]> for the same reason, we upgraded to 8.10.7 this semester
2022-05-26 13:07:59 +0200Ashkan(~Ashkan@a119011.upc-a.chello.nl) (Ping timeout: 255 seconds)
2022-05-26 13:10:10 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-05-26 13:12:40 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds)
2022-05-26 13:13:15 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2022-05-26 13:16:57 +0200phma(phma@2001:5b0:210d:afc8:9145:8b6b:11c6:775c) (Read error: Connection reset by peer)
2022-05-26 13:17:45 +0200phma(~phma@host-67-44-209-63.hnremote.net)
2022-05-26 13:20:47 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-26 13:24:28 +0200motherfsck(~motherfsc@user/motherfsck)
2022-05-26 13:28:05 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-26 13:28:48 +0200 <jackdk> Yeah I don't think many students are on M1 yet but agree that it will be an increasing problem over time
2022-05-26 13:34:28 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-05-26 13:34:37 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-26 13:37:35 +0200 <Franciman> why doesn't haskell run on ARM?
2022-05-26 13:37:54 +0200 <Franciman> oh maybe it's a particular ARM :(
2022-05-26 13:39:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 13:42:08 +0200 <Rembane> Franciman: Which ARM doesn't Haskell run on?
2022-05-26 13:42:35 +0200unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2022-05-26 13:43:11 +0200 <Franciman> M1
2022-05-26 13:43:21 +0200 <Franciman> M1 is arm right?
2022-05-26 13:43:59 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 255 seconds)
2022-05-26 13:44:59 +0200 <Rembane> It is indeed.
2022-05-26 13:45:44 +0200 <Rembane> It could work according to this blog post: https://www.haskell.org/ghc/blog/20210309-apple-m1-story.html
2022-05-26 13:46:12 +0200 <maerwald> it runs on M1
2022-05-26 13:49:22 +0200taeaad(~taeaad@user/taeaad)
2022-05-26 13:49:55 +0200nate1(~nate@98.45.169.16)
2022-05-26 13:53:58 +0200cyphase(~cyphase@user/cyphase)
2022-05-26 13:54:50 +0200nate1(~nate@98.45.169.16) (Ping timeout: 258 seconds)
2022-05-26 13:56:01 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 13:57:29 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-05-26 13:58:15 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-26 13:59:21 +0200vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-05-26 14:02:23 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-26 14:03:15 +0200sympt(~sympt@user/sympt) (Read error: Connection reset by peer)
2022-05-26 14:03:36 +0200sympt(~sympt@user/sympt)
2022-05-26 14:16:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-05-26 14:32:27 +0200 <jackdk> Franciman: your ghc is likely too old and/or you don't have llvm and/or ghc doesn't know about llvm. Dunno all the details about M1 because I can't easily get one to play on, but I helped someone running ghc inside an arm64 docker container earlier today
2022-05-26 14:33:09 +0200 <jackdk> at work the M1 people are still using x86_64 ghc because the nix we're using doesn't have good caches for aarch64-darwin
2022-05-26 14:34:34 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-26 14:35:04 +0200 <maerwald> rm -rf /nix
2022-05-26 14:35:15 +0200 <romes[m]> LOL
2022-05-26 14:35:42 +0200 <geekosaur> nix the /nix
2022-05-26 14:35:50 +0200jollygood2(www-data@2607:5300:60:8be::1)
2022-05-26 14:36:22 +0200 <jackdk> maerwald: lol no, but I can sympathise with the sentiment
2022-05-26 14:36:39 +0200coot(~coot@213.134.190.95)
2022-05-26 14:40:45 +0200 <jollygood2> randomPick xs = (Just . (xs!!)) <$> randomRIO (0, length xs-1) <- should I expect uniform distribution in here? I picked 20 times from a two element list, and one value was repeated 10 times in a row
2022-05-26 14:42:41 +0200 <jollygood2> on larger samples I get expected number of each element.. but the chance of getting the same value 10 times in a row is what, 0.01%?
2022-05-26 14:44:11 +0200polyphem(~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade)
2022-05-26 14:44:48 +0200vonfry(~user@139.227.167.223)
2022-05-26 14:48:44 +0200djanatyn1(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 250 seconds)
2022-05-26 14:49:06 +0200djanatyn1(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2022-05-26 14:49:21 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-05-26 14:59:47 +0200carrotahma(~star@86.32.51.91)
2022-05-26 15:03:47 +0200 <carrotahma> Hi. Are there working opencv haskell bindings? opencv package has not been updated since 2018, and appatrently it can't to build with ghc >= 8.2.2 if I am interpreting information on hackage correctly
2022-05-26 15:04:35 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-05-26 15:05:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 15:07:49 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 15:10:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 258 seconds)
2022-05-26 15:15:44 +0200dons(~dons@user/dons) (Ping timeout: 240 seconds)
2022-05-26 15:18:42 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 15:18:59 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 15:23:23 +0200vonfry(~user@139.227.167.223) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1))
2022-05-26 15:24:30 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-05-26 15:25:43 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-26 15:32:10 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2022-05-26 15:34:07 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds)
2022-05-26 15:35:53 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-26 15:35:53 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-26 15:35:53 +0200wroathe(~wroathe@user/wroathe)
2022-05-26 15:42:10 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection)
2022-05-26 15:47:27 +0200tremon(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl)
2022-05-26 15:50:35 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-26 15:55:58 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds)
2022-05-26 15:58:07 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2022-05-26 15:58:25 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2022-05-26 15:59:50 +0200ChargenMacbethwin
2022-05-26 16:00:57 +0200vysn(~vysn@user/vysn) (Ping timeout: 258 seconds)
2022-05-26 16:10:57 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 16:11:24 +0200fish_and_kat[m](~fishandka@2001:470:69fc:105::2:1a62)
2022-05-26 16:11:39 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 16:11:56 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 16:13:41 +0200modotte(~modotte@2001:e68:5457:e554:4db2:619c:426b:200c)
2022-05-26 16:14:31 +0200modotte(~modotte@2001:e68:5457:e554:4db2:619c:426b:200c) (Client Quit)
2022-05-26 16:17:03 +0200 <lechner> Hi, do you see a website about the Fay language here? https://fay-lang.org/
2022-05-26 16:17:48 +0200 <[exa]> jollygood2: you got lucky apparently :D
2022-05-26 16:18:24 +0200 <[exa]> jollygood2: btw docs of randomRIO recommend to use uniformRM, likely because of similar concenrs
2022-05-26 16:18:48 +0200 <[exa]> lechner: no, seems like the domain was hijacked
2022-05-26 16:19:38 +0200modotte(~modotte@user/modotte)
2022-05-26 16:20:30 +0200 <[exa]> carrotahma: how'd you assume it can't build with >=8.2.2 ?
2022-05-26 16:21:31 +0200fish_and_kat[m](~fishandka@2001:470:69fc:105::2:1a62) ()
2022-05-26 16:22:40 +0200 <geekosaur> carrotahma, the build failed because the hackage build server doesn't have things like opencv installed
2022-05-26 16:23:14 +0200 <geekosaur> that was a deliberate decision to not randomly install C/C++/etc. dependencies on the build server
2022-05-26 16:23:35 +0200Sgeo(~Sgeo@user/sgeo)
2022-05-26 16:23:55 +0200 <geekosaur> I have heard of people using that package within the past few months, so I presume it still works with at least 8.10.7
2022-05-26 16:24:29 +0200modotte(~modotte@user/modotte) (Quit: Leaving)
2022-05-26 16:27:03 +0200 <geekosaur> lechner, looks like fay moved its homepage to https://github.com/faylang/fay/wiki
2022-05-26 16:28:35 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-05-26 16:29:44 +0200Kaipei(~Kaiepi@156.34.47.253)
2022-05-26 16:32:59 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 16:33:02 +0200mmhat(~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-05-26 16:33:03 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds)
2022-05-26 16:33:16 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 16:34:30 +0200 <carrotahma> Geekosaur, I see thanks, I will give it a try then.
2022-05-26 16:37:12 +0200dcleonarski(~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea)
2022-05-26 16:43:34 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-05-26 16:45:04 +0200flinner-(~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1)
2022-05-26 16:46:31 +0200flinner-(~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1) (Client Quit)
2022-05-26 16:46:54 +0200flinner-(~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1)
2022-05-26 16:50:09 +0200Guest|62(~Guest|62@c-71-205-105-44.hsd1.co.comcast.net)
2022-05-26 16:51:52 +0200mbuf(~Shakthi@31.32.33.168) (Quit: Leaving)
2022-05-26 16:53:53 +0200ehammarstrom_(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 16:55:30 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds)
2022-05-26 16:57:43 +0200 <Guest|62> Hello again everyone. After working through some build errors on a Haskell project, I've come across one that I cant find any solution or resources for a fix. I am building on an M1 Mac in an `arm64v8/ubuntu` Docker base image container. Looks like the initial download/install of packages was successful, but when it starts trying to compile, it
2022-05-26 16:57:43 +0200 <Guest|62> fails. Wondering if anyone might steer me in the right direction, as this channel was super helpful last night.
2022-05-26 16:57:44 +0200 <Guest|62> https://paste.tomsmeding.com/h10RmNBR
2022-05-26 17:02:38 +0200KaipeiKaiepi
2022-05-26 17:02:47 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-05-26 17:07:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-26 17:12:10 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2022-05-26 17:13:43 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-26 17:16:30 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-05-26 17:16:46 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-26 17:16:57 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-05-26 17:23:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 17:26:02 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-26 17:36:07 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-05-26 17:37:37 +0200 <int-e> Guest|62: I think `hashes` is broken there; the `ossl_sha3_{256,512}_functions` are internal to OpenSSL, though it becomes accessible when linking the library statically (because it's exported by one OpenSSL module and used in another). I get the same error when trying to use it in ghci (which uses dynamic linking).
2022-05-26 17:39:28 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds)
2022-05-26 17:41:25 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-05-26 17:41:38 +0200 <int-e> The same goes for ossl_sha3_init (cf. https://github.com/larskuhtz/hs-hashes/blob/main/cbits/keccak.c#L38-L40 )
2022-05-26 17:43:01 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-26 17:51:25 +0200nate1(~nate@98.45.169.16)
2022-05-26 17:54:29 +0200 <Guest|62> Thank you for the response int-e:)  Is there a way to link `hashes` statically? I'm guessing that would require changing build files? :(  I know this thing is buildable.
2022-05-26 17:55:57 +0200jeffz`(~user@lambda.xen.prgmr.com) (Read error: Connection reset by peer)
2022-05-26 17:56:26 +0200nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2022-05-26 17:58:03 +0200Macbethwinchargen
2022-05-26 18:01:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 18:01:30 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-05-26 18:04:10 +0200flinner-(~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1) (Using Circe, the loveliest of all IRC clients)
2022-05-26 18:05:12 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 18:06:06 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 18:06:45 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2022-05-26 18:07:00 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 18:07:17 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 18:08:59 +0200phma_(phma@2001:5b0:211b:bd28:1581:81c0:d5e5:b872)
2022-05-26 18:09:16 +0200phma(~phma@host-67-44-209-63.hnremote.net) (Read error: Connection reset by peer)
2022-05-26 18:10:55 +0200Guest61(~Guest61@2605:a601:a615:f600:f911:5878:e882:3100)
2022-05-26 18:12:55 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-26 18:13:25 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 18:13:28 +0200 <Guest61> Is there any 'best practice' for naming sums-of-records? E.g. for `data Sum = SumFoo Foo | SumBar Bar | ...; data Foo = Foo{ a :: a, b :: b}; data Bar = Bar{ c :: c, d :: d}; ...`
2022-05-26 18:15:44 +0200 <Guest61> Also, what is Tom's Meding?
2022-05-26 18:16:24 +0200 <dolio> No. A good name requires more context than "sum of unknown records."
2022-05-26 18:16:35 +0200 <Rembane> Tom Smeding is a person who has created a nice paste bin service written in Haskell.
2022-05-26 18:18:12 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-05-26 18:18:18 +0200 <int-e> Guest|62: Actually I'm not even convinced that this works when linked statically... doesn't work for me. It was more of a theory under the assumption that somebody actually tested this :-/
2022-05-26 18:21:27 +0200 <maerwald> Rembane: and a playground
2022-05-26 18:21:58 +0200 <Rembane> maerwald: Cool! I didn't know that! Now I need to go play!
2022-05-26 18:24:20 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-05-26 18:25:48 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 18:26:48 +0200 <int-e> Guest|62: I guess the way forward for now is to disable the with-openssl flag, via --flags="-with-openssl" or some cabal.project incantation or whatever.
2022-05-26 18:29:29 +0200 <Guest|62> hmmmm
2022-05-26 18:30:41 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 18:30:58 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 18:31:28 +0200 <Guest|62> I'm trying to get in touch with the maintainers of the project. I dont feel like any build files should need changing:/
2022-05-26 18:32:07 +0200 <int-e> Guest|62: Oh wait, actually if you are willing to edit the hashes package... disabling the check on https://github.com/larskuhtz/hs-hashes/blob/main/cbits/keccak.c#L34 works as well. There's code for openssl 1.1 below that uses official APIs
2022-05-26 18:34:03 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-26 18:36:57 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-26 18:38:58 +0200 <Guest61> dolio: In this case I have a huge sum type of events, and each record corresponds to a specific event.
2022-05-26 18:41:21 +0200 <Guest61> I guess it might more sense to just wrap it in an existential rather than using a sum. `| Just e1@Event1{} <- cast e = ... | Just e2@Event2{} <- cast e = ...`
2022-05-26 18:41:23 +0200 <geekosaur> if the events have enough parts in common you might do something like https://hackage.haskell.org/package/X11-1.10.2/docs/src/Graphics.X11.Xlib.Extras.html#Event
2022-05-26 18:41:50 +0200 <Guest61> geekosaur: That looks terrible. What about all the undefined records?
2022-05-26 18:42:34 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 18:42:40 +0200 <geekosaur> what do you mean undefined?
2022-05-26 18:43:10 +0200 <Guest61> I mean that a bunch of those accessors are partial.
2022-05-26 18:43:34 +0200 <geekosaur> sure, that's why I specified "enough parts in common"
2022-05-26 18:43:51 +0200 <geekosaur> we just don't use the accessors that don't correspond to the constructor
2022-05-26 18:44:23 +0200polyphem(~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Remote host closed the connection)
2022-05-26 18:44:31 +0200polyphem(~polyphem@2a02:810d:840:8754:4c8e:43ff:fe45:6dbc)
2022-05-26 18:44:35 +0200 <geekosaur> this is kinda defined by X11, so there is little to be done at this level
2022-05-26 18:45:02 +0200 <Guest61> If all the parts were in common, I'd invert it: `data Event = Event{ eventType :: EventType, foo :: Foo, bar :: Bar }, data EventType = Event1 | Event2 | ...`.
2022-05-26 18:45:54 +0200 <int-e> Guest|62: feel free to add to https://github.com/larskuhtz/hs-hashes/issues/14
2022-05-26 18:45:59 +0200 <Guest61> But with so many parts that may not exist in a given event, I don't want to see 'event_foo :: Event -> Foo' claim that every event has a `Foo`.
2022-05-26 18:52:37 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 18:56:24 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection)
2022-05-26 18:58:00 +0200econo(uid147250@user/econo)
2022-05-26 18:59:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 18:59:36 +0200 <Guest|62> int-e: hahah thank you for jumping on this issue with me like that! Though Im not sure I can contribute much to the conversation, as these kinds of issues are far beyond my level of expertise:(  I'm happy to share my build process to how i arrived at the error, but actually solving the issue will be a great challenge for me.
2022-05-26 19:01:07 +0200phma_phma
2022-05-26 19:02:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 19:06:22 +0200 <int-e> Guest|62: heh it's perfectly fine if you don't have anything to add
2022-05-26 19:07:17 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 19:07:34 +0200 <int-e> Guest|62: I mainly wanted to let you know about the report because it hopefully explains a bit what you're struggling with.
2022-05-26 19:08:05 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-05-26 19:12:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 19:13:10 +0200polyphem(~polyphem@2a02:810d:840:8754:4c8e:43ff:fe45:6dbc) (Read error: Connection reset by peer)
2022-05-26 19:14:25 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 19:14:51 +0200polyphem(~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade)
2022-05-26 19:15:16 +0200Guest|62(~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) (Quit: Connection closed)
2022-05-26 19:17:31 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-26 19:18:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 19:22:47 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 19:24:24 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-26 19:24:35 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-26 19:26:06 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-26 19:27:34 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 19:29:43 +0200coot(~coot@213.134.190.95)
2022-05-26 19:30:33 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 19:37:02 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2022-05-26 19:40:05 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-26 19:45:08 +0200 <anon15041149> Is there a way to count the number of characters in a given expression?
2022-05-26 19:45:58 +0200 <byorgey> anon15041149: by "a given expression", do you mean a String? Or do you mean some Haskell code?
2022-05-26 19:46:15 +0200noteness(~noteness@user/noteness) (Remote host closed the connection)
2022-05-26 19:46:45 +0200noteness(~noteness@user/noteness)
2022-05-26 19:46:58 +0200 <anon15041149> It's a mix, so I have a data type that can take in Int and String and I need to add the number of characters in the string and the number int
2022-05-26 19:47:51 +0200Guest61(~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) (Quit: Client closed)
2022-05-26 19:48:19 +0200 <geekosaur> > length (show 5 ++ "abcde")
2022-05-26 19:48:21 +0200 <lambdabot> 6
2022-05-26 19:48:51 +0200 <EvanR> be thankful they didn't ask for the number of numbers in the number
2022-05-26 19:48:55 +0200 <geekosaur> note that you probably don't want to use `show` on a String, since it'll add quotes and possibly escapes
2022-05-26 19:55:37 +0200Guest61(~Guest61@2605:a601:a615:f600:f911:5878:e882:3100)
2022-05-26 19:56:27 +0200Xe(~cadey@tailscale/xe) (Remote host closed the connection)
2022-05-26 20:00:27 +0200Xe(~cadey@tailscale/xe)
2022-05-26 20:02:02 +0200Hashstoned
2022-05-26 20:02:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 20:05:10 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 20:06:22 +0200 <zzz> i'm getting "Could not deserialize <repo>/root.json: Malformed: (line 1, column 1):
2022-05-26 20:06:28 +0200 <zzz> Could not deserialize <repo>/root.json: Malformed: (line 1, column 1):
2022-05-26 20:06:29 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-05-26 20:06:38 +0200 <anon15041149> geekosaur: would that work with some like this "example = Talk "Hello" (Toast 20 (Talk "Bye" Nop))" returning 20.8, 20 + 0.1*8 characters
2022-05-26 20:06:42 +0200 <zzz> unexpected "<"
2022-05-26 20:06:45 +0200 <zzz> from cabal install
2022-05-26 20:06:51 +0200 <zzz> i mean, cabal update
2022-05-26 20:07:12 +0200 <zzz> (sorry for the paste mess)
2022-05-26 20:07:19 +0200dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-26 20:07:50 +0200 <anon15041149> byorgey: I meant something like "count example" return...like above
2022-05-26 20:09:37 +0200dolio(~dolio@130.44.130.54)
2022-05-26 20:10:01 +0200dolio(~dolio@130.44.130.54) (Client Quit)
2022-05-26 20:10:17 +0200 <geekosaur> zzz, sounds like your ~/.cabal/packages/<repo> is corrupt (for whatever <repo> is)
2022-05-26 20:10:51 +0200dolio(~dolio@130.44.130.54)
2022-05-26 20:12:41 +0200 <geekosaur> https://paste.tomsmeding.com/NxG1FCGu is an example of what it should like (when prettified)
2022-05-26 20:14:05 +0200polyphem(~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Remote host closed the connection)
2022-05-26 20:14:13 +0200polyphem(~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade)
2022-05-26 20:14:14 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2022-05-26 20:14:25 +0200aliosablack(~chomwitt@80.106.160.253)
2022-05-26 20:16:25 +0200chomwitt(~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa) (Ping timeout: 244 seconds)
2022-05-26 20:17:16 +0200Guest61(~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) (Quit: Client closed)
2022-05-26 20:18:01 +0200 <anon15041149> How do I get the length of a String in a given data type?
2022-05-26 20:18:50 +0200 <anon15041149> like getting the length of the Talk String https://paste.tomsmeding.com/9uoKrmH6
2022-05-26 20:18:53 +0200 <geekosaur> I think we're still confused as to what you are asking for. Like, what's the 0.1 in your example?
2022-05-26 20:19:43 +0200 <geekosaur> normally I'd just do `length (show someCommand)` but I can't tell if that's actually what you want
2022-05-26 20:19:55 +0200 <anon15041149> So I need to take an input from Commands, like shown in the paste bin and count the characters in the String*0.1 and add the Int from the same datatype
2022-05-26 20:20:42 +0200 <geekosaur> that sounds like something custom you would have to write. I could imagine going via Generics but that seems like overkill
2022-05-26 20:21:29 +0200 <anon15041149> I don't know anything about generics :/ I'm still just learning
2022-05-26 20:21:50 +0200 <geekosaur> no, that's fairly advanced stuff. I know it's doable but couldn't tell you how
2022-05-26 20:22:43 +0200 <maerwald> anon15041149: https://play-haskell.tomsmeding.com/play/paste/n3lmWa7M/1
2022-05-26 20:22:59 +0200vysn(~vysn@user/vysn)
2022-05-26 20:22:59 +0200 <maerwald> you're looking for line 16-17?
2022-05-26 20:23:58 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-05-26 20:24:19 +0200pgib(~textual@173.38.117.90)
2022-05-26 20:29:22 +0200 <byorgey> anon15041149: to get the length of a String, you can just use the 'length' function
2022-05-26 20:30:05 +0200 <byorgey> anon15041149: it sounds to me like you just want to write a recursive function that pattern-matches on a value of type 'Commands' and returns the appropriate value
2022-05-26 20:32:02 +0200Guest|62(~Guest|62@c-71-205-105-44.hsd1.co.comcast.net)
2022-05-26 20:32:45 +0200 <geekosaur> "something custom you'd want to write", yeh
2022-05-26 20:37:34 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 20:37:35 +0200 <anon15041149> maerwald[m]: yes and summing those line to return a single float
2022-05-26 20:37:48 +0200 <maerwald> well, what have you tried?
2022-05-26 20:38:18 +0200 <anon15041149> If I type in that play-haskell can you see it?
2022-05-26 20:38:22 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Read error: Connection reset by peer)
2022-05-26 20:38:30 +0200 <maerwald> you'll have to create a new paste from it then, there's a button
2022-05-26 20:38:51 +0200YoungFrog(~youngfrog@2a02:a03f:c21b:f900:445d:2ea0:2c8a:24db)
2022-05-26 20:40:26 +0200 <anon15041149> Ok
2022-05-26 20:42:19 +0200 <int-e> @where play
2022-05-26 20:42:20 +0200 <lambdabot> I know nothing about play.
2022-05-26 20:42:43 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 20:42:52 +0200 <int-e> @where+ play https://play-haskell.tomsmeding.com/play
2022-05-26 20:42:52 +0200 <lambdabot> Okay.
2022-05-26 20:43:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 20:43:50 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 20:44:37 +0200polyphem(~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Ping timeout: 260 seconds)
2022-05-26 20:45:44 +0200 <anon15041149> maerwald[m]: can you view this https://play-haskell.tomsmeding.com/N3ziqc1c?
2022-05-26 20:45:52 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 244 seconds)
2022-05-26 20:46:09 +0200 <maerwald> yeah, it doesn't show any new code
2022-05-26 20:46:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-05-26 20:48:03 +0200 <anon15041149> But it's different to what you wrote, it needs to take in the arguement "example" and return a single number
2022-05-26 20:48:11 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 20:48:30 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 20:48:40 +0200 <anon15041149> just was clearing that up
2022-05-26 20:48:49 +0200 <maerwald> that doesn't show me what you tried
2022-05-26 20:49:14 +0200 <anon15041149> I'm still working on getting something down but I didn't know where to look
2022-05-26 20:55:19 +0200 <anon15041149> Would I use pattern matching?
2022-05-26 20:59:46 +0200 <geekosaur> yes
2022-05-26 21:01:57 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 21:06:49 +0200 <anon15041149> right
2022-05-26 21:06:56 +0200 <sm> @where+ algebra-cheatsheet https://argumatronic.com/posts/2019-06-21-algebra-cheatsheet.html A Brief Guide to A Few Algebraic Structures by Julie Moronuki
2022-05-26 21:06:56 +0200 <lambdabot> It is stored.
2022-05-26 21:07:20 +0200jollygood2(www-data@2607:5300:60:8be::1) (Quit: CGI:IRC (EOF))
2022-05-26 21:07:34 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection)
2022-05-26 21:07:57 +0200alx741(~alx741@host-186-3-154-11.netlife.ec)
2022-05-26 21:08:04 +0200alx741(~alx741@host-186-3-154-11.netlife.ec) (Client Quit)
2022-05-26 21:08:52 +0200 <EvanR> pattern matching is the essence of haskell computation
2022-05-26 21:08:57 +0200 <sm> tcard: https://leanpub.com/finding-success-in-haskell might be one you don't have
2022-05-26 21:09:28 +0200 <EvanR> evaluating a case analysis is where haskell becomes irreversible xD
2022-05-26 21:09:58 +0200 <anon15041149> I'm thinking something like this getTalkStr :: Commands -> String getTalkStr (Talk str _) = length str
2022-05-26 21:10:16 +0200 <sm> AKA The Joy Of Haskell, it seems ?
2022-05-26 21:10:16 +0200 <EvanR> I was going to say, do you have your overall type signature right?
2022-05-26 21:10:34 +0200 <EvanR> without that, we're all lost
2022-05-26 21:13:21 +0200 <anon15041149> this is what I have so far in vscode https://paste.tomsmeding.com/HEEWdgR7
2022-05-26 21:16:52 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 21:19:37 +0200 <anon15041149> EvanR: any thought?
2022-05-26 21:19:41 +0200 <anon15041149> thoughts*
2022-05-26 21:21:02 +0200 <EvanR> I think Commands -> String is suspcious as I understood your goal
2022-05-26 21:27:44 +0200stackdroid18(14094@user/stackdroid)
2022-05-26 21:30:11 +0200vysn(~vysn@user/vysn) (Ping timeout: 255 seconds)
2022-05-26 21:31:00 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-26 21:31:06 +0200 <anon15041149> I was trying to get the length of the String first
2022-05-26 21:31:11 +0200 <anon15041149> :(
2022-05-26 21:31:31 +0200coot(~coot@213.134.190.95)
2022-05-26 21:31:41 +0200 <geekosaur> but why would that be a String?
2022-05-26 21:32:16 +0200 <anon15041149> Talk is a String
2022-05-26 21:32:28 +0200 <EvanR> no?
2022-05-26 21:33:00 +0200 <EvanR> you can ask ghci what the type of e.g. Talk is
2022-05-26 21:33:06 +0200 <EvanR> or anything else
2022-05-26 21:33:21 +0200 <EvanR> :t 'c'
2022-05-26 21:33:22 +0200 <lambdabot> Char
2022-05-26 21:33:39 +0200 <anon15041149> Commands
2022-05-26 21:34:08 +0200 <EvanR> Talk :: String -> ? -> Commands, more likely
2022-05-26 21:34:26 +0200 <EvanR> point is length doesn't return a string
2022-05-26 21:34:27 +0200ehammarstrom_(~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Read error: Connection reset by peer)
2022-05-26 21:34:56 +0200ehammarstrom(~ehammarst@62-20-203-39-no182.tbcn.telia.com)
2022-05-26 21:36:19 +0200 <anon15041149> Talk :: String -> Commands -> Commands
2022-05-26 21:36:55 +0200 <anon15041149> geekosaur: how many lines of code should this take if I'm using pattern matching?
2022-05-26 21:37:15 +0200 <geekosaur> 3 + 1 for the type signature
2022-05-26 21:37:18 +0200 <maerwald> I'm assuming you had a haskell class before you got this assignment?
2022-05-26 21:37:49 +0200 <geekosaur> if you follow the structure of the type and use pattern matching it should actually be pretty simple
2022-05-26 21:40:25 +0200 <maerwald> if this is an assignment, I suggest to look at the script from the lecture before going further
2022-05-26 21:40:33 +0200 <maerwald> if it's not, we have links for learning material
2022-05-26 21:40:55 +0200 <maerwald> but your questions indicate that you're struggling with basics, which are best covered by introductory material
2022-05-26 21:42:25 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-26 21:44:09 +0200 <ashln> hey, does anyone know of a simple web framework? i've taken a look at yesod, but it might be a bit too full-featured for my use case
2022-05-26 21:44:59 +0200 <maerwald> ashln: scotty
2022-05-26 21:46:21 +0200 <ashln> oh, this looks pretty good - thanks so much!
2022-05-26 21:50:16 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-05-26 21:52:38 +0200 <anon15041149> lecturer doesn't speak English well, ok thanks anyway
2022-05-26 21:52:54 +0200nate1(~nate@98.45.169.16)
2022-05-26 21:53:42 +0200 <maerwald> what? :D
2022-05-26 21:54:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection)
2022-05-26 21:55:03 +0200jollygood2(www-data@2607:5300:60:8be::1)
2022-05-26 21:55:05 +0200 <anon15041149> It's difficult to follow
2022-05-26 21:55:08 +0200 <maerwald> anon15041149: http://learnyouahaskell.com/starting-out#ready-set-go
2022-05-26 21:55:16 +0200 <maerwald> this isn't too in-depth and might already help
2022-05-26 21:55:28 +0200 <anon15041149> Alright, thank you
2022-05-26 21:57:29 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-26 21:59:15 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-26 21:59:15 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-26 21:59:15 +0200wroathe(~wroathe@user/wroathe)
2022-05-26 22:00:41 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:01:35 +0200Guest61(~Guest61@2605:a601:a615:f600:f911:5878:e882:3100)
2022-05-26 22:01:49 +0200 <tcard> sm: Thanks! I checked, and I already have it listed: https://www.extrema.is/articles/haskell-books/finding-success-and-failure-in-haskell
2022-05-26 22:02:27 +0200 <sm> ack! wonder why I couldn't find it
2022-05-26 22:02:55 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:03:00 +0200 <sm> oh, I probably had [beginner] selected
2022-05-26 22:03:27 +0200 <EvanR> this one looks cool
2022-05-26 22:04:27 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:05:15 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-05-26 22:06:44 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:08:56 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:10:52 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 258 seconds)
2022-05-26 22:11:01 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:12:13 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:12:37 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99)
2022-05-26 22:14:22 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:17:48 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:20:04 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:20:47 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:23:06 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:23:54 +0200carrotahma(~star@86.32.51.91) (Ping timeout: 258 seconds)
2022-05-26 22:24:40 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:25:27 +0200causal(~user@50.35.83.177)
2022-05-26 22:26:35 +0200euandreh(~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) (Ping timeout: 258 seconds)
2022-05-26 22:26:52 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:28:43 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:29:31 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 22:29:39 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-26 22:30:53 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:31:07 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-05-26 22:36:04 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-05-26 22:36:13 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2022-05-26 22:39:00 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!)
2022-05-26 22:44:48 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-26 22:46:46 +0200dextaa(~DV@user/dextaa)
2022-05-26 22:46:59 +0200nate1(~nate@98.45.169.16)
2022-05-26 22:48:46 +0200Guest61(~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) (Ping timeout: 252 seconds)
2022-05-26 22:50:33 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-05-26 22:53:06 +0200zmt01(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-05-26 22:54:48 +0200zmt00(~zmt00@user/zmt00)
2022-05-26 23:07:04 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-05-26 23:10:07 +0200hololeap(~hololeap@user/hololeap)
2022-05-26 23:10:29 +0200gff(~gff@user/gff) (Ping timeout: 252 seconds)
2022-05-26 23:12:53 +0200gff(~gff@user/gff)
2022-05-26 23:13:41 +0200pgib(~textual@173.38.117.90) (Ping timeout: 255 seconds)
2022-05-26 23:18:55 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-05-26 23:28:34 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer)
2022-05-26 23:31:05 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-05-26 23:31:28 +0200pgib(~textual@173.38.117.71)
2022-05-26 23:34:57 +0200michalz(~michalz@185.246.204.121) (Remote host closed the connection)
2022-05-26 23:46:41 +0200 <lechner> [exa] geekosaur: so strange, why was that historical article about Fay sent out as part of the Weekly? https://haskellweekly.news/issue/317.html
2022-05-26 23:49:08 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-26 23:52:00 +0200 <geekosaur> probably it is set up to poll various sites when they change and nobody checked to see if it was still valid?
2022-05-26 23:52:31 +0200vysn(~vysn@user/vysn)
2022-05-26 23:55:08 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection)
2022-05-26 23:55:16 +0200 <sm> DECEMBER 2012 :)
2022-05-26 23:56:10 +0200 <geekosaur> mm, pretty sure fay-lang.org was still the Fay language back then
2022-05-26 23:57:39 +0200phma(phma@2001:5b0:211b:bd28:1581:81c0:d5e5:b872) (Read error: Connection reset by peer)
2022-05-26 23:58:02 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-05-26 23:59:51 +0200phma(phma@2001:5b0:211b:d6c8:7c20:918d:d36a:d199)