Logs: freenode/#haskell
| 2021-03-09 14:39:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-09 14:40:39 | <geekosaur> | catch is kinda lousy, yeah. especially how I need ScopedTypeVariables plus a type annotation to limit it to, say, IOExceptions. |
| 2021-03-09 14:41:40 | <merijn> | geekosaur: I want checked exceptions that are not Except/Either |
| 2021-03-09 14:41:44 | × | astroanax quits (astroanax@gateway/shell/ircnow/x-nisypfklzoewoaqi) (Remote host closed the connection) |
| 2021-03-09 14:41:46 | <geekosaur> | the way things can leak if I get laziness wrong is also bad |
| 2021-03-09 14:42:25 | <maerwald> | merijn: is it really checked exceptions if it's the responsibility of a library author to create them? I'd say: no |
| 2021-03-09 14:42:52 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
| 2021-03-09 14:43:31 | → | Graypup_ joins (Graypup@lfcode.ca) |
| 2021-03-09 14:48:13 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-hxzrgpotzvfczuis) |
| 2021-03-09 14:48:22 | <merijn> | maerwald: huh? |
| 2021-03-09 14:50:37 | <merijn> | maerwald: I don't see how this relates to what I said? |
| 2021-03-09 14:50:42 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-wqscfhvgecjdxrxn) |
| 2021-03-09 14:50:44 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 14:51:29 | <nshepperd> | if you don't want checked exceptions you could use ExceptT SomeException but that's just IO but inefficient |
| 2021-03-09 14:52:01 | × | Athas quits (athas@2a01:7c8:aaac:1cf:5551:513a:128c:3291) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-09 14:52:56 | → | Athas joins (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 2021-03-09 14:53:22 | × | bor0 quits (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving) |
| 2021-03-09 14:54:04 | × | acidjnk_new quits (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-03-09 14:54:56 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 14:56:14 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-03-09 14:58:18 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-09 15:00:02 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds) |
| 2021-03-09 15:02:49 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 2021-03-09 15:02:56 | → | average joins (uid473595@gateway/web/irccloud.com/x-ccphdwzehpjwbayw) |
| 2021-03-09 15:04:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 15:07:06 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-09 15:07:16 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-09 15:09:17 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 15:09:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 2021-03-09 15:13:12 | × | ania123 quits (5e89ad7c@94.137.173.124) (Quit: Connection closed) |
| 2021-03-09 15:13:49 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 245 seconds) |
| 2021-03-09 15:13:51 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-09 15:14:51 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2021-03-09 15:17:03 | × | michalz quits (~user@185.246.204.47) (Remote host closed the connection) |
| 2021-03-09 15:19:06 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-09 15:20:32 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-09 15:24:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-03-09 15:26:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-09 15:26:20 | [df]_ | is now known as [df] |
| 2021-03-09 15:26:26 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 15:28:40 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-09 15:30:02 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer) |
| 2021-03-09 15:31:08 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-09 15:32:11 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) |
| 2021-03-09 15:32:23 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 15:32:25 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-09 15:32:44 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-09 15:32:48 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 15:33:28 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-09 15:35:14 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-09 15:35:46 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 15:37:21 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-03-09 15:39:19 | × | carlomagno quits (~cararell@148.87.23.7) (Ping timeout: 265 seconds) |
| 2021-03-09 15:39:28 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 276 seconds) |
| 2021-03-09 15:39:43 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 15:40:06 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 15:40:42 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-09 15:41:29 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-09 15:42:22 | → | carlomagno joins (~cararell@148.87.23.10) |
| 2021-03-09 15:43:46 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-09 15:47:22 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-09 15:48:17 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 15:49:14 | → | knupfer joins (~Thunderbi@200116b82c21c8006dfd000a63365920.dip.versatel-1u1.de) |
| 2021-03-09 15:53:18 | × | sssb54 quits (~ssssb56@vps-b2931db6.vps.ovh.ca) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-03-09 15:54:55 | × | fii quits (~Dykomii@kyoto.mii.moe) (Ping timeout: 272 seconds) |
| 2021-03-09 15:55:33 | × | madog quits (~madog@163.ip-51-254-203.eu) (Ping timeout: 272 seconds) |
| 2021-03-09 15:55:34 | × | SIben quits (~SIben@101.ip-164-132-107.eu) (Ping timeout: 272 seconds) |
| 2021-03-09 15:55:34 | × | djanatyn quits (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 272 seconds) |
| 2021-03-09 15:55:43 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 276 seconds) |
| 2021-03-09 15:55:49 | → | SIben joins (~SIben@101.ip-164-132-107.eu) |
| 2021-03-09 15:56:04 | → | madog joins (~madog@163.ip-51-254-203.eu) |
| 2021-03-09 15:56:13 | → | djanatyn joins (~djanatyn@vps-7f49a6b0.vps.ovh.ca) |
| 2021-03-09 15:58:43 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-03-09 15:59:37 | → | Iroha joins (~Dykomii@2607:5300:60:336a::1) |
| 2021-03-09 15:59:58 | → | sssb54 joins (~ssssb56@vps-b2931db6.vps.ovh.ca) |
| 2021-03-09 16:00:32 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-09 16:00:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-09 16:00:52 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:9046:54eb:b023:ea4f) (Remote host closed the connection) |
| 2021-03-09 16:00:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-09 16:00:58 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-09 16:01:27 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:2c0d:ff90:97b8:fc1b) |
| 2021-03-09 16:02:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) |
| 2021-03-09 16:02:16 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Remote host closed the connection) |
| 2021-03-09 16:02:54 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-09 16:05:43 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 16:06:42 | → | gitgoood joins (~gitgood@82-132-218-166.dab.02.net) |
| 2021-03-09 16:06:53 | gitgoood | is now known as gitgood |
| 2021-03-09 16:07:18 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 260 seconds) |
| 2021-03-09 16:08:11 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-09 16:08:47 | → | FortuneZero joins (3223b878@50.35.184.120) |
| 2021-03-09 16:10:04 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-09 16:10:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 2021-03-09 16:13:03 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-09 16:13:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 16:14:46 | <Gurkenglas> | Would you say that Haskell theoretically has unit_or :: () -> () -> (), which maps (bottom, bottom) to bottom and all else to ()? |
| 2021-03-09 16:18:02 | <dolio> | No. |
| 2021-03-09 16:18:31 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-03-09 16:18:55 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 16:19:33 | <FortuneZero> | unit_or () () = () -- yes? |
| 2021-03-09 16:19:42 | <FortuneZero> | unit_or _ _ = () -- no |
All times are in UTC.