Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 97 98 99 100 101 102 103 104 105 106 107 .. 17903
— 1,790,203 events total
2021-05-26 14:01:33 → ypw joins (~ypw@2.55.148.52)
2021-05-26 14:01:36 × ypw quits (~ypw@2.55.148.52) (Client Quit)
2021-05-26 14:02:25 → ypw joins (~ypw@2.55.148.52)
2021-05-26 14:02:59 × Guest19 quits (~Guest19@cst2-161-24.cust.vodafone.cz) (Client Quit)
2021-05-26 14:03:26 × wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-05-26 14:03:26 → alx741 joins (~alx741@186.178.108.78)
2021-05-26 14:03:26 → yumaikas- joins (~yumaikas@2601:281:c700:4240:59f4:f479:85b9:4a1f)
2021-05-26 14:03:34 × ypw quits (~ypw@2.55.148.52) (Client Quit)
2021-05-26 14:03:35 × tonyz quits (~tonyz@user/tonyz) (Ping timeout: 272 seconds)
2021-05-26 14:03:49 → Ainoretho joins (~ypw@2.55.148.52)
2021-05-26 14:03:54 → wagle joins (~wagle@quassel.wagle.io)
2021-05-26 14:06:48 × a6a45081-2b83 quits (~aditya@106.214.73.78) (Quit: Konversation terminated!)
2021-05-26 14:06:59 × alx741 quits (~alx741@186.178.108.78) (Client Quit)
2021-05-26 14:08:17 → alx741 joins (~alx741@186.178.108.78)
2021-05-26 14:16:48 → Guest40 joins (~textual@131.191.49.120)
2021-05-26 14:18:22 → bbhoss joins (sid18216@id-18216.tinside.irccloud.com)
2021-05-26 14:20:34 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Ping timeout: 244 seconds)
2021-05-26 14:20:43 mud is now known as kadoban
2021-05-26 14:22:00 → o1lo01ol_ joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com)
2021-05-26 14:23:13 → jolly joins (~jolly@208.180.97.158)
2021-05-26 14:23:34 → radw joins (~radw@user/radw)
2021-05-26 14:25:48 × taeaad quits (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-26 14:27:26 → ksroot joins (~ksroot@047-014-076-169.res.spectrum.com)
2021-05-26 14:27:57 <hololeap> what's the best monad for failures, but it keeps going to collect all of them? would that just be Writer?
2021-05-26 14:28:22 × wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 264 seconds)
2021-05-26 14:28:50 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-05-26 14:29:20 <maerwald> hololeap: Excepts
2021-05-26 14:29:36 <maerwald> https://hackage.haskell.org/package/haskus-utils-variant-3.0/docs/Haskus-Utils-Variant-Excepts.html
2021-05-26 14:29:44 <merijn> hololeap: Can't be a monad
2021-05-26 14:29:54 <merijn> hololeap: Best you can do is Applicative (aka Validation)
2021-05-26 14:30:06 <merijn> Or maybe These
2021-05-26 14:30:56 → qoelet joins (~kumo@139.180.144.166)
2021-05-26 14:30:57 → wagle joins (~wagle@quassel.wagle.io)
2021-05-26 14:31:10 → tboerstad joins (~tboerstad@91.90.104.201)
2021-05-26 14:31:16 <hololeap> maerwald: that looks intimidating but also really cool
2021-05-26 14:31:35 → fizbin joins (~fizbin@c-71-226-194-211.hsd1.nj.comcast.net)
2021-05-26 14:31:55 <maerwald> hololeap: https://docs.haskus.org/variant/excepts.html
2021-05-26 14:32:05 <maerwald> illustration of use
2021-05-26 14:32:06 ksroot is now known as KC1NCN
2021-05-26 14:32:29 × jjhoo quits (~jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Quit: irssi reconfig)
2021-05-26 14:32:42 <maerwald> however, two downsides are: 1. you break type inference and need a lot of type applications and 2. you need to basically liftE everything
2021-05-26 14:32:46 → jjhoo joins (~jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2021-05-26 14:33:16 → taeaad joins (~taeaad@user/taeaad)
2021-05-26 14:33:35 × Guest40 quits (~textual@131.191.49.120) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-26 14:34:01 → Guest40 joins (~textual@131.191.49.120)
2021-05-26 14:34:19 <maerwald> but it allows rethrowing etc, like https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/lib/GHCup/Errors.hs#L244
2021-05-26 14:34:36 × taeaad quits (~taeaad@user/taeaad) (Client Quit)
2021-05-26 14:34:39 <maerwald> so you can have an error stack, sorta
2021-05-26 14:34:51 <maerwald> but that's all done manually
2021-05-26 14:34:59 <maerwald> so ergonomics is debatable
2021-05-26 14:35:40 → brightside joins (~anon10100@106.192.141.180)
2021-05-26 14:36:28 <hololeap> I was thinking of: WriterT [SomeException] m a -> ExceptT [SomeException] m a
2021-05-26 14:36:35 <hololeap> which isn't really a monad, but...
2021-05-26 14:36:58 <maerwald> type level list of exceptions is cooler
2021-05-26 14:37:45 <maerwald> otherwise you really have no information about what stuff needs to be catched at a given point in the callstack
2021-05-26 14:38:47 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-26 14:38:49 × takenobu quits (uid459077@id-459077.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-26 14:39:15 × Morrow quits (~Morrow@147.161.12.220) (Ping timeout: 272 seconds)
2021-05-26 14:39:25 <maerwald> as in: sum types for errors are wrong!
2021-05-26 14:39:28 → learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-26 14:39:36 → taeaad joins (~taeaad@user/taeaad)
2021-05-26 14:39:46 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-26 14:41:31 <hololeap> well, in this case I want: [IsValid a] -> Either WhatWasntValid [a]
2021-05-26 14:41:39 × wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 264 seconds)
2021-05-26 14:41:52 → mht joins (~mht@2a03:b0c0:3:e0::1e2:c001)
2021-05-26 14:42:12 × Guest40 quits (~textual@131.191.49.120) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-26 14:42:30 → Guest40 joins (~textual@131.191.49.120)
2021-05-26 14:43:05 × Guest40 quits (~textual@131.191.49.120) (Client Quit)
2021-05-26 14:43:36 → abhin4v joins (uid1398@id-1398.brockwell.irccloud.com)
2021-05-26 14:44:49 → wagle joins (~wagle@quassel.wagle.io)
2021-05-26 14:45:05 → tulushev joins (~textual@91.218.97.155)
2021-05-26 14:45:43 × taeaad quits (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-26 14:46:02 → SteelZeal joins (~SteelZeal@user/steelzeal)
2021-05-26 14:46:41 → azeem joins (~azeem@212.189.140.214)
2021-05-26 14:46:48 → taeaad joins (~taeaad@user/taeaad)
2021-05-26 14:48:40 → Igfoo joins (~ian@matrix.chaos.earth.li)
2021-05-26 14:48:54 × fendor quits (~fendor@91.141.0.18.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-26 14:49:18 <merijn> hololeap: That's Validation
2021-05-26 14:49:37 → mcglk joins (~mcglk@131.191.49.120)
2021-05-26 14:49:47 <hololeap> as opposed to what?
2021-05-26 14:49:57 <merijn> hololeap: https://hackage.haskell.org/package/either-5.0.1.1/docs/Data-Either-Validation.html
2021-05-26 14:50:44 <hololeap> merijn: yeah, that looks like what I want
2021-05-26 14:51:03 <merijn> As I said before, it cannot be a Monad though, only Applicative
2021-05-26 14:51:12 <merijn> but that's good enough for lots of things
2021-05-26 14:51:13 × a1paca quits (~a1paca@user/a1paca) (Quit: Leaving)
2021-05-26 14:51:19 <hololeap> That's fine
2021-05-26 14:51:22 <opqdonut> huh, interesting
2021-05-26 14:51:37 <opqdonut> I only knew of https://hackage.haskell.org/package/validation
2021-05-26 14:51:41 <opqdonut> I wonder which came first?
2021-05-26 14:51:59 <merijn> Almost certainly the one by edwardk? ;)
2021-05-26 14:52:10 → imc6ristian joins (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f)
2021-05-26 14:52:17 <opqdonut> looks like the validation one has copyrights from 2010, ekmett from 2014
2021-05-26 14:52:36 <merijn> First upload of first version was 2014, though
2021-05-26 14:52:41 × imc6ristian quits (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Client Quit)
2021-05-26 14:52:41 <merijn> (for validation)
2021-05-26 14:53:00 → learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-26 14:53:04 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:9897:d4e5:9583:e06d)
2021-05-26 14:53:28 <opqdonut> mmh
2021-05-26 14:53:36 KC1NCN is now known as ksroot
2021-05-26 14:53:42 <talismanick> Does anyone still use hasky-cabal?
←Prev  Next→
Page 1 .. 97 98 99 100 101 102 103 104 105 106 107 .. 17903

All times are in UTC.