Logs: freenode/#haskell
| 2020-09-28 14:17:23 | <MarcelineVQ> | not at all, especiall if you're going to derive anything |
| 2020-09-28 14:17:58 | <dminuoso> | Imagine doing generics with that :> |
| 2020-09-28 14:18:16 | <dminuoso> | https://xkcd.com/303/ |
| 2020-09-28 14:19:04 | <MarcelineVQ> | now that would be: waiting for CI logs to update |
| 2020-09-28 14:19:16 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 2020-09-28 14:19:18 | × | sw1nn quits (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9) |
| 2020-09-28 14:20:55 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-09-28 14:21:00 | → | v_m_v joins (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) |
| 2020-09-28 14:21:06 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-28 14:21:20 | → | sw1nn joins (~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) |
| 2020-09-28 14:21:21 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2020-09-28 14:22:07 | <ph88> | lortabac, why would you say a normal function is better ? |
| 2020-09-28 14:22:16 | <ph88> | lortabac, sorry wrong window :P |
| 2020-09-28 14:22:57 | → | machinedgod joins (~machinedg@45.78.189.122) |
| 2020-09-28 14:24:47 | × | esp32_prog quits (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Remote host closed the connection) |
| 2020-09-28 14:25:04 | → | esp32_prog joins (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) |
| 2020-09-28 14:26:18 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-khkttiiavzeefazc) |
| 2020-09-28 14:27:06 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2020-09-28 14:27:34 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:8d20:3f6d:2878:b061) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-28 14:28:15 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 2020-09-28 14:30:24 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2020-09-28 14:30:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-09-28 14:30:48 | × | catkiki quits (~catkiki@m90-134-157-227.cust.tele2.hr) (Ping timeout: 260 seconds) |
| 2020-09-28 14:31:16 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 2020-09-28 14:32:02 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:c0bc:5e09:a33a:1919) |
| 2020-09-28 14:34:26 | × | ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds)) |
| 2020-09-28 14:34:30 | → | kelsey joins (~keteskyl@2600:6c64:7b7f:fa42:8860:7453:7229:ac21) |
| 2020-09-28 14:34:43 | m1dnight_ | is now known as m1d |
| 2020-09-28 14:34:52 | m1d | is now known as m1dnight_ |
| 2020-09-28 14:34:53 | kelsey | is now known as keteskyl |
| 2020-09-28 14:35:12 | → | ahri joins (~ahri@178.209.40.84) |
| 2020-09-28 14:35:13 | → | p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) |
| 2020-09-28 14:35:43 | × | BalterNotz quits (ca420871@202.66.8.113) (Remote host closed the connection) |
| 2020-09-28 14:36:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-28 14:36:46 | → | mu_ joins (~mu@unaffiliated/mu) |
| 2020-09-28 14:37:53 | × | zyextant quits (~zyextant@217.138.205.68) (Read error: Connection reset by peer) |
| 2020-09-28 14:39:11 | → | Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no) |
| 2020-09-28 14:39:18 | × | Dolly quits (585fc8fd@ti0203q160-3035.bb.online.no) (Remote host closed the connection) |
| 2020-09-28 14:39:28 | × | FreeBirdLjj quits (~freebirdl@101.87.171.62) (Remote host closed the connection) |
| 2020-09-28 14:40:04 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) |
| 2020-09-28 14:40:37 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:c0bc:5e09:a33a:1919) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-28 14:40:59 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-28 14:43:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-09-28 14:43:34 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:6931:8218:a08c:8890) |
| 2020-09-28 14:43:53 | → | John20 joins (~John@82.46.59.122) |
| 2020-09-28 14:43:53 | × | mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer) |
| 2020-09-28 14:44:11 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 240 seconds) |
| 2020-09-28 14:44:13 | <tomsmeding> | that generics Rep type would be the hugest thing ever |
| 2020-09-28 14:44:27 | hackage | acc 0.1.0.1 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1.0.1 (NikitaVolkov) |
| 2020-09-28 14:44:31 | → | mu_ joins (~mu@unaffiliated/mu) |
| 2020-09-28 14:45:07 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Ping timeout: 260 seconds) |
| 2020-09-28 14:45:08 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-09-28 14:45:32 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-28 14:45:36 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 2020-09-28 14:46:06 | × | mu_ quits (~mu@unaffiliated/mu) (Client Quit) |
| 2020-09-28 14:46:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-09-28 14:47:20 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-rzmwmtzgbawceqym) |
| 2020-09-28 14:49:06 | × | v_m_v quits (~vm_v@2a02:aa12:3200:6480:3859:e660:d8f9:23e1) (Remote host closed the connection) |
| 2020-09-28 14:50:01 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds) |
| 2020-09-28 14:50:27 | → | ryansmccoy joins (~ryansmcco@68.235.48.108) |
| 2020-09-28 14:50:48 | → | FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) |
| 2020-09-28 14:53:27 | × | acidjnk_new quits (~acidjnk@p200300d0c72378044c2002cf67e0d923.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-09-28 14:55:07 | × | FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4006:2bcd:9377:2df0) (Ping timeout: 240 seconds) |
| 2020-09-28 14:56:24 | <ph88> | how come runReaderT takes 3 arguments like in runReaderT (modify (+ 2)) var at https://www.fpcomplete.com/blog/2017/06/readert-design-pattern/ but it's type signature has just one argument runReaderT :: r -> m a |
| 2020-09-28 14:56:29 | <ph88> | 2 * |
| 2020-09-28 14:59:56 | → | spew joins (uid195861@gateway/web/irccloud.com/x-annkkxabwayrojjt) |
| 2020-09-28 15:00:02 | × | schwuk quits (~schwuk@185.244.214.216) () |
| 2020-09-28 15:00:09 | <ski> | @type runReaderT |
| 2020-09-28 15:00:11 | <lambdabot> | ReaderT r m a -> r -> m a |
| 2020-09-28 15:00:57 | → | alp joins (~alp@2a01:e0a:58b:4920:6866:e0a9:2220:cc41) |
| 2020-09-28 15:01:22 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 2020-09-28 15:01:25 | → | mmohammadi98129 joins (~mmohammad@188.210.120.20) |
| 2020-09-28 15:01:37 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 2020-09-28 15:01:39 | <ski> | you're bitten by mixing up the type of the field `runReaderT' with the type of the field selection/projection function, which (unfortunately, imho), also happen to be spelled in the same way |
| 2020-09-28 15:01:53 | <ski> | ph88 ^ |
| 2020-09-28 15:02:08 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-09-28 15:02:57 | <ph88> | thanks ski |
| 2020-09-28 15:03:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-28 15:03:16 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 2020-09-28 15:03:22 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2020-09-28 15:04:04 | <ph88> | strange .. i also can't find the right runReaderT ! |
| 2020-09-28 15:05:40 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 2020-09-28 15:07:02 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 2020-09-28 15:07:35 | <ph88> | Is it possible to use Maybe Monad when also IO actions are needed ? https://bpa.st/FKYA |
| 2020-09-28 15:07:48 | <ski> | "the right runReaderT" ? |
| 2020-09-28 15:08:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-09-28 15:08:13 | <ski> | maybe you want to use `MaybeT IO' ? |
| 2020-09-28 15:08:51 | <ski> | (or `MaybeT m' where `MonadIO m', possibly) |
| 2020-09-28 15:10:53 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 2020-09-28 15:10:53 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-09-28 15:11:08 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-28 15:11:09 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 2020-09-28 15:11:36 | → | knupfer joins (~Thunderbi@200116b8245ab000d5392c0ae5e224f3.dip.versatel-1u1.de) |
| 2020-09-28 15:11:58 | hackage | path-utils 0.1.1.0 - Handful of simple utility functions for the path library. https://hackage.haskell.org/package/path-utils-0.1.1.0 (locallycompact) |
| 2020-09-28 15:12:48 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-28 15:13:23 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-09-28 15:13:56 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-09-28 15:14:37 | → | bloodstalker joins (~bloodstal@46.166.187.178) |
| 2020-09-28 15:14:38 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-28 15:14:40 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
All times are in UTC.