Logs: freenode/#haskell
| 2021-05-01 22:56:48 | <hololeap> | are both of these necessary? i'm not finding any documentation for this "program-options" stanza |
| 2021-05-01 22:57:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 22:57:50 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-01 22:58:23 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-05-01 22:59:26 | × | jgt quits (~jgt@178.233.42.233) (Ping timeout: 240 seconds) |
| 2021-05-01 23:00:49 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-01 23:01:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-01 23:01:34 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 23:01:52 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-01 23:02:02 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 23:02:07 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-01 23:02:14 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 2021-05-01 23:03:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-01 23:14:20 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-01 23:17:11 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-01 23:20:08 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-05-01 23:22:00 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 23:25:26 | × | malumore quits (~malumore@151.62.126.132) (Ping timeout: 260 seconds) |
| 2021-05-01 23:27:58 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds) |
| 2021-05-01 23:28:20 | → | yahb joins (xsbot@178.219.36.155) |
| 2021-05-01 23:28:20 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 2021-05-01 23:28:20 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 2021-05-01 23:28:32 | → | mniip joins (mniip@freenode/staff/mniip) |
| 2021-05-01 23:30:19 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-01 23:30:55 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Remote host closed the connection) |
| 2021-05-01 23:31:23 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-01 23:37:24 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 265 seconds) |
| 2021-05-01 23:37:40 | → | ddellacosta joins (~ddellacos@86.106.143.122) |
| 2021-05-01 23:37:51 | → | guest joins (17fc36f9@23.252.54.249) |
| 2021-05-01 23:38:24 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-01 23:39:38 | × | guest quits (17fc36f9@23.252.54.249) (Quit: Connection closed) |
| 2021-05-01 23:41:25 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-01 23:42:43 | × | ddellacosta quits (~ddellacos@86.106.143.122) (Ping timeout: 265 seconds) |
| 2021-05-01 23:44:55 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Remote host closed the connection) |
| 2021-05-01 23:45:22 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-01 23:47:02 | × | __minoru__shirae quits (~shiraeesh@109.166.57.8) (Ping timeout: 268 seconds) |
| 2021-05-01 23:48:24 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 2021-05-01 23:50:39 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-01 23:52:32 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds) |
| 2021-05-01 23:55:32 | → | __minoru__shirae joins (~shiraeesh@109.166.57.8) |
| 2021-05-01 23:55:41 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-01 23:56:13 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-05-01 23:56:23 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:953a:9b1:d22f:2d00) |
| 2021-05-01 23:57:09 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:953a:9b1:d22f:2d00) (Client Quit) |
| 2021-05-01 23:57:49 | → | RandomArcher joins (RandomArch@gateway/vpn/protonvpn/randomarcher) |
| 2021-05-01 23:59:10 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-01 23:59:29 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-02 00:03:43 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-02 00:05:39 | × | Guest20148 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 248 seconds) |
| 2021-05-02 00:09:18 | × | cinimod` quits (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-02 00:10:36 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-02 00:14:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-02 00:15:01 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-02 00:17:13 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-02 00:19:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-02 00:20:32 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2021-05-02 00:21:15 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-02 00:23:15 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-05-02 00:24:26 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-02 00:26:34 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 2021-05-02 00:29:11 | → | bennofs_ joins (~quassel@dynamic-089-012-195-080.89.12.pool.telefonica.de) |
| 2021-05-02 00:32:19 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40:b489:e8aa:3425:9216) (Ping timeout: 248 seconds) |
| 2021-05-02 00:32:41 | × | bennofs__ quits (~quassel@x4dbf4a04.dyn.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-05-02 00:33:51 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-02 00:34:13 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-02 00:38:06 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 240 seconds) |
| 2021-05-02 00:40:21 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-02 00:41:14 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95260054a0f399f7bc3e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-02 00:41:57 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-02 00:43:43 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-02 00:45:14 | hackage | ghc-lib-parser-ex 0.20210501 - Algorithms on GHC parse trees https://hackage.haskell.org/package/ghc-lib-parser-ex-0.20210501 (shayne_fletcher) |
| 2021-05-02 00:47:04 | → | ddellacosta joins (~ddellacos@86.106.143.239) |
| 2021-05-02 00:48:42 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-02 00:50:47 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-02 00:50:51 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-02 00:51:47 | × | ddellacosta quits (~ddellacos@86.106.143.239) (Ping timeout: 268 seconds) |
| 2021-05-02 00:55:52 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 2021-05-02 00:59:10 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-02 00:59:28 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-02 01:01:28 | → | dinciorip joins (~dincio@5.170.44.21) |
| 2021-05-02 01:02:01 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-02 01:02:06 | <dinciorip> | Is there an equivalent of `&` for `<$>`? So that I can write things like `[1, 2, 3] <&> (+2) = [3, 4, 5]` |
| 2021-05-02 01:02:34 | <dinciorip> | (`<&>` is made up here) |
| 2021-05-02 01:03:45 | <justsomeguy> | Data.Functor has (<&>), which is defined as (<&>) = flip fmap |
| 2021-05-02 01:07:16 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-05-02 01:09:18 | <justsomeguy> | I was reading the code for Control.Monad.Reader, and there is an instance in there like class Monad m => MonadReader r m | m -> r where { ... }. What does the "|" mean here? |
| 2021-05-02 01:09:41 | undvrainbowvita8 | is now known as swamps |
| 2021-05-02 01:09:42 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-05-02 01:10:16 | <geekosaur> | it's a functional dependency: if m is known then r is also known |
| 2021-05-02 01:10:48 | <geekosaur> | ghc doesn't even have to know what m is, it still knows that whatever m is, there's only one possible r to go with it |
| 2021-05-02 01:12:41 | <geekosaur> | this helps with type resolution which is otherwise difficult-to-imppossible with a multi-parameter typeclass |
| 2021-05-02 01:12:45 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds) |
| 2021-05-02 01:12:59 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-02 01:14:17 | <justsomeguy> | Seems like I have to get into the habit of checking the GHC User Guide in addition to the languae report when I encounter new syntax. (Y'know, in addition to doing a web search.) |
| 2021-05-02 01:14:52 | <geekosaur> | yep |
| 2021-05-02 01:17:32 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 2021-05-02 01:18:49 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-02 01:22:20 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-02 01:23:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-02 01:25:46 | <dinciorip> | justsomeguy: Doh didn't see it somehow... thanks |
All times are in UTC.