Logs: freenode/#haskell
| 2021-05-11 15:37:57 | hackage | hspec-discover 2.8.0 - Automatically discover and run Hspec tests https://hackage.haskell.org/package/hspec-discover-2.8.0 (SimonHengel) |
| 2021-05-11 15:38:03 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-05-11 15:38:13 | → | a6a45081-2b83 joins (~aditya@27.58.160.217) |
| 2021-05-11 15:38:25 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 15:38:27 | <a6a45081-2b83> | wasup |
| 2021-05-11 15:39:11 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-11 15:40:55 | <catern> | c_wraith: sure, but it has some power in other ways, like with functional dependencies |
| 2021-05-11 15:41:10 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-05-11 15:41:46 | <catern> | .oO(since typeclasses can be implemented with implicit parameters, and implicit parameters are just dynamically scoped variables, does this mean dynamic scope is a form of proof search?) |
| 2021-05-11 15:41:47 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-11 15:42:16 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-05-11 15:44:02 | <monochrom> | IIRC type classes are not full-fledged dynamic scoping either. |
| 2021-05-11 15:44:27 | <monochrom> | Or equivalently, implicit parameters are not full-fledged dynamic scoping. |
| 2021-05-11 15:44:38 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-11 15:44:59 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-11 15:45:03 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-11 15:45:18 | <monochrom> | Some Oleg article shows what's missing, but I forgot the URL. |
| 2021-05-11 15:45:24 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-11 15:45:25 | × | ubert quits (~Thunderbi@p200300ecdf005e5ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-11 15:45:25 | <catern> | http://okmij.org/ftp/Computation/dynamic-binding.html#implicit-parameter-neq-dynvar |
| 2021-05-11 15:45:33 | <monochrom> | Yeah, that :) |
| 2021-05-11 15:46:56 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-11 15:47:28 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-05-11 15:47:35 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-05-11 15:50:25 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Remote host closed the connection) |
| 2021-05-11 15:50:26 | <catern> | funnily enough it was an Oleg paper that made this offhand "typeclass resolution is proof search" comment |
| 2021-05-11 15:51:31 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-11 15:51:58 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-11 15:52:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-11 15:53:17 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-11 15:55:01 | × | a6a45081-2b83 quits (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 2021-05-11 15:55:03 | → | xcmw joins (~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com) |
| 2021-05-11 15:55:08 | → | ubert joins (~Thunderbi@p200300ecdf005e5ce6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-05-11 15:56:01 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-11 15:56:14 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9550002dc6dbf76c6cb5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-11 15:57:05 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-11 16:00:40 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-11 16:01:13 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-11 16:01:18 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 16:02:39 | × | xcmw quits (~textual@2603-6011-2200-f103-5955-2007-b8ef-9f55.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-11 16:03:19 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-11 16:04:10 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Client Quit) |
| 2021-05-11 16:04:16 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-11 16:05:58 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 258 seconds) |
| 2021-05-11 16:06:46 | × | malumore_ quits (~malumore@151.62.117.210) (Ping timeout: 240 seconds) |
| 2021-05-11 16:10:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-11 16:10:48 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-11 16:11:50 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-11 16:12:10 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-11 16:12:32 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-11 16:12:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-11 16:14:11 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-05-11 16:14:39 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-11 16:17:58 | × | cdsmith quits (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-11 16:18:17 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-pyxgzrqsorndsysw) |
| 2021-05-11 16:20:40 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-11 16:23:49 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-11 16:26:44 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-11 16:29:00 | × | Tops22 quits (~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-05-11 16:29:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-11 16:30:04 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-05-11 16:34:42 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 16:35:57 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Remote host closed the connection) |
| 2021-05-11 16:36:50 | → | rond_ joins (531aedb3@asz179.neoplus.adsl.tpnet.pl) |
| 2021-05-11 16:37:15 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 16:37:33 | → | aerona joins (~aerona@2600:6c54:4600:f300:a087:e5ac:bbaa:7d1c) |
| 2021-05-11 16:41:43 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-11 16:42:28 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 276 seconds) |
| 2021-05-11 16:47:13 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-11 16:48:54 | → | malumore_ joins (~malumore@151.62.117.210) |
| 2021-05-11 16:49:11 | m5g | is now known as mhz |
| 2021-05-11 16:50:37 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-11 16:58:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-11 16:59:00 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-11 17:02:21 | × | LKoen quits (~LKoen@156.168.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-11 17:03:38 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2021-05-11 17:05:33 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-05-11 17:09:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-11 17:12:07 | → | jonathanx_ joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-11 17:12:29 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-11 17:14:41 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-05-11 17:15:23 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-11 17:15:43 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-11 17:15:57 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2021-05-11 17:16:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-11 17:17:46 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
| 2021-05-11 17:17:51 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-11 17:18:50 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2021-05-11 17:18:56 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-11 17:19:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-11 17:20:12 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-11 17:20:18 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-11 17:23:02 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-11 17:25:21 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-11 17:29:21 | mhz | is now known as aft |
| 2021-05-11 17:29:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-11 17:31:07 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-11 17:31:28 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-11 17:31:58 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-11 17:32:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
All times are in UTC.