| 2022-05-26 00:01:51 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 00:02:08 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 00:04:48 +0000 | lkira | (~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608) |
| 2022-05-26 00:12:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 00:15:34 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 00:15:37 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-26 00:17:08 +0000 | Guest|62 | (~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) |
| 2022-05-26 00:18:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-26 00:22:22 +0000 | <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 00:22:23 +0000 | <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 00:24:42 +0000 | <hpc> | aren't RUN commands all in separate shells? |
| 2022-05-26 00:25:11 +0000 | lkira33 | (~lkira@45.187.213.219) |
| 2022-05-26 00:25:12 +0000 | lkira | (~lkira@2804:6660:ff07:b200:5cdd:5a88:feba:a608) (Quit: Client closed) |
| 2022-05-26 00:25:16 +0000 | lkira33 | (~lkira@45.187.213.219) (Client Quit) |
| 2022-05-26 00:25:28 +0000 | lkira | (~lkira@45.187.213.219) |
| 2022-05-26 00:25:37 +0000 | lkira | (~lkira@45.187.213.219) (Client Quit) |
| 2022-05-26 00:25:55 +0000 | <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 00:25:59 +0000 | <jackdk> | at least AIUI |
| 2022-05-26 00:27:10 +0000 | <Axman6> | it feels like adding the source lines into your ~/.bashrc or ~/.profile would be the right way to do things |
| 2022-05-26 00:27:53 +0000 | <hpc> | nah, all the stuff to get cabal working is build-time |
| 2022-05-26 00:28:05 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-26 00:28:10 +0000 | <Axman6> | eh? |
| 2022-05-26 00:28:23 +0000 | <hpc> | the container doesn't need cabal or all that env stuff after it's built |
| 2022-05-26 00:28:41 +0000 | <Axman6> | well, that depends on what you're using it for I guess? |
| 2022-05-26 00:29:21 +0000 | <Guest|62> | I am trying the `RUN . /root/.bashrc && ...` as suggested. |
| 2022-05-26 00:30:26 +0000 | <Guest|62> | I am trying to build a haskell project. fairly new to docker, and completely new to haskell. |
| 2022-05-26 00:30:30 +0000 | <hpc> | Axman6: oh, you mean outside the container image |
| 2022-05-26 00:31:02 +0000 | Etxeberrialex[m] | (~etxeberri@2001:470:69fc:105::1:5ae6) |
| 2022-05-26 00:33:56 +0000 | moonsheep | (~user@user/moonsheep) (Remote host closed the connection) |
| 2022-05-26 00:34:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 00:35:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-05-26 00:35:17 +0000 | <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 00:35:41 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-26 00:35:53 +0000 | <dons> | sorry, not that one. this one : https://github.com/sourcegraph/scip/blob/main/.github/workflows/haskell.yml |
| 2022-05-26 00:36:04 +0000 | <dons> | uses: haskell/actions/setup@v2 |
| 2022-05-26 00:36:04 +0000 | <dons> | with: |
| 2022-05-26 00:36:04 +0000 | <dons> | ghc-version: '8.10' |
| 2022-05-26 00:36:04 +0000 | <dons> | cabal-version: 'latest' |
| 2022-05-26 00:36:29 +0000 | <dons> | takes care of getting paths set up and putting the cabal and ghc on the image. |
| 2022-05-26 00:37:03 +0000 | <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 00:37:11 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 00:37:17 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 00:37:45 +0000 | <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 00:39:12 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 00:39:39 +0000 | Macbethwin_ | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-05-26 00:40:33 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-26 00:41:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-05-26 00:41:48 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-26 00:42:02 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-26 00:42:10 +0000 | <Guest|62> | Thank you all for the help. I feel dumb for not realizing that each RUN is a separate shell '=( |
| 2022-05-26 00:42:18 +0000 | <Guest|62> | ...Now to figure out the build errors xD |
| 2022-05-26 00:42:44 +0000 | <geekosaur> | @where paste |
| 2022-05-26 00:42:44 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-05-26 00:43:11 +0000 | Chargen | (~chargen@8.21.8.233) (Ping timeout: 246 seconds) |
| 2022-05-26 00:43:56 +0000 | <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 00:43:56 +0000 | frost | (~frost@user/frost) |
| 2022-05-26 00:44:05 +0000 | <jackdk> | but also yes please pastebin your build errors |
| 2022-05-26 00:45:59 +0000 | <geekosaur> | that was the "/root/.ghcup/env" |
| 2022-05-26 00:46:27 +0000 | <jackdk> | sounds right |
| 2022-05-26 00:47:43 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2022-05-26 00:47:50 +0000 | <Guest|62> | Looks like LLVM is just a missing dep? |
| 2022-05-26 00:47:51 +0000 | <Guest|62> | https://paste.tomsmeding.com/DBxIkzDf |
| 2022-05-26 00:48:13 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 00:48:42 +0000 | <Axman6> | I'm surprised that you would need LLVM, it';s not the defaukt. are you using -fllvm? |
| 2022-05-26 00:48:49 +0000 | <Axman6> | default* |
| 2022-05-26 00:48:58 +0000 | <geekosaur> | or using 8.10 on ARM |
| 2022-05-26 00:49:02 +0000 | <jackdk> | Maybe it's the default on aarch64 Axman6 ? |
| 2022-05-26 00:49:06 +0000 | <Axman6> | ah, that would make sense |
| 2022-05-26 00:49:17 +0000 | <Axman6> | not for newer GHC, but old ones sure |
| 2022-05-26 00:49:32 +0000 | <Axman6> | seems like 9.2 is the compiler to target these days |
| 2022-05-26 00:49:45 +0000 | <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 00:49:59 +0000 | <Axman6> | (I say that not having written much actual Haskell lately so no actual experience) |
| 2022-05-26 00:50:41 +0000 | <Guest|62> | Ok I will give that a try. |
| 2022-05-26 00:58:26 +0000 | werneta | (~werneta@137.79.206.133) (Ping timeout: 244 seconds) |
| 2022-05-26 00:58:34 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-26 01:01:15 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2022-05-26 01:04:08 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 01:08:35 +0000 | Macbethwin_ | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 255 seconds) |
| 2022-05-26 01:14:21 +0000 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-05-26 01:15:19 +0000 | <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 01:22:27 +0000 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-26 01:23:32 +0000 | <jackdk> | Guest|62: let me launch an aarch64 vm and have a play |
| 2022-05-26 01:25:41 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-26 01:29:23 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-05-26 01:31:24 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 01:31:41 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 01:40:25 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-26 01:45:52 +0000 | andrey_ | (~andrey@p200300dbcf12d50000223011ec3a0f6f.dip0.t-ipconnect.de) |
| 2022-05-26 01:45:56 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-fd61-bef1-1785-5028.res6.spectrum.com) |
| 2022-05-26 01:46:14 +0000 | <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 01:47:56 +0000 | <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 01:48:06 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-26 01:48:33 +0000 | andrey__ | (~andrey@p200300dbcf0c3500f9c88a1de397731a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-26 01:48:37 +0000 | <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 01:49:27 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-26 01:50:32 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-05-26 01:50:43 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 01:51:18 +0000 | <Guest|62> | sweet! Ok let me give that a try:) |
| 2022-05-26 01:51:28 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 01:51:50 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 01:51:56 +0000 | jao | (~jao@45.134.213.210) |
| 2022-05-26 01:52:06 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 01:56:24 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 01:56:30 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-26 01:58:17 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-fd61-bef1-1785-5028.res6.spectrum.com) (Remote host closed the connection) |
| 2022-05-26 01:59:02 +0000 | <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 01:59:39 +0000 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-26 01:59:54 +0000 | jao | (~jao@45.134.213.210) (Ping timeout: 258 seconds) |
| 2022-05-26 02:00:07 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-05-26 02:00:27 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-26 02:00:27 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-26 02:00:27 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-26 02:01:02 +0000 | <jackdk> | I have not, but I would've imagined that it'd have to match teh ghc actually in use |
| 2022-05-26 02:01:39 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-26 02:01:56 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 02:02:29 +0000 | <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 02:02:51 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-26 02:03:05 +0000 | <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 02:03:11 +0000 | <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 02:04:25 +0000 | <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 02:04:50 +0000 | BusConscious | (~martin@ip5f5bdf3a.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2022-05-26 02:04:51 +0000 | <jackdk> | good luck with the next round of errors |
| 2022-05-26 02:09:09 +0000 | <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 02:09:52 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 258 seconds) |
| 2022-05-26 02:10:38 +0000 | Macbethwin | Chargen |
| 2022-05-26 02:11:18 +0000 | <jackdk> | fair enough |
| 2022-05-26 02:12:06 +0000 | flinner | (~flinner@user/flinner) |
| 2022-05-26 02:15:00 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 02:16:50 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 02:18:33 +0000 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) |
| 2022-05-26 02:19:37 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 02:20:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-26 02:22:02 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 02:22:29 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 02:23:05 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 02:23:22 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 02:25:44 +0000 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-26 02:27:02 +0000 | phma_ | phma |
| 2022-05-26 02:28:21 +0000 | dcoutts_ | (~duncan@host109-149-15-56.range109-149.btcentralplus.com) |
| 2022-05-26 02:30:30 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 02:30:39 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-05-26 02:30:58 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-05-26 02:31:02 +0000 | dcoutts | (~duncan@host213-122-143-3.range213-122.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-05-26 02:41:21 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 02:42:33 +0000 | danyisill | (~danny@2a02:2149:8b7e:c000:514a:5a34:fc40:cdf3) |
| 2022-05-26 02:45:10 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 02:45:27 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 02:45:37 +0000 | <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 02:45:47 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 02:47:57 +0000 | mmhat | (~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-05-26 02:49:26 +0000 | <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 02:49:50 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-26 02:50:27 +0000 | _xor | (~xor@72.49.198.103) |
| 2022-05-26 02:50:49 +0000 | <danyisill> | heh, i see |
| 2022-05-26 02:50:52 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 02:51:05 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-05-26 02:52:14 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 02:52:55 +0000 | _xor | (~xor@72.49.198.103) (Client Quit) |
| 2022-05-26 02:55:08 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-26 02:55:08 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-26 02:55:08 +0000 | finn_elija | FinnElija |
| 2022-05-26 02:59:36 +0000 | _xor | (~xor@72.49.198.103) |
| 2022-05-26 03:00:18 +0000 | seriously | (~seriously@ool-18bd5811.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-05-26 03:00:27 +0000 | jbox | (~jbox@user/jbox) |
| 2022-05-26 03:03:29 +0000 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-05-26 03:08:45 +0000 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 256 seconds) |
| 2022-05-26 03:10:21 +0000 | m1dnight | (~christoph@78-22-9-5.access.telenet.be) |
| 2022-05-26 03:10:49 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-26 03:11:45 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-05-26 03:12:06 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-05-26 03:12:11 +0000 | jbox | (~jbox@user/jbox) (Quit: Leaving) |
| 2022-05-26 03:12:26 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-26 03:12:26 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-05-26 03:13:20 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-05-26 03:13:41 +0000 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-05-26 03:13:52 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-26 03:14:10 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-05-26 03:14:16 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 258 seconds) |
| 2022-05-26 03:14:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-05-26 03:16:24 +0000 | jao | (jao@gateway/vpn/protonvpn/jao) |
| 2022-05-26 03:17:14 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 03:17:34 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 03:21:47 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 255 seconds) |
| 2022-05-26 03:27:54 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 03:29:26 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-05-26 03:31:07 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-26 03:36:04 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 2022-05-26 03:37:21 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-26 03:37:55 +0000 | [_] | [itchyjunk] |
| 2022-05-26 03:42:47 +0000 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-05-26 03:46:54 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 03:51:22 +0000 | jushur | (~human@user/jushur) |
| 2022-05-26 03:52:07 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-26 03:56:14 +0000 | raym | (~raym@user/raym) |
| 2022-05-26 03:56:40 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-26 03:57:12 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 258 seconds) |
| 2022-05-26 04:00:53 +0000 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-26 04:05:15 +0000 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2022-05-26 04:09:04 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 04:10:02 +0000 | jao | (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 246 seconds) |
| 2022-05-26 04:11:04 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-05-26 04:12:24 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 04:12:48 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-26 04:16:11 +0000 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-05-26 04:22:17 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-26 04:22:23 +0000 | ashpil | (~ashpil@98.42.126.67) |
| 2022-05-26 04:23:38 +0000 | <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 04:26:25 +0000 | <sm> | http://book.realworldhaskell.org/read/interfacing-with-c-the-ffi.html , any help ? |
| 2022-05-26 04:26:29 +0000 | <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 04:27:01 +0000 | <jackdk> | ashpil: if your library is not provided by pkg-config, `extra-libraries` may bring you joy |
| 2022-05-26 04:27:03 +0000 | <sm> | aha |
| 2022-05-26 04:31:10 +0000 | <EvanR> | note that glfw has nice bindings on hackage already, but yeah |
| 2022-05-26 04:31:47 +0000 | Guest5455 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-26 04:32:06 +0000 | <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 04:40:14 +0000 | <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 04:40:28 +0000 | <ashpil> | EvanR: yeah I'm aware, just wanted to understand how this stuff works myself |
| 2022-05-26 04:44:05 +0000 | <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 04:45:43 +0000 | <Axman6> | I would've thought that was something pkgconfig would sort out for you |
| 2022-05-26 04:47:22 +0000 | <jackdk> | if glfw is supported by pkg-config you may still have to set `PKG_CONFIG_PATH` environment variable |
| 2022-05-26 04:52:21 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-26 04:52:29 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-26 04:52:59 +0000 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2022-05-26 04:53:48 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-26 04:54:47 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-05-26 05:04:28 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-05-26 05:06:04 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-26 05:08:27 +0000 | ashpil | (~ashpil@98.42.126.67) (Quit: Client closed) |
| 2022-05-26 05:16:20 +0000 | Guest5455 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-26 05:16:42 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 260 seconds) |
| 2022-05-26 05:18:27 +0000 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) |
| 2022-05-26 05:19:48 +0000 | Guest5490 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-26 05:20:03 +0000 | <Guest5490> | what does deriving show at the end of a data type mean in haskell ? |
| 2022-05-26 05:21:12 +0000 | <pavonia> | Auto-derive an instance of class Show for this data type |
| 2022-05-26 05:21:47 +0000 | <Guest5490> | thank you for your answer |
| 2022-05-26 05:22:09 +0000 | <Guest5490> | can you give me or refeer an exemple to be more clear please ? |
| 2022-05-26 05:22:22 +0000 | <Guest5490> | refer* |
| 2022-05-26 05:24:21 +0000 | <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 05:26:05 +0000 | califax | (~califax@user/califx) |
| 2022-05-26 05:26:27 +0000 | <pavonia> | or http://learnyouahaskell.com/types-and-typeclasses |
| 2022-05-26 05:30:17 +0000 | <Guest5490> | thank you so much |
| 2022-05-26 05:35:25 +0000 | vysn | (~vysn@user/vysn) |
| 2022-05-26 05:36:19 +0000 | michalz | (~michalz@185.246.204.121) |
| 2022-05-26 05:40:18 +0000 | Sauvin | (~sauvin@about/linux/staff/sauvin) (Read error: Connection reset by peer) |
| 2022-05-26 05:40:59 +0000 | Sauvin | (~sauvin@about/linux/staff/sauvin) |
| 2022-05-26 05:43:22 +0000 | chomwitt | (~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa) |
| 2022-05-26 05:43:43 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-05-26 05:46:17 +0000 | Sauvin | (~sauvin@about/linux/staff/sauvin) (Ping timeout: 246 seconds) |
| 2022-05-26 05:47:27 +0000 | <Guest5490> | I have a list of Integer i want ot convert it to list of Patient(a type that i created); |
| 2022-05-26 05:47:27 +0000 | <Guest5490> | data Patient = Patient { |
| 2022-05-26 05:47:28 +0000 | <Guest5490> | patientId :: Int, |
| 2022-05-26 05:47:28 +0000 | <Guest5490> | patientTemps :: Int, |
| 2022-05-26 05:47:29 +0000 | <Guest5490> | patientPriorite :: Int |
| 2022-05-26 05:47:29 +0000 | <Guest5490> | } deriving (Show) |
| 2022-05-26 05:47:30 +0000 | <Guest5490> | I want to do something like : bar :: [[Int]] -> [[Patient]] |
| 2022-05-26 05:47:35 +0000 | <jackdk> | @where paste |
| 2022-05-26 05:47:35 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-05-26 05:49:13 +0000 | Sauvin | (~sauvin@about/linux/staff/sauvin) |
| 2022-05-26 05:51:51 +0000 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-26 05:52:37 +0000 | koz | (~koz@121.99.240.58) |
| 2022-05-26 05:54:33 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 05:55:28 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 05:55:45 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 05:57:24 +0000 | <Axman6> | what happened to yahb? |
| 2022-05-26 05:57:35 +0000 | <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 05:57:37 +0000 | <Axman6> | Guest5490: are you sure that's the type you want? |
| 2022-05-26 05:57:51 +0000 | <Axman6> | not [[Int]] -> [Patient]? |
| 2022-05-26 05:58:02 +0000 | <Axman6> | Guest5490: also, is this homework? |
| 2022-05-26 05:58:32 +0000 | <[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 05:58:42 +0000 | <dsal> | Guest5490: I'm pretty sure you don't want that, though. You can't do a total implementation. |
| 2022-05-26 06:01:35 +0000 | Guest|62 | (~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) (Quit: Connection closed) |
| 2022-05-26 06:03:49 +0000 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-26 06:05:48 +0000 | inversed | (~inversed@176.248.27.211) (Ping timeout: 272 seconds) |
| 2022-05-26 06:07:18 +0000 | Guest5490 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-26 06:08:24 +0000 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-26 06:08:35 +0000 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-26 06:09:12 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2022-05-26 06:10:29 +0000 | inversed | (~inversed@176.248.27.211) |
| 2022-05-26 06:13:59 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 06:16:43 +0000 | acidjnk | (~acidjnk@p200300d0c7068b246507333a1d24479a.dip0.t-ipconnect.de) |
| 2022-05-26 06:18:35 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-26 06:19:33 +0000 | <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 06:19:38 +0000 | <Axman6> | course* |
| 2022-05-26 06:20:01 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-05-26 06:20:27 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-05-26 06:21:09 +0000 | <Guest54> | It's okey, thanks... |
| 2022-05-26 06:21:30 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-26 06:21:37 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-26 06:24:43 +0000 | z0k | (~z0k@39.40.98.160) |
| 2022-05-26 06:27:28 +0000 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-26 06:27:31 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 06:27:56 +0000 | <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 06:34:47 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2022-05-26 06:35:33 +0000 | <Axman6> | ¯\_(ツ)_/¯ |
| 2022-05-26 06:41:33 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-26 06:42:29 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-26 06:44:56 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-26 06:51:54 +0000 | vpan | (~0@212.117.1.172) |
| 2022-05-26 06:52:59 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 06:57:10 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-26 06:57:22 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-05-26 06:59:10 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-26 07:00:43 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 07:04:52 +0000 | z0k | (~z0k@39.40.98.160) (Read error: Connection reset by peer) |
| 2022-05-26 07:18:26 +0000 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) |
| 2022-05-26 07:20:45 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds) |
| 2022-05-26 07:23:48 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-26 07:27:22 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-26 07:35:05 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-26 07:36:07 +0000 | akegalj | (~akegalj@78-1-179-207.adsl.net.t-com.hr) |
| 2022-05-26 07:36:07 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 07:40:22 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-05-26 07:47:05 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-05-26 07:48:26 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 07:48:55 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-26 07:50:58 +0000 | Guest8054 | (~Guest80@host-95-250-241-5.retail.telecomitalia.it) |
| 2022-05-26 07:52:59 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-26 07:53:12 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-26 07:53:32 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-26 07:57:18 +0000 | Guest8054 | (~Guest80@host-95-250-241-5.retail.telecomitalia.it) (Ping timeout: 252 seconds) |
| 2022-05-26 08:06:55 +0000 | mbuf | (~Shakthi@31.32.33.168) |
| 2022-05-26 08:09:15 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-05-26 08:13:58 +0000 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-26 08:14:00 +0000 | frost | (~frost@user/frost) |
| 2022-05-26 08:15:11 +0000 | mmhat | (~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-26 08:15:23 +0000 | chimp_ | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-05-26 08:16:59 +0000 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 255 seconds) |
| 2022-05-26 08:22:55 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-05-26 08:25:19 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-26 08:25:33 +0000 | danyisill | (~danny@2a02:2149:8b7e:c000:514a:5a34:fc40:cdf3) (Remote host closed the connection) |
| 2022-05-26 08:29:27 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-26 08:31:02 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-26 08:37:00 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 08:40:17 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:112:ae86:ce54:49b6) |
| 2022-05-26 08:42:45 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-26 08:44:00 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-05-26 08:44:54 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-05-26 08:46:15 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f444:8f00:2183:31b2:41ac:ceec) |
| 2022-05-26 08:47:29 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-26 08:47:34 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:112:ae86:ce54:49b6) (Ping timeout: 244 seconds) |
| 2022-05-26 08:48:54 +0000 | vpan | (~0@212.117.1.172) |
| 2022-05-26 08:53:36 +0000 | `2jt | (~jtomas@182.red-88-17-61.dynamicip.rima-tde.net) |
| 2022-05-26 08:55:06 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 08:59:35 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-05-26 09:00:17 +0000 | Pikachu[m] | (~pychaumat@2001:470:69fc:105::2:1ce) (Quit: You have been kicked for being idle) |
| 2022-05-26 09:05:52 +0000 | Natch | (~natch@92.34.7.158) (Remote host closed the connection) |
| 2022-05-26 09:08:36 +0000 | Alex_test | (~al_test@178.34.163.188) (Quit: ;-) |
| 2022-05-26 09:08:51 +0000 | AlexZenon | (~alzenon@178.34.163.188) (Quit: ;-) |
| 2022-05-26 09:09:01 +0000 | AlexNoo | (~AlexNoo@178.34.163.188) (Quit: Leaving) |
| 2022-05-26 09:11:27 +0000 | acidjnk | (~acidjnk@p200300d0c7068b246507333a1d24479a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-26 09:16:00 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 09:16:07 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 09:16:20 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 09:16:44 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 09:18:25 +0000 | flinner | (~flinner@user/flinner) (Using Circe, the loveliest of all IRC clients) |
| 2022-05-26 09:21:11 +0000 | AlexZenon | (~alzenon@178.34.163.188) |
| 2022-05-26 09:22:26 +0000 | Alex_test | (~al_test@178.34.163.188) |
| 2022-05-26 09:22:31 +0000 | AlexNoo | (~AlexNoo@178.34.163.188) |
| 2022-05-26 09:25:13 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-05-26 09:33:13 +0000 | akegalj | (~akegalj@78-1-179-207.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-05-26 09:33:21 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-05-26 09:33:28 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-05-26 09:34:08 +0000 | noteness | (~noteness@user/noteness) |
| 2022-05-26 09:34:18 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-26 09:36:43 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-26 09:37:26 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 09:42:02 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 255 seconds) |
| 2022-05-26 09:49:00 +0000 | mima | (~mmh@net-5-88-214-22.cust.vodafonedsl.it) (Ping timeout: 276 seconds) |
| 2022-05-26 09:49:30 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds) |
| 2022-05-26 09:50:01 +0000 | mima | (~mmh@net-5-95-238-67.cust.vodafonedsl.it) |
| 2022-05-26 09:51:08 +0000 | <maerwald> | seems to be uni course, ghcup channel has been getting more windows user questions lately as well |
| 2022-05-26 09:51:17 +0000 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-26 09:52:13 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds) |
| 2022-05-26 09:56:23 +0000 | <Hecate> | haha yeah |
| 2022-05-26 09:56:39 +0000 | <Hecate> | maerwald: I may have recommended ghcup to my friend who teaches haskell at Swansea Uni |
| 2022-05-26 09:57:01 +0000 | <Hecate> | although I think she doesn't have class this semester |
| 2022-05-26 10:00:00 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-26 10:01:22 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 258 seconds) |
| 2022-05-26 10:07:03 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 10:13:05 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-05-26 10:13:05 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-05-26 10:13:08 +0000 | allbery_b | geekosaur |
| 2022-05-26 10:15:11 +0000 | <maerwald[m]> | It seems antivirus or windows defender frequently blocks download and installation of msys2. Windows is a cluster f*ck |
| 2022-05-26 10:21:18 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds) |
| 2022-05-26 10:21:37 +0000 | <[exa]> | yes. |
| 2022-05-26 10:23:06 +0000 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) |
| 2022-05-26 10:23:57 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-26 10:24:14 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-26 10:26:59 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2022-05-26 10:27:20 +0000 | yauhsien | (~yauhsien@61-231-28-241.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-26 10:28:23 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-05-26 10:33:24 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-05-26 10:35:39 +0000 | <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 10:35:55 +0000 | <jackdk> | Hecate: ANU is on ghcup for its home install instructions too: https://comp.anu.edu.au/courses/comp1100/resources/install/ |
| 2022-05-26 10:44:03 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 10:49:58 +0000 | <maerwald[m]> | 8.6.5, hmm |
| 2022-05-26 10:56:44 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2022-05-26 10:59:06 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-26 10:59:40 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 11:00:07 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 11:00:49 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 11:01:48 +0000 | <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 11:04:29 +0000 | <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 11:04:34 +0000 | <maerwald[m]> | So it's a poor choice |
| 2022-05-26 11:05:00 +0000 | <fendor[m]> | for the same reason, we upgraded to 8.10.7 this semester |
| 2022-05-26 11:07:59 +0000 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) (Ping timeout: 255 seconds) |
| 2022-05-26 11:10:10 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-26 11:12:40 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds) |
| 2022-05-26 11:13:15 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-05-26 11:16:57 +0000 | phma | (phma@2001:5b0:210d:afc8:9145:8b6b:11c6:775c) (Read error: Connection reset by peer) |
| 2022-05-26 11:17:45 +0000 | phma | (~phma@host-67-44-209-63.hnremote.net) |
| 2022-05-26 11:20:47 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-26 11:24:28 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-05-26 11:28:05 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-26 11:28:48 +0000 | <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 11:34:28 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-26 11:34:37 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-26 11:37:35 +0000 | <Franciman> | why doesn't haskell run on ARM? |
| 2022-05-26 11:37:54 +0000 | <Franciman> | oh maybe it's a particular ARM :( |
| 2022-05-26 11:39:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 11:42:08 +0000 | <Rembane> | Franciman: Which ARM doesn't Haskell run on? |
| 2022-05-26 11:42:35 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2022-05-26 11:43:11 +0000 | <Franciman> | M1 |
| 2022-05-26 11:43:21 +0000 | <Franciman> | M1 is arm right? |
| 2022-05-26 11:43:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 255 seconds) |
| 2022-05-26 11:44:59 +0000 | <Rembane> | It is indeed. |
| 2022-05-26 11:45:44 +0000 | <Rembane> | It could work according to this blog post: https://www.haskell.org/ghc/blog/20210309-apple-m1-story.html |
| 2022-05-26 11:46:12 +0000 | <maerwald> | it runs on M1 |
| 2022-05-26 11:49:22 +0000 | taeaad | (~taeaad@user/taeaad) |
| 2022-05-26 11:49:55 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 11:53:58 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-26 11:54:50 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-05-26 11:56:01 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 11:57:29 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-05-26 11:58:15 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-26 11:59:21 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-05-26 12:02:23 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-26 12:03:15 +0000 | sympt | (~sympt@user/sympt) (Read error: Connection reset by peer) |
| 2022-05-26 12:03:36 +0000 | sympt | (~sympt@user/sympt) |
| 2022-05-26 12:16:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-26 12:32:27 +0000 | <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 12:33:09 +0000 | <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 12:34:34 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-26 12:35:04 +0000 | <maerwald> | rm -rf /nix |
| 2022-05-26 12:35:15 +0000 | <romes[m]> | LOL |
| 2022-05-26 12:35:42 +0000 | <geekosaur> | nix the /nix |
| 2022-05-26 12:35:50 +0000 | jollygood2 | (www-data@2607:5300:60:8be::1) |
| 2022-05-26 12:36:22 +0000 | <jackdk> | maerwald: lol no, but I can sympathise with the sentiment |
| 2022-05-26 12:36:39 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-26 12:40:45 +0000 | <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 12:42:41 +0000 | <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 12:44:11 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) |
| 2022-05-26 12:44:48 +0000 | vonfry | (~user@139.227.167.223) |
| 2022-05-26 12:48:44 +0000 | djanatyn1 | (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 250 seconds) |
| 2022-05-26 12:49:06 +0000 | djanatyn1 | (~djanatyn@vps-7f49a6b0.vps.ovh.ca) |
| 2022-05-26 12:49:21 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-05-26 12:59:47 +0000 | carrotahma | (~star@86.32.51.91) |
| 2022-05-26 13:03:47 +0000 | <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 13:04:35 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-05-26 13:05:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 13:07:49 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 13:10:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Ping timeout: 258 seconds) |
| 2022-05-26 13:15:44 +0000 | dons | (~dons@user/dons) (Ping timeout: 240 seconds) |
| 2022-05-26 13:18:42 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 13:18:59 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 13:23:23 +0000 | vonfry | (~user@139.227.167.223) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-05-26 13:24:30 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-05-26 13:25:43 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-26 13:32:10 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-05-26 13:34:07 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds) |
| 2022-05-26 13:35:53 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-26 13:35:53 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-26 13:35:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-26 13:42:10 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-05-26 13:47:27 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-05-26 13:50:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-26 13:55:58 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2022-05-26 13:58:07 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2022-05-26 13:58:25 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-05-26 13:59:50 +0000 | Chargen | Macbethwin |
| 2022-05-26 14:00:57 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 2022-05-26 14:10:57 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 14:11:24 +0000 | fish_and_kat[m] | (~fishandka@2001:470:69fc:105::2:1a62) |
| 2022-05-26 14:11:39 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 14:11:56 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 14:13:41 +0000 | modotte | (~modotte@2001:e68:5457:e554:4db2:619c:426b:200c) |
| 2022-05-26 14:14:31 +0000 | modotte | (~modotte@2001:e68:5457:e554:4db2:619c:426b:200c) (Client Quit) |
| 2022-05-26 14:17:03 +0000 | <lechner> | Hi, do you see a website about the Fay language here? https://fay-lang.org/ |
| 2022-05-26 14:17:48 +0000 | <[exa]> | jollygood2: you got lucky apparently :D |
| 2022-05-26 14:18:24 +0000 | <[exa]> | jollygood2: btw docs of randomRIO recommend to use uniformRM, likely because of similar concenrs |
| 2022-05-26 14:18:48 +0000 | <[exa]> | lechner: no, seems like the domain was hijacked |
| 2022-05-26 14:19:38 +0000 | modotte | (~modotte@user/modotte) |
| 2022-05-26 14:20:30 +0000 | <[exa]> | carrotahma: how'd you assume it can't build with >=8.2.2 ? |
| 2022-05-26 14:21:31 +0000 | fish_and_kat[m] | (~fishandka@2001:470:69fc:105::2:1a62) () |
| 2022-05-26 14:22:40 +0000 | <geekosaur> | carrotahma, the build failed because the hackage build server doesn't have things like opencv installed |
| 2022-05-26 14:23:14 +0000 | <geekosaur> | that was a deliberate decision to not randomly install C/C++/etc. dependencies on the build server |
| 2022-05-26 14:23:35 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-26 14:23:55 +0000 | <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 14:24:29 +0000 | modotte | (~modotte@user/modotte) (Quit: Leaving) |
| 2022-05-26 14:27:03 +0000 | <geekosaur> | lechner, looks like fay moved its homepage to https://github.com/faylang/fay/wiki |
| 2022-05-26 14:28:35 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-05-26 14:29:44 +0000 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-05-26 14:32:59 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 14:33:02 +0000 | mmhat | (~mmh@p200300f1c7058452ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5) |
| 2022-05-26 14:33:03 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 2022-05-26 14:33:16 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 14:34:30 +0000 | <carrotahma> | Geekosaur, I see thanks, I will give it a try then. |
| 2022-05-26 14:37:12 +0000 | dcleonarski | (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 2022-05-26 14:43:34 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-26 14:45:04 +0000 | flinner- | (~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1) |
| 2022-05-26 14:46:31 +0000 | flinner- | (~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1) (Client Quit) |
| 2022-05-26 14:46:54 +0000 | flinner- | (~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1) |
| 2022-05-26 14:50:09 +0000 | Guest|62 | (~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) |
| 2022-05-26 14:51:52 +0000 | mbuf | (~Shakthi@31.32.33.168) (Quit: Leaving) |
| 2022-05-26 14:53:53 +0000 | ehammarstrom_ | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 14:55:30 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-05-26 14:57:43 +0000 | <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 14:57:43 +0000 | <Guest|62> | fails. Wondering if anyone might steer me in the right direction, as this channel was super helpful last night. |
| 2022-05-26 14:57:44 +0000 | <Guest|62> | https://paste.tomsmeding.com/h10RmNBR |
| 2022-05-26 15:02:38 +0000 | Kaipei | Kaiepi |
| 2022-05-26 15:02:47 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-26 15:07:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-26 15:12:10 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-05-26 15:13:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-26 15:16:30 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-05-26 15:16:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-26 15:16:57 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-26 15:23:46 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 15:26:02 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-26 15:36:07 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-26 15:37:37 +0000 | <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 15:39:28 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds) |
| 2022-05-26 15:41:25 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-05-26 15:41:38 +0000 | <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 15:43:01 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-26 15:51:25 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 15:54:29 +0000 | <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 15:55:57 +0000 | jeffz` | (~user@lambda.xen.prgmr.com) (Read error: Connection reset by peer) |
| 2022-05-26 15:56:26 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-05-26 15:58:03 +0000 | Macbethwin | chargen |
| 2022-05-26 16:01:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 16:01:30 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-26 16:04:10 +0000 | flinner- | (~flinner@2001:16a2:7a92:3f00:8224:9fae:ee45:22e1) (Using Circe, the loveliest of all IRC clients) |
| 2022-05-26 16:05:12 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 16:06:06 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 16:06:45 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-26 16:07:00 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 16:07:17 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 16:08:59 +0000 | phma_ | (phma@2001:5b0:211b:bd28:1581:81c0:d5e5:b872) |
| 2022-05-26 16:09:16 +0000 | phma | (~phma@host-67-44-209-63.hnremote.net) (Read error: Connection reset by peer) |
| 2022-05-26 16:10:55 +0000 | Guest61 | (~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) |
| 2022-05-26 16:12:55 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-26 16:13:25 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 16:13:28 +0000 | <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 16:15:44 +0000 | <Guest61> | Also, what is Tom's Meding? |
| 2022-05-26 16:16:24 +0000 | <dolio> | No. A good name requires more context than "sum of unknown records." |
| 2022-05-26 16:16:35 +0000 | <Rembane> | Tom Smeding is a person who has created a nice paste bin service written in Haskell. |
| 2022-05-26 16:18:12 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-26 16:18:18 +0000 | <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 16:21:27 +0000 | <maerwald> | Rembane: and a playground |
| 2022-05-26 16:21:58 +0000 | <Rembane> | maerwald: Cool! I didn't know that! Now I need to go play! |
| 2022-05-26 16:24:20 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 16:25:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 16:26:48 +0000 | <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 16:29:29 +0000 | <Guest|62> | hmmmm |
| 2022-05-26 16:30:41 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 16:30:58 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 16:31:28 +0000 | <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 16:32:07 +0000 | <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 16:34:03 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-26 16:36:57 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-26 16:38:58 +0000 | <Guest61> | dolio: In this case I have a huge sum type of events, and each record corresponds to a specific event. |
| 2022-05-26 16:41:21 +0000 | <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 16:41:23 +0000 | <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 16:41:50 +0000 | <Guest61> | geekosaur: That looks terrible. What about all the undefined records? |
| 2022-05-26 16:42:34 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 16:42:40 +0000 | <geekosaur> | what do you mean undefined? |
| 2022-05-26 16:43:10 +0000 | <Guest61> | I mean that a bunch of those accessors are partial. |
| 2022-05-26 16:43:34 +0000 | <geekosaur> | sure, that's why I specified "enough parts in common" |
| 2022-05-26 16:43:51 +0000 | <geekosaur> | we just don't use the accessors that don't correspond to the constructor |
| 2022-05-26 16:44:23 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Remote host closed the connection) |
| 2022-05-26 16:44:31 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:4c8e:43ff:fe45:6dbc) |
| 2022-05-26 16:44:35 +0000 | <geekosaur> | this is kinda defined by X11, so there is little to be done at this level |
| 2022-05-26 16:45:02 +0000 | <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 16:45:54 +0000 | <int-e> | Guest|62: feel free to add to https://github.com/larskuhtz/hs-hashes/issues/14 |
| 2022-05-26 16:45:59 +0000 | <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 16:52:37 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 16:56:24 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection) |
| 2022-05-26 16:58:00 +0000 | econo | (uid147250@user/econo) |
| 2022-05-26 16:59:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 16:59:36 +0000 | <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 17:01:07 +0000 | phma_ | phma |
| 2022-05-26 17:02:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 17:06:22 +0000 | <int-e> | Guest|62: heh it's perfectly fine if you don't have anything to add |
| 2022-05-26 17:07:17 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 17:07:34 +0000 | <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 17:08:05 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-05-26 17:12:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 17:13:10 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:4c8e:43ff:fe45:6dbc) (Read error: Connection reset by peer) |
| 2022-05-26 17:14:25 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 17:14:51 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) |
| 2022-05-26 17:15:16 +0000 | Guest|62 | (~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) (Quit: Connection closed) |
| 2022-05-26 17:17:31 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-26 17:18:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 17:22:47 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 17:24:24 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) |
| 2022-05-26 17:24:35 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 17:26:06 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-26 17:27:34 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 17:29:43 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-26 17:30:33 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 17:37:02 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-05-26 17:40:05 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-26 17:45:08 +0000 | <anon15041149> | Is there a way to count the number of characters in a given expression? |
| 2022-05-26 17:45:58 +0000 | <byorgey> | anon15041149: by "a given expression", do you mean a String? Or do you mean some Haskell code? |
| 2022-05-26 17:46:15 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-05-26 17:46:45 +0000 | noteness | (~noteness@user/noteness) |
| 2022-05-26 17:46:58 +0000 | <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 17:47:51 +0000 | Guest61 | (~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) (Quit: Client closed) |
| 2022-05-26 17:48:19 +0000 | <geekosaur> | > length (show 5 ++ "abcde") |
| 2022-05-26 17:48:21 +0000 | <lambdabot> | 6 |
| 2022-05-26 17:48:51 +0000 | <EvanR> | be thankful they didn't ask for the number of numbers in the number |
| 2022-05-26 17:48:55 +0000 | <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 17:55:37 +0000 | Guest61 | (~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) |
| 2022-05-26 17:56:27 +0000 | Xe | (~cadey@tailscale/xe) (Remote host closed the connection) |
| 2022-05-26 18:00:27 +0000 | Xe | (~cadey@tailscale/xe) |
| 2022-05-26 18:02:02 +0000 | Hash | stoned |
| 2022-05-26 18:02:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 18:05:10 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 18:06:22 +0000 | <zzz> | i'm getting "Could not deserialize <repo>/root.json: Malformed: (line 1, column 1): |
| 2022-05-26 18:06:28 +0000 | <zzz> | Could not deserialize <repo>/root.json: Malformed: (line 1, column 1): |
| 2022-05-26 18:06:29 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-05-26 18:06:38 +0000 | <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 18:06:42 +0000 | <zzz> | unexpected "<" |
| 2022-05-26 18:06:45 +0000 | <zzz> | from cabal install |
| 2022-05-26 18:06:51 +0000 | <zzz> | i mean, cabal update |
| 2022-05-26 18:07:12 +0000 | <zzz> | (sorry for the paste mess) |
| 2022-05-26 18:07:19 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-26 18:07:50 +0000 | <anon15041149> | byorgey: I meant something like "count example" return...like above |
| 2022-05-26 18:09:37 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-05-26 18:10:01 +0000 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-05-26 18:10:17 +0000 | <geekosaur> | zzz, sounds like your ~/.cabal/packages/<repo> is corrupt (for whatever <repo> is) |
| 2022-05-26 18:10:51 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-05-26 18:12:41 +0000 | <geekosaur> | https://paste.tomsmeding.com/NxG1FCGu is an example of what it should like (when prettified) |
| 2022-05-26 18:14:05 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Remote host closed the connection) |
| 2022-05-26 18:14:13 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) |
| 2022-05-26 18:14:14 +0000 | trisolaran | (~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2022-05-26 18:14:25 +0000 | aliosablack | (~chomwitt@80.106.160.253) |
| 2022-05-26 18:16:25 +0000 | chomwitt | (~chomwitt@2a02:587:dc17:d600:edfa:63d8:a33:78aa) (Ping timeout: 244 seconds) |
| 2022-05-26 18:17:16 +0000 | Guest61 | (~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) (Quit: Client closed) |
| 2022-05-26 18:18:01 +0000 | <anon15041149> | How do I get the length of a String in a given data type? |
| 2022-05-26 18:18:50 +0000 | <anon15041149> | like getting the length of the Talk String https://paste.tomsmeding.com/9uoKrmH6 |
| 2022-05-26 18:18:53 +0000 | <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 18:19:43 +0000 | <geekosaur> | normally I'd just do `length (show someCommand)` but I can't tell if that's actually what you want |
| 2022-05-26 18:19:55 +0000 | <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 18:20:42 +0000 | <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 18:21:29 +0000 | <anon15041149> | I don't know anything about generics :/ I'm still just learning |
| 2022-05-26 18:21:50 +0000 | <geekosaur> | no, that's fairly advanced stuff. I know it's doable but couldn't tell you how |
| 2022-05-26 18:22:43 +0000 | <maerwald> | anon15041149: https://play-haskell.tomsmeding.com/play/paste/n3lmWa7M/1 |
| 2022-05-26 18:22:59 +0000 | vysn | (~vysn@user/vysn) |
| 2022-05-26 18:22:59 +0000 | <maerwald> | you're looking for line 16-17? |
| 2022-05-26 18:23:58 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-26 18:24:19 +0000 | pgib | (~textual@173.38.117.90) |
| 2022-05-26 18:29:22 +0000 | <byorgey> | anon15041149: to get the length of a String, you can just use the 'length' function |
| 2022-05-26 18:30:05 +0000 | <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 18:32:02 +0000 | Guest|62 | (~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) |
| 2022-05-26 18:32:45 +0000 | <geekosaur> | "something custom you'd want to write", yeh |
| 2022-05-26 18:37:34 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 18:37:35 +0000 | <anon15041149> | maerwald[m]: yes and summing those line to return a single float |
| 2022-05-26 18:37:48 +0000 | <maerwald> | well, what have you tried? |
| 2022-05-26 18:38:18 +0000 | <anon15041149> | If I type in that play-haskell can you see it? |
| 2022-05-26 18:38:22 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Read error: Connection reset by peer) |
| 2022-05-26 18:38:30 +0000 | <maerwald> | you'll have to create a new paste from it then, there's a button |
| 2022-05-26 18:38:51 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:445d:2ea0:2c8a:24db) |
| 2022-05-26 18:40:26 +0000 | <anon15041149> | Ok |
| 2022-05-26 18:42:19 +0000 | <int-e> | @where play |
| 2022-05-26 18:42:20 +0000 | <lambdabot> | I know nothing about play. |
| 2022-05-26 18:42:43 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 18:42:52 +0000 | <int-e> | @where+ play https://play-haskell.tomsmeding.com/play |
| 2022-05-26 18:42:52 +0000 | <lambdabot> | Okay. |
| 2022-05-26 18:43:29 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 18:43:50 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 18:44:37 +0000 | polyphem | (~polyphem@2a02:810d:840:8754:f931:96f6:617b:dade) (Ping timeout: 260 seconds) |
| 2022-05-26 18:45:44 +0000 | <anon15041149> | maerwald[m]: can you view this https://play-haskell.tomsmeding.com/N3ziqc1c? |
| 2022-05-26 18:45:52 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-05-26 18:46:09 +0000 | <maerwald> | yeah, it doesn't show any new code |
| 2022-05-26 18:46:26 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-26 18:48:03 +0000 | <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 18:48:11 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 18:48:30 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 18:48:40 +0000 | <anon15041149> | just was clearing that up |
| 2022-05-26 18:48:49 +0000 | <maerwald> | that doesn't show me what you tried |
| 2022-05-26 18:49:14 +0000 | <anon15041149> | I'm still working on getting something down but I didn't know where to look |
| 2022-05-26 18:55:19 +0000 | <anon15041149> | Would I use pattern matching? |
| 2022-05-26 18:59:46 +0000 | <geekosaur> | yes |
| 2022-05-26 19:01:57 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 19:06:49 +0000 | <anon15041149> | right |
| 2022-05-26 19:06:56 +0000 | <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 19:06:56 +0000 | <lambdabot> | It is stored. |
| 2022-05-26 19:07:20 +0000 | jollygood2 | (www-data@2607:5300:60:8be::1) (Quit: CGI:IRC (EOF)) |
| 2022-05-26 19:07:34 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection) |
| 2022-05-26 19:07:57 +0000 | alx741 | (~alx741@host-186-3-154-11.netlife.ec) |
| 2022-05-26 19:08:04 +0000 | alx741 | (~alx741@host-186-3-154-11.netlife.ec) (Client Quit) |
| 2022-05-26 19:08:52 +0000 | <EvanR> | pattern matching is the essence of haskell computation |
| 2022-05-26 19:08:57 +0000 | <sm> | tcard: https://leanpub.com/finding-success-in-haskell might be one you don't have |
| 2022-05-26 19:09:28 +0000 | <EvanR> | evaluating a case analysis is where haskell becomes irreversible xD |
| 2022-05-26 19:09:58 +0000 | <anon15041149> | I'm thinking something like this getTalkStr :: Commands -> String getTalkStr (Talk str _) = length str |
| 2022-05-26 19:10:16 +0000 | <sm> | AKA The Joy Of Haskell, it seems ? |
| 2022-05-26 19:10:16 +0000 | <EvanR> | I was going to say, do you have your overall type signature right? |
| 2022-05-26 19:10:34 +0000 | <EvanR> | without that, we're all lost |
| 2022-05-26 19:13:21 +0000 | <anon15041149> | this is what I have so far in vscode https://paste.tomsmeding.com/HEEWdgR7 |
| 2022-05-26 19:16:52 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 19:19:37 +0000 | <anon15041149> | EvanR: any thought? |
| 2022-05-26 19:19:41 +0000 | <anon15041149> | thoughts* |
| 2022-05-26 19:21:02 +0000 | <EvanR> | I think Commands -> String is suspcious as I understood your goal |
| 2022-05-26 19:27:44 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-26 19:30:11 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-05-26 19:31:00 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-26 19:31:06 +0000 | <anon15041149> | I was trying to get the length of the String first |
| 2022-05-26 19:31:11 +0000 | <anon15041149> | :( |
| 2022-05-26 19:31:31 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-26 19:31:41 +0000 | <geekosaur> | but why would that be a String? |
| 2022-05-26 19:32:16 +0000 | <anon15041149> | Talk is a String |
| 2022-05-26 19:32:28 +0000 | <EvanR> | no? |
| 2022-05-26 19:33:00 +0000 | <EvanR> | you can ask ghci what the type of e.g. Talk is |
| 2022-05-26 19:33:06 +0000 | <EvanR> | or anything else |
| 2022-05-26 19:33:21 +0000 | <EvanR> | :t 'c' |
| 2022-05-26 19:33:22 +0000 | <lambdabot> | Char |
| 2022-05-26 19:33:39 +0000 | <anon15041149> | Commands |
| 2022-05-26 19:34:08 +0000 | <EvanR> | Talk :: String -> ? -> Commands, more likely |
| 2022-05-26 19:34:26 +0000 | <EvanR> | point is length doesn't return a string |
| 2022-05-26 19:34:27 +0000 | ehammarstrom_ | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2022-05-26 19:34:56 +0000 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-05-26 19:36:19 +0000 | <anon15041149> | Talk :: String -> Commands -> Commands |
| 2022-05-26 19:36:55 +0000 | <anon15041149> | geekosaur: how many lines of code should this take if I'm using pattern matching? |
| 2022-05-26 19:37:15 +0000 | <geekosaur> | 3 + 1 for the type signature |
| 2022-05-26 19:37:18 +0000 | <maerwald> | I'm assuming you had a haskell class before you got this assignment? |
| 2022-05-26 19:37:49 +0000 | <geekosaur> | if you follow the structure of the type and use pattern matching it should actually be pretty simple |
| 2022-05-26 19:40:25 +0000 | <maerwald> | if this is an assignment, I suggest to look at the script from the lecture before going further |
| 2022-05-26 19:40:33 +0000 | <maerwald> | if it's not, we have links for learning material |
| 2022-05-26 19:40:55 +0000 | <maerwald> | but your questions indicate that you're struggling with basics, which are best covered by introductory material |
| 2022-05-26 19:42:25 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-26 19:44:09 +0000 | <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 19:44:59 +0000 | <maerwald> | ashln: scotty |
| 2022-05-26 19:46:21 +0000 | <ashln> | oh, this looks pretty good - thanks so much! |
| 2022-05-26 19:50:16 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-05-26 19:52:38 +0000 | <anon15041149> | lecturer doesn't speak English well, ok thanks anyway |
| 2022-05-26 19:52:54 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 19:53:42 +0000 | <maerwald> | what? :D |
| 2022-05-26 19:54:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) (Remote host closed the connection) |
| 2022-05-26 19:55:03 +0000 | jollygood2 | (www-data@2607:5300:60:8be::1) |
| 2022-05-26 19:55:05 +0000 | <anon15041149> | It's difficult to follow |
| 2022-05-26 19:55:08 +0000 | <maerwald> | anon15041149: http://learnyouahaskell.com/starting-out#ready-set-go |
| 2022-05-26 19:55:16 +0000 | <maerwald> | this isn't too in-depth and might already help |
| 2022-05-26 19:55:28 +0000 | <anon15041149> | Alright, thank you |
| 2022-05-26 19:57:29 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-26 19:59:15 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-26 19:59:15 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-26 19:59:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-26 20:00:41 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:01:35 +0000 | Guest61 | (~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) |
| 2022-05-26 20:01:49 +0000 | <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 20:02:27 +0000 | <sm> | ack! wonder why I couldn't find it |
| 2022-05-26 20:02:55 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:03:00 +0000 | <sm> | oh, I probably had [beginner] selected |
| 2022-05-26 20:03:27 +0000 | <EvanR> | this one looks cool |
| 2022-05-26 20:04:27 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:05:15 +0000 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) |
| 2022-05-26 20:06:44 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:08:56 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:10:52 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2022-05-26 20:11:01 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:12:13 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:12:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:3962:822c:3b35:6c99) |
| 2022-05-26 20:14:22 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:17:48 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:20:04 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:20:47 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:23:06 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:23:54 +0000 | carrotahma | (~star@86.32.51.91) (Ping timeout: 258 seconds) |
| 2022-05-26 20:24:40 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:25:27 +0000 | causal | (~user@50.35.83.177) |
| 2022-05-26 20:26:35 +0000 | euandreh | (~euandreh@2804:14c:33:966c:2059:6e22:1326:6607) (Ping timeout: 258 seconds) |
| 2022-05-26 20:26:52 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:28:43 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:29:31 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 20:29:39 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) |
| 2022-05-26 20:30:53 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:31:07 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-26 20:36:04 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-26 20:36:13 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-26 20:39:00 +0000 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-26 20:44:48 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-05-26 20:46:46 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-05-26 20:46:59 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 20:48:46 +0000 | Guest61 | (~Guest61@2605:a601:a615:f600:f911:5878:e882:3100) (Ping timeout: 252 seconds) |
| 2022-05-26 20:50:33 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-26 20:53:06 +0000 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-05-26 20:54:48 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-26 21:07:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 21:10:07 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 21:10:29 +0000 | gff | (~gff@user/gff) (Ping timeout: 252 seconds) |
| 2022-05-26 21:12:53 +0000 | gff | (~gff@user/gff) |
| 2022-05-26 21:13:41 +0000 | pgib | (~textual@173.38.117.90) (Ping timeout: 255 seconds) |
| 2022-05-26 21:18:55 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-26 21:28:34 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-05-26 21:31:05 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-05-26 21:31:28 +0000 | pgib | (~textual@173.38.117.71) |
| 2022-05-26 21:34:57 +0000 | michalz | (~michalz@185.246.204.121) (Remote host closed the connection) |
| 2022-05-26 21:46:41 +0000 | <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 21:49:08 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-26 21:52:00 +0000 | <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 21:52:31 +0000 | vysn | (~vysn@user/vysn) |
| 2022-05-26 21:55:08 +0000 | anon15041149 | (~anon15041@host-80-41-95-245.as13285.net) (Remote host closed the connection) |
| 2022-05-26 21:55:16 +0000 | <sm> | DECEMBER 2012 :) |
| 2022-05-26 21:56:10 +0000 | <geekosaur> | mm, pretty sure fay-lang.org was still the Fay language back then |
| 2022-05-26 21:57:39 +0000 | phma | (phma@2001:5b0:211b:bd28:1581:81c0:d5e5:b872) (Read error: Connection reset by peer) |
| 2022-05-26 21:58:02 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-05-26 21:59:51 +0000 | phma | (phma@2001:5b0:211b:d6c8:7c20:918d:d36a:d199) |
| 2022-05-26 22:04:04 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-05-26 22:04:55 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.4) |
| 2022-05-26 22:04:55 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-05-26 22:06:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-26 22:17:18 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-26 22:17:56 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-26 22:21:04 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-05-26 22:23:02 +0000 | biberu\ | (~biberu@user/biberu) |
| 2022-05-26 22:23:53 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-05-26 22:24:18 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-05-26 22:24:39 +0000 | phma | (phma@2001:5b0:211b:d6c8:7c20:918d:d36a:d199) (Read error: Connection reset by peer) |
| 2022-05-26 22:24:57 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 276 seconds) |
| 2022-05-26 22:24:57 +0000 | biberu\ | biberu |
| 2022-05-26 22:25:42 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:445d:2ea0:2c8a:24db) (Ping timeout: 260 seconds) |
| 2022-05-26 22:25:55 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) |
| 2022-05-26 22:26:04 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-26 22:26:31 +0000 | dcleonarski | (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Remote host closed the connection) |
| 2022-05-26 22:26:39 +0000 | dcleonarski | (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) |
| 2022-05-26 22:29:26 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-26 22:32:14 +0000 | phma | (~phma@host-67-44-208-207.hnremote.net) |
| 2022-05-26 22:32:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-26 22:32:53 +0000 | roboguy_ | (~roboguy_@cpe-98-156-4-161.kc.res.rr.com) (Quit: Leaving...) |
| 2022-05-26 22:33:02 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-26 22:39:52 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-26 22:50:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-26 22:51:47 +0000 | dcleonarski | (~user@2804:d51:479c:4300:c312:71c1:ee9b:86ea) (Ping timeout: 240 seconds) |
| 2022-05-26 22:51:53 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-05-26 22:53:39 +0000 | Josh | (~Josh@104.247.241.176) |
| 2022-05-26 22:54:26 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-26 22:54:45 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-26 22:54:56 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds) |
| 2022-05-26 22:57:05 +0000 | vysn | (~vysn@user/vysn) |
| 2022-05-26 22:57:24 +0000 | argento | (~argent0@168-227-98-90.ptr.westnet.com.ar) |
| 2022-05-26 22:58:41 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-26 22:58:49 +0000 | <Josh> | n00b question: I defined a factorial function in the normal way (factorial 0 = 1, factorial n = n * factorial (n-1)), and it works fine for arguments up to 23, but then when I try to evaluate factorial 24, I get a negative value for some reason. Any ideas why this might be happening? |
| 2022-05-26 22:59:26 +0000 | <jackdk> | What is the type signature? Integer overflow seems like the most likely culprit if you used `Int`. `Integer` is the type of unbounded integers |
| 2022-05-26 22:59:54 +0000 | <hpc> | > maxBound + 1 :: Int |
| 2022-05-26 22:59:55 +0000 | <lambdabot> | -9223372036854775808 |
| 2022-05-26 23:00:07 +0000 | <Josh> | I used Int -> Int |
| 2022-05-26 23:00:08 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2022-05-26 23:00:15 +0000 | <jackdk> | That'd do it |
| 2022-05-26 23:00:45 +0000 | <Josh> | so if I change it to Integer -> Integer it should work properly? |
| 2022-05-26 23:01:25 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-26 23:01:51 +0000 | <jackdk> | Try it and see. The acid test is what the program does, not the opinions of half-asleep randos like me `:)` |
| 2022-05-26 23:01:57 +0000 | <Josh> | lol thanks |
| 2022-05-26 23:04:16 +0000 | <Josh> | Uploaded file: https://uploads.kiwiirc.com/files/40ef5b254651b4c28a44c1446ea7636c/image.png |
| 2022-05-26 23:04:19 +0000 | <Josh> | success! |
| 2022-05-26 23:07:12 +0000 | Josh | (~Josh@104.247.241.176) (Quit: Connection closed) |
| 2022-05-26 23:08:54 +0000 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-26 23:09:15 +0000 | Guest|62 | (~Guest|62@c-71-205-105-44.hsd1.co.comcast.net) (Quit: Connection closed) |
| 2022-05-26 23:14:44 +0000 | aliosablack | (~chomwitt@80.106.160.253) (Ping timeout: 255 seconds) |
| 2022-05-26 23:15:34 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f444:8f00:2183:31b2:41ac:ceec) (Ping timeout: 244 seconds) |
| 2022-05-26 23:19:04 +0000 | <EvanR> | 64 bits should be enough for anybody, not named Josh |
| 2022-05-26 23:20:15 +0000 | geekosaur | wonders when the first 128-bit cpus will emerge. and how they'll name their extended registers (probably %h…) |
| 2022-05-26 23:20:27 +0000 | <geekosaur> | or %o… |
| 2022-05-26 23:20:41 +0000 | <geekosaur> | missed one there :) |
| 2022-05-26 23:22:00 +0000 | <EvanR> | al, ax, eax, rax, jax, sax, dunno |
| 2022-05-26 23:22:12 +0000 | <EvanR> | snap crackle pop |
| 2022-05-26 23:24:04 +0000 | argento | (~argent0@168-227-98-90.ptr.westnet.com.ar) (Quit: leaving) |
| 2022-05-26 23:29:15 +0000 | chargen | MacBethwin |
| 2022-05-26 23:32:30 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 258 seconds) |
| 2022-05-26 23:36:30 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:445d:2ea0:2c8a:24db) |
| 2022-05-26 23:42:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-26 23:44:14 +0000 | <brettgilio> | Any programming language theory, category theory, or type theory nerds in here who want to join a dedicated channel, send me a msg! |
| 2022-05-26 23:44:39 +0000 | <romes[m]> | I'll join |
| 2022-05-26 23:45:46 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-26 23:49:23 +0000 | MacBethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Zzz be well all) |
| 2022-05-26 23:49:31 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-26 23:50:31 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 258 seconds) |
| 2022-05-26 23:55:41 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-26 23:55:41 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-26 23:55:41 +0000 | wroathe | (~wroathe@user/wroathe) |
