Logs: freenode/#haskell
| 2021-03-06 23:58:24 | <swarmcollective> | :t Either |
| 2021-03-06 23:58:25 | <lambdabot> | error: |
| 2021-03-06 23:58:25 | <lambdabot> | • Data constructor not in scope: Either |
| 2021-03-06 23:58:25 | <lambdabot> | • Perhaps you meant variable ‘either’ (imported from Data.Either) |
| 2021-03-06 23:58:35 | <hpc> | data Either a b = Left a | Right b -- i would just make Left/Right take two values of the same type |
| 2021-03-06 23:58:35 | <swarmcollective> | Hmmm |
| 2021-03-06 23:58:54 | → | gitgoood joins (~gitgood@82-132-218-66.dab.02.net) |
| 2021-03-06 23:59:33 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:dc26:f80d:3471:4080) |
| 2021-03-07 00:00:11 | <hpc> | the key point is you don't really have two independent Either values at all, you have some other type that has the correlation built in |
| 2021-03-07 00:01:13 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-07 00:01:45 | × | gitgood quits (~gitgood@82-132-217-64.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-07 00:04:45 | × | ADG1089_ quits (~adg1089@171.79.107.148) (Ping timeout: 264 seconds) |
| 2021-03-07 00:05:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-07 00:05:51 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-07 00:07:33 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 00:10:12 | <jumper149> | :k Either |
| 2021-03-07 00:10:14 | <lambdabot> | * -> * -> * |
| 2021-03-07 00:12:22 | × | todda7 quits (~torstein@2a02:587:1b14:d00:5ec3:abec:812c:b3e2) (Quit: Konversation terminated!) |
| 2021-03-07 00:12:35 | → | todda7 joins (~torstein@athedsl-258913.home.otenet.gr) |
| 2021-03-07 00:13:08 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 00:13:25 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 00:14:03 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-03-07 00:14:16 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-07 00:14:21 | × | Guest78 quits (b986aa8d@gateway/web/cgi-irc/kiwiirc.com/ip.185.134.170.141) (Ping timeout: 264 seconds) |
| 2021-03-07 00:14:27 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2021-03-07 00:14:31 | → | purpleLizard joins (~rcg@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) |
| 2021-03-07 00:17:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-07 00:19:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-07 00:21:15 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 00:21:19 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-07 00:21:33 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Ping timeout: 264 seconds) |
| 2021-03-07 00:22:09 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-07 00:22:16 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 00:23:23 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-07 00:24:41 | × | rom1504 quits (rom1504@rom1504.fr) (Ping timeout: 272 seconds) |
| 2021-03-07 00:25:54 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds) |
| 2021-03-07 00:27:04 | → | rom1504 joins (rom1504@rom1504.fr) |
| 2021-03-07 00:28:48 | × | todda7 quits (~torstein@athedsl-258913.home.otenet.gr) (Ping timeout: 246 seconds) |
| 2021-03-07 00:29:20 | ← | purpleLizard parts (~rcg@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) ("Konversation terminated!") |
| 2021-03-07 00:30:17 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 00:31:51 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 00:32:08 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2021-03-07 00:32:53 | → | bennofs_ joins (~quassel@dslb-188-106-254-021.188.106.pools.vodafone-ip.de) |
| 2021-03-07 00:32:55 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:42d0:d7b1:d12b:42d8) (Ping timeout: 272 seconds) |
| 2021-03-07 00:33:33 | × | mirrorbird quits (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Remote host closed the connection) |
| 2021-03-07 00:33:38 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-07 00:33:58 | → | mirrorbird joins (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-07 00:34:13 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-07 00:35:18 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 2021-03-07 00:37:01 | × | bennofs__ quits (~quassel@dslb-188-103-040-158.188.103.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-03-07 00:38:09 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 00:38:11 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 00:38:21 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 264 seconds) |
| 2021-03-07 00:39:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-07 00:40:42 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-143.hive.is) |
| 2021-03-07 00:43:21 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2021-03-07 00:45:35 | × | frankdmartinez quits (~frankdmar@217.138.198.212) (Quit: frankdmartinez) |
| 2021-03-07 00:46:13 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 276 seconds) |
| 2021-03-07 00:49:10 | → | todda7 joins (~torstein@athedsl-258913.home.otenet.gr) |
| 2021-03-07 00:51:12 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 00:52:15 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-jozbabmrjtaqnwec) |
| 2021-03-07 00:52:33 | × | mirrorbird quits (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds) |
| 2021-03-07 01:00:49 | → | redmp joins (~redmp@172.58.35.234) |
| 2021-03-07 01:03:36 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-07 01:19:31 | × | fissureman quits (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-07 01:25:04 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-07 01:29:35 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 01:29:52 | × | carthia quits (~carthia@gateway/tor-sasl/carthia) (Ping timeout: 268 seconds) |
| 2021-03-07 01:30:39 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 2021-03-07 01:31:29 | → | carthia joins (~carthia@gateway/tor-sasl/carthia) |
| 2021-03-07 01:33:33 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-07 01:33:48 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: Lost terminal) |
| 2021-03-07 01:34:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-07 01:35:49 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-07 01:36:34 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-07 01:36:35 | × | Reiser quits (~0a2a0001@static.210.242.216.95.clients.your-server.de) (Changing host) |
| 2021-03-07 01:36:35 | → | Reiser joins (~0a2a0001@unaffiliated/reisen) |
| 2021-03-07 01:38:27 | <heck-to-the-gnom> | @hoogle a -> ((a)) |
| 2021-03-07 01:38:29 | <lambdabot> | Prelude id :: a -> a |
| 2021-03-07 01:38:29 | <lambdabot> | Data.Function id :: a -> a |
| 2021-03-07 01:38:29 | <lambdabot> | GHC.Base breakpoint :: a -> a |
| 2021-03-07 01:39:23 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:40e7:d7b:f52e:210c) |
| 2021-03-07 01:39:45 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-07 01:40:28 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-07 01:41:11 | × | bigbosskor quits (~Android@182.232.52.52) (Read error: Connection reset by peer) |
| 2021-03-07 01:46:28 | → | conal_ joins (~conal@192.145.118.143) |
| 2021-03-07 01:46:41 | × | carthia quits (~carthia@gateway/tor-sasl/carthia) (Quit: carthia) |
| 2021-03-07 01:47:15 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-07 01:48:01 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-07 01:49:30 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-07 01:49:51 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-07 01:52:22 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:3d75:10f9:beff:a2fa) (Read error: Connection reset by peer) |
| 2021-03-07 02:00:11 | → | _Alleria joins (~AllahuAkb@2603-7000-3040-0000-84d6-f6e9-5a5d-a878.res6.spectrum.com) |
| 2021-03-07 02:03:15 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-e0ce-a923-ba93-469f.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-03-07 02:04:58 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:dc26:f80d:3471:4080) (Remote host closed the connection) |
| 2021-03-07 02:05:09 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-07 02:07:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-07 02:08:53 | <heck-to-the-gnom> | Given the way that Haskell's structured, I thought to myself (while reading a gentle introduction to Haskell, which tbh, is long overdue for me), if `1:2:3:[]` is synonymous to `[1,2,3]`, then is `(,)` a prelude-defined thing? like `(:)`? Sure enough it is... which leads me to my next question, after Hoogling `(,)`, I see that in prelude there's all the way up to |
| 2021-03-07 02:08:53 | <heck-to-the-gnom> | `(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)` Is that the maximum length of a tuple? Or is this just all that they bothered indexing? |
| 2021-03-07 02:09:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
All times are in UTC.