| 2024-02-12 00:03:02 +0100 | causal | (~eric@50.35.85.7) |
| 2024-02-12 00:06:19 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 00:10:20 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-02-12 00:11:05 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-02-12 00:24:33 +0100 | takuan | (~takuan@178.116.218.225) (Remote host closed the connection) |
| 2024-02-12 00:29:08 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 00:29:52 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-12 00:35:01 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-02-12 00:40:21 +0100 | <ski> | hm, so it's not like `@tick A', then ? |
| 2024-02-12 00:45:01 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-02-12 00:52:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 00:56:50 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-02-12 00:57:04 +0100 | acidjnk_new | (~acidjnk@p5dd87f44.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-02-12 01:07:01 +0100 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.1.1) |
| 2024-02-12 01:12:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-02-12 01:30:24 +0100 | pavonia | (~user@user/siracusa) |
| 2024-02-12 01:31:55 +0100 | bilegeek | (~bilegeek@2600:1008:b0a2:1276:e568:11d7:194c:6060) |
| 2024-02-12 01:34:45 +0100 | masterbuilder | (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-02-12 01:36:25 +0100 | cods_ | (~fred@tuxee.net) (Ping timeout: 264 seconds) |
| 2024-02-12 01:45:58 +0100 | bzm3r | (~bzm3r@d205-250-253-229.bchsia.telus.net) (Ping timeout: 250 seconds) |
| 2024-02-12 01:48:37 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-02-12 01:55:12 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-02-12 02:03:34 +0100 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds)) |
| 2024-02-12 02:03:59 +0100 | davl | (~davl@207.154.228.18) (Quit: ...) |
| 2024-02-12 02:04:28 +0100 | ouroboros | (~ouroboros@user/ouroboros) (Quit: Bye.) |
| 2024-02-12 02:04:50 +0100 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2024-02-12 02:05:16 +0100 | quintasan | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2024-02-12 02:05:18 +0100 | Dykam | (Dykam@dykam.nl) (Remote host closed the connection) |
| 2024-02-12 02:05:40 +0100 | mht-wtf | (~mht@mht.wtf) (Ping timeout: 246 seconds) |
| 2024-02-12 02:06:11 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 260 seconds) |
| 2024-02-12 02:06:22 +0100 | disconnect3d | (~disconnec@user/disconnect3d) (Ping timeout: 260 seconds) |
| 2024-02-12 02:06:30 +0100 | ringo___ | (~ringo@157.230.117.128) (Ping timeout: 268 seconds) |
| 2024-02-12 02:06:43 +0100 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 246 seconds) |
| 2024-02-12 02:06:49 +0100 | davl | (~davl@207.154.228.18) |
| 2024-02-12 02:06:49 +0100 | bah | (~bah@l1.tel) (Ping timeout: 260 seconds) |
| 2024-02-12 02:06:59 +0100 | acro | (~acro@user/acro) |
| 2024-02-12 02:07:03 +0100 | enikar | (~enikar@chezlefab.net) (Ping timeout: 256 seconds) |
| 2024-02-12 02:07:04 +0100 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2024-02-12 02:07:07 +0100 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-02-12 02:07:18 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 260 seconds) |
| 2024-02-12 02:07:18 +0100 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-02-12 02:07:20 +0100 | ouroboros | (~ouroboros@user/ouroboros) |
| 2024-02-12 02:07:21 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
| 2024-02-12 02:07:22 +0100 | ringo___ | (~ringo@157.230.117.128) |
| 2024-02-12 02:07:35 +0100 | enikar | (~enikar@chezlefab.net) |
| 2024-02-12 02:07:39 +0100 | quintasan | (~quassel@quintasan.pl) |
| 2024-02-12 02:07:46 +0100 | bah | (~bah@l1.tel) |
| 2024-02-12 02:07:47 +0100 | peutri | (~peutri@bobo.desast.re) |
| 2024-02-12 02:07:57 +0100 | Dykam | (Dykam@dykam.nl) |
| 2024-02-12 02:08:04 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2024-02-12 02:11:02 +0100 | mht-wtf | (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 2024-02-12 02:13:17 +0100 | hlone9860 | (~Italian@42.108.27.138) |
| 2024-02-12 02:18:20 +0100 | hlone9860 | (~Italian@42.108.27.138) (Quit: You can take math with commerce) |
| 2024-02-12 02:26:41 +0100 | <Axman6> | Anyone know how to fix this issue with cabal on am M1 mac? https://paste.tomsmeding.com/yVAu4AUQ I'm using cabal installed via ghcup, and it looks like it's trying to dependon something installed by an old homebrew install (which has now moved to /opt/homebrew from /usr/local) |
| 2024-02-12 02:30:02 +0100 | average | (uid473595@user/average) |
| 2024-02-12 02:31:38 +0100 | <Axman6> | ah nevermind, I was using an old cabal executable |
| 2024-02-12 02:34:44 +0100 | cods | (~fred@tuxee.net) |
| 2024-02-12 02:36:14 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-12 02:45:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-02-12 02:47:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-02-12 02:55:08 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-02-12 02:59:13 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2024-02-12 03:08:10 +0100 | SAJAT | (~sajat@77-234-80-211.pool.digikabel.hu) (Ping timeout: 276 seconds) |
| 2024-02-12 03:10:20 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 2024-02-12 03:11:59 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2024-02-12 03:12:32 +0100 | yoo | (~yo0O0o@user/mobivme) (Ping timeout: 252 seconds) |
| 2024-02-12 03:17:19 +0100 | otto_s | (~user@p4ff27640.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-02-12 03:18:45 +0100 | otto_s | (~user@p5b044082.dip0.t-ipconnect.de) |
| 2024-02-12 03:27:40 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-02-12 03:31:47 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-02-12 03:42:05 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-02-12 03:43:37 +0100 | mulk | (~mulk@pd95144c1.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-02-12 03:43:48 +0100 | benkard | (~mulk@p5b112376.dip0.t-ipconnect.de) |
| 2024-02-12 03:44:12 +0100 | benkard | mulk |
| 2024-02-12 03:54:03 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-12 03:54:06 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-02-12 03:57:07 +0100 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2024-02-12 04:10:27 +0100 | mikess | (~mikess@user/mikess) (Quit: zzz) |
| 2024-02-12 04:13:23 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-12 04:15:28 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-02-12 04:21:59 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-02-12 04:30:33 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2024-02-12 04:32:23 +0100 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 264 seconds) |
| 2024-02-12 04:34:00 +0100 | td_ | (~td@i53870937.versanet.de) |
| 2024-02-12 04:41:08 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 2024-02-12 04:45:24 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-02-12 05:00:00 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2024-02-12 05:01:06 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2024-02-12 05:04:28 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 256 seconds) |
| 2024-02-12 05:08:43 +0100 | Guest|22 | (~Guest|22@36.73.33.51) |
| 2024-02-12 05:09:53 +0100 | Guest|22 | (~Guest|22@36.73.33.51) () |
| 2024-02-12 05:15:23 +0100 | mikess | (~mikess@user/mikess) |
| 2024-02-12 05:20:00 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) (Remote host closed the connection) |
| 2024-02-12 05:27:19 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 05:36:50 +0100 | bilegeek_ | (~bilegeek@60.sub-174-228-102.myvzw.com) |
| 2024-02-12 05:39:33 +0100 | bilegeek | (~bilegeek@2600:1008:b0a2:1276:e568:11d7:194c:6060) (Ping timeout: 268 seconds) |
| 2024-02-12 05:46:41 +0100 | aforemny | (~aforemny@i59F516D4.versanet.de) |
| 2024-02-12 05:46:55 +0100 | aforemny_ | (~aforemny@i59F516F6.versanet.de) (Ping timeout: 260 seconds) |
| 2024-02-12 05:48:34 +0100 | Silver_X | (~Silver_X@182.178.231.13) |
| 2024-02-12 05:49:17 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 240 seconds) |
| 2024-02-12 05:52:35 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-12 05:58:38 +0100 | Silver_X | (~Silver_X@182.178.231.13) (Remote host closed the connection) |
| 2024-02-12 06:01:50 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-12 06:08:03 +0100 | michalz | (~michalz@185.246.207.222) |
| 2024-02-12 06:34:31 +0100 | michalz | (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-12 06:37:25 +0100 | michalz | (~michalz@185.246.207.197) |
| 2024-02-12 06:42:29 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-12 06:56:49 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-02-12 07:02:16 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-12 07:02:20 +0100 | benkard | (~mulk@p5b2dc94d.dip0.t-ipconnect.de) |
| 2024-02-12 07:03:09 +0100 | mulk | (~mulk@p5b112376.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-02-12 07:03:09 +0100 | benkard | mulk |
| 2024-02-12 07:03:56 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2024-02-12 07:09:56 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2024-02-12 07:11:22 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-02-12 07:20:08 +0100 | dibblego | (~dibblego@220.233.36.84) |
| 2024-02-12 07:20:08 +0100 | dibblego | (~dibblego@220.233.36.84) (Changing host) |
| 2024-02-12 07:20:08 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-02-12 07:32:23 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds) |
| 2024-02-12 07:35:31 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e782e5c367a16a93f510.dip0.t-ipconnect.de) |
| 2024-02-12 07:35:57 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-02-12 07:36:32 +0100 | mikess | (~mikess@user/mikess) (Ping timeout: 252 seconds) |
| 2024-02-12 07:39:55 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-02-12 07:39:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-02-12 07:40:07 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-02-12 07:41:57 +0100 | son0p | (~ff@186.121.50.114) (Ping timeout: 256 seconds) |
| 2024-02-12 07:48:31 +0100 | RaspbellySwirl | (~Raspbelly@host-213-235-142-6.ip.topnet.cz) |
| 2024-02-12 07:51:50 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2024-02-12 08:00:55 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-12 08:05:50 +0100 | bilegeek_ | (~bilegeek@60.sub-174-228-102.myvzw.com) (Quit: Leaving) |
| 2024-02-12 08:07:52 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-02-12 08:08:49 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-02-12 08:11:09 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-12 08:12:26 +0100 | euleritian | (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) |
| 2024-02-12 08:12:26 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-02-12 08:12:39 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-02-12 08:34:52 +0100 | euleritian | (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 08:35:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 08:35:25 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 255 seconds) |
| 2024-02-12 08:37:23 +0100 | <tomsmeding> | irregularsphere: it's also a good way to make ghc emit invalid assembly https://paste.tomsmeding.com/AofqoE4E |
| 2024-02-12 08:42:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2024-02-12 08:45:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-02-12 08:52:50 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-12 08:55:11 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2024-02-12 08:55:59 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-12 09:00:21 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-02-12 09:00:35 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 2024-02-12 09:01:54 +0100 | califax | (~califax@user/califx) |
| 2024-02-12 09:06:29 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-12 09:06:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-02-12 09:07:48 +0100 | euleritian | (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) |
| 2024-02-12 09:13:46 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-02-12 09:19:46 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-12 09:25:29 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-02-12 09:27:10 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-658e-bfb3-e53b-7a11.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-02-12 09:28:07 +0100 | jle` | (~jle`@2603-8001-3b02-84d4-b11a-e819-2d37-28bf.res6.spectrum.com) |
| 2024-02-12 09:28:59 +0100 | danza | (~danza@151.37.246.166) |
| 2024-02-12 09:29:52 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 2024-02-12 09:31:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) |
| 2024-02-12 09:34:12 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-02-12 09:38:57 +0100 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-02-12 09:47:21 +0100 | euleritian | (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 09:47:50 +0100 | euleritian | (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) |
| 2024-02-12 09:50:35 +0100 | son0p | (~ff@191.104.6.115) |
| 2024-02-12 09:50:43 +0100 | danza | (~danza@151.37.246.166) (Ping timeout: 256 seconds) |
| 2024-02-12 09:53:47 +0100 | random-jellyfish | (~developer@82.76.54.109) |
| 2024-02-12 09:53:47 +0100 | random-jellyfish | (~developer@82.76.54.109) (Changing host) |
| 2024-02-12 09:53:47 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-02-12 09:55:28 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Client Quit) |
| 2024-02-12 09:59:07 +0100 | euleritian | (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-02-12 09:59:21 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) |
| 2024-02-12 10:04:37 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-02-12 10:05:11 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-12 10:14:04 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-02-12 10:21:26 +0100 | danse-nr3 | (~danse@151.37.246.166) |
| 2024-02-12 10:22:30 +0100 | danse-nr3 | (~danse@151.37.246.166) (Remote host closed the connection) |
| 2024-02-12 10:22:54 +0100 | danse-nr3 | (~danse@151.37.246.166) |
| 2024-02-12 10:32:44 +0100 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-02-12 10:48:29 +0100 | danse-nr3 | (~danse@151.37.246.166) (Ping timeout: 252 seconds) |
| 2024-02-12 10:50:41 +0100 | chele | (~chele@user/chele) |
| 2024-02-12 10:50:50 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 10:51:49 +0100 | danse-nr3 | (~danse@151.37.246.166) |
| 2024-02-12 10:53:09 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) |
| 2024-02-12 10:57:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 2024-02-12 11:03:06 +0100 | Guest|56 | (~Guest|56@167.205.0.235) |
| 2024-02-12 11:16:09 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1) |
| 2024-02-12 11:17:38 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-02-12 11:18:50 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Client Quit) |
| 2024-02-12 11:20:29 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-02-12 11:23:12 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-12 11:28:12 +0100 | average | (uid473595@user/average) |
| 2024-02-12 11:31:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-12 11:37:33 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-12 11:39:46 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-12 11:47:58 +0100 | Guest|56 | (~Guest|56@167.205.0.235) (Ping timeout: 264 seconds) |
| 2024-02-12 11:58:30 +0100 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-12 11:59:33 +0100 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-02-12 12:01:47 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-02-12 12:04:12 +0100 | mei | (~mei@user/mei) |
| 2024-02-12 12:05:26 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-02-12 12:06:09 +0100 | gehmehgeh | gmg |
| 2024-02-12 12:17:20 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-12 12:18:54 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-02-12 12:29:17 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 12:29:40 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 12:31:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-02-12 12:34:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-02-12 12:35:15 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) |
| 2024-02-12 12:36:37 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-12 12:51:33 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-12 12:53:25 +0100 | <haskellbridge> | <irregularsphere> I wonder what functions are needed to characterize a monad composition to be a monad |
| 2024-02-12 12:53:34 +0100 | <haskellbridge> | <irregularsphere> what functions are there* |
| 2024-02-12 12:53:48 +0100 | <danse-nr3> | ? |
| 2024-02-12 12:54:18 +0100 | <haskellbridge> | <irregularsphere> certainly the needed function is `(>>=) :: m (n a) -> (a -> m (n b)) -> m (n b)` ofc |
| 2024-02-12 12:54:50 +0100 | <ncf> | it's again easier to reason about join: you want mnmn ~> mn, but you only have mm ~> m and nn ~> n |
| 2024-02-12 12:54:59 +0100 | <danse-nr3> | there are the minimal definition in the class, plus they should follow the laws |
| 2024-02-12 12:55:09 +0100 | <ncf> | so, one sufficient condition for mn to be a monad is to have a *distributive law* nm ~> mn |
| 2024-02-12 12:55:13 +0100 | <haskellbridge> | <irregularsphere> danse-nr3: what functions are there that can make any `Monad (Compose m n)` `(Monad m, Monad n)` |
| 2024-02-12 12:55:16 +0100 | <haskellbridge> | <irregularsphere> ncf: yea |
| 2024-02-12 12:55:46 +0100 | <danse-nr3> | not sure, not familiar with Compose |
| 2024-02-12 12:55:47 +0100 | <haskellbridge> | <irregularsphere> ncf: I wonder if `mn` can be a monad without the *ehrm* commutative law |
| 2024-02-12 12:55:52 +0100 | <danse-nr3> | @hoogle Compose |
| 2024-02-12 12:55:52 +0100 | <lambdabot> | module Data.Functor.Compose |
| 2024-02-12 12:55:53 +0100 | <lambdabot> | Data.Functor.Compose newtype Compose f g a |
| 2024-02-12 12:55:53 +0100 | <lambdabot> | Data.Functor.Compose Compose :: f (g a) -> Compose f g a |
| 2024-02-12 12:55:53 +0100 | <haskellbridge> | <irregularsphere> distributive* |
| 2024-02-12 12:56:08 +0100 | <haskellbridge> | <irregularsphere> danse-nr3: newtype wrapper of composing functors |
| 2024-02-12 12:56:49 +0100 | <ncf> | you should have a look at "Composing monads" https://web.cecs.pdx.edu/~mpj/pubs/RR-1004.pdf |
| 2024-02-12 13:01:42 +0100 | <haskellbridge> | <irregularsphere> ncf: ah, thanks for the reading resources :P |
| 2024-02-12 13:01:50 +0100 | <haskellbridge> | <irregularsphere> where'd you get this from anyway? google scholar? |
| 2024-02-12 13:02:01 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-02-12 13:02:22 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 13:02:51 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) |
| 2024-02-12 13:03:24 +0100 | <haskellbridge> | <irregularsphere> find* |
| 2024-02-12 13:04:32 +0100 | <ncf> | i don't remember where i learned of it, but google finds it easily |
| 2024-02-12 13:07:26 +0100 | <haskellbridge> | <irregularsphere> wait does the paper you sent prove one can construct a distributive law from join |
| 2024-02-12 13:07:34 +0100 | <haskellbridge> | <irregularsphere> seems like it |
| 2024-02-12 13:07:36 +0100 | <haskellbridge> | <irregularsphere> nice |
| 2024-02-12 13:08:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-02-12 13:09:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-12 13:09:31 +0100 | <ncf> | yes, just insert units wherever appropriate |
| 2024-02-12 13:10:11 +0100 | <ncf> | (note that "distributive law", as the name implies, also has laws that one must verify, but they should be easy enough) |
| 2024-02-12 13:11:14 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-02-12 13:13:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-02-12 13:17:44 +0100 | <haskellbridge> | <irregularsphere> right |
| 2024-02-12 13:28:01 +0100 | sprout | (~quassel@2a02-a448-3a80-0-55d5-d61-58e7-1351.fixed6.kpn.net) (Ping timeout: 264 seconds) |
| 2024-02-12 13:32:59 +0100 | danse-nr3 | (~danse@151.37.246.166) (Ping timeout: 264 seconds) |
| 2024-02-12 13:36:14 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-02-12 13:36:38 +0100 | euleritian | (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 13:37:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 13:37:39 +0100 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-02-12 13:48:37 +0100 | erty | (~user@user/aeroplane) |
| 2024-02-12 13:50:54 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-02-12 13:51:35 +0100 | Guest|71 | (~Guest|71@46.143.123.230) |
| 2024-02-12 13:52:01 +0100 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-02-12 13:53:01 +0100 | <Guest|71> | Would you please recommend some learning resources for Haskell as the first programming language? |
| 2024-02-12 13:59:26 +0100 | AlexZenon | (~alzenon@94.233.241.194) (Quit: ;-) |
| 2024-02-12 14:02:18 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) (Quit: Leaving) |
| 2024-02-12 14:16:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-45ab-1750-7acf-2621.rev.sfr.net) |
| 2024-02-12 14:19:53 +0100 | danse-nr3 | (~danse@151.57.163.65) |
| 2024-02-12 14:19:55 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-02-12 14:26:44 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) |
| 2024-02-12 14:29:25 +0100 | Square3 | (~Square4@user/square) |
| 2024-02-12 14:29:54 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-12 14:30:38 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-02-12 14:32:18 +0100 | AlexZenon | (~alzenon@94.233.241.194) |
| 2024-02-12 14:38:49 +0100 | ricardo__ | (~ricardo@shabang.toppoint.de) |
| 2024-02-12 14:40:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-12 14:40:41 +0100 | Guest|71 | (~Guest|71@46.143.123.230) (Ping timeout: 268 seconds) |
| 2024-02-12 14:42:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-12 14:47:42 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-02-12 14:48:26 +0100 | rosco | (~rosco@175.136.156.77) |
| 2024-02-12 14:53:31 +0100 | ell15 | (~ellie@user/ellie) |
| 2024-02-12 14:54:45 +0100 | ell15 | (~ellie@user/ellie) (Client Quit) |
| 2024-02-12 14:55:15 +0100 | ell15 | (~ellie@user/ellie) |
| 2024-02-12 14:55:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-02-12 14:56:19 +0100 | ell15 | ell |
| 2024-02-12 14:59:17 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 15:05:58 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-02-12 15:09:17 +0100 | k_hachig | (~k_hachig@138-51-71-31-lsn-2.nat.utoronto.ca) |
| 2024-02-12 15:10:52 +0100 | ystael | (~ystael@user/ystael) |
| 2024-02-12 15:14:39 +0100 | pruiz | (~user@user/pruiz) (Remote host closed the connection) |
| 2024-02-12 15:26:58 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-12 15:30:00 +0100 | pruiz | (~user@user/pruiz) |
| 2024-02-12 15:35:15 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2024-02-12 15:38:19 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-12 15:40:33 +0100 | __monty__ | (~toonn@user/toonn) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | chele | (~chele@user/chele) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | Midjak | (~MarciZ@82.66.147.146) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | phma | (phma@2001:5b0:210d:fe68:e240:a279:f60d:a263) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:5d57:406e:8f63:35e6) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | pounce | (~pounce@user/cute/pounce) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | actioninja | (~actioninj@user/actioninja) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2024-02-12 15:40:33 +0100 | Flow | (~none@gentoo/developer/flow) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | iteratee_ | (~kyle@162.218.222.207) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | inedia | (~irc@2602:2da:0:80:5054:ff:fe3c:8d93) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | Typedfern | (~Typedfern@82.red-83-37-31.dynamicip.rima-tde.net) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | andjjj23 | (~irc@107.170.228.47) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | remexre | (~remexre@user/remexre) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | bgamari_ | (~bgamari@64.223.175.94) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | dumptruckman | (~dumptruck@23-239-13-136.ip.linodeusercontent.com) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | astra | (sid289983@user/amish) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) (*.net *.split) |
| 2024-02-12 15:40:34 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) (*.net *.split) |
| 2024-02-12 15:40:46 +0100 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2024-02-12 15:40:47 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-02-12 15:40:48 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-02-12 15:40:49 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2024-02-12 15:40:49 +0100 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2024-02-12 15:40:50 +0100 | mankyKitty | (sid31287@id-31287.helmsley.irccloud.com) |
| 2024-02-12 15:40:50 +0100 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2024-02-12 15:40:50 +0100 | inedia | (~irc@2602:2da:0:80:5054:ff:fe3c:8d93) |
| 2024-02-12 15:40:51 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) |
| 2024-02-12 15:40:53 +0100 | andjjj23 | (~irc@107.170.228.47) |
| 2024-02-12 15:40:53 +0100 | bgamari | (~bgamari@64.223.175.94) |
| 2024-02-12 15:40:55 +0100 | chele | (~chele@user/chele) |
| 2024-02-12 15:40:55 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-02-12 15:40:56 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2024-02-12 15:40:56 +0100 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-02-12 15:40:57 +0100 | Typedfern | (~Typedfern@82.red-83-37-31.dynamicip.rima-tde.net) |
| 2024-02-12 15:40:57 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:b2e3:8083:a451:548a) |
| 2024-02-12 15:40:57 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) |
| 2024-02-12 15:40:59 +0100 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2024-02-12 15:40:59 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2024-02-12 15:41:00 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-12 15:41:00 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-02-12 15:41:02 +0100 | phma | (~phma@host-67-44-208-104.hnremote.net) |
| 2024-02-12 15:41:03 +0100 | actioninja | (~actioninj@user/actioninja) |
| 2024-02-12 15:41:13 +0100 | bjs | (sid190364@user/bjs) |
| 2024-02-12 15:41:31 +0100 | Ekho | (~Ekho@user/ekho) |
| 2024-02-12 15:41:51 +0100 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-02-12 15:42:13 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2024-02-12 15:42:42 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2024-02-12 15:42:55 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds) |
| 2024-02-12 15:43:17 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 15:43:19 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-12 15:43:21 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-02-12 15:43:47 +0100 | carbolymer | (~carbolyme@dropacid.net) |
| 2024-02-12 15:44:15 +0100 | dumptruckman | (~dumptruck@23-239-13-136.ip.linodeusercontent.com) |
| 2024-02-12 15:44:38 +0100 | energizer | (~energizer@user/energizer) |
| 2024-02-12 15:44:57 +0100 | remexre | (~remexre@user/remexre) |
| 2024-02-12 15:45:00 +0100 | pounce | (~pounce@user/cute/pounce) |
| 2024-02-12 15:45:44 +0100 | shachaf | (~shachaf@user/shachaf) |
| 2024-02-12 15:46:11 +0100 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-02-12 15:47:54 +0100 | sprout | (~quassel@2a02-a448-3a80-0-fc36-35dd-11a2-cd35.fixed6.kpn.net) |
| 2024-02-12 15:51:25 +0100 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 264 seconds) |
| 2024-02-12 15:54:10 +0100 | pruiz | (~user@user/pruiz) (Ping timeout: 255 seconds) |
| 2024-02-12 15:54:49 +0100 | CiaoSen | (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03) |
| 2024-02-12 15:57:33 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-45ab-1750-7acf-2621.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-12 15:58:22 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-dcc0-7f98-829f-845d.rev.sfr.net) |
| 2024-02-12 16:00:11 +0100 | danse-nr3 | (~danse@151.57.163.65) (Remote host closed the connection) |
| 2024-02-12 16:00:35 +0100 | danse-nr3 | (~danse@151.57.163.65) |
| 2024-02-12 16:03:06 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-dcc0-7f98-829f-845d.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2024-02-12 16:10:49 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2024-02-12 16:18:47 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-02-12 16:18:47 +0100 | ChanServ | +v haskellbridge |
| 2024-02-12 16:21:22 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net) |
| 2024-02-12 16:32:20 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-12 16:34:14 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 16:38:01 +0100 | CiaoSen | (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-02-12 16:40:07 +0100 | AlexNoo_ | (~AlexNoo@178.34.163.241) |
| 2024-02-12 16:40:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2024-02-12 16:41:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (Ping timeout: 264 seconds) |
| 2024-02-12 16:41:59 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) |
| 2024-02-12 16:42:46 +0100 | AlexZenon | (~alzenon@94.233.241.194) (Ping timeout: 255 seconds) |
| 2024-02-12 16:43:07 +0100 | AlexNoo | (~AlexNoo@94.233.241.194) (Ping timeout: 256 seconds) |
| 2024-02-12 16:44:33 +0100 | JordiGH | (~jordi@user/jordigh) (Remote host closed the connection) |
| 2024-02-12 16:44:54 +0100 | AlexNoo_ | AlexNoo |
| 2024-02-12 16:44:58 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 16:46:56 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-12 16:48:44 +0100 | JordiGH | (~jordi@user/jordigh) (Remote host closed the connection) |
| 2024-02-12 16:49:07 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 16:49:36 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-02-12 16:50:35 +0100 | AlexZenon | (~alzenon@178.34.163.241) |
| 2024-02-12 17:02:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-02-12 17:02:39 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (Ping timeout: 260 seconds) |
| 2024-02-12 17:02:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 17:03:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) |
| 2024-02-12 17:04:35 +0100 | JordiGH | (~jordi@user/jordigh) (Remote host closed the connection) |
| 2024-02-12 17:05:13 +0100 | k_hachig | (~k_hachig@138-51-71-31-lsn-2.nat.utoronto.ca) (Ping timeout: 264 seconds) |
| 2024-02-12 17:09:25 +0100 | danse-nr3 | (~danse@151.57.163.65) (Ping timeout: 264 seconds) |
| 2024-02-12 17:13:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-02-12 17:16:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-02-12 17:16:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-02-12 17:17:12 +0100 | euleritian | (~euleritia@dynamic-176-006-181-115.176.6.pool.telefonica.de) |
| 2024-02-12 17:22:33 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2024-02-12 17:24:33 +0100 | euleritian | (~euleritia@dynamic-176-006-181-115.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-02-12 17:25:52 +0100 | euleritian | (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) |
| 2024-02-12 17:27:34 +0100 | mei | (~mei@user/mei) (Ping timeout: 246 seconds) |
| 2024-02-12 17:28:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-02-12 17:30:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 17:30:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-12 17:30:49 +0100 | euleritian | (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 17:31:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 17:34:30 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-12 17:35:52 +0100 | mulk | (~mulk@p5b2dc94d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-02-12 17:37:07 +0100 | danza | (~danza@151.57.163.65) |
| 2024-02-12 17:38:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-02-12 17:38:35 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Ping timeout: 268 seconds) |
| 2024-02-12 17:38:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net) |
| 2024-02-12 17:39:13 +0100 | euleritian | (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) |
| 2024-02-12 17:42:04 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-12 17:44:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-12 17:44:24 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 17:46:35 +0100 | danza | (~danza@151.57.163.65) (Quit: Leaving) |
| 2024-02-12 17:48:34 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-02-12 17:49:33 +0100 | euleritian | (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 17:49:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 17:52:00 +0100 | Guest99 | (~Guest99@vm-exclusive-1.la.net.ua) |
| 2024-02-12 17:55:38 +0100 | mulk | (~mulk@pd9514320.dip0.t-ipconnect.de) |
| 2024-02-12 17:59:22 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-02-12 18:03:49 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-02-12 18:05:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net) (Remote host closed the connection) |
| 2024-02-12 18:06:12 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-02-12 18:08:23 +0100 | <sp1ff> | Guest|71: I'm currently reading "Learn You a Haskell", but eyeing "Real World Haskell" |
| 2024-02-12 18:08:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-12 18:10:04 +0100 | <sp1ff> | Tho Haskell as a *first* language may be a bit challenging |
| 2024-02-12 18:11:18 +0100 | k_hachig | (~k_hachig@138-51-87-178-lsn-2.nat.utoronto.ca) |
| 2024-02-12 18:17:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-02-12 18:18:34 +0100 | euleritian | (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) |
| 2024-02-12 18:22:54 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-02-12 18:27:38 +0100 | <EvanR> | yes haskell before you can speak english or whatever would be pretty hard |
| 2024-02-12 18:27:51 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-02-12 18:29:12 +0100 | <EvanR> | but there's been speculation that you could teach it as a first programming language before the student has been ruined forever by imperative OOP |
| 2024-02-12 18:30:40 +0100 | <sp1ff> | I think trying to teach Haskell as a first *programming* language without some mathematical background would be tough |
| 2024-02-12 18:31:20 +0100 | <haskellbridge> | <sm> "Haskell" covers a lot. A subset would be easier |
| 2024-02-12 18:31:45 +0100 | <haskellbridge> | <sm> g'day all o/ |
| 2024-02-12 18:32:00 +0100 | <EvanR> | yeah the simple subset of haskell according to some wise person |
| 2024-02-12 18:33:04 +0100 | <haskellbridge> | <sm> GHC Haskell with no imports or extensions, eg. (But that's still pretty large) |
| 2024-02-12 18:33:10 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2024-02-12 18:33:35 +0100 | mulk | (~mulk@pd9514320.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-02-12 18:33:46 +0100 | <haskellbridge> | <sm> https://code.world 's simplified haskell variant |
| 2024-02-12 18:34:08 +0100 | <haskellbridge> | <sm> elm ? maybe |
| 2024-02-12 18:34:38 +0100 | mulk | (~mulk@pd9514245.dip0.t-ipconnect.de) |
| 2024-02-12 18:34:58 +0100 | <EvanR> | I don't know about no imports, but definitely more sub than all that |
| 2024-02-12 18:35:06 +0100 | <EvanR> | elm isn't lazy |
| 2024-02-12 18:36:08 +0100 | <EvanR> | and elm doesn't have type classes?! |
| 2024-02-12 18:36:47 +0100 | <EvanR> | beginner programmers are told to #include <stdio.h> so importing something should be a big deal |
| 2024-02-12 18:37:03 +0100 | <EvanR> | shouldn't |
| 2024-02-12 18:39:25 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-12 18:41:56 +0100 | <haskellbridge> | <sm> the idea was to focus on a smaller area to learn first. Haskell + prelude is still quite a lot ! |
| 2024-02-12 18:42:15 +0100 | <haskellbridge> | <sm> helium has figured this out already I guess |
| 2024-02-12 18:43:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-12 18:43:46 +0100 | <EvanR> | yes though without Control.Monad you might have to reimplement some of the world for control flow |
| 2024-02-12 18:44:02 +0100 | <EvanR> | or Data.List |
| 2024-02-12 18:44:42 +0100 | <EvanR> | the prelude and non-prelude "base" is kind of a mess |
| 2024-02-12 18:49:41 +0100 | <haskellbridge> | <sm> helium must have a better learning-organised prelude |
| 2024-02-12 18:50:04 +0100 | ft | (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 2024-02-12 18:50:14 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-12 18:50:26 +0100 | euleritian | (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-02-12 18:55:08 +0100 | Guest99 | (~Guest99@vm-exclusive-1.la.net.ua) (Ping timeout: 250 seconds) |
| 2024-02-12 18:56:27 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) |
| 2024-02-12 19:03:21 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 2024-02-12 19:11:53 +0100 | tri_ | (~tri@2607:fb90:b119:4646:4ef:dbe0:4f14:52b5) |
| 2024-02-12 19:15:45 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-02-12 19:20:28 +0100 | rosco | (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 2024-02-12 19:21:36 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2024-02-12 19:22:17 +0100 | AlexNoo_ | (~AlexNoo@94.233.241.30) |
| 2024-02-12 19:24:15 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-02-12 19:25:37 +0100 | AlexNoo | (~AlexNoo@178.34.163.241) (Ping timeout: 260 seconds) |
| 2024-02-12 19:25:53 +0100 | AlexZenon | (~alzenon@178.34.163.241) (Ping timeout: 268 seconds) |
| 2024-02-12 19:26:27 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-02-12 19:29:02 +0100 | <Logio> | we had a few people starting Haskell as their first programming language at our uni class, they fared better than the people who had been doing c++ in industry for years. Much less unlearning to do |
| 2024-02-12 19:30:25 +0100 | <geekosaur> | also it's entirely possible to pick up the mathematical basis of Haskell from Haskell rather than having to know it up front. (I did.) |
| 2024-02-12 19:31:06 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-02-12 19:34:24 +0100 | AlexZenon | (~alzenon@94.233.241.30) |
| 2024-02-12 19:36:58 +0100 | sphynx | xnyhps |
| 2024-02-12 19:37:11 +0100 | erty | (~user@user/aeroplane) (Ping timeout: 264 seconds) |
| 2024-02-12 19:38:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-12 19:40:00 +0100 | AlexNoo_ | AlexNoo |
| 2024-02-12 19:42:04 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-02-12 19:44:32 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-02-12 19:48:09 +0100 | AlexZenon | (~alzenon@94.233.241.30) (Ping timeout: 255 seconds) |
| 2024-02-12 19:48:27 +0100 | AlexNoo_ | (~AlexNoo@94.233.241.30) |
| 2024-02-12 19:50:22 +0100 | AlexNoo | (~AlexNoo@94.233.241.30) (Ping timeout: 264 seconds) |
| 2024-02-12 19:50:30 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-02-12 19:58:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-02-12 19:58:36 +0100 | AlexZenon | (~alzenon@94.233.241.30) |
| 2024-02-12 20:02:21 +0100 | AlexNoo_ | AlexNoo |
| 2024-02-12 20:05:55 +0100 | JordiGH | (~jordi@user/jordigh) |
| 2024-02-12 20:06:15 +0100 | tri_ | (~tri@2607:fb90:b119:4646:4ef:dbe0:4f14:52b5) (Remote host closed the connection) |
| 2024-02-12 20:10:35 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-02-12 20:10:47 +0100 | k_hachig | (~k_hachig@138-51-87-178-lsn-2.nat.utoronto.ca) (Ping timeout: 264 seconds) |
| 2024-02-12 20:14:32 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (Ping timeout: 256 seconds) |
| 2024-02-12 20:16:53 +0100 | xff0x | (~xff0x@ai099196.d.east.v6connect.net) |
| 2024-02-12 20:20:45 +0100 | <johnw> | in my c++ days, a "variable" was an alias for a RAM address |
| 2024-02-12 20:21:55 +0100 | <Hecate> | johnw: you'll never believe what has happened since then |
| 2024-02-12 20:21:56 +0100 | mechap | (~mechap@user/mechap) |
| 2024-02-12 20:22:41 +0100 | <glguy> | When did computers get registers? |
| 2024-02-12 20:22:56 +0100 | <johnw> | I think Guy Steele talks about that in his presentation on computing history |
| 2024-02-12 20:23:26 +0100 | <johnw> | https://www.youtube.com/watch?app=desktop&v=dPK6t7echuA |
| 2024-02-12 20:26:04 +0100 | Square3 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-02-12 20:28:45 +0100 | Square | (~Square@user/square) |
| 2024-02-12 20:29:09 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-02-12 20:31:29 +0100 | Midjak | (~MarciZ@82.66.147.146) (Ping timeout: 256 seconds) |
| 2024-02-12 20:32:40 +0100 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-02-12 20:32:59 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-02-12 20:35:55 +0100 | <probie> | I used to tutor a first year, first semester university course that uses Haskell. In my experience, there was little difference between those who had done some programming before, and those who never had. However, those who had substantial experience programming picked it up much faster, even if it was their first functional language |
| 2024-02-12 20:38:11 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-02-12 20:46:40 +0100 | euleritian | (~euleritia@dynamic-176-006-186-216.176.6.pool.telefonica.de) |
| 2024-02-12 20:48:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-12 20:49:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 20:53:36 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-02-12 20:53:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-02-12 20:54:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-12 20:57:58 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-02-12 21:04:57 +0100 | tri_ | (~tri@172.59.9.246) |
| 2024-02-12 21:08:34 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-02-12 21:12:16 +0100 | ricardo__ | (~ricardo@shabang.toppoint.de) (Read error: Connection reset by peer) |
| 2024-02-12 21:12:18 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 2024-02-12 21:14:48 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-02-12 21:15:11 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d02f) |
| 2024-02-12 21:15:32 +0100 | ru0mad | (~ru0mad@moon.ruomad.net) |
| 2024-02-12 21:18:09 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-02-12 21:18:11 +0100 | caconym | (~caconym@user/caconym) (Remote host closed the connection) |
| 2024-02-12 21:20:10 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-02-12 21:21:00 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-02-12 21:21:35 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) |
| 2024-02-12 21:28:16 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-02-12 21:30:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-02-12 21:39:55 +0100 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-02-12 21:45:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-12 21:51:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-02-12 21:52:03 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-02-12 21:52:21 +0100 | jargon | (~jargon@157.sub-174-205-162.myvzw.com) |
| 2024-02-12 21:54:11 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2024-02-12 21:54:28 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-12 21:59:40 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-12 22:00:18 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-02-12 22:01:11 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-02-12 22:09:00 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-12 22:11:08 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) |
| 2024-02-12 22:11:16 +0100 | rscastilho2024 | (rscastilho@189.61.140.215) (Remote host closed the connection) |
| 2024-02-12 22:13:30 +0100 | euleritian | (~euleritia@dynamic-176-006-186-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-02-12 22:13:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-02-12 22:14:45 +0100 | RaspbellySwirl | (~Raspbelly@host-213-235-142-6.ip.topnet.cz) (Ping timeout: 256 seconds) |
| 2024-02-12 22:15:22 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-02-12 22:16:55 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2024-02-12 22:17:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-02-12 22:24:12 +0100 | <haskellbridge> | <Jade> can you show the "result" of a constraint in GHCi? I want to see if two types are `Coercible` |
| 2024-02-12 22:26:17 +0100 | <ncf> | :t coerce @A @B |
| 2024-02-12 22:26:18 +0100 | <lambdabot> | error: |
| 2024-02-12 22:26:18 +0100 | <lambdabot> | Pattern syntax in expression context: coerce@A |
| 2024-02-12 22:26:18 +0100 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2024-02-12 22:26:40 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d02f) (Read error: Connection reset by peer) |
| 2024-02-12 22:26:49 +0100 | <int-e> | :t () :: Coercible (Sum ()) (Product ()) => () |
| 2024-02-12 22:26:50 +0100 | <lambdabot> | error: |
| 2024-02-12 22:26:50 +0100 | <lambdabot> | Not in scope: type constructor or class ‘Coercible’ |
| 2024-02-12 22:26:51 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d02f) |
| 2024-02-12 22:27:29 +0100 | <int-e> | Oh right, Data.Coerce is "Unsafe". |
| 2024-02-12 22:27:35 +0100 | JordiGH | (~jordi@user/jordigh) (Leaving) |
| 2024-02-12 22:28:38 +0100 | <int-e> | Anyway, that's clumsy but it does induce GHCi to try to resolve that constraint. |
| 2024-02-12 22:29:20 +0100 | <int-e> | % :k Coercible (Sum ()) (Product ()) => () |
| 2024-02-12 22:29:20 +0100 | <yahb2> | <interactive>:1:1: error: ; Not in scope: type constructor or class ‘Coercible’ |
| 2024-02-12 22:29:44 +0100 | <int-e> | % :m +Data.Coerce Data.Monoid |
| 2024-02-12 22:29:44 +0100 | <yahb2> | <no output> |
| 2024-02-12 22:29:46 +0100 | <int-e> | % :k Coercible (Sum ()) (Product ()) => () |
| 2024-02-12 22:29:46 +0100 | <yahb2> | Coercible (Sum ()) (Product ()) => () :: * |
| 2024-02-12 22:29:56 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-02-12 22:30:27 +0100 | <int-e> | Err |
| 2024-02-12 22:31:07 +0100 | <int-e> | (the :k one doesn't) |
| 2024-02-12 22:31:25 +0100 | <haskellbridge> | <Jade> maybe `:k!`? |
| 2024-02-12 22:31:44 +0100 | <int-e> | % :t () :: Coercible Int Float => () |
| 2024-02-12 22:31:44 +0100 | <yahb2> | <interactive>:1:1: error: ; • Couldn't match representation of type ‘Int’ with that of ‘Float’ ; arising from an expression type signature ; • In the expression: () :: Coercible Int... |
| 2024-02-12 22:31:58 +0100 | <int-e> | % :k Coercible Int Float => () |
| 2024-02-12 22:31:58 +0100 | <yahb2> | Coercible Int Float => () :: * |
| 2024-02-12 22:32:03 +0100 | <int-e> | % :k! Coercible Int Float => () |
| 2024-02-12 22:32:03 +0100 | <yahb2> | Coercible Int Float => () :: * ; = Coercible Int Float => () |
| 2024-02-12 22:32:23 +0100 | <int-e> | % () :: Coercible Int Float => () -- final variant |
| 2024-02-12 22:32:23 +0100 | <yahb2> | <interactive>:143:1: error: ; • Couldn't match representation of type ‘Int’ with that of ‘Float’ ; arising from an expression type signature ; • In the expression: () :: Coercible I... |
| 2024-02-12 22:33:08 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d02f) (Quit: Where is it) |
| 2024-02-12 22:38:47 +0100 | <tomsmeding> | % :t () :: Coercible (Sum ()) (Product ()) => () |
| 2024-02-12 22:38:47 +0100 | <yahb2> | () :: Coercible (Sum ()) (Product ()) => () :: () |
| 2024-02-12 22:40:53 +0100 | <tomsmeding> | % :set -XTypeApplications -XExplicitForAll -XAllowAmbiguousTypes |
| 2024-02-12 22:40:53 +0100 | <yahb2> | <no output> |
| 2024-02-12 22:41:10 +0100 | <tomsmeding> | % doesItCoerce :: forall a b. Coercible a b => () ; doesItCoerce = () |
| 2024-02-12 22:41:10 +0100 | <yahb2> | <no output> |
| 2024-02-12 22:41:17 +0100 | <tomsmeding> | % doesItCoerce @Int @Float |
| 2024-02-12 22:41:17 +0100 | <yahb2> | <interactive>:151:1: error: ; • Couldn't match representation of type ‘Int’ with that of ‘Float’ ; arising from a use of ‘doesItCoerce’ ; • In the expression: doesItCoerce @Int @Flo... |
| 2024-02-12 22:41:57 +0100 | <tomsmeding> | % :unset -XAllowAmbiguousTypes |
| 2024-02-12 22:41:57 +0100 | <yahb2> | <no output> |
| 2024-02-12 22:42:16 +0100 | <int-e> | tomsmeding: tbh I can't really explain why my `:t` bothers with solving the constraint, only to replicate it in the final type. |
| 2024-02-12 22:42:59 +0100 | <tomsmeding> | but it doesn't, right? |
| 2024-02-12 22:43:10 +0100 | <tomsmeding> | % :t () :: Coercible (Sum ()) (Product ()) => () |
| 2024-02-12 22:43:10 +0100 | <yahb2> | () :: Coercible (Sum ()) (Product ()) => () :: () |
| 2024-02-12 22:43:11 +0100 | <int-e> | It does. |
| 2024-02-12 22:43:16 +0100 | <tomsmeding> | the inferred type here is () |
| 2024-02-12 22:43:25 +0100 | <tomsmeding> | % :t (((() :: Coercible (Sum ()) (Product ()) => ()))) |
| 2024-02-12 22:43:25 +0100 | <yahb2> | (((() :: Coercible (Sum ()) (Product ()) => ()))) :: () |
| 2024-02-12 22:43:31 +0100 | <int-e> | Ah! I can't read. |
| 2024-02-12 22:43:36 +0100 | <int-e> | Thanks. |
| 2024-02-12 22:43:41 +0100 | <tomsmeding> | well, it wasn't very readable in the first place :p |
| 2024-02-12 22:43:56 +0100 | <tomsmeding> | it needs some showPrec with a precedence > 0 |
| 2024-02-12 22:43:58 +0100 | <int-e> | And I misattributed "it". |
| 2024-02-12 22:44:04 +0100 | <tomsmeding> | that was also my fault |
| 2024-02-12 22:45:08 +0100 | <tomsmeding> | it's funny how in ghci you can (apparently, TIL) define an ambiguous function with -XAllowAmbiguousTypes, and then proceed to turn that extension off again and use the previously-defined function |
| 2024-02-12 22:45:37 +0100 | <tomsmeding> | it would be nice if the whole extension was a per-function attribute in the first place |
| 2024-02-12 22:46:28 +0100 | <tomsmeding> | other languages have neat syntax for this like '@ambiguous foo :: ...', but I guess I'd be satisfied with {-# AMBIGUOUS foo #-} foo :: ... |
| 2024-02-12 22:50:41 +0100 | <EvanR> | your dare question whether any and all languages features can take the form of a type class |
| 2024-02-12 22:50:54 +0100 | <tomsmeding> | I do not? |
| 2024-02-12 22:52:02 +0100 | <EvanR> | don't risk being recommended to the haskell ethics committee |
| 2024-02-12 22:52:03 +0100 | <geekosaur> | not actually that strange since it only needs to be in effect when the function is compiled |
| 2024-02-12 22:52:43 +0100 | <tomsmeding> | EvanR: oh you mean that one is supposed to take the opinion that all features _can_ take the form of a type class |
| 2024-02-12 22:52:47 +0100 | <geekosaur> | and each (possibly extended) line in ghc is compiled individually |
| 2024-02-12 22:52:59 +0100 | <tomsmeding> | sure |
| 2024-02-12 22:53:18 +0100 | <tomsmeding> | just funny that the ghci behaviour is closer to what I'd want in a source file as well :p |
| 2024-02-12 22:53:35 +0100 | <tomsmeding> | I end up making a tiny file just to house a few small definitions if I need -XAllowAmbiguousTypes on them |
| 2024-02-12 22:53:55 +0100 | <EvanR> | it's crazy how unreasonably effective the type class system is |
| 2024-02-12 22:54:04 +0100 | <tomsmeding> | fur sure |
| 2024-02-12 22:54:06 +0100 | <tomsmeding> | *for |
| 2024-02-12 22:54:09 +0100 | <EvanR> | and how everything else is RankN types |
| 2024-02-12 22:54:34 +0100 | tomsmeding | glances at my list of 13 language extensions |
| 2024-02-12 22:54:54 +0100 | <tomsmeding> | it was more until I removed some that were implied by others in the list |
| 2024-02-12 22:55:10 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-02-12 22:57:32 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2024-02-12 22:58:29 +0100 | johnw | (~johnw@69.62.242.138) |
| 2024-02-12 23:04:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2024-02-12 23:05:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-02-12 23:09:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-02-12 23:10:09 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-02-12 23:12:49 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:4163:3ce9:6b9:1e91) (Remote host closed the connection) |
| 2024-02-12 23:13:15 +0100 | lottaquestions | (~nick@2607:fa49:503d:b200:d22b:7da7:bae:91de) |
| 2024-02-12 23:19:36 +0100 | Square3 | (~Square4@user/square) |
| 2024-02-12 23:22:21 +0100 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-02-12 23:38:49 +0100 | raym | (~ray@user/raym) (Ping timeout: 264 seconds) |
| 2024-02-12 23:40:22 +0100 | raym | (~ray@user/raym) |
| 2024-02-12 23:47:42 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-02-12 23:52:01 +0100 | CiaoSen | (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03) |
| 2024-02-12 23:54:54 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-02-12 23:56:49 +0100 | CiaoSen | (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |