Logs: liberachat/#haskell
| 2021-05-30 11:31:25 | × | amahl quits (~amahl@dxv5skyyl6gx-klr36k3t-3.rev.dnainternet.fi) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:25 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:25 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:25 | × | nonzen quits (~sajith@user/nonzen) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:30 | → | nonzen_ joins (~sajith@user/nonzen) |
| 2021-05-30 11:31:40 | <Vq> | maerwald: Whereas if you used pattern matching and total functions everywhere it's alright to be slightly drunk. |
| 2021-05-30 11:32:14 | <maerwald> | Vq: most of my own codes complexity comes from IO exceptions and IO-things done wrong |
| 2021-05-30 11:32:45 | → | rahguzar75 joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-30 11:32:52 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-05-30 11:33:13 | × | ddellacosta quits (~ddellacos@86.106.121.30) (Ping timeout: 272 seconds) |
| 2021-05-30 11:33:17 | → | arrowd_ joins (~arr@2.94.203.147) |
| 2021-05-30 11:33:18 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 264 seconds) |
| 2021-05-30 11:33:34 | <maerwald> | And... having Maybe everywhere isn't exactly a proper application error handling system |
| 2021-05-30 11:33:34 | <Vq> | maerwald: That's probably universal, I just don't think it justifies making code not dependent on IO more fragile under change. |
| 2021-05-30 11:33:54 | → | ddellacosta joins (~ddellacos@83.143.246.103) |
| 2021-05-30 11:34:01 | <zebrag> | maerwald: I'm intrigued by that "local proof inside a function". |
| 2021-05-30 11:34:09 | → | poljar1 joins (~poljar@78-2-43-255.adsl.net.t-com.hr) |
| 2021-05-30 11:34:12 | <Vq> | maerwald: No arguments there. |
| 2021-05-30 11:34:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-30 11:34:47 | <maerwald> | so if you talk total... use proper data structures, like NonEmptyList |
| 2021-05-30 11:34:53 | <Vq> | zebrag: The spacecookie example was a good example |
| 2021-05-30 11:35:08 | × | rahguzar75 quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Client Quit) |
| 2021-05-30 11:35:16 | <Vq> | zebrag: It's obvious the null-case is handled |
| 2021-05-30 11:35:21 | × | poljar quits (~poljar@93-141-135-69.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2021-05-30 11:35:24 | → | rahguzar30 joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-30 11:35:34 | <zebrag> | Vq: do you have a link to that, I'm not familiar with it |
| 2021-05-30 11:35:37 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2021-05-30 11:35:37 | × | arrowd quits (~arr@2.94.203.147) (Remote host closed the connection) |
| 2021-05-30 11:35:37 | × | dhil quits (~dhil@195.213.192.85) (Ping timeout: 268 seconds) |
| 2021-05-30 11:35:37 | × | danidiaz quits (~ESDPC@static-102-64-63-95.ipcom.comunitel.net) (Ping timeout: 268 seconds) |
| 2021-05-30 11:35:37 | × | xff0x quits (~xff0x@2001:1a81:5252:9d00:7ae5:3b91:ab39:a8b6) (Ping timeout: 268 seconds) |
| 2021-05-30 11:35:37 | × | wolfshappen quits (~waff@irc.furworks.de) (Ping timeout: 268 seconds) |
| 2021-05-30 11:35:37 | → | xff0x joins (~xff0x@2001:1a81:5252:9d00:7ae5:3b91:ab39:a8b6) |
| 2021-05-30 11:35:37 | → | dhil joins (~dhil@195.213.192.85) |
| 2021-05-30 11:35:55 | <Vq> | 13:27 < maerwald> https://hackage.haskell.org/package/spacecookie-1.0.0.0/docs/src/Network.Gopher.Util.html#stripNewline |
| 2021-05-30 11:36:04 | <Vq> | 13:27 < maerwald> https://hackage.haskell.org/package/spacecookie-1.0.0.0/docs/src/Network.Gopher.Util.html#stripNewline |
| 2021-05-30 11:36:06 | <zebrag> | thanks |
| 2021-05-30 11:36:17 | × | rahguzar30 quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Client Quit) |
| 2021-05-30 11:36:17 | → | APic joins (apic@apic.name) |
| 2021-05-30 11:36:32 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-30 11:36:48 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-05-30 11:37:12 | <Vq> | Sorry about the twofer, my copy-paste skills are lacking. :( |
| 2021-05-30 11:37:30 | <Vq> | Maybe there's a course on that for programmers... |
| 2021-05-30 11:38:36 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 268 seconds) |
| 2021-05-30 11:38:39 | × | ddellacosta quits (~ddellacos@83.143.246.103) (Ping timeout: 244 seconds) |
| 2021-05-30 11:39:09 | <zebrag> | Yes, it's for seasoned programmers only |
| 2021-05-30 11:40:00 | → | junkicid` joins (~user@2a01:e0a:195:20c0:25dd:142f:ddb3:ffc5) |
| 2021-05-30 11:40:56 | → | ruomad joins (~ruomad@176.164.30.239) |
| 2021-05-30 11:41:29 | × | junkicide quits (~user@2a01:e0a:195:20c0:25dd:142f:ddb3:ffc5) (Read error: Connection reset by peer) |
| 2021-05-30 11:41:40 | <Vq> | I see a lot of younger programmers practicing it, I can't speak for their skill though. |
| 2021-05-30 11:41:55 | <maerwald> | lol |
| 2021-05-30 11:42:19 | <maerwald> | learning programming is learning copy-paste |
| 2021-05-30 11:43:06 | <zebrag> | Of course you're not supposed to write the code yourself |
| 2021-05-30 11:44:03 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-30 11:44:15 | × | wallymathieu quits (~wallymath@2a02:aa1:160f:6341:a91d:75a7:be4a:e593) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-30 11:45:34 | → | ddellacosta joins (~ddellacos@86.106.121.43) |
| 2021-05-30 11:45:58 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-30 11:46:42 | <Vq> | I'm more of an Emacs kill-yank person. |
| 2021-05-30 11:49:44 | <Vq> | The X11 clipboard have confused me for decades. |
| 2021-05-30 11:49:44 | <zebrag> | What is the word to speak about... okay found it already "infinite type". Not sure it's haskell related, was just looking up the definition. [https://www.cs.cornell.edu/courses/cs4110/2012fa/lectures/lecture27.pdf] |
| 2021-05-30 11:50:21 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-05-30 11:51:16 | × | ddellacosta quits (~ddellacos@86.106.121.43) (Ping timeout: 264 seconds) |
| 2021-05-30 11:51:29 | × | reumeth quits (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Changing host) |
| 2021-05-30 11:51:29 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-05-30 11:52:14 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-30 11:52:28 | × | ruomad quits (~ruomad@176.164.30.239) (Ping timeout: 264 seconds) |
| 2021-05-30 11:53:21 | → | wallymathieu joins (~wallymath@2a02:aa1:160f:6341:a91d:75a7:be4a:e593) |
| 2021-05-30 11:53:31 | <zebrag> | "infinite type" would be a "recursive (data) type" allowing for infinite constructions. |
| 2021-05-30 11:53:51 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Client Quit) |
| 2021-05-30 11:54:12 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-05-30 11:54:39 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2021-05-30 11:56:19 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Client Quit) |
| 2021-05-30 11:56:28 | <zebrag> | Vq: I use emacs-nox/wayland/wl-clipboard. |
| 2021-05-30 11:56:39 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-05-30 11:57:47 | → | gawen joins (~gawen@user/gawen) |
| 2021-05-30 11:58:08 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-30 11:59:52 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 12:00:41 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-05-30 12:00:54 | → | ruomad joins (~ruomad@176.164.30.239) |
| 2021-05-30 12:00:58 | × | qbt quits (~edun@user/edun) (Ping timeout: 265 seconds) |
| 2021-05-30 12:01:06 | × | Guest31 quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-30 12:01:19 | × | ruomad quits (~ruomad@176.164.30.239) (Client Quit) |
| 2021-05-30 12:01:46 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-30 12:02:52 | → | ddellacosta joins (~ddellacos@86.106.121.60) |
| 2021-05-30 12:04:30 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-30 12:04:48 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-30 12:06:11 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-30 12:07:35 | × | ddellacosta quits (~ddellacos@86.106.121.60) (Ping timeout: 268 seconds) |
| 2021-05-30 12:09:16 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-30 12:11:41 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Remote host closed the connection) |
| 2021-05-30 12:11:51 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2021-05-30 12:11:55 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-05-30 12:11:58 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-05-30 12:13:16 | × | farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Remote host closed the connection) |
| 2021-05-30 12:13:26 | → | farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-05-30 12:14:41 | → | ddellacosta joins (~ddellacos@86.106.121.189) |
| 2021-05-30 12:14:51 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-30 12:14:59 | × | wallymathieu quits (~wallymath@2a02:aa1:160f:6341:a91d:75a7:be4a:e593) (Ping timeout: 268 seconds) |
| 2021-05-30 12:15:24 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-30 12:19:23 | <nonzen_> | info #tahoe-lafs |
All times are in UTC.