Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 809 810 811 812 813 814 815 816 817 818 819 .. 5022
502,152 events total
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.