Logs: freenode/#haskell
| 2021-03-25 04:40:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-25 04:42:08 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 245 seconds) |
| 2021-03-25 04:47:06 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-dntykznpsmhskubk) |
| 2021-03-25 04:47:42 | × | yohan quits (97f7b355@151.247.179.85) (Quit: Connection closed) |
| 2021-03-25 04:51:58 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-25 04:52:52 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-03-25 04:55:00 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-25 04:56:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-25 04:56:38 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-03-25 04:57:19 | → | Tops2 joins (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) |
| 2021-03-25 04:57:42 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2021-03-25 04:58:35 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2021-03-25 04:58:40 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-25 04:59:12 | × | Garbanzo quits (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2021-03-25 04:59:22 | → | Tops22 joins (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) |
| 2021-03-25 05:01:34 | × | Tops21 quits (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
| 2021-03-25 05:01:34 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 05:01:55 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 05:02:40 | × | Tops2 quits (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 2021-03-25 05:02:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-25 05:03:10 | astroanax | is now known as astroanax_ |
| 2021-03-25 05:03:33 | astroanax_ | is now known as astroanax |
| 2021-03-25 05:04:11 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-25 05:05:03 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 245 seconds) |
| 2021-03-25 05:06:29 | <bbhoss> | how did Right become synonymous with "correct" for an Either? |
| 2021-03-25 05:08:40 | <glguy> | bbhoss, probably because that let's you use the Monad instance that (Either e) allows where Left could be interpreted as "stop early for exception" and Right could be interpreted as "success, continue" |
| 2021-03-25 05:08:48 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-25 05:08:51 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 256 seconds) |
| 2021-03-25 05:08:58 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 268 seconds) |
| 2021-03-25 05:09:16 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-25 05:09:24 | <glguy> | You could decide stop early means success and continue means "not done yet" if you wanted |
| 2021-03-25 05:09:39 | <glguy> | but the earlier interpretation is more common to need |
| 2021-03-25 05:10:17 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-03-25 05:10:44 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-25 05:10:49 | <bbhoss> | I am most interested in the words they chose. Choosing Right for correct seems kinda arbitrary |
| 2021-03-25 05:10:51 | <glguy> | also it just has the natural pun of being "Right" |
| 2021-03-25 05:11:03 | <bbhoss> | I guess that kinda makes sense |
| 2021-03-25 05:11:06 | <glguy> | If Right is the right answer, then Left is left for wrong answers |
| 2021-03-25 05:11:11 | <bbhoss> | I do wonder who chose it and why |
| 2021-03-25 05:11:41 | <ephemient> | the type system lets you write instance Monad (Either a), but not instance Monad (\a -> Either a b) |
| 2021-03-25 05:11:44 | <glguy> | but as for the Monad instance, that's the way the instance has to be |
| 2021-03-25 05:12:01 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-03-25 05:12:24 | <glguy> | even better is not using Left or failure or Right for success and using an actually descriptive type |
| 2021-03-25 05:13:18 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-03-25 05:16:08 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-25 05:18:23 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-25 05:20:54 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-efjaygphshhzgjrx) |
| 2021-03-25 05:21:01 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-25 05:21:34 | → | Tops2 joins (~Tobias@dyndsl-091-249-083-058.ewe-ip-backbone.de) |
| 2021-03-25 05:21:55 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-25 05:22:07 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-25 05:23:57 | × | Tops22 quits (~Tobias@dyndsl-095-033-092-175.ewe-ip-backbone.de) (Ping timeout: 264 seconds) |
| 2021-03-25 05:26:57 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 265 seconds) |
| 2021-03-25 05:27:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-25 05:27:14 | → | tlgl^nix joins (~damien@2604:3d08:f17f:ec50:250:b6ff:fee3:6eae) |
| 2021-03-25 05:29:00 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-25 05:31:47 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-25 05:32:11 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-25 05:37:02 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-03-25 05:37:52 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-ebwsglbljqlehoxu) (Quit: Connection closed for inactivity) |
| 2021-03-25 05:39:19 | → | ddellacosta joins (~ddellacos@86.106.143.50) |
| 2021-03-25 05:40:12 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) |
| 2021-03-25 05:40:51 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-25 05:42:58 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-25 05:43:48 | × | ddellacosta quits (~ddellacos@86.106.143.50) (Ping timeout: 245 seconds) |
| 2021-03-25 05:43:54 | × | tlgl^nix quits (~damien@2604:3d08:f17f:ec50:250:b6ff:fee3:6eae) (Read error: Connection reset by peer) |
| 2021-03-25 05:45:22 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-25 05:49:40 | × | ryxai quits (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-25 05:50:42 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-25 05:52:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-25 05:55:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-25 05:55:44 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds) |
| 2021-03-25 05:55:45 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 05:56:00 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 05:56:15 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-25 05:56:43 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-25 05:57:58 | ski | . o O ( `data Aut a b = Sinister a | Dexter b' ) |
| 2021-03-25 05:58:43 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:dd2c:1d97:d88b:9897) (Remote host closed the connection) |
| 2021-03-25 06:06:44 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2021-03-25 06:07:44 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-25 06:10:09 | × | drbean quits (~drbean@TC210-63-209-180.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-25 06:10:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-25 06:11:59 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 2021-03-25 06:15:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-25 06:15:43 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 06:16:05 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 06:16:14 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-03-25 06:17:02 | × | Wuzzy quits (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-25 06:17:33 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-03-25 06:18:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-25 06:19:44 | → | raym joins (~ray@115.187.32.14) |
| 2021-03-25 06:22:09 | → | selic joins (~selic@93-87-60-181.static.isp.telekom.rs) |
| 2021-03-25 06:22:18 | <selic> | kj |
| 2021-03-25 06:23:17 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-25 06:24:48 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-03-25 06:24:52 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 2021-03-25 06:24:59 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-25 06:29:21 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-25 06:29:22 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 06:29:41 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
All times are in UTC.