Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 270 271 272 273 274 275 276 277 278 279 280 .. 5022
502,152 events total
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.