| 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 |
| 2024-11-09 17:18:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-09 17:18:21 +0100 | <horm> | when it's obviously that ( x : y ) implies pattern matching to you guys |
| 2024-11-09 17:18:39 +0100 | <horm> | "let's write a language that uses all of the sigils from other langs in completely separate ways" |
| 2024-11-09 17:18:41 +0100 | <c_wraith> | well, when it's in a pattern position syntactically |
| 2024-11-09 17:18:56 +0100 | <horm> | c_wraith: so () doesn't denote that explicitly? |
| 2024-11-09 17:18:59 +0100 | <haskellbridge> | <Bowuigi> When it is on the left side of an equality or the left side of an arrow in a case statement or lambda |
| 2024-11-09 17:19:00 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-11-09 17:19:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-09 17:19:15 +0100 | <horm> | i remember the case statement from the cursory reading, figured that was the only pattern matching |
| 2024-11-09 17:19:29 +0100 | <haskellbridge> | <Bowuigi> There are more cases but those are the most common. You pattern match when binding and construct when not binding |
| 2024-11-09 17:19:35 +0100 | <horm> | MORE CASES? |
| 2024-11-09 17:19:38 +0100 | <horm> | those bastards |
| 2024-11-09 17:19:41 +0100 | <c_wraith> | no, parens are just grouping. (Except for tuples and unit) |
| 2024-11-09 17:20:05 +0100 | <horm> | has anyone ever made a modification to haskell where they make literally anything explicit ever |
| 2024-11-09 17:20:12 +0100 | <c_wraith> | everything is quite explicit |
| 2024-11-09 17:20:13 +0100 | <haskellbridge> | <Bowuigi> Yeah you have type families that can pattern match on types, but let's not get ahead of ourselves here |
| 2024-11-09 17:20:25 +0100 | <horm> | c_wraith: when you have to say "except for" it's not explicit |
| 2024-11-09 17:20:44 +0100 | <c_wraith> | horm: it's multiple rules, but which one applies is always explicit |
| 2024-11-09 17:20:55 +0100 | <horm> | explicit...by which sigil |
| 2024-11-09 17:21:03 +0100 | <haskellbridge> | <Bowuigi> Lambda calculus is as "explicit" as you can get, but programming in that is a bit annoying |
| 2024-11-09 17:21:07 +0100 | <horm> | what term would you prefer me to use to denote the obvious bullfuckery haskell is doing here |
| 2024-11-09 17:21:13 +0100 | <horm> | bowuigi: real |
| 2024-11-09 17:21:18 +0100 | <c_wraith> | if it's specifically "()", that's the unit type. If it has commas inside it, it's a tuple. Otherwise it's just grouping. |
| 2024-11-09 17:21:33 +0100 | <c_wraith> | those are all explicit rules |
| 2024-11-09 17:21:36 +0100 | <horm> | all of those should have separate sigils |
| 2024-11-09 17:21:42 +0100 | <horm> | 1 sigil, 1 encoding |
| 2024-11-09 17:21:44 +0100 | <c_wraith> | there aren't that many sigils in ascii |
| 2024-11-09 17:21:45 +0100 | <horm> | readability |
| 2024-11-09 17:21:59 +0100 | <horm> | they can make metasigils, i'll allow that |
| 2024-11-09 17:22:03 +0100 | <horm> | like -> already |
| 2024-11-09 17:22:09 +0100 | <horm> | or yknow |
| 2024-11-09 17:22:13 +0100 | <horm> | DO AWAY WITH SIGILS AND USE WORSD? |
| 2024-11-09 17:22:18 +0100 | <horm> | words, too |
| 2024-11-09 17:22:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 17:22:29 +0100 | <geekosaur> | welcome back to ALGOL 60\ |
| 2024-11-09 17:22:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-09 17:22:35 +0100 | <haskellbridge> | <Bowuigi> I see what you mean, some of those cases are separated in other languages |
| 2024-11-09 17:22:46 +0100 | <horm> | that's all i need to hear |
| 2024-11-09 17:22:50 +0100 | alexherbo2 | (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) alexherbo2 |
| 2024-11-09 17:22:52 +0100 | <horm> | i will learn me a haskell for great good someday |
| 2024-11-09 17:23:00 +0100 | <haskellbridge> | <Bowuigi> You tend to lose readability except on the ()/Unit casd |
| 2024-11-09 17:23:17 +0100 | <horm> | one thing i don't get yet for functionals is how people make stuff perform well enough for the basic shit: linked lists get hard to get good results from for some ops, right? |
| 2024-11-09 17:23:41 +0100 | <c_wraith> | yes. Don't use lists for those things. |
| 2024-11-09 17:23:56 +0100 | <c_wraith> | It's not like there aren't arrays |
| 2024-11-09 17:24:03 +0100 | <geekosaur> | also I think tuples are about to change anyway, at least at type level |
| 2024-11-09 17:24:10 +0100 | <geekosaur> | or already have but it's optional? |
| 2024-11-09 17:24:12 +0100 | <haskellbridge> | <Bowuigi> Functional optimization can be best described as "dark magic casted by researchers and enthusiasts", you do have functional arrays tho |
| 2024-11-09 17:24:47 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2024-11-09 17:24:48 +0100 | <c_wraith> | geekosaur: Yeah, there's a bunch of stuff going on with removing type/constructor puns to make dependent types easier |
| 2024-11-09 17:25:06 +0100 | <haskellbridge> | <Bowuigi> Advanced imperative optimizations are also dark magic and both can be understood with quite a bit of knowledge of the area. You have some simple/shared stuff like inlining as well |
| 2024-11-09 17:25:26 +0100 | <c_wraith> | So [a] is now officially `List a', if you have the right things imported. |
| 2024-11-09 17:25:38 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-11-09 17:25:41 +0100 | <horm> | Do the optimizations happen more automatically in langs like haskell, though, where it recognizes what you're doing and just fixes it for you? |
| 2024-11-09 17:26:10 +0100 | <c_wraith> | Sometimes. And I wish they didn't. People should write the code they mean, instead of random garbage that sometimes the compiler fixes for them. |
| 2024-11-09 17:26:14 +0100 | <haskellbridge> | <Bowuigi> Yes, pure functional languages have controlled environments that are way more amenable to optimization |
| 2024-11-09 17:26:54 +0100 | <c_wraith> | If people had to actually understand how evaluation works, there would be so many fewer people writing bad code then complaining about space leaks |
| 2024-11-09 17:27:16 +0100 | <haskellbridge> | <Bowuigi> In particular, heavily optimized Haskell looks like actual Haskell and not like assembly, see: Kovacs's flatparse |
| 2024-11-09 17:27:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-09 17:28:22 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-09 17:28:46 +0100 | <geekosaur> | that has taken some time to happen though; look at historiucal versions of the debian shootout entries, some of which now can be found in ghc's test suite |
| 2024-11-09 17:29:39 +0100 | <haskellbridge> | <Bowuigi> Also compilers can't (yet) fix the data structures you are using (so they can't make you use arrays automagically) but it can eliminate entire passes on your data (see: how GHC optimizes merge sort) |
| 2024-11-09 17:29:47 +0100 | <c_wraith> | And now that you can add intrinsics in libraries, it's possible to *actually* put asm in your haskell library! |
| 2024-11-09 17:30:56 +0100 | <haskellbridge> | <Bowuigi> Anyway, back to the sieve function |
| 2024-11-09 17:31:04 +0100 | <c_wraith> | I think a lot of the debian shootout entries have become more haskell-like because we've packaged up the primitive things they did into libraries |
| 2024-11-09 17:31:24 +0100 | <c_wraith> | So now there are clean interfaces to the functionality they had to do the ugly way |
| 2024-11-09 17:33:51 +0100 | <haskellbridge> | <Bowuigi> horm After pattern matching, sieve proceeds to construct a list using : (AKA Cons). The first element being p and the rest being a recursive call |
| 2024-11-09 17:34:58 +0100 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2024-11-09 17:35:09 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-11-09 17:37:07 +0100 | <haskellbridge> | <Bowuigi> The list comprehension that generates the argument sieve is called on is "[x | x <− xs, mod x p > 0]", this means "give me all the x" ("[ x |") ", such that x is in xs, " ("x <- xs") "and x modulo p is greater than 0" (", mod x p > 0") |
| 2024-11-09 17:37:42 +0100 | <haskellbridge> | <Bowuigi> The commas to the right of the bar work as an AND (AKA &&) |
| 2024-11-09 17:38:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-09 17:38:07 +0100 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-09 17:38:52 +0100 | alexherbo2 | (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-09 17:40:09 +0100 | <haskellbridge> | <Bowuigi> If x modulo p is 0, then x is divisible by p and thus x is not prime. This function is a prime sieve |
| 2024-11-09 17:40:17 +0100 | hueso | (~root@user/hueso) (Ping timeout: 248 seconds) |
| 2024-11-09 17:42:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-09 17:43:00 +0100 | hueso | (~root@user/hueso) hueso |
| 2024-11-09 17:44:24 +0100 | <Leary> | If I have a type of kind `forall k -> k -> Type`, is there no way to flip the order of the arguments, even in a type synonym? |
| 2024-11-09 17:47:36 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-09 17:48:10 +0100 | <horm> | mm, filter style, bowuigi? |
| 2024-11-09 17:48:16 +0100 | <horm> | also i hear it's not a very good prime sieve |
| 2024-11-09 17:48:36 +0100 | <horm> | i got this function in the first place from a paper wherein this person shits on the common writing because it's a really bad sieve |
| 2024-11-09 17:48:43 +0100 | <horm> | https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf this one specifically |
| 2024-11-09 17:49:06 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 2024-11-09 17:49:06 +0100 | ash3en1 | ash3en |
| 2024-11-09 17:51:54 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-09 17:51:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 2024-11-09 17:52:04 +0100 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-09 17:52:30 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |