Logs: freenode/#haskell
| 2020-10-23 02:06:00 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (verne.freenode.net (Nickname regained by services))) |
| 2020-10-23 02:06:07 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 2020-10-23 02:06:38 | × | klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Quit: WeeChat 2.9) |
| 2020-10-23 02:08:02 | × | stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer) |
| 2020-10-23 02:08:03 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 2020-10-23 02:08:22 | → | stefan-__ joins (~cri@42dots.de) |
| 2020-10-23 02:09:45 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 2020-10-23 02:13:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-23 02:14:56 | → | klardotsh joins (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 2020-10-23 02:15:04 | × | avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-23 02:16:43 | → | avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz) |
| 2020-10-23 02:17:01 | × | theDon quits (~td@94.134.91.18) (Ping timeout: 264 seconds) |
| 2020-10-23 02:18:37 | → | theDon joins (~td@muedsl-82-207-238-026.citykom.de) |
| 2020-10-23 02:18:45 | × | Gerula quits (~Gerula@unaffiliated/gerula) (Ping timeout: 240 seconds) |
| 2020-10-23 02:18:50 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 2020-10-23 02:20:14 | × | shatriff_ quits (~vitaliish@80.233.58.242) (Remote host closed the connection) |
| 2020-10-23 02:20:48 | <dsal> | jbox: We have many more monads to choose from. :) |
| 2020-10-23 02:20:53 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-10-23 02:21:17 | → | Gerula joins (~Gerula@unaffiliated/gerula) |
| 2020-10-23 02:22:24 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-10-23 02:25:44 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-10-23 02:27:47 | × | Sarma quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-10-23 02:33:09 | → | jlamothe joins (~jlamothe@dev.jlamothe.net) |
| 2020-10-23 02:33:15 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 260 seconds) |
| 2020-10-23 02:33:45 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7237805143004c29cad477d.dip0.t-ipconnect.de) |
| 2020-10-23 02:34:25 | × | thiross quits (~user@161.129.40.8) (Ping timeout: 240 seconds) |
| 2020-10-23 02:35:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-23 02:37:12 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 2020-10-23 02:38:23 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2020-10-23 02:39:05 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2020-10-23 02:40:22 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2020-10-23 02:41:00 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2020-10-23 02:42:21 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 2020-10-23 02:42:36 | × | vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-23 02:43:44 | × | falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection) |
| 2020-10-23 02:44:01 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2020-10-23 02:44:20 | → | thiross joins (~user@161.129.40.8) |
| 2020-10-23 02:45:00 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 2020-10-23 02:46:38 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2020-10-23 02:48:09 | → | jedws joins (~jedws@101.184.148.229) |
| 2020-10-23 02:48:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-10-23 02:51:55 | × | taurux quits (~taurux@net-188-216-37-217.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2020-10-23 02:52:01 | → | tito_04 joins (~taurux@net-130-25-108-169.cust.vodafonedsl.it) |
| 2020-10-23 02:56:12 | × | jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-23 02:56:25 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-23 02:58:01 | × | m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 246 seconds) |
| 2020-10-23 03:00:01 | × | Arthimus quits (~Arthimus@195.206.169.184) () |
| 2020-10-23 03:00:58 | × | AceNovo quits (~chris@184.101.197.134) (Remote host closed the connection) |
| 2020-10-23 03:02:58 | × | lockshaw quits (~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2020-10-23 03:03:49 | <jbox> | is there a standard haskell repl? |
| 2020-10-23 03:04:26 | → | GyroW joins (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-23 03:04:26 | × | GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-23 03:04:26 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-23 03:05:05 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds) |
| 2020-10-23 03:07:35 | × | visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-23 03:08:11 | → | lockshaw joins (~lockshaw@165.22.163.71) |
| 2020-10-23 03:10:05 | <koz_> | jbox: There's GHCi? |
| 2020-10-23 03:11:02 | <jbox> | koz_: perfect, thank you! |
| 2020-10-23 03:13:17 | <Squarism> | im wondering if you could somehow discriminate between two class instances by class constraint. Say we have "class MyClz a" and "instance MyClz a" and "instance Show a => MyClz a" . If i try to compile that i get "Duplciate instance declaration" |
| 2020-10-23 03:13:42 | × | texasmynsted quits (~texasmyns@104.140.52.115) (Remote host closed the connection) |
| 2020-10-23 03:14:04 | → | texasmynsted joins (~texasmyns@104.140.52.115) |
| 2020-10-23 03:15:36 | × | lockshaw quits (~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2020-10-23 03:15:53 | <koz_> | Squarism: You can use a newtype wrapper like 'instance Show a => MyClz (ViaShow a)'. |
| 2020-10-23 03:16:19 | <koz_> | Because in your current situation, 'instance MyClz a' already covers everything, whether it has a Show instance or not. |
| 2020-10-23 03:16:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-23 03:17:27 | × | djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds) |
| 2020-10-23 03:19:28 | → | lockshaw joins (~lockshaw@165.22.163.71) |
| 2020-10-23 03:20:19 | <Squarism> | koz_, thanks. I think Im fooling myself to think I can use classes to pattern match, but lets see where this is going |
| 2020-10-23 03:21:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2020-10-23 03:25:52 | × | thiross quits (~user@161.129.40.8) (Ping timeout: 265 seconds) |
| 2020-10-23 03:29:44 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-10-23 03:31:22 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-10-23 03:34:11 | × | crestfallen_ quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2020-10-23 03:34:23 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2020-10-23 03:35:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ccf3:9e4f:a615:179a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-23 03:36:39 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-23 03:42:38 | × | erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 272 seconds) |
| 2020-10-23 03:45:32 | × | justHaunted quits (~justache@unaffiliated/justache) (Read error: Connection reset by peer) |
| 2020-10-23 03:46:49 | → | justHaunted joins (~justache@unaffiliated/justache) |
| 2020-10-23 03:46:49 | × | texasmynsted quits (~texasmyns@104.140.52.115) (Read error: Connection reset by peer) |
| 2020-10-23 03:49:02 | × | xff0x quits (~fox@2001:1a81:530a:3a00:c1fd:49f4:456d:354f) (Ping timeout: 246 seconds) |
| 2020-10-23 03:49:25 | × | solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2020-10-23 03:50:00 | → | xff0x joins (~fox@2001:1a81:530a:3a00:d49a:cbfa:c702:21e7) |
| 2020-10-23 03:52:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-10-23 03:52:51 | → | erolm_a joins (~erolm_a@62.18.212.252) |
| 2020-10-23 03:53:50 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 2020-10-23 03:53:58 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) |
| 2020-10-23 03:55:21 | <jbox> | should I use my distribution package manager (pacman/yay on Arch Linux) to install the Haskell toolchain or should I use ghcup? |
| 2020-10-23 03:56:06 | <koz_> | jbox: ghcup. |
| 2020-10-23 03:56:13 | <koz_> | This applies _doubly_ on Arch. |
| 2020-10-23 03:57:27 | <jbox> | koz_: okay, thanks! |
| 2020-10-23 03:58:25 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751) (Ping timeout: 240 seconds) |
| 2020-10-23 04:00:02 | × | Kolkrabe quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-10-23 04:00:54 | → | thiross joins (~user@161.129.40.8) |
| 2020-10-23 04:01:05 | → | conal joins (~conal@66.115.157.144) |
| 2020-10-23 04:01:57 | <dsal> | jbox: You got any particular plans? |
| 2020-10-23 04:04:35 | <jbox> | dsal: I'm just configuring xmonad right now. I'm trying to get vim integration working |
| 2020-10-23 04:05:29 | <dsal> | Ah. I never got very far configuring xmonad. Day 1: Get a nice interface I like. I write lots of software I use, though. |
| 2020-10-23 04:05:39 | × | thiross quits (~user@161.129.40.8) (Ping timeout: 260 seconds) |
| 2020-10-23 04:12:17 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
All times are in UTC.