Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 4029 .. 5022
— 502,152 events total
2021-03-25 10:01:14 × juri_ quits (~juri@79.140.115.251) (Read error: Connection reset by peer)
2021-03-25 10:01:33 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-03-25 10:01:37 → xff0x joins (~xff0x@2001:1a81:53ea:3700:5bc4:f932:7f79:a256)
2021-03-25 10:07:18 × Guest84272 quits (~marienz@217.146.82.202) (Remote host closed the connection)
2021-03-25 10:08:03 × knupfer quits (~Thunderbi@200116b8240912008c086767523d9d96.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2021-03-25 10:08:38 ← tempate parts (~tempate@unaffiliated/tempate) ()
2021-03-25 10:13:22 → __minoru__shirae joins (~shiraeesh@46.34.207.1)
2021-03-25 10:15:13 → malumore joins (~malumore@151.62.125.69)
2021-03-25 10:15:21 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-25 10:17:40 → ubert1 joins (~Thunderbi@p200300ecdf25d931e6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-25 10:17:43 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 10:21:37 × Yumasi quits (~guillaume@2a01:e0a:5cb:4430:f8b3:8048:46:fa78) (Ping timeout: 268 seconds)
2021-03-25 10:22:04 → Yumasi joins (~guillaume@40.72.95.92.rev.sfr.net)
2021-03-25 10:22:06 × benkolera quits (uid285671@gateway/web/irccloud.com/x-dcatnolngaaurwon) (Quit: Connection closed for inactivity)
2021-03-25 10:22:14 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 10:23:18 → Dragavnir joins (~Dragavnir@217.146.82.202)
2021-03-25 10:24:32 → knupfer joins (~Thunderbi@200116b82409120025e07d54fd526c58.dip.versatel-1u1.de)
2021-03-25 10:25:59 × unyu quits (~pyon@unaffiliated/pyon) (Quit: Reboot.)
2021-03-25 10:27:46 → son0p joins (~son0p@181.58.39.182)
2021-03-25 10:27:47 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 268 seconds)
2021-03-25 10:28:26 → unyu joins (~pyon@unaffiliated/pyon)
2021-03-25 10:29:01 × frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 268 seconds)
2021-03-25 10:30:02 × xff0x quits (~xff0x@2001:1a81:53ea:3700:5bc4:f932:7f79:a256) (Ping timeout: 260 seconds)
2021-03-25 10:30:50 → xff0x joins (~xff0x@2001:1a81:53ea:3700:f4c9:a54a:b343:45e2)
2021-03-25 10:31:00 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-25 10:32:54 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-25 10:35:45 → benkolera joins (uid285671@gateway/web/irccloud.com/x-crocbefkutgfsdyl)
2021-03-25 10:35:48 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-03-25 10:37:23 → is_null_ joins (~jpic@pdpc/supporter/professional/is-null)
2021-03-25 10:37:55 → yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se)
2021-03-25 10:38:30 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 10:38:30 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 10:38:55 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 10:40:21 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 256 seconds)
2021-03-25 10:43:14 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 10:45:17 → romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-25 10:45:17 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 10:45:30 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 10:48:46 → dhil joins (~dhil@80.208.56.181)
2021-03-25 10:55:49 × Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 10:56:15 → Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com)
2021-03-25 10:59:18 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 11:00:56 × __minoru__shirae quits (~shiraeesh@46.34.207.1) (Ping timeout: 265 seconds)
2021-03-25 11:01:04 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-25 11:01:09 × kritzefitz quits (~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-03-25 11:01:27 → kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2021-03-25 11:03:06 × kupi quits (uid212005@gateway/web/irccloud.com/x-ulwctdrxjxxnpyln) (Quit: Connection closed for inactivity)
2021-03-25 11:03:19 × Guest14565 quits (~textual@2603-7000-3040-0000-4c26-30e6-a1ae-bc87.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-25 11:03:34 × Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 11:03:49 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-25 11:04:03 → Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com)
2021-03-25 11:04:10 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 268 seconds)
2021-03-25 11:05:51 → ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-03-25 11:05:51 × ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-03-25 11:05:51 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2021-03-25 11:05:52 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 11:05:59 × byorgey_ quits (~byorgey@155.138.238.211) (Quit: leaving)
2021-03-25 11:06:06 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 11:06:09 → byorgey joins (~byorgey@155.138.238.211)
2021-03-25 11:07:02 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-25 11:08:29 × malumore quits (~malumore@151.62.125.69) (Ping timeout: 268 seconds)
2021-03-25 11:12:05 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-03-25 11:12:21 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-25 11:13:02 → usr25 joins (~usr25@unaffiliated/usr25)
2021-03-25 11:13:16 → polxy joins (opticnerve@gateway/vpn/airvpn/opticnerve)
2021-03-25 11:16:00 → Synthetica joins (uid199651@gateway/web/irccloud.com/x-lysduszivdckswmi)
2021-03-25 11:16:50 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-25 11:17:38 <shad0w_> ```
2021-03-25 11:17:38 <shad0w_> class Monad m => MonadError e m | m -> e where
2021-03-25 11:17:39 <shad0w_> throwError :: e -> m a
2021-03-25 11:17:39 <shad0w_> catchError :: m a -> (e -> m a) -> m a
2021-03-25 11:17:40 <shad0w_> ```
2021-03-25 11:17:57 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2021-03-25 11:18:00 <shad0w_> how would you interpret the throwError and catchError functions ?
2021-03-25 11:18:15 × entel quits (uid256215@botters/entel) (Quit: Connection closed for inactivity)
2021-03-25 11:18:20 <shad0w_> throwError takes an error type `e` and returns a monad `m a` ?
2021-03-25 11:18:20 × apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 265 seconds)
2021-03-25 11:18:49 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-25 11:18:49 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 11:19:09 <[exa]> shad0w_: it actually does not return, in the same sense as `undefined` does "not return" a type `a`
2021-03-25 11:19:11 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 11:19:41 <shad0w_> but the functional dependency ?
2021-03-25 11:19:54 <shad0w_> [exa]: we can return monads right ?
2021-03-25 11:20:03 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 11:20:11 <[exa]> not sure if I understand now
2021-03-25 11:20:29 <shad0w_> like we return IO () and Maybe a all the time ?
2021-03-25 11:20:36 <[exa]> the functional dependency says that "e" can be considered to be fully specified by "m"
2021-03-25 11:20:47 × Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-03-25 11:20:48 <shad0w_> yes. that's what i make of it.
2021-03-25 11:20:57 <[exa]> actually, yes. The only "error" that IO supports is the (iirc) IOError
2021-03-25 11:21:09 <[exa]> same for say "Either Int String", the error type is fixed to Int there
2021-03-25 11:21:22 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-25 11:21:57 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2021-03-25 11:22:11 <[exa]> also, iirc, `Maybe a` is not an instance of MonadError because it technically cannot carry the error
2021-03-25 11:22:18 → Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com)
2021-03-25 11:22:21 → raichoo joins (~raichoo@dslb-092-073-222-210.092.073.pools.vodafone-ip.de)
2021-03-25 11:22:38 <shad0w_> so. back to my original dillemma
2021-03-25 11:22:56 <shad0w_> how do i, uhm, interptret throwError ?
2021-03-25 11:23:08 → peanut_ joins (~peanut_@2a02:8388:a101:2600:bb7e:e842:eea5:aec3)
2021-03-25 11:23:30 <[exa]> it produces `m a` that shold have the error semantics that carries the error `e`, thus the `a` there shouldn't be of any interest
←Prev  Next→
Page 1 .. 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 4029 .. 5022

All times are in UTC.