Logs on 2024-11-09 (liberachat/#haskell)
| 00:08:50 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 00:10:19 | → | poscat joins (~poscat@user/poscat) |
| 00:10:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:12:51 | <jle`> | is there any way to get cabal to print out the `-systems` it infers from the extra-libs: ? |
| 00:13:57 | <geekosaur> | if `-v3` isn't doing it then it's not cabal doing it |
| 00:15:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:15:25 | <geekosaur> | moreover there is no reference to -isystem in the cabal codebase |
| 00:15:47 | <geekosaur> | are you sure this isn't coming from e.g. a pkg-config? |
| 00:25:25 | <geekosaur> | also, uh, where are you getting `extra-deps` from exactly? isn't that a stack thing? |
| 00:26:09 | <geekosaur> | oh, whoops, extra-libs. I don't think we infer includes from libraries |
| 00:26:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:26:19 | <geekosaur> | (and in general you can't) |
| 00:26:25 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 00:30:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
| 00:30:37 | <jle`> | ah yeah i meant `extra-libraries:` |
| 00:30:47 | <jle`> | oh huh, that's interesting then, i wonder where that's coming from |
| 00:31:04 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:31:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:31:14 | <jle`> | i am using nix to set up the environment variables, they do tend to do spooky things |
| 00:33:01 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 00:33:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:33:43 | → | poscat joins (~poscat@user/poscat) |
| 00:34:00 | <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 |
| 00:35:56 | <jle`> | clever. anyways i think that tells me how to get this done correctly, thanks for the help |
| 00:39:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 00:40:25 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 00:44:03 | <geekosaur> | ah, yeh, nix likes to force everything to use its own glibc build and such |
| 00:45:04 | → | pavonia joins (~user@user/siracusa) |
| 00:46:53 | <geekosaur> | (poorly; this causes locale issues, among others) |
| 00:50:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:55:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:56:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 01:02:53 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 01:05:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:12:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 01:18:26 | × | sprotte24 quits (~sprotte24@p200300d16f0bb9000907ce5a9cbe4fad.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:23:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:26:55 | × | euleritian quits (~euleritia@77.22.252.56) (Remote host closed the connection) |
| 01:28:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:29:21 | → | euleritian joins (~euleritia@77.22.252.56) |
| 01:39:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:45:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 01:45:28 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:b98:f687:dbac:9c4b) (Quit: Leaving) |
| 01:52:38 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 01:55:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:59:55 | × | JamesMowery43 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 02:00:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 02:01:46 | → | poscat joins (~poscat@user/poscat) |
| 02:07:34 | → | JamesMowery43 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 02:11:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:11:57 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 02:12:30 | → | euleritian joins (~euleritia@dynamic-176-006-133-204.176.6.pool.telefonica.de) |
| 02:12:43 | × | notzmv quits (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 02:16:33 | → | BolzmannPain joins (~BolzmannP@user/BolzmannPain) |
| 02:16:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:25:18 | × | euleritian quits (~euleritia@dynamic-176-006-133-204.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 02:25:36 | → | euleritian joins (~euleritia@77.22.252.56) |
| 02:27:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:28:21 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 02:31:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 02:40:31 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 02:41:07 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 02:42:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:49:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:55:15 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 02:57:22 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 02:57:52 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:02:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:04:20 | × | euleritian quits (~euleritia@77.22.252.56) (Remote host closed the connection) |
| 03:05:08 | → | euleritian joins (~euleritia@77.22.252.56) |
| 03:07:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 03:11:28 | × | emfrom quits (~emfrom@37.168.24.65) (Remote host closed the connection) |
| 03:17:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:22:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:24:23 | × | BolzmannPain quits (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 03:24:39 | → | BolzmannPain joins (~BolzmannP@user/BolzmannPain) |
| 03:27:11 | × | JamesMowery43 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 03:27:18 | × | xff0x quits (~xff0x@2405:6580:b080:900:833e:a4a2:2f15:5b32) (Ping timeout: 252 seconds) |
| 03:28:08 | → | xff0x joins (~xff0x@2405:6580:b080:900:eee6:e0ac:2327:6904) |
| 03:30:34 | → | JamesMowery43 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 03:33:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:38:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:39:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:45:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 03:48:50 | × | td_ quits (~td@i53870904.versanet.de) (Ping timeout: 252 seconds) |
| 03:49:55 | × | shapr quits (~user@2601:19c:417e:5434:6d2c:aeb2:81b3:3df4) (Quit: sleep) |
| 03:50:52 | → | td_ joins (~td@i5387093E.versanet.de) |
| 03:55:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:00:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:03:38 | × | kimiamania quits (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 04:04:04 | → | kimiamania joins (~924ba01d@user/kimiamania) |
| 04:11:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:16:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 04:21:16 | × | xff0x quits (~xff0x@2405:6580:b080:900:eee6:e0ac:2327:6904) (Quit: xff0x) |
| 04:22:33 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 04:26:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:33:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:34:04 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 260 seconds) |
| 04:36:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:37:26 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:39:47 | → | longlongdouble joins (~longlongd@49.36.234.68) |
| 04:43:38 | → | aforemny_ joins (~aforemny@i577B1213.versanet.de) |
| 04:44:37 | × | aforemny quits (~aforemny@2001:9e8:6cda:5700:b93:b66b:84fb:f5e8) (Ping timeout: 248 seconds) |
| 04:44:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:47:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 04:49:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 04:55:07 | → | famubu joins (~famubu@14.139.174.50) |
| 04:56:35 | → | xff0x joins (~xff0x@2405:6580:b080:900:9e25:19b:96b8:664a) |
| 04:58:39 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:00:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:01:21 | → | xdminsy joins (~xdminsy@117.147.71.147) |
| 05:05:33 | × | dumptruckman quits (~dumptruck@23-92-16-161.ip.linodeusercontent.com) (Quit: ZNC - https://znc.in) |
| 05:06:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 05:20:28 | → | sdrfan123 joins (~sdrfan123@2607:fb91:db5:49ea:a0c8:b931:31e1:a073) |
| 05:23:02 | × | sdrfan123 quits (~sdrfan123@2607:fb91:db5:49ea:a0c8:b931:31e1:a073) (Client Quit) |
| 05:24:35 | → | rvalue- joins (~rvalue@user/rvalue) |
| 05:27:54 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 05:28:30 | → | ethantwardy joins (user@user/ethantwardy) |
| 05:30:28 | rvalue- | is now known as rvalue |
| 05:32:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:37:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 05:41:37 | → | Guest30 joins (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 05:43:26 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 05:45:06 | → | ethantwardy joins (user@user/ethantwardy) |
| 05:47:54 | → | Guest2 joins (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 05:48:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:48:26 | × | Guest30 quits (~Guest52@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 05:48:31 | → | Guest17 joins (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 05:48:39 | × | Guest2 quits (~Guest52@syn-072-190-106-058.res.spectrum.com) (Write error: Broken pipe) |
| 05:48:52 | × | Guest17 quits (~Guest52@syn-072-190-106-058.res.spectrum.com) (Client Quit) |
| 05:52:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:02:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:03:54 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 06:04:25 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:05:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:07:11 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 06:07:53 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 06:07:56 | → | rvalue joins (~rvalue@user/rvalue) |
| 06:12:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:13:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:18:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:23:19 | → | falafel joins (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) |
| 06:29:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:32:48 | → | Guest52 joins (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 06:33:20 | × | BolzmannPain quits (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 06:34:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:36:22 | → | Guest37 joins (~Guest52@syn-072-190-106-058.res.spectrum.com) |
| 06:37:40 | × | Guest37 quits (~Guest52@syn-072-190-106-058.res.spectrum.com) (Client Quit) |
| 06:38:04 | → | cryppty joins (~cryppty@syn-072-190-106-058.res.spectrum.com) |
| 06:39:02 | × | Guest52 quits (~Guest52@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 06:40:43 | → | cryppty3 joins (~cryppty@syn-072-190-106-058.res.spectrum.com) |
| 06:44:46 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 06:45:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:45:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:50:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:52:09 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 06:55:53 | × | cryppty quits (~cryppty@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 06:55:53 | × | cryppty3 quits (~cryppty@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 06:56:13 | → | cryppty joins (~cryppty@syn-072-190-106-058.res.spectrum.com) |
| 07:00:11 | × | JamesMowery43 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 07:00:26 | × | falafel quits (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) (Remote host closed the connection) |
| 07:00:28 | → | JamesMowery43 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 07:01:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:04:05 | <famubu> | I was trying out a snippet using list monad from this stackoverflow post: https://stackoverflow.com/a/20644753 |
| 07:04:08 | <famubu> | The snippet in the post gave list of coin type where outcome is head as output. |
| 07:04:12 | <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. |
| 07:04:15 | <famubu> | So I did this: https://bpa.st/6AAA |
| 07:04:17 | <famubu> | But that gives a type error because I'm not using the monad properly. |
| 07:04:21 | <famubu> | Any idea how to fix that? |
| 07:07:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:09:22 | × | cryppty quits (~cryppty@syn-072-190-106-058.res.spectrum.com) (Quit: Client closed) |
| 07:10:21 | → | ih1d joins (~ih1d@24.139.109.18) |
| 07:10:37 | → | agent314 joins (~quassel@static-198-44-129-53.cust.tzulo.com) |
| 07:13:28 | → | falafel joins (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) |
| 07:18:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:23:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:25:16 | → | Inst_ joins (~Inst@user/Inst) |
| 07:26:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 07:28:18 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 07:28:55 | <Leary> | famubu: Why are you trying to monadic-bind something out of a tuple? Just `return` the tuple directly. |
| 07:34:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:38:22 | <famubu> | Leary: Thanks. It worked. And I think I get now. |
| 07:39:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:41:22 | × | raym quits (~ray@user/raym) (Quit: server maintenance) |
| 07:46:31 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:46:41 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 07:46:53 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 07:47:03 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 07:47:50 | × | Inst_ quits (~Inst@user/Inst) (Remote host closed the connection) |
| 07:48:15 | → | Inst_ joins (~Inst@user/Inst) |
| 07:48:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:49:01 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:49:56 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:50:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:51:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 07:51:19 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:55:11 | → | briandaed joins (~root@185.234.210.211) |
| 07:56:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 08:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:38 | → | caconym joins (~caconym@user/caconym) |
| 08:02:28 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 08:06:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:06:43 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 08:11:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:11:59 | × | agent314 quits (~quassel@static-198-44-129-53.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 08:14:24 | × | falafel quits (~falafel@2600:1700:99f4:2050:129c:5500:ef00:2c00) (Remote host closed the connection) |
| 08:21:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:22:55 | → | Codeko joins (~user@user/Codeko) |
| 08:26:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:30:31 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:31:43 | × | Codeko quits (~user@user/Codeko) (Remote host closed the connection) |
| 08:35:12 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:37:05 | → | acidjnk joins (~acidjnk@p200300d6e7283f16bd8799ad256db578.dip0.t-ipconnect.de) |
| 08:37:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:42:13 | → | jinsun joins (~jinsun@user/jinsun) |
| 08:42:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 08:46:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:49:26 | → | misterfish joins (~misterfis@84.53.85.146) |
| 08:55:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:58:24 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:58:36 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 09:06:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:08:21 | × | willscripted quits (~willscrip@user/willscripted) (Remote host closed the connection) |
| 09:08:45 | → | willscripted joins (~willscrip@user/willscripted) |
| 09:11:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 09:22:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:27:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:31:36 | × | famubu quits (~famubu@14.139.174.50) (Ping timeout: 276 seconds) |
| 09:37:06 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:38:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:39:37 | → | raym joins (~ray@user/raym) |
| 09:42:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 09:43:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:52:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:52:12 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:55:11 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:01:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:12:01 | × | longlongdouble quits (~longlongd@49.36.234.68) (Ping timeout: 248 seconds) |
| 10:12:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:15:51 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 10:17:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:17:43 | → | longlongdouble joins (~longlongd@49.36.234.68) |
| 10:18:13 | → | gmg joins (~user@user/gehmehgeh) |
| 10:25:08 | × | son0p quits (~ff@186.115.69.167) (Quit: Leaving) |
| 10:25:46 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 10:27:28 | → | son0p joins (~ff@186.115.69.167) |
| 10:28:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:32:32 | × | ethantwardy quits (user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 10:32:56 | → | ethantwardy joins (user@user/ethantwardy) |
| 10:32:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:35:47 | × | longlongdouble quits (~longlongd@49.36.234.68) (Read error: Connection reset by peer) |
| 10:40:49 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 10:41:08 | → | alexherbo2 joins (~alexherbo@2a02-8440-330e-b682-9dd1-dc32-1c90-e50f.rev.sfr.net) |
| 10:42:37 | → | rvalue- joins (~rvalue@user/rvalue) |
| 10:42:37 | → | FragByte joins (~christian@user/fragbyte) |
| 10:43:32 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 10:43:55 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:45:06 | × | alexherbo2 quits (~alexherbo@2a02-8440-330e-b682-9dd1-dc32-1c90-e50f.rev.sfr.net) (Remote host closed the connection) |
| 10:45:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:49:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 10:50:24 | rvalue- | is now known as rvalue |
| 10:51:47 | → | alexherbo2 joins (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) |
| 10:53:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:59:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:03:31 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 11:08:17 | → | longlongdouble joins (~longlongd@117.225.3.25) |
| 11:11:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:12:30 | × | briandaed quits (~root@185.234.210.211) (Ping timeout: 272 seconds) |
| 11:15:07 | × | housemate quits (~housemate@146.70.66.228) (Ping timeout: 264 seconds) |
| 11:15:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:15:54 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 11:16:04 | → | housemate joins (~housemate@146.70.66.228) |
| 11:17:37 | × | ubert quits (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 11:17:43 | → | zmt00 joins (~zmt00@user/zmt00) |
| 11:19:29 | × | swamp_ quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 11:21:08 | → | briandaed joins (~root@185.234.210.211) |
| 11:22:29 | × | housemate quits (~housemate@146.70.66.228) (Ping timeout: 248 seconds) |
| 11:25:42 | → | housemate joins (~housemate@146.70.66.228) |
| 11:26:26 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:26:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:27:17 | → | housemate joins (~housemate@146.70.66.228) |
| 11:27:59 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:28:47 | → | housemate joins (~housemate@146.70.66.228) |
| 11:29:34 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:31:17 | → | housemate joins (~housemate@146.70.66.228) |
| 11:31:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:32:03 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:33:45 | → | housemate joins (~housemate@146.70.66.228) |
| 11:33:56 | <lxsameer> | hey folks, is it possible to ask stan to ignore a certain line? |
| 11:34:37 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:36:15 | → | housemate joins (~housemate@146.70.66.228) |
| 11:37:03 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:37:47 | → | housemate joins (~housemate@146.70.66.228) |
| 11:38:35 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:39:19 | → | housemate joins (~housemate@146.70.66.228) |
| 11:40:09 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:41:48 | → | housemate joins (~housemate@146.70.66.228) |
| 11:42:37 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:42:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:44:16 | → | housemate joins (~housemate@146.70.66.228) |
| 11:45:07 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:46:45 | → | housemate joins (~housemate@146.70.66.228) |
| 11:47:36 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:48:04 | → | housemate joins (~housemate@146.70.66.228) |
| 11:49:08 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:49:37 | → | housemate joins (~housemate@146.70.66.228) |
| 11:49:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 11:50:29 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:50:58 | → | housemate joins (~housemate@146.70.66.228) |
| 11:51:48 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:52:16 | → | housemate joins (~housemate@146.70.66.228) |
| 11:52:30 | → | zmt01 joins (~zmt00@user/zmt00) |
| 11:53:26 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 11:54:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:54:24 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 12:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 12:02:12 | → | caconym joins (~caconym@user/caconym) |
| 12:02:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 12:09:08 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 12:11:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 12:13:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:18:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:28:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:34:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:37:41 | × | acidjnk quits (~acidjnk@p200300d6e7283f16bd8799ad256db578.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 12:44:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:49:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:55:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:57:52 | <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 |
| 12:58:12 | × | longlongdouble quits (~longlongd@117.225.3.25) (Ping timeout: 252 seconds) |
| 12:58:19 | <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 |
| 12:58:28 | <SrPx> | on hackage* |
| 12:58:48 | × | youthlic quits (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 13:00:49 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 13:01:26 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 13:03:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:06:51 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:07:57 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 13:08:08 | → | longlongdouble joins (~longlongd@49.36.234.104) |
| 13:08:51 | <mauke> | wasn't there a libjit? |
| 13:09:32 | → | acidjnk joins (~acidjnk@p200300d6e7283f1684790f7c504ddb42.dip0.t-ipconnect.de) |
| 13:09:38 | <mauke> | might be dead |
| 13:09:46 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 13:10:20 | <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 |
| 13:11:23 | <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? |
| 13:11:30 | <tomsmeding> | that informs what the best solution is |
| 13:11:30 | <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 |
| 13:11:33 | <mauke> | with libjit you wouldn't need a C compiler, just FFI imports. but you might have to write your own compiler ... middle-end? |
| 13:12:32 | <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 |
| 13:12:46 | <tomsmeding> | that works for clang versions from back to LLVM 4 up to the very latest |
| 13:13:14 | <tomsmeding> | (which is 19, three versions newer than the 16 that the PR that Leary linked to implements in llvm-hs) |
| 13:14:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:16:26 | → | weary-traveler joins (~user@user/user363627) |
| 13:17:43 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 13:17:54 | ← | idgaen parts (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) () |
| 13:21:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:28:59 | × | longlongdouble quits (~longlongd@49.36.234.104) (Remote host closed the connection) |
| 13:31:08 | <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 |
| 13:31:19 | <SrPx> | Laery ty |
| 13:31:27 | × | son0p quits (~ff@186.115.69.167) (Ping timeout: 246 seconds) |
| 13:32:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:34:36 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 13:37:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 13:38:24 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 13:39:11 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:39:44 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 13:43:00 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 13:48:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:53:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:53:42 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 13:56:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:05:20 | × | ih1d quits (~ih1d@24.139.109.18) (Remote host closed the connection) |
| 14:06:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:15:03 | <tomsmeding> | SrPx: so do you want that for performance or for some other reason? |
| 14:15:45 | <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 |
| 14:16:34 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:17:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:22:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:29:05 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 14:32:04 | → | weary-traveler joins (~user@user/user363627) |
| 14:33:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:38:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:39:56 | × | rachelambda quits (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 14:40:06 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:b88c:9557:f177:e3) (Remote host closed the connection) |
| 14:40:13 | → | rachelambda joins (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 14:40:20 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) |
| 14:48:48 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:50:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 14:51:25 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:53:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 14:55:15 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:57:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:57:20 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:02:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 15:03:28 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 15:05:25 | → | misterfish joins (~misterfis@84.53.85.146) |
| 15:09:16 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 15:11:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:12:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:13:29 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 15:14:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Client Quit) |
| 15:15:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:15:42 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
| 15:15:43 | → | CoolMa7 joins (~CoolMa7@95.91.137.87) |
| 15:15:47 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 15:16:00 | × | briandaed quits (~root@185.234.210.211) (Remote host closed the connection) |
| 15:17:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:18:09 | ash3en1 | is now known as ash3en |
| 15:19:16 | → | horm joins (~horm@user/horm) |
| 15:19:27 | <horm> | Is there a way to read this that doesn't make me want to punch someone in the face |
| 15:19:35 | <horm> | sieve (p : xs) = p : sieve [x | x <− xs, x ‘mod‘ p > 0] |
| 15:19:44 | <horm> | What is p, why is it everywhere |
| 15:19:49 | <horm> | what the hell is the colon doing there |
| 15:20:18 | <tomsmeding> | horm: p looks like a prime |
| 15:20:44 | <horm> | why the FUCK did they not write "prime" |
| 15:20:45 | <tomsmeding> | colon adds an item in front of a list: |
| 15:20:50 | <tomsmeding> | > 2 : [3,4,5] |
| 15:20:52 | <lambdabot> | [2,3,4,5] |
| 15:21:05 | <horm> | how does a function's argument declaration allow that |
| 15:21:10 | <tomsmeding> | because haskellers often are a bit overly short with names |
| 15:21:12 | <horm> | or are you saying that : inside () is different than : without? |
| 15:21:17 | <tomsmeding> | nope |
| 15:21:20 | <horm> | how do i kill every haskeller ever |
| 15:21:21 | <tomsmeding> | this is pattern-matching |
| 15:21:34 | <horm> | is there haskell that makes them explode when they read it |
| 15:21:45 | <tomsmeding> | how are you learning haskell? |
| 15:21:46 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 15:22:00 | <horm> | i have so far refused because every attempt has made me unhealthily irate |
| 15:22:09 | <tomsmeding> | then why are you in #haskell? |
| 15:22:11 | <horm> | mostly unhealthy for the stupid fuckers who try to write haskell |
| 15:22:20 | <horm> | tomsmeding: because this is a warning |
| 15:22:24 | <tomsmeding> | for? |
| 15:22:26 | <horm> | get your shit together |
| 15:22:29 | <horm> | or i'll kill you all |
| 15:22:42 | <horm> | quit pissing me off or you'll be SORRY |
| 15:22:47 | <tomsmeding> | perhaps you need to get _your_ shit together and learn something about the language first; the design will make more sense then ;) |
| 15:23:03 | <tomsmeding> | we are very happy to have informed discussion on language design here |
| 15:23:21 | <tomsmeding> | in fact, interesting discussion on language design is what seems to get people going the most here |
| 15:23:28 | <tomsmeding> | but emphasis on _informed_ discussion ;) |
| 15:24:26 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 255 seconds) |
| 15:24:29 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 15:24:32 | <horm> | is there a single document that doesn't try to sell me on anything that just denotes the actual programming language syntax |
| 15:24:55 | <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 |
| 15:24:57 | <tomsmeding> | https://www.haskell.org/onlinereport/haskell2010/ |
| 15:25:05 | <willscripted> | https://learnxinyminutes.com/docs/haskell/ |
| 15:25:38 | <horm> | https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-160002.2 aw hell yeah |
| 15:26:16 | <horm> | why is it that forth doesn't piss me off ever |
| 15:26:23 | <horm> | but every time i see haskell it does |
| 15:27:18 | <horm> | i'm getting it |
| 15:27:21 | <horm> | as i read through this, it's python |
| 15:27:21 | → | gentauro joins (~gentauro@user/gentauro) |
| 15:27:26 | <horm> | worst decision ever |
| 15:28:06 | <horm> | and why the fucking pipe character for list comprehensions? |
| 15:28:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:28:45 | <horm> | they choose "head" for first item in list, but first item in pair is fucking fst? |
| 15:30:29 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 15:33:14 | → | petrichor joins (~znc-user@user/petrichor) |
| 15:33:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:34:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:38:41 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 15:39:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:40:09 | → | son0p joins (~ff@186.121.96.140) |
| 15:40:44 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 15:40:59 | <EvanR> | alot of those names were drawn from previous languages |
| 15:41:11 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 15:43:38 | <horm> | STUPID. |
| 15:43:55 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 15:44:02 | <horm> | haskell could have taken names from literally any languages because there were fifty billion functionals prior to it |
| 15:47:32 | <yushyin> | the | in list comprehension is from set-builder notation, i assume? |
| 15:47:41 | <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 |
| 15:47:53 | <haskellbridge> | <Bowuigi> yushyin indeed |
| 15:48:46 | × | noctuks quits (cYMVlnHrL3@user/noctux) (Quit: WeeChat 4.3.0) |
| 15:48:46 | × | s4msung quits (~s4msung@user/s4msung) (Quit: s4msung) |
| 15:48:46 | × | yushyin quits (Uxh5EO4c9E@karif.server-speed.net) (Quit: WeeChat 4.3.0) |
| 15:49:14 | <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 |
| 15:49:20 | → | noctuks joins (xzARrcIJYp@user/noctux) |
| 15:49:21 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 246 seconds) |
| 15:49:22 | → | yushyin joins (BNexjgQE4Q@mail.karif.server-speed.net) |
| 15:49:25 | → | s4msung joins (5HBwEM1OuC@user/s4msung) |
| 15:49:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 15:50:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:50:25 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:50:40 | <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 |
| 15:51:31 | <yushyin> | and the first element of a linked list is often referred to as the head, it's not that uncommon, i think. |
| 15:52:04 | <tomsmeding> | horm: stop trolling. |
| 15:52:41 | <haskellbridge> | <Bowuigi> re:fst at least it's not pi_1 like in type theory lol |
| 15:52:58 | <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. |
| 15:53:35 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:55:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 15:56:03 | <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 |
| 15:56:28 | → | petrichor joins (~znc-user@user/petrichor) |
| 15:56:53 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 15:57:00 | <haskellbridge> | <Bowuigi> The Lisp family is also half functional but if you disliked Haskell's syntax, you will absolutely hate Lisp's |
| 15:57:52 | <horm> | makes sense that i just have to kill the white nationalist mathematics discipline to fix all my problems |
| 15:58:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:58:20 | <horm> | nothing is more fuckin irritating than reading a supposed "mathematics" text when it comes to stupid fucking notation |
| 15:58:39 | <horm> | elm was absolutely better |
| 15:58:44 | <horm> | so i agree, bowuigi |
| 15:58:50 | <horm> | but lisp was way better, in my experience |
| 15:58:59 | <horm> | specifically racket and scheme, though |
| 15:59:18 | <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 |
| 15:59:22 | <horm> | (as if they already weren't) |
| 15:59:51 | <horm> | yushyin: yes, the first list element is fine being called head. with all four fucking letters typed out |
| 16:00:21 | <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 |
| 16:00:44 | <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 |
| 16:00:59 | <horm> | that's why i'm here, tomsmeding: not to troll, but to guarantee consequences for people who committed shitty actions |
| 16:01:02 | <haskellbridge> | <Bowuigi> Definitely unexpected, tho Haskell already has multi-stage macros with TemplateHaskell, they even can be typechecked! |
| 16:01:35 | <haskellbridge> | <Bowuigi> If it makes you feel better, one of Haskell's predecessors, Miranda, shortened head to "hd" |
| 16:01:44 | <horm> | i still don't get, after reading, how sieve (p : xs) has an addition INSIDE its param declaration |
| 16:02:15 | <haskellbridge> | <Bowuigi> Addition? |
| 16:02:28 | <horm> | isn't that the implication: prepend arg p to xs |
| 16:02:45 | <haskellbridge> | <Bowuigi> Ohhh that's pattern matching |
| 16:02:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 16:03:02 | <horm> | fucking what |
| 16:03:16 | <horm> | you can't just say it's pattern matching |
| 16:03:20 | <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) |
| 16:03:27 | <haskellbridge> | <Bowuigi> (:) and [] are the constructors for lists |
| 16:04:02 | <haskellbridge> | <Bowuigi> So 1:2:3:[] is a list with three elements, the [1,2,3] notation is syntax sugar |
| 16:04:15 | <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? |
| 16:04:33 | <horm> | bowuigi: can't you also do 1 + 2 + 3 + [], or is that not a thing |
| 16:04:44 | <haskellbridge> | <Bowuigi> Nah fst is a good enough name |
| 16:04:47 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 16:04:48 | <horm> | FIRST |
| 16:04:53 | <horm> | OR HD |
| 16:04:56 | <horm> | MAKE IT CONSISTENT |
| 16:04:57 | <haskellbridge> | <Bowuigi> You can't 1+2+3+[] because [] is not a number |
| 16:05:09 | <horm> | mm, so what if []+1 |
| 16:05:12 | <horm> | is that not allowed as well |
| 16:05:16 | <horm> | no duck typing |
| 16:05:28 | <horm> | what happens if you []:1 |
| 16:05:33 | <horm> | shit where's the bot |
| 16:05:40 | <haskellbridge> | <Bowuigi> In particular, GHC tells you that you can't. Try it on ghci |
| 16:05:41 | <horm> | > []:3 |
| 16:05:43 | <lambdabot> | error: |
| 16:05:43 | <lambdabot> | • No instance for (Num [[()]]) arising from a use of ‘e_13’ |
| 16:05:43 | <lambdabot> | • In the expression: e_13 |
| 16:05:48 | <horm> | thanks lil guy |
| 16:06:09 | <yushyin> | since english is not my first language i maybe don't care as much as others about function names |
| 16:07:00 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 272 seconds) |
| 16:07:01 | <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? |
| 16:07:02 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 16:07:02 | <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 |
| 16:07:13 | <horm> | oh, interesting |
| 16:07:31 | <haskellbridge> | <Bowuigi> Sure, lemme go slowly over the code |
| 16:07:43 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 16:08:10 | <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. |
| 16:08:55 | <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 |
| 16:10:11 | <haskellbridge> | <Bowuigi> Haskell allows you to pattern match on the constructors (here Nil and Cons) of most datatypes |
| 16:10:53 | <c_wraith> | In fact, pattern matching on constructors is one of the primitive operations in Haskell |
| 16:11:28 | <haskellbridge> | <Bowuigi> Yes, along with abstraction and evaluation control |
| 16:11:41 | <haskellbridge> | <Bowuigi> And probably more stuff I forgot |
| 16:12:21 | × | acidjnk quits (~acidjnk@p200300d6e7283f1684790f7c504ddb42.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:12:22 | <haskellbridge> | <Bowuigi> Also surrounding a function name in backquotes allows you to apply it like an operator |
| 16:12:56 | <haskellbridge> | <Bowuigi> So x "mod" p (mod has backquotes around it) is the same as mod x p |
| 16:13:34 | <horm> | That's annoying, lmfao |
| 16:13:43 | <horm> | I get why it's sometimes good, but was it actually necessary here? |
| 16:13:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:14:01 | <horm> | this is why i like lisp: the parenthesis let you give up some mental load at some point by working backwards |
| 16:14:03 | <c_wraith> | there are like 10 functions that people actually use that with commonly. mod is one of them |
| 16:14:19 | <c_wraith> | It's not necessary, but people are comfortable with it |
| 16:14:31 | <horm> | introducing exceptions for that comfort's sake is usually why i despise mathematical notation, too |
| 16:14:55 | <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" |
| 16:15:14 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:15:16 | <horm> | oh wait that's where xs gets inserted, okay now i get why they even have it listed here like that |
| 16:15:31 | <haskellbridge> | <Bowuigi> sieve (p : xs) = p : sieve [x | x <− xs, mod x p > 0] |
| 16:15:41 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) (Remote host closed the connection) |
| 16:15:58 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) |
| 16:16:01 | <haskellbridge> | <Bowuigi> Here (p : xs) is the same as (:) p xs, which is equivalent to Cons p xs |
| 16:16:13 | <horm> | wait a SECOND |
| 16:16:27 | <horm> | yeah so they're just naming the first two members of the given set? |
| 16:16:46 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:16:51 | <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 |
| 16:17:00 | <horm> | oh, normal style cons then |
| 16:17:16 | <haskellbridge> | <Bowuigi> Naming the first two elements is (x:y:xs) as expected |
| 16:17:21 | <horm> | how is someone supposed to know that from the : |
| 16:17:32 | <horm> | how does the compiler even know wtf that is |
| 16:17:34 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 16:17:37 | → | Square2 joins (~Square@user/square) |
| 16:18:03 | <haskellbridge> | <Bowuigi> Because lists can be written as 1:2:3:[] since : and [] are its constructors |
| 16:18:08 | <horm> | ah wait, is it because I'm going kookoo and it's because I was reading () as convenience sigils for denoting TWO args |
| 16:18:14 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 16:18:21 | <horm> | when it's obviously that ( x : y ) implies pattern matching to you guys |
| 16:18:39 | <horm> | "let's write a language that uses all of the sigils from other langs in completely separate ways" |
| 16:18:41 | <c_wraith> | well, when it's in a pattern position syntactically |
| 16:18:56 | <horm> | c_wraith: so () doesn't denote that explicitly? |
| 16:18:59 | <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 |
| 16:19:00 | → | petrichor joins (~znc-user@user/petrichor) |
| 16:19:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 16:19:15 | <horm> | i remember the case statement from the cursory reading, figured that was the only pattern matching |
| 16:19:29 | <haskellbridge> | <Bowuigi> There are more cases but those are the most common. You pattern match when binding and construct when not binding |
| 16:19:35 | <horm> | MORE CASES? |
| 16:19:38 | <horm> | those bastards |
| 16:19:41 | <c_wraith> | no, parens are just grouping. (Except for tuples and unit) |
| 16:20:05 | <horm> | has anyone ever made a modification to haskell where they make literally anything explicit ever |
| 16:20:12 | <c_wraith> | everything is quite explicit |
| 16:20:13 | <haskellbridge> | <Bowuigi> Yeah you have type families that can pattern match on types, but let's not get ahead of ourselves here |
| 16:20:25 | <horm> | c_wraith: when you have to say "except for" it's not explicit |
| 16:20:44 | <c_wraith> | horm: it's multiple rules, but which one applies is always explicit |
| 16:20:55 | <horm> | explicit...by which sigil |
| 16:21:03 | <haskellbridge> | <Bowuigi> Lambda calculus is as "explicit" as you can get, but programming in that is a bit annoying |
| 16:21:07 | <horm> | what term would you prefer me to use to denote the obvious bullfuckery haskell is doing here |
| 16:21:13 | <horm> | bowuigi: real |
| 16:21:18 | <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. |
| 16:21:33 | <c_wraith> | those are all explicit rules |
| 16:21:36 | <horm> | all of those should have separate sigils |
| 16:21:42 | <horm> | 1 sigil, 1 encoding |
| 16:21:44 | <c_wraith> | there aren't that many sigils in ascii |
| 16:21:45 | <horm> | readability |
| 16:21:59 | <horm> | they can make metasigils, i'll allow that |
| 16:22:03 | <horm> | like -> already |
| 16:22:09 | <horm> | or yknow |
| 16:22:13 | <horm> | DO AWAY WITH SIGILS AND USE WORSD? |
| 16:22:18 | <horm> | words, too |
| 16:22:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:22:29 | <geekosaur> | welcome back to ALGOL 60\ |
| 16:22:30 | × | alexherbo2 quits (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) (Remote host closed the connection) |
| 16:22:35 | <haskellbridge> | <Bowuigi> I see what you mean, some of those cases are separated in other languages |
| 16:22:46 | <horm> | that's all i need to hear |
| 16:22:50 | → | alexherbo2 joins (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) |
| 16:22:52 | <horm> | i will learn me a haskell for great good someday |
| 16:23:00 | <haskellbridge> | <Bowuigi> You tend to lose readability except on the ()/Unit casd |
| 16:23:17 | <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? |
| 16:23:41 | <c_wraith> | yes. Don't use lists for those things. |
| 16:23:56 | <c_wraith> | It's not like there aren't arrays |
| 16:24:03 | <geekosaur> | also I think tuples are about to change anyway, at least at type level |
| 16:24:10 | <geekosaur> | or already have but it's optional? |
| 16:24:12 | <haskellbridge> | <Bowuigi> Functional optimization can be best described as "dark magic casted by researchers and enthusiasts", you do have functional arrays tho |
| 16:24:47 | × | hueso quits (~root@user/hueso) (Read error: Connection reset by peer) |
| 16:24:48 | <c_wraith> | geekosaur: Yeah, there's a bunch of stuff going on with removing type/constructor puns to make dependent types easier |
| 16:25:06 | <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 |
| 16:25:26 | <c_wraith> | So [a] is now officially `List a', if you have the right things imported. |
| 16:25:38 | → | hueso joins (~root@user/hueso) |
| 16:25:41 | <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? |
| 16:26:10 | <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. |
| 16:26:14 | <haskellbridge> | <Bowuigi> Yes, pure functional languages have controlled environments that are way more amenable to optimization |
| 16:26:54 | <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 |
| 16:27:16 | <haskellbridge> | <Bowuigi> In particular, heavily optimized Haskell looks like actual Haskell and not like assembly, see: Kovacs's flatparse |
| 16:27:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 16:28:22 | → | housemate joins (~housemate@146.70.66.228) |
| 16:28:46 | <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 |
| 16:29:39 | <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) |
| 16:29:47 | <c_wraith> | And now that you can add intrinsics in libraries, it's possible to *actually* put asm in your haskell library! |
| 16:30:56 | <haskellbridge> | <Bowuigi> Anyway, back to the sieve function |
| 16:31:04 | <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 |
| 16:31:24 | <c_wraith> | So now there are clean interfaces to the functionality they had to do the ugly way |
| 16:33:51 | <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 |
| 16:34:58 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 16:35:09 | → | hueso joins (~root@user/hueso) |
| 16:37:07 | <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") |
| 16:37:42 | <haskellbridge> | <Bowuigi> The commas to the right of the bar work as an AND (AKA &&) |
| 16:38:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:38:07 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 16:38:52 | × | alexherbo2 quits (~alexherbo@2a02-8440-330e-b682-1c3b-0fef-d1b9-b690.rev.sfr.net) (Remote host closed the connection) |
| 16:40:09 | <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 |
| 16:40:17 | × | hueso quits (~root@user/hueso) (Ping timeout: 248 seconds) |
| 16:42:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:43:00 | → | hueso joins (~root@user/hueso) |
| 16:44:24 | <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? |
| 16:47:36 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:48:10 | <horm> | mm, filter style, bowuigi? |
| 16:48:16 | <horm> | also i hear it's not a very good prime sieve |
| 16:48:36 | <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 |
| 16:48:43 | <horm> | https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf this one specifically |
| 16:49:06 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 16:49:06 | ash3en1 | is now known as ash3en |
| 16:51:54 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 16:51:57 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 16:52:04 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:52:30 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 16:53:05 | → | euleritian joins (~euleritia@dynamic-176-006-137-058.176.6.pool.telefonica.de) |
| 16:53:31 | → | famubu joins (~famubu@14.139.174.50) |
| 16:53:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:54:24 | ash3en1 | is now known as ash3en |
| 16:58:02 | × | CoolMa7 quits (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:58:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:59:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:00:29 | × | housemate quits (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 17:00:44 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:00:52 | <haskellbridge> | <Bowuigi> Yeah there are better options |
| 17:04:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 17:04:58 | → | housemate joins (~housemate@146.70.66.228) |
| 17:05:59 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Ping timeout: 260 seconds) |
| 17:06:17 | <horm> | functional programming still better |
| 17:06:20 | → | acidjnk joins (~acidjnk@p200300d6e7283f16448a924b9966d16d.dip0.t-ipconnect.de) |
| 17:06:46 | <horm> | i have a friend currently writing some IQ sampling (signal-related stuff) in C and i don't think he even needs to be doing that |
| 17:09:31 | → | housemate_ joins (~housemate@146.70.66.228) |
| 17:11:49 | × | housemate quits (~housemate@146.70.66.228) (Ping timeout: 252 seconds) |
| 17:12:01 | → | sprotte24 joins (~sprotte24@p200300d16f13e200684574e5c8dff959.dip0.t-ipconnect.de) |
| 17:14:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:16:38 | × | housemate_ quits (~housemate@146.70.66.228) (Ping timeout: 245 seconds) |
| 17:20:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 17:30:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:31:32 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:36:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 17:40:11 | → | stef204 joins (~stef204@user/stef204) |
| 17:40:57 | → | housemate joins (~housemate@146.70.66.228) |
| 17:42:36 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 17:42:36 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 17:42:36 | Feuermagier_ | is now known as Feuermagier |
| 17:46:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:53:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:54:41 | → | weary-traveler joins (~user@user/user363627) |
| 17:55:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 18:00:41 | → | ftzm joins (~ftzm@085080230038.dynamic.telenor.dk) |
| 18:04:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:13:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:16:17 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 18:21:32 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 18:23:34 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:24:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:25:28 | → | emfrom joins (~emfrom@37.169.9.146) |
| 18:28:00 | → | michalz joins (~michalz@185.246.207.205) |
| 18:28:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:34:56 | → | CoolMa7 joins (~CoolMa7@95.91.137.87) |
| 18:39:34 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 18:39:59 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 18:40:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:40:28 | × | CoolMa7 quits (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:45:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:51:27 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 18:53:55 | × | housemate quits (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 18:55:21 | → | housemate joins (~housemate@146.70.66.228) |
| 18:55:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:57:51 | → | longlongdouble joins (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 19:01:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:06:58 | → | Guest95 joins (~Guest95@085080230038.dynamic.telenor.dk) |
| 19:07:37 | × | Guest95 quits (~Guest95@085080230038.dynamic.telenor.dk) (Client Quit) |
| 19:10:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:11:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:13:16 | × | euleritian quits (~euleritia@dynamic-176-006-137-058.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:13:54 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:14:06 | → | euleritian joins (~euleritia@77.22.252.56) |
| 19:16:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 19:18:37 | → | stef204 joins (~stef204@user/stef204) |
| 19:25:25 | × | spew quits (~spew@135.233.119.40) (Remote host closed the connection) |
| 19:25:39 | × | longlongdouble quits (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 19:26:14 | → | spew joins (~spew@135.233.119.40) |
| 19:27:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:39:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:44:05 | → | agent314 joins (~quassel@static-198-44-129-53.cust.tzulo.com) |
| 19:45:21 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 19:50:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:54:07 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:56:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 20:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:37 | → | caconym joins (~caconym@user/caconym) |
| 20:01:05 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 20:02:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 20:02:35 | ljdarj1 | is now known as ljdarj |
| 20:02:54 | × | housemate quits (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 20:06:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:06:59 | → | housemate joins (~housemate@146.70.66.228) |
| 20:08:38 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 20:10:26 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 20:11:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 20:11:37 | → | euleritian joins (~euleritia@77.22.252.56) |
| 20:12:23 | → | kilolympus joins (~kilolympu@2a04:ee41:4:32b3:7e9f:f324:8323:112e) |
| 20:13:07 | → | forell joins (~forell@user/forell) |
| 20:13:48 | × | housemate quits (~housemate@146.70.66.228) (Ping timeout: 276 seconds) |
| 20:15:31 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:22:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:27:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:27:33 | → | CoolMa7 joins (~CoolMa7@95.91.137.87) |
| 20:32:50 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 20:32:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:33:08 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 20:38:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:43:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 20:44:00 | → | housemate joins (~housemate@146.70.66.228) |
| 20:44:51 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 20:44:56 | → | misterfish joins (~misterfis@84.53.85.146) |
| 20:45:41 | → | housemate joins (~housemate@146.70.66.228) |
| 20:47:51 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 20:49:41 | → | housemate joins (~housemate@146.70.66.228) |
| 20:49:59 | × | alphazone_ quits (~alphazone@2.219.56.221) (Ping timeout: 260 seconds) |
| 20:52:02 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 20:52:03 | → | alphazone joins (~alphazone@2.219.56.221) |
| 20:53:11 | → | housemate joins (~housemate@146.70.66.228) |
| 20:53:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:55:20 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 20:57:12 | → | housemate joins (~housemate@146.70.66.228) |
| 20:58:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 20:59:26 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 20:59:54 | → | housemate joins (~housemate@146.70.66.228) |
| 21:00:46 | × | housemate quits (~housemate@146.70.66.228) (Remote host closed the connection) |
| 21:01:11 | → | housemate joins (~housemate@146.70.66.228) |
| 21:03:25 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:03:53 | → | housemate joins (~housemate@146.70.66.228) |
| 21:04:46 | × | housemate quits (~housemate@146.70.66.228) (Remote host closed the connection) |
| 21:05:11 | → | housemate joins (~housemate@146.70.66.228) |
| 21:07:37 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:08:05 | → | housemate joins (~housemate@146.70.66.228) |
| 21:09:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:10:20 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:10:48 | → | housemate joins (~housemate@146.70.66.228) |
| 21:10:55 | × | AWizzArd quits (~code@gehrels.uberspace.de) (Changing host) |
| 21:10:55 | → | AWizzArd joins (~code@user/awizzard) |
| 21:12:16 | × | famubu quits (~famubu@14.139.174.50) (Ping timeout: 272 seconds) |
| 21:13:02 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:13:31 | → | housemate joins (~housemate@146.70.66.228) |
| 21:14:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:15:53 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:16:21 | → | housemate joins (~housemate@146.70.66.228) |
| 21:16:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:16:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:18:39 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:19:07 | → | housemate joins (~housemate@146.70.66.228) |
| 21:20:47 | × | agent314 quits (~quassel@static-198-44-129-53.cust.tzulo.com) (Ping timeout: 252 seconds) |
| 21:21:26 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:21:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:21:54 | → | housemate joins (~housemate@146.70.66.228) |
| 21:22:46 | × | housemate quits (~housemate@146.70.66.228) (Remote host closed the connection) |
| 21:23:11 | → | housemate joins (~housemate@146.70.66.228) |
| 21:24:27 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:25:21 | × | housemate quits (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 21:25:33 | → | Everything joins (~Everythin@46.211.124.209) |
| 21:25:53 | → | housemate joins (~housemate@146.70.66.228) |
| 21:26:49 | → | agent314 joins (~quassel@static-198-44-129-53.cust.tzulo.com) |
| 21:32:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:32:47 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:35:30 | × | agent314 quits (~quassel@static-198-44-129-53.cust.tzulo.com) (Ping timeout: 246 seconds) |
| 21:37:12 | → | agent314 joins (~quassel@static-198-44-129-53.cust.tzulo.com) |
| 21:37:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:46:55 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 21:48:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:53:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:59:11 | → | housemate_ joins (~housemate@146.70.66.228) |
| 22:01:09 | × | housemate quits (~housemate@146.70.66.228) (Ping timeout: 260 seconds) |
| 22:06:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:10:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:13:10 | → | CoolMa7_ joins (~CoolMa7@95.91.137.87) |
| 22:15:50 | → | gorignak joins (~gorignak@user/gorignak) |
| 22:16:27 | × | CoolMa7 quits (~CoolMa7@95.91.137.87) (Ping timeout: 246 seconds) |
| 22:16:55 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 22:21:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:26:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:37:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:42:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 22:48:54 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 22:53:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:55:08 | × | Everything quits (~Everythin@46.211.124.209) (Quit: leaving) |
| 22:55:40 | × | housemate_ quits (~housemate@146.70.66.228) (Ping timeout: 244 seconds) |
| 22:58:19 | × | CoolMa7_ quits (~CoolMa7@95.91.137.87) (Ping timeout: 252 seconds) |
| 22:59:35 | → | CoolMa7 joins (~CoolMa7@95.91.137.87) |
| 22:59:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:04:18 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 23:08:34 | → | housemate joins (~housemate@146.70.66.228) |
| 23:11:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:15:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:21:58 | × | son0p quits (~ff@186.121.96.140) (Remote host closed the connection) |
| 23:26:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:30:25 | × | housemate quits (~housemate@146.70.66.228) (Ping timeout: 248 seconds) |
| 23:32:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 23:42:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:42:43 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 23:45:37 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) () |
| 23:47:09 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 23:47:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:48:53 | × | CoolMa7 quits (~CoolMa7@95.91.137.87) (Ping timeout: 244 seconds) |
| 23:50:51 | → | CoolMa7 joins (~CoolMa7@95.91.137.87) |
| 23:55:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
All times are in UTC on 2024-11-09.