| 2024-11-09 00:00:22 +0100 | <yin> | don't quote me on that |
| 2024-11-09 00:01:56 +0100 | <geekosaur> | sadly I don't know of a good way to clean the HIE cache. I recently nuked mine completely and started over because it became confused about my switching branches in my ghc checkout |
| 2024-11-09 00:02:28 +0100 | kaskal | (~kaskal@213-147-165-220.nat.highway.webapn.at) (Ping timeout: 252 seconds) |
| 2024-11-09 00:05:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 00:09:41 +0100 | emfrom | (~emfrom@37.168.24.65) |
| 2024-11-09 00:09:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 00:20:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 00:27:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 00:29:06 +0100 | kaskal | (~kaskal@213-147-165-220.nat.highway.webapn.at) kaskal |
| 2024-11-09 00:32:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3200-3777-6c66-54b5-7b86-7066.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-09 00:35:48 +0100 | sw4n | (~sw4n@2605:59c0:40f0:9610:756d:bb84:d4bb:9b76) |
| 2024-11-09 00:37:28 +0100 | sw4n | (~sw4n@2605:59c0:40f0:9610:756d:bb84:d4bb:9b76) (Remote host closed the connection) |
| 2024-11-09 00:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 00:42:34 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 260 seconds) |
| 2024-11-09 00:43:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 00:46:53 +0100 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-09 00:48:24 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5628026389afde3b8f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-09 00:54:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 00:54:50 +0100 | Everything | (~Everythin@178-133-144-57.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-09 00:59:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-09 01:08:50 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2024-11-09 01:10:19 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-11-09 01:10:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 01:12:51 +0100 | <jle`> | is there any way to get cabal to print out the `-systems` it infers from the extra-libs: ? |
| 2024-11-09 01:13:57 +0100 | <geekosaur> | if `-v3` isn't doing it then it's not cabal doing it |
| 2024-11-09 01:15:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 01:15:25 +0100 | <geekosaur> | moreover there is no reference to -isystem in the cabal codebase |
| 2024-11-09 01:15:47 +0100 | <geekosaur> | are you sure this isn't coming from e.g. a pkg-config? |
| 2024-11-09 01:25:25 +0100 | <geekosaur> | also, uh, where are you getting `extra-deps` from exactly? isn't that a stack thing? |
| 2024-11-09 01:26:09 +0100 | <geekosaur> | oh, whoops, extra-libs. I don't think we infer includes from libraries |
| 2024-11-09 01:26:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 01:26:19 +0100 | <geekosaur> | (and in general you can't) |
| 2024-11-09 01:26:25 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-11-09 01:30:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
| 2024-11-09 01:30:37 +0100 | <jle`> | ah yeah i meant `extra-libraries:` |
| 2024-11-09 01:30:47 +0100 | <jle`> | oh huh, that's interesting then, i wonder where that's coming from |
| 2024-11-09 01:31:04 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-09 01:31:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 01:31:14 +0100 | <jle`> | i am using nix to set up the environment variables, they do tend to do spooky things |
| 2024-11-09 01:33:01 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-11-09 01:33:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 01:33:43 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-11-09 01:34:00 +0100 | <jle`> | ah i see the exact args coming from `NIX_CFLAGS_COMPILE` environment variable, it must be wrapping calls to gcc implicitly somehow so cabal wouldn't need to worry about anything |
| 2024-11-09 01:35:56 +0100 | <jle`> | clever. anyways i think that tells me how to get this done correctly, thanks for the help |
| 2024-11-09 01:39:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-09 01:40:25 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-11-09 01:44:03 +0100 | <geekosaur> | ah, yeh, nix likes to force everything to use its own glibc build and such |
| 2024-11-09 01:45:04 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-09 01:46:53 +0100 | <geekosaur> | (poorly; this causes locale issues, among others) |
| 2024-11-09 01:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 01:55:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 01:56:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-09 02:02:53 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-11-09 02:05:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 02:12:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 02:18:26 +0100 | sprotte24 | (~sprotte24@p200300d16f0bb9000907ce5a9cbe4fad.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-09 02:23:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 02:26:55 +0100 | euleritian | (~euleritia@77.22.252.56) (Remote host closed the connection) |
| 2024-11-09 02:28:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 02:29:21 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-09 02:39:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 02:45:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 02:45:28 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:b98:f687:dbac:9c4b) (Quit: Leaving) |
| 2024-11-09 02:52:38 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2024-11-09 02:55:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 02:59:55 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-11-09 03:00:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-09 03:01:46 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2024-11-09 03:07:34 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-11-09 03:11:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 03:11:57 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-11-09 03:12:30 +0100 | euleritian | (~euleritia@dynamic-176-006-133-204.176.6.pool.telefonica.de) |
| 2024-11-09 03:12:43 +0100 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-11-09 03:16:33 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
| 2024-11-09 03:16:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 03:25:18 +0100 | euleritian | (~euleritia@dynamic-176-006-133-204.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-09 03:25:36 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-09 03:27:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 03:28:21 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-09 03:31:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-09 03:40:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-09 03:41:07 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-09 03:42:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 03:49:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 03:55:15 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-09 03:57:22 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-09 03:57:52 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-09 04:02:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 04:04:20 +0100 | euleritian | (~euleritia@77.22.252.56) (Remote host closed the connection) |
| 2024-11-09 04:05:08 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-09 04:07:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-09 04:11:28 +0100 | emfrom | (~emfrom@37.168.24.65) (Remote host closed the connection) |
| 2024-11-09 04:17:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 04:22:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 04:24:23 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 2024-11-09 04:24:39 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
| 2024-11-09 04:27:11 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 2024-11-09 04:27:18 +0100 | xff0x | (~xff0x@2405:6580:b080:900:833e:a4a2:2f15:5b32) (Ping timeout: 252 seconds) |
| 2024-11-09 04:28:08 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eee6:e0ac:2327:6904) |
| 2024-11-09 04:30:34 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-11-09 04:33:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 04:38:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 04:39:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 04:45:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 04:48:50 +0100 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-09 04:49:55 +0100 | shapr | (~user@2601:19c:417e:5434:6d2c:aeb2:81b3:3df4) (Quit: sleep) |
| 2024-11-09 04:50:52 +0100 | td_ | (~td@i5387093E.versanet.de) td_ |
| 2024-11-09 04:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 05:00:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-09 05:03:38 +0100 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2024-11-09 05:04:04 +0100 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
| 2024-11-09 05:11:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 05:16:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 05:21:16 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eee6:e0ac:2327:6904) (Quit: xff0x) |
| 2024-11-09 05:22:33 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 05:26:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 05:33:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 05:34:04 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 260 seconds) |
| 2024-11-09 05:36:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-09 05:37:26 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-09 05:39:47 +0100 | longlongdouble | (~longlongd@49.36.234.68) |
| 2024-11-09 05:43:38 +0100 | aforemny_ | (~aforemny@i577B1213.versanet.de) aforemny |
| 2024-11-09 05:44:37 +0100 | aforemny | (~aforemny@2001:9e8:6cda:5700:b93:b66b:84fb:f5e8) (Ping timeout: 248 seconds) |
| 2024-11-09 05:44:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 05:47:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-09 05:49:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 05:55:07 +0100 | famubu | (~famubu@14.139.174.50) |
| 2024-11-09 05:56:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9e25:19b:96b8:664a) |
| 2024-11-09 05:58:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-09 06:00:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 06:01:21 +0100 | xdminsy | (~xdminsy@117.147.71.147) xdminsy |
| 2024-11-09 06:05:33 +0100 | dumptruckman | (~dumptruck@23-92-16-161.ip.linodeusercontent.com) (Quit: ZNC - https://znc.in) |
| 2024-11-09 06:06:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 06:20:28 +0100 | sdrfan123 | (~sdrfan123@2607:fb91:db5:49ea:a0c8:b931:31e1:a073) |
| 2024-11-09 06:23:02 +0100 | sdrfan123 | (~sdrfan123@2607:fb91:db5:49ea:a0c8:b931:31e1:a073) (Client Quit) |
| 2024-11-09 06:24:35 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-09 06:27:54 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-11-09 06:28:30 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-09 06:30:28 +0100 | rvalue- | rvalue |
| 2024-11-09 06:32:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 06:37:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-09 06:41:37 +0100 | Guest30 | (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 06:43:26 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-11-09 06:45:06 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-09 06:47:54 +0100 | Guest2 | (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 06:48:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 06:48:26 +0100 | Guest30 | (~Guest52@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 2024-11-09 06:48:31 +0100 | Guest17 | (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 06:48:39 +0100 | Guest2 | (~Guest52@syn-072-190-106-058.res.spectrum.com) (Write error: Broken pipe) |
| 2024-11-09 06:48:52 +0100 | Guest17 | (~Guest52@syn-072-190-106-058.res.spectrum.com) (Client Quit) |
| 2024-11-09 06:52:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 07:02:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-09 07:03:54 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-11-09 07:04:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-09 07:05:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 07:07:11 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-09 07:07:53 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-09 07:07:56 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-09 07:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 07:13:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 07:18:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 07:23:19 +0100 | falafel | (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) falafel |
| 2024-11-09 07:29:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 07:32:48 +0100 | Guest52 | (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 07:33:20 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 2024-11-09 07:34:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 07:36:22 +0100 | Guest37 | (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 07:37:40 +0100 | Guest37 | (~Guest52@syn-072-190-106-058.res.spectrum.com) (Client Quit) |
| 2024-11-09 07:38:04 +0100 | cryppty | (~cryppty@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 07:39:02 +0100 | Guest52 | (~Guest52@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 2024-11-09 07:40:43 +0100 | cryppty3 | (~cryppty@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 07:44:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-11-09 07:45:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-09 07:45:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 07:50:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-09 07:52:09 +0100 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-09 07:55:53 +0100 | cryppty | (~cryppty@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 2024-11-09 07:55:53 +0100 | cryppty3 | (~cryppty@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 2024-11-09 07:56:13 +0100 | cryppty | (~cryppty@syn-072-190-106-058.res.spectrum.com) |
| 2024-11-09 08:00:11 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-11-09 08:00:26 +0100 | falafel | (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) (Remote host closed the connection) |
| 2024-11-09 08:00:28 +0100 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-11-09 08:01:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 08:04:05 +0100 | <famubu> | I was trying out a snippet using list monad from this stackoverflow post: https://stackoverflow.com/a/20644753 |
| 2024-11-09 08:04:08 +0100 | <famubu> | The snippet in the post gave list of coin type where outcome is head as output. |
| 2024-11-09 08:04:12 +0100 | <famubu> | I was wondering if we could modify it to give output as a list of tuples, where fst is coin type and snd is outcome/face. |
| 2024-11-09 08:04:15 +0100 | <famubu> | So I did this: https://bpa.st/6AAA |
| 2024-11-09 08:04:17 +0100 | <famubu> | But that gives a type error because I'm not using the monad properly. |
| 2024-11-09 08:04:21 +0100 | <famubu> | Any idea how to fix that? |
| 2024-11-09 08:07:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 08:09:22 +0100 | cryppty | (~cryppty@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 2024-11-09 08:10:21 +0100 | ih1d | (~ih1d@24.139.109.18) |
| 2024-11-09 08:10:37 +0100 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) agent314 |
| 2024-11-09 08:13:28 +0100 | falafel | (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) falafel |
| 2024-11-09 08:18:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 08:23:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 08:25:16 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-11-09 08:26:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-09 08:28:18 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 2024-11-09 08:28:55 +0100 | <Leary> | famubu: Why are you trying to monadic-bind something out of a tuple? Just `return` the tuple directly. |
| 2024-11-09 08:34:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 08:38:22 +0100 | <famubu> | Leary: Thanks. It worked. And I think I get now. |
| 2024-11-09 08:39:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 08:41:22 +0100 | raym | (~ray@user/raym) (Quit: server maintenance) |
| 2024-11-09 08:46:31 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-09 08:46:41 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 2024-11-09 08:46:53 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-11-09 08:47:03 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-11-09 08:47:50 +0100 | Inst_ | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-11-09 08:48:15 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-11-09 08:48:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-09 08:49:01 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-11-09 08:49:56 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-09 08:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 08:51:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-11-09 08:51:19 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-11-09 08:55:11 +0100 | briandaed | (~root@185.234.210.211) |
| 2024-11-09 08:56:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-09 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-09 09:02:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-11-09 09:06:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 09:06:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2024-11-09 09:11:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 09:11:59 +0100 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-11-09 09:14:24 +0100 | falafel | (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) (Remote host closed the connection) |
| 2024-11-09 09:21:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 09:22:55 +0100 | Codeko | (~user@user/Codeko) Codeko |
| 2024-11-09 09:26:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 09:30:31 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-09 09:31:43 +0100 | Codeko | (~user@user/Codeko) (Remote host closed the connection) |
| 2024-11-09 09:35:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-09 09:37:05 +0100 | acidjnk | (~acidjnk@p200300d6e7283f16bd8799ad256db578.dip0.t-ipconnect.de) acidjnk |
| 2024-11-09 09:37:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 09:42:13 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-11-09 09:42:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 09:46:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 09:49:26 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-09 09:55:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 09:58:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-09 09:58:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-09 10:06:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 10:08:21 +0100 | willscripted | (~willscrip@user/willscripted) (Remote host closed the connection) |
| 2024-11-09 10:08:45 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-09 10:11:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-09 10:22:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 10:27:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 10:31:36 +0100 | famubu | (~famubu@14.139.174.50) (Ping timeout: 276 seconds) |
| 2024-11-09 10:37:06 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-09 10:38:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 10:39:37 +0100 | raym | (~ray@user/raym) raym |
| 2024-11-09 10:42:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-09 10:43:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 10:52:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 10:52:12 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-09 10:55:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-09 11:01:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 11:12:01 +0100 | longlongdouble | (~longlongd@49.36.234.68) (Ping timeout: 248 seconds) |
| 2024-11-09 11:12:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 11:15:51 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-09 11:17:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 11:17:43 +0100 | longlongdouble | (~longlongd@49.36.234.68) |
| 2024-11-09 11:18:13 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-09 11:25:08 +0100 | son0p | (~ff@186.115.69.167) (Quit: Leaving) |
| 2024-11-09 11:25:46 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-11-09 11:27:28 +0100 | son0p | (~ff@186.115.69.167) son0p |
| 2024-11-09 11:28:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 11:32:32 +0100 | ethantwardy | (user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 2024-11-09 11:32:56 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-09 11:32:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-09 11:35:47 +0100 | longlongdouble | (~longlongd@49.36.234.68) (Read error: Connection reset by peer) |
| 2024-11-09 11:40:49 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-11-09 11:41:08 +0100 | alexherbo2 | (~alexherbo@2a02-8440-330e-b682-9dd1-dc32-1c90-e50f.rev.sfr.net) alexherbo2 |
| 2024-11-09 11:42:37 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-09 11:42:37 +0100 | FragByte | (~christian@user/fragbyte) FragByte |
| 2024-11-09 11:43:32 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-11-09 11:43:55 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-09 11:45:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-330e-b682-9dd1-dc32-1c90-e50f.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-09 11:45:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 11:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-09 11:50:24 +0100 | rvalue- | rvalue |
| 2024-11-09 11:51:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) alexherbo2 |
| 2024-11-09 11:53:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 11:59:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 12:03:31 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-09 12:08:17 +0100 | longlongdouble | (~longlongd@117.225.3.25) |
| 2024-11-09 12:11:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 12:12:30 +0100 | briandaed | (~root@185.234.210.211) (Ping timeout: 272 seconds) |
| 2024-11-09 12:15:07 +0100 | housemate | (~housemate@146.70.66.228) (Ping timeout: 264 seconds) |
| 2024-11-09 12:15:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 12:15:54 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-11-09 12:16:04 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:17:37 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2024-11-09 12:17:43 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-09 12:19:29 +0100 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-11-09 12:21:08 +0100 | briandaed | (~root@185.234.210.211) |
| 2024-11-09 12:22:29 +0100 | housemate | (~housemate@146.70.66.228) (Ping timeout: 248 seconds) |
| 2024-11-09 12:25:42 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:26:26 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:26:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 12:27:17 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:27:59 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:28:47 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:29:34 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:31:17 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:31:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 12:32:03 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:33:45 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:33:56 +0100 | <lxsameer> | hey folks, is it possible to ask stan to ignore a certain line? |
| 2024-11-09 12:34:37 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:36:15 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:37:03 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:37:47 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:38:35 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:39:19 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:40:09 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:41:48 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:42:37 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:42:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 12:44:16 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:45:07 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:46:45 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:47:36 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:48:04 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:49:08 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:49:37 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:49:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-09 12:50:29 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:50:58 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:51:48 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:52:16 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 12:52:30 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-11-09 12:53:26 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-09 12:54:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 12:54:24 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-11-09 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-09 13:02:12 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-09 13:02:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-09 13:09:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-11-09 13:11:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-11-09 13:13:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 13:18:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 13:28:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 13:34:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 13:37:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f16bd8799ad256db578.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-09 13:44:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 13:49:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 13:55:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 13:57:52 +0100 | <SrPx> | hello. I need to JIT-compile simple C-like functions that I generate dynamically in Haskell, to a function that I can call during execution. Currently, I'm doing something quite dumb, which is generate a C file, call GCC, then dynamically load it. I could use LLVM-JIT to speed up, but GHC LLVM bindings are outdated and creating a LLVM file would still be laborious |
| 2024-11-09 13:58:12 +0100 | longlongdouble | (~longlongd@117.225.3.25) (Ping timeout: 252 seconds) |
| 2024-11-09 13:58:19 +0100 | <SrPx> | is there any simple Cabal lib that lets me just compile a simple C-like DSL to a function dynamically? it doesn't need to generate fast code, just be simple to use and compile fast |
| 2024-11-09 13:58:28 +0100 | <SrPx> | on hackage* |
| 2024-11-09 13:58:48 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-09 14:00:49 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-09 14:01:26 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 14:03:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 14:06:51 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-09 14:07:57 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-09 14:08:08 +0100 | longlongdouble | (~longlongd@49.36.234.104) |
| 2024-11-09 14:08:51 +0100 | <mauke> | wasn't there a libjit? |
| 2024-11-09 14:09:32 +0100 | acidjnk | (~acidjnk@p200300d6e7283f1684790f7c504ddb42.dip0.t-ipconnect.de) acidjnk |
| 2024-11-09 14:09:38 +0100 | <mauke> | might be dead |
| 2024-11-09 14:09:46 +0100 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2024-11-09 14:10:20 +0100 | <tomsmeding> | SrPx: fundamentally you're going to need a C compiler. What C compiler would you like to use? GCC exists, Clang exists, there is TinyC, and there are other more obscure ones |
| 2024-11-09 14:11:23 +0100 | <tomsmeding> | if it doesn't need to be C but just something that you can compile to native code, why exactly do you want that? Better FFI, performance, something else? |
| 2024-11-09 14:11:30 +0100 | <tomsmeding> | that informs what the best solution is |
| 2024-11-09 14:11:30 +0100 | <Leary> | SrPx: Not my area, but for up-to-date llvm bindings you can try https://hackage.haskell.org/package/llvm-codegen-0.1.0.0 or https://github.com/llvm-hs/llvm-hs/pull/430 |
| 2024-11-09 14:11:33 +0100 | <mauke> | with libjit you wouldn't need a C compiler, just FFI imports. but you might have to write your own compiler ... middle-end? |
| 2024-11-09 14:12:32 +0100 | <tomsmeding> | if you want to go the LLVM route, a better compatibility experience (no LLVM version hell) is to use llvm-pretty (on hackage) and pass the pretty-printed output to clang |
| 2024-11-09 14:12:46 +0100 | <tomsmeding> | that works for clang versions from back to LLVM 4 up to the very latest |
| 2024-11-09 14:13:14 +0100 | <tomsmeding> | (which is 19, three versions newer than the 16 that the PR that Leary linked to implements in llvm-hs) |
| 2024-11-09 14:14:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 14:16:26 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-09 14:17:43 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) idgaen |
| 2024-11-09 14:17:54 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) () |
| 2024-11-09 14:21:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 14:28:59 +0100 | longlongdouble | (~longlongd@49.36.234.104) (Remote host closed the connection) |
| 2024-11-09 14:31:08 +0100 | <SrPx> | tomsmeding: why i'd need a C compiler? again I just want t ocompile a dynamic function to machine code and call it, no need to involve the C lang at all |
| 2024-11-09 14:31:19 +0100 | <SrPx> | Laery ty |
| 2024-11-09 14:31:27 +0100 | son0p | (~ff@186.115.69.167) (Ping timeout: 246 seconds) |
| 2024-11-09 14:32:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 14:34:36 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-09 14:37:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 14:38:24 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 14:39:11 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-09 14:39:44 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-09 14:43:00 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-09 14:48:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 14:53:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 14:53:42 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 14:56:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 15:05:20 +0100 | ih1d | (~ih1d@24.139.109.18) (Remote host closed the connection) |
| 2024-11-09 15:06:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 15:15:03 +0100 | <tomsmeding> | SrPx: so do you want that for performance or for some other reason? |
| 2024-11-09 15:15:45 +0100 | <tomsmeding> | if so, then it kind of matters what backend you use -- you may not be very happy with QBE or TinyC, for example, even though those are "easy to target" backends that are sometimes recommended for this kind of question |
| 2024-11-09 15:16:34 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-09 15:17:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 15:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 15:29:05 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-11-09 15:32:04 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-09 15:33:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 15:38:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-09 15:39:56 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 2024-11-09 15:40:06 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:b88c:9557:f177:e3) (Remote host closed the connection) |
| 2024-11-09 15:40:13 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda |
| 2024-11-09 15:40:20 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) |
| 2024-11-09 15:48:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 15:50:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-09 15:51:25 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-09 15:53:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-09 15:55:15 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-09 15:57:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 15:57:20 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-11-09 16:02:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-09 16:03:28 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-09 16:05:25 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-09 16:09:16 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 16:11:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-09 16:12:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 16:13:29 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-09 16:14:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Client Quit) |
| 2024-11-09 16:15:24 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-09 16:15:42 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
| 2024-11-09 16:15:43 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-09 16:15:47 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-09 16:16:00 +0100 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-11-09 16:17:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 16:18:09 +0100 | ash3en1 | ash3en |
| 2024-11-09 16:19:16 +0100 | horm | (~horm@user/horm) horm |
| 2024-11-09 16:19:27 +0100 | <horm> | Is there a way to read this that doesn't make me want to punch someone in the face |
| 2024-11-09 16:19:35 +0100 | <horm> | sieve (p : xs) = p : sieve [x | x <− xs, x ‘mod‘ p > 0] |
| 2024-11-09 16:19:44 +0100 | <horm> | What is p, why is it everywhere |
| 2024-11-09 16:19:49 +0100 | <horm> | what the hell is the colon doing there |
| 2024-11-09 16:20:18 +0100 | <tomsmeding> | horm: p looks like a prime |
| 2024-11-09 16:20:44 +0100 | <horm> | why the FUCK did they not write "prime" |
| 2024-11-09 16:20:45 +0100 | <tomsmeding> | colon adds an item in front of a list: |
| 2024-11-09 16:20:50 +0100 | <tomsmeding> | > 2 : [3,4,5] |
| 2024-11-09 16:20:52 +0100 | <lambdabot> | [2,3,4,5] |
| 2024-11-09 16:21:05 +0100 | <horm> | how does a function's argument declaration allow that |
| 2024-11-09 16:21:10 +0100 | <tomsmeding> | because haskellers often are a bit overly short with names |
| 2024-11-09 16:21:12 +0100 | <horm> | or are you saying that : inside () is different than : without? |
| 2024-11-09 16:21:17 +0100 | <tomsmeding> | nope |
| 2024-11-09 16:21:20 +0100 | <horm> | how do i kill every haskeller ever |
| 2024-11-09 16:21:21 +0100 | <tomsmeding> | this is pattern-matching |
| 2024-11-09 16:21:34 +0100 | <horm> | is there haskell that makes them explode when they read it |
| 2024-11-09 16:21:45 +0100 | <tomsmeding> | how are you learning haskell? |
| 2024-11-09 16:21:46 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-09 16:22:00 +0100 | <horm> | i have so far refused because every attempt has made me unhealthily irate |
| 2024-11-09 16:22:09 +0100 | <tomsmeding> | then why are you in #haskell? |
| 2024-11-09 16:22:11 +0100 | <horm> | mostly unhealthy for the stupid fuckers who try to write haskell |
| 2024-11-09 16:22:20 +0100 | <horm> | tomsmeding: because this is a warning |
| 2024-11-09 16:22:24 +0100 | <tomsmeding> | for? |
| 2024-11-09 16:22:26 +0100 | <horm> | get your shit together |
| 2024-11-09 16:22:29 +0100 | <horm> | or i'll kill you all |
| 2024-11-09 16:22:42 +0100 | <horm> | quit pissing me off or you'll be SORRY |
| 2024-11-09 16:22:47 +0100 | <tomsmeding> | perhaps you need to get _your_ shit together and learn something about the language first; the design will make more sense then ;) |
| 2024-11-09 16:23:03 +0100 | <tomsmeding> | we are very happy to have informed discussion on language design here |
| 2024-11-09 16:23:21 +0100 | <tomsmeding> | in fact, interesting discussion on language design is what seems to get people going the most here |
| 2024-11-09 16:23:28 +0100 | <tomsmeding> | but emphasis on _informed_ discussion ;) |
| 2024-11-09 16:24:26 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 255 seconds) |
| 2024-11-09 16:24:29 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 16:24:32 +0100 | <horm> | is there a single document that doesn't try to sell me on anything that just denotes the actual programming language syntax |
| 2024-11-09 16:24:55 +0100 | <horm> | using something that doesn't involve eighteen people with furry avatars claiming to know anything while they're clearly just first year dipshit college kids |
| 2024-11-09 16:24:57 +0100 | <tomsmeding> | https://www.haskell.org/onlinereport/haskell2010/ |
| 2024-11-09 16:25:05 +0100 | <willscripted> | https://learnxinyminutes.com/docs/haskell/ |
| 2024-11-09 16:25:38 +0100 | <horm> | https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-160002.2 aw hell yeah |
| 2024-11-09 16:26:16 +0100 | <horm> | why is it that forth doesn't piss me off ever |
| 2024-11-09 16:26:23 +0100 | <horm> | but every time i see haskell it does |
| 2024-11-09 16:27:18 +0100 | <horm> | i'm getting it |
| 2024-11-09 16:27:21 +0100 | <horm> | as i read through this, it's python |
| 2024-11-09 16:27:21 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-09 16:27:26 +0100 | <horm> | worst decision ever |
| 2024-11-09 16:28:06 +0100 | <horm> | and why the fucking pipe character for list comprehensions? |
| 2024-11-09 16:28:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 16:28:45 +0100 | <horm> | they choose "head" for first item in list, but first item in pair is fucking fst? |
| 2024-11-09 16:30:29 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-09 16:33:14 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-11-09 16:33:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 16:34:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 16:38:41 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-09 16:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-09 16:40:09 +0100 | son0p | (~ff@186.121.96.140) son0p |
| 2024-11-09 16:40:44 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 16:40:59 +0100 | <EvanR> | alot of those names were drawn from previous languages |
| 2024-11-09 16:41:11 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-09 16:43:38 +0100 | <horm> | STUPID. |
| 2024-11-09 16:43:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-09 16:44:02 +0100 | <horm> | haskell could have taken names from literally any languages because there were fifty billion functionals prior to it |
| 2024-11-09 16:47:32 +0100 | <yushyin> | the | in list comprehension is from set-builder notation, i assume? |
| 2024-11-09 16:47:41 +0100 | <haskellbridge> | <Bowuigi> Oh also Haskell is older than Python and comes from a different work environment (research vs companies). Its notation was made to fit to mathematical conventions across a few researchers |
| 2024-11-09 16:47:53 +0100 | <haskellbridge> | <Bowuigi> yushyin indeed |
| 2024-11-09 16:48:46 +0100 | noctuks | (cYMVlnHrL3@user/noctux) (Quit: WeeChat 4.3.0) |
| 2024-11-09 16:48:46 +0100 | s4msung | (~s4msung@user/s4msung) (Quit: s4msung) |
| 2024-11-09 16:48:46 +0100 | yushyin | (Uxh5EO4c9E@karif.server-speed.net) (Quit: WeeChat 4.3.0) |
| 2024-11-09 16:49:14 +0100 | <haskellbridge> | <Bowuigi> Application syntax is from the lambda calculus and I'm thankful for that, as imperative "f(x, y)" syntax is horrible for currying and idiomatic Haskell |
| 2024-11-09 16:49:20 +0100 | noctuks | (xzARrcIJYp@user/noctux) noctux |
| 2024-11-09 16:49:21 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
| 2024-11-09 16:49:22 +0100 | yushyin | (BNexjgQE4Q@mail.karif.server-speed.net) yushyin |
| 2024-11-09 16:49:25 +0100 | s4msung | (5HBwEM1OuC@user/s4msung) s4msung |
| 2024-11-09 16:49:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-11-09 16:50:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 16:50:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2024-11-09 16:50:40 +0100 | <haskellbridge> | <Bowuigi> And there were like 5 successful functional languages before it, all of which looked more or less the same, except for the ML family which isn't that different anyway |
| 2024-11-09 16:51:31 +0100 | <yushyin> | and the first element of a linked list is often referred to as the head, it's not that uncommon, i think. |
| 2024-11-09 16:52:04 +0100 | <tomsmeding> | horm: stop trolling. |
| 2024-11-09 16:52:41 +0100 | <haskellbridge> | <Bowuigi> re:fst at least it's not pi_1 like in type theory lol |
| 2024-11-09 16:52:58 +0100 | <tomsmeding> | horm: if you want to learn haskell: you're welcome here, there's a healthy mix of haskell skill levels here. If you don't: that's okay too! Not everyone needs to learn (about) haskell. |
| 2024-11-09 16:53:35 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-09 16:55:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-09 16:56:03 +0100 | <haskellbridge> | <Bowuigi> And if you wanted to learn the cool stuff functional programming offers and were demotivated by Haskell's syntax, take a look at Elm, Morphic, or anything from the Standard ML family |
| 2024-11-09 16:56:28 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-11-09 16:56:53 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 16:57:00 +0100 | <haskellbridge> | <Bowuigi> The Lisp family is also half functional but if you disliked Haskell's syntax, you will absolutely hate Lisp's |
| 2024-11-09 16:57:52 +0100 | <horm> | makes sense that i just have to kill the white nationalist mathematics discipline to fix all my problems |
| 2024-11-09 16:58:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 16:58:20 +0100 | <horm> | nothing is more fuckin irritating than reading a supposed "mathematics" text when it comes to stupid fucking notation |
| 2024-11-09 16:58:39 +0100 | <horm> | elm was absolutely better |
| 2024-11-09 16:58:44 +0100 | <horm> | so i agree, bowuigi |
| 2024-11-09 16:58:50 +0100 | <horm> | but lisp was way better, in my experience |
| 2024-11-09 16:58:59 +0100 | <horm> | specifically racket and scheme, though |
| 2024-11-09 16:59:18 +0100 | <horm> | and what you don't like about lisp can be easily abstracted away, whereas if you did that in haskell the mob goes psycho |
| 2024-11-09 16:59:22 +0100 | <horm> | (as if they already weren't) |
| 2024-11-09 16:59:51 +0100 | <horm> | yushyin: yes, the first list element is fine being called head. with all four fucking letters typed out |
| 2024-11-09 17:00:21 +0100 | <horm> | the notion that they would use "head" and then go fist-up-ass-braindead on the word "first" (by shortening it to fst) is what pisses me off, and should piss you off, too |
| 2024-11-09 17:00:44 +0100 | <horm> | ZERO valid reason to do that, and no one should have stood for it. there are probably dipshits in this channel who were present during the inception and allowed that shit to slide |
| 2024-11-09 17:00:59 +0100 | <horm> | that's why i'm here, tomsmeding: not to troll, but to guarantee consequences for people who committed shitty actions |
| 2024-11-09 17:01:02 +0100 | <haskellbridge> | <Bowuigi> Definitely unexpected, tho Haskell already has multi-stage macros with TemplateHaskell, they even can be typechecked! |
| 2024-11-09 17:01:35 +0100 | <haskellbridge> | <Bowuigi> If it makes you feel better, one of Haskell's predecessors, Miranda, shortened head to "hd" |
| 2024-11-09 17:01:44 +0100 | <horm> | i still don't get, after reading, how sieve (p : xs) has an addition INSIDE its param declaration |
| 2024-11-09 17:02:15 +0100 | <haskellbridge> | <Bowuigi> Addition? |
| 2024-11-09 17:02:28 +0100 | <horm> | isn't that the implication: prepend arg p to xs |
| 2024-11-09 17:02:45 +0100 | <haskellbridge> | <Bowuigi> Ohhh that's pattern matching |
| 2024-11-09 17:02:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-09 17:03:02 +0100 | <horm> | fucking what |
| 2024-11-09 17:03:16 +0100 | <horm> | you can't just say it's pattern matching |
| 2024-11-09 17:03:20 +0100 | <yushyin> | i don't care as much it seems, it is just a name. fyi there is a first and second method (from the bifunctor class) |
| 2024-11-09 17:03:27 +0100 | <haskellbridge> | <Bowuigi> (:) and [] are the constructors for lists |
| 2024-11-09 17:04:02 +0100 | <haskellbridge> | <Bowuigi> So 1:2:3:[] is a list with three elements, the [1,2,3] notation is syntax sugar |
| 2024-11-09 17:04:15 +0100 | <horm> | yushyin: think about why you don't care as much. is it because you're trying to forego confronting your abuses so that you can complete things? |
| 2024-11-09 17:04:33 +0100 | <horm> | bowuigi: can't you also do 1 + 2 + 3 + [], or is that not a thing |
| 2024-11-09 17:04:44 +0100 | <haskellbridge> | <Bowuigi> Nah fst is a good enough name |
| 2024-11-09 17:04:47 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-09 17:04:48 +0100 | <horm> | FIRST |
| 2024-11-09 17:04:53 +0100 | <horm> | OR HD |
| 2024-11-09 17:04:56 +0100 | <horm> | MAKE IT CONSISTENT |
| 2024-11-09 17:04:57 +0100 | <haskellbridge> | <Bowuigi> You can't 1+2+3+[] because [] is not a number |
| 2024-11-09 17:05:09 +0100 | <horm> | mm, so what if []+1 |
| 2024-11-09 17:05:12 +0100 | <horm> | is that not allowed as well |
| 2024-11-09 17:05:16 +0100 | <horm> | no duck typing |
| 2024-11-09 17:05:28 +0100 | <horm> | what happens if you []:1 |
| 2024-11-09 17:05:33 +0100 | <horm> | shit where's the bot |
| 2024-11-09 17:05:40 +0100 | <haskellbridge> | <Bowuigi> In particular, GHC tells you that you can't. Try it on ghci |
| 2024-11-09 17:05:41 +0100 | <horm> | > []:3 |
| 2024-11-09 17:05:43 +0100 | <lambdabot> | error: |
| 2024-11-09 17:05:43 +0100 | <lambdabot> | • No instance for (Num [[()]]) arising from a use of ‘e_13’ |
| 2024-11-09 17:05:43 +0100 | <lambdabot> | • In the expression: e_13 |
| 2024-11-09 17:05:48 +0100 | <horm> | thanks lil guy |
| 2024-11-09 17:06:09 +0100 | <yushyin> | since english is not my first language i maybe don't care as much as others about function names |
| 2024-11-09 17:07:00 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 272 seconds) |
| 2024-11-09 17:07:01 +0100 | <horm> | Can you elucidate what you mean by "pattern matching," here? I see that phrase overloaded and abused really often. sieve (p : xs) = p : sieve [x|...] is doing what? what's xs here? |
| 2024-11-09 17:07:02 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-09 17:07:02 +0100 | <haskellbridge> | <Bowuigi> "Num [[()]]" means that it doesn't understand what the 3 means in this context. You could define it to mean a three element list of lists of unit values and that code would be valid |
| 2024-11-09 17:07:13 +0100 | <horm> | oh, interesting |
| 2024-11-09 17:07:31 +0100 | <haskellbridge> | <Bowuigi> Sure, lemme go slowly over the code |
| 2024-11-09 17:07:43 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-09 17:08:10 +0100 | <horm> | yushyin: very true; this is a common thing i see in people who are english-later. they accept it because they think that english is fucked up, thus perpetuating the cycle. |
| 2024-11-09 17:08:55 +0100 | <haskellbridge> | <Bowuigi> First, we know that a list is either empty ([]) or that it has an element followed by the rest of the list (:), so we can define "data List a = Nil | Cons a (List a)". This definition is the same as the normal list but it spells the names directly |
| 2024-11-09 17:10:11 +0100 | <haskellbridge> | <Bowuigi> Haskell allows you to pattern match on the constructors (here Nil and Cons) of most datatypes |
| 2024-11-09 17:10:53 +0100 | <c_wraith> | In fact, pattern matching on constructors is one of the primitive operations in Haskell |
| 2024-11-09 17:11:28 +0100 | <haskellbridge> | <Bowuigi> Yes, along with abstraction and evaluation control |
| 2024-11-09 17:11:41 +0100 | <haskellbridge> | <Bowuigi> And probably more stuff I forgot |
| 2024-11-09 17:12:21 +0100 | acidjnk | (~acidjnk@p200300d6e7283f1684790f7c504ddb42.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-09 17:12:22 +0100 | <haskellbridge> | <Bowuigi> Also surrounding a function name in backquotes allows you to apply it like an operator |
| 2024-11-09 17:12:56 +0100 | <haskellbridge> | <Bowuigi> So x "mod" p (mod has backquotes around it) is the same as mod x p |
| 2024-11-09 17:13:34 +0100 | <horm> | That's annoying, lmfao |
| 2024-11-09 17:13:43 +0100 | <horm> | I get why it's sometimes good, but was it actually necessary here? |
| 2024-11-09 17:13:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 17:14:01 +0100 | <horm> | this is why i like lisp: the parenthesis let you give up some mental load at some point by working backwards |
| 2024-11-09 17:14:03 +0100 | <c_wraith> | there are like 10 functions that people actually use that with commonly. mod is one of them |
| 2024-11-09 17:14:19 +0100 | <c_wraith> | It's not necessary, but people are comfortable with it |
| 2024-11-09 17:14:31 +0100 | <horm> | introducing exceptions for that comfort's sake is usually why i despise mathematical notation, too |
| 2024-11-09 17:14:55 +0100 | <haskellbridge> | <Bowuigi> Mod and friends are usually called like this because it adds to readability, so "x modulo 5" reads like "x mod 5" instead of "mod x 5" |
| 2024-11-09 17:15:14 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-11-09 17:15:16 +0100 | <horm> | oh wait that's where xs gets inserted, okay now i get why they even have it listed here like that |
| 2024-11-09 17:15:31 +0100 | <haskellbridge> | <Bowuigi> sieve (p : xs) = p : sieve [x | x <− xs, mod x p > 0] |
| 2024-11-09 17:15:41 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) (Remote host closed the connection) |
| 2024-11-09 17:15:58 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) |
| 2024-11-09 17:16:01 +0100 | <haskellbridge> | <Bowuigi> Here (p : xs) is the same as (:) p xs, which is equivalent to Cons p xs |
| 2024-11-09 17:16:13 +0100 | <horm> | wait a SECOND |
| 2024-11-09 17:16:27 +0100 | <horm> | yeah so they're just naming the first two members of the given set? |
| 2024-11-09 17:16:46 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-09 17:16:51 +0100 | <haskellbridge> | <Bowuigi> No, this means that we have bound p to be the head of the list and xs to be the tail or rest of the list |
| 2024-11-09 17:17:00 +0100 | <horm> | oh, normal style cons then |
| 2024-11-09 17:17:16 +0100 | <haskellbridge> | <Bowuigi> Naming the first two elements is (x:y:xs) as expected |
| 2024-11-09 17:17:21 +0100 | <horm> | how is someone supposed to know that from the : |
| 2024-11-09 17:17:32 +0100 | <horm> | how does the compiler even know wtf that is |
| 2024-11-09 17:17:34 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-09 17:17:37 +0100 | Square2 | (~Square@user/square) Square |
| 2024-11-09 17:18:03 +0100 | <haskellbridge> | <Bowuigi> Because lists can be written as 1:2:3:[] since : and [] are its constructors |
| 2024-11-09 17:18:08 +0100 | <horm> | ah wait, is it because I'm going kookoo and it's because I was reading () as convenience sigils for denoting TWO args |