Logs: liberachat/#haskell
| 2021-07-12 12:35:15 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-12 12:35:40 | → | lbseale__ joins (~lbseale@user/ep1ctetus) |
| 2021-07-12 12:36:36 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 12:38:02 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 12:38:29 | → | s4ch1n joins (~s4ch1n@45.250.47.32) |
| 2021-07-12 12:39:46 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2021-07-12 12:40:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-12 12:43:59 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 12:44:07 | → | oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-07-12 12:44:25 | × | s4ch1n quits (~s4ch1n@45.250.47.32) (Quit: WeeChat 3.2) |
| 2021-07-12 12:45:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-12 12:47:58 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-12 12:51:09 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-12 12:52:46 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-12 12:53:14 | → | alx741 joins (~alx741@186.178.109.100) |
| 2021-07-12 13:00:13 | → | bontaq` joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-12 13:00:36 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 256 seconds) |
| 2021-07-12 13:00:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 13:02:26 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 13:02:47 | → | keutoi joins (~keutoi@157.48.184.234) |
| 2021-07-12 13:03:54 | → | infinisil[irc] joins (~infinisil@178.197.225.108) |
| 2021-07-12 13:05:27 | → | brandonh joins (~brandonh@151.57.24.153) |
| 2021-07-12 13:08:51 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-07-12 13:09:08 | × | lbseale_ quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-12 13:09:27 | × | keutoi quits (~keutoi@157.48.184.234) (Ping timeout: 255 seconds) |
| 2021-07-12 13:10:09 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 13:10:47 | → | keutoi joins (~keutoi@157.48.184.234) |
| 2021-07-12 13:10:55 | × | pbrisbin quits (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Quit: WeeChat 3.2) |
| 2021-07-12 13:10:59 | → | mikail_ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-12 13:11:15 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 13:12:00 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 13:12:12 | → | pbrisbin joins (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-07-12 13:13:10 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-12 13:13:14 | × | lbseale__ quits (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2021-07-12 13:15:23 | → | hatz_ joins (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 13:21:24 | → | thecoder joins (~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net) |
| 2021-07-12 13:21:43 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-12 13:22:06 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 276 seconds) |
| 2021-07-12 13:25:59 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 13:26:12 | × | s__ quits (~s@50.34.81.185) (Read error: Connection reset by peer) |
| 2021-07-12 13:26:14 | → | s_ joins (~s@50.34.81.185) |
| 2021-07-12 13:30:58 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 272 seconds) |
| 2021-07-12 13:32:08 | × | cheater quits (~Username@user/cheater) (Quit: BitchX: it's magically delicious!) |
| 2021-07-12 13:34:02 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 13:34:38 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 13:35:21 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 13:35:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 13:37:03 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 276 seconds) |
| 2021-07-12 13:38:20 | → | cheater joins (~Username@user/cheater) |
| 2021-07-12 13:38:34 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-12 13:39:12 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds) |
| 2021-07-12 13:45:58 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-12 13:46:33 | × | Core7383 quits (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...) |
| 2021-07-12 13:47:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 13:48:12 | × | brandonh quits (~brandonh@151.57.24.153) (Ping timeout: 256 seconds) |
| 2021-07-12 13:48:15 | → | Core8687 joins (~Core8687@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 13:51:02 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 256 seconds) |
| 2021-07-12 13:51:54 | → | azeem joins (~azeem@176.200.226.100) |
| 2021-07-12 13:52:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 272 seconds) |
| 2021-07-12 13:53:33 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 13:53:59 | → | cheater joins (~Username@user/cheater) |
| 2021-07-12 13:54:57 | → | polykernel joins (~polykerne@user/polykernel) |
| 2021-07-12 13:55:03 | ← | polykernel parts (~polykerne@user/polykernel) () |
| 2021-07-12 13:58:30 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-12 14:04:31 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-12 14:04:55 | → | brandonh joins (~brandonh@host-212-171-14-119.retail.telecomitalia.it) |
| 2021-07-12 14:05:09 | × | brandonh quits (~brandonh@host-212-171-14-119.retail.telecomitalia.it) (Client Quit) |
| 2021-07-12 14:06:15 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-12 14:06:30 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-12 14:06:50 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-12 14:07:04 | × | azeem quits (~azeem@176.200.226.100) (Ping timeout: 272 seconds) |
| 2021-07-12 14:07:35 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-07-12 14:08:23 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 14:09:05 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-12 14:13:14 | → | azeem joins (~azeem@176.200.226.100) |
| 2021-07-12 14:13:48 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-12 14:14:14 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-12 14:14:32 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 2021-07-12 14:15:20 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 14:20:06 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-12 14:22:18 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-12 14:24:04 | → | brandonh joins (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 14:28:13 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 14:28:32 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 14:28:39 | × | brandonh quits (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 255 seconds) |
| 2021-07-12 14:32:16 | systemfault_ | is now known as systemfault |
| 2021-07-12 14:34:01 | → | argento joins (~argent0@168-227-97-23.ptr.westnet.com.ar) |
| 2021-07-12 14:36:29 | <keutoi> | In an Applicative instance declaration there is: (<*>) = ap . How can Applicative instance refer to the Monad instance? Shouldn't Applicative be complete before defining Monad? |
| 2021-07-12 14:36:48 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-12 14:37:46 | <dminuoso> | keutoi: Nope! :) |
| 2021-07-12 14:38:09 | <dminuoso> | keutoi: It's just like how declarations in general can refer to each other in arbitrary order |
| 2021-07-12 14:38:11 | <dminuoso> | e.g.: |
| 2021-07-12 14:38:25 | <dminuoso> | % let x = y + 1; y = 10; in x + y |
| 2021-07-12 14:38:26 | <yahb> | dminuoso: 21 |
| 2021-07-12 14:39:46 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-07-12 14:40:05 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-12 14:40:50 | <keutoi> | How can we be sure there is no circular refering going on? Will the compiler decide that it is not circular? Or will it be stuck in a loop? |
| 2021-07-12 14:41:01 | <dminuoso> | keutoi: It will be stuck in a loop. |
| 2021-07-12 14:41:16 | <dminuoso> | You might get lucky and GHC will produce a <<loop>> error, but that's just a bonus |
| 2021-07-12 14:41:39 | <dminuoso> | (Or, I guess, that's rather the RTS not the compiler itself) |
All times are in UTC.