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