Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 152 153 154 155 156 157 158 159 160 161 162 .. 5022
— 502,152 events total
2020-09-23 09:30:22 → eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-23 09:32:01 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-09-23 09:34:27 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 240 seconds)
2020-09-23 09:34:59 × alp quits (~alp@2a01:e0a:58b:4920:95c2:d16c:63ff:1) (Ping timeout: 272 seconds)
2020-09-23 09:35:10 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-09-23 09:36:30 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 09:37:13 <phadej> hmm. two major version in less than half an hour. rapid development.
2020-09-23 09:38:45 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-23 09:39:02 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-23 09:40:25 <maralorn1> Or rather unstable API.^^
2020-09-23 09:40:59 <maralorn1> But there is no Changelog, so I don‘t know.
2020-09-23 09:41:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-23 09:44:27 × jespada quits (~jespada@90.254.241.6) (Quit: Sleeping)
2020-09-23 09:45:28 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-23 09:46:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 09:48:55 <dminuoso> Seems like the only change was https://github.com/nikita-volkov/rebase/commit/8c273eede30de7caefa06f9833170ab6ac09ff43
2020-09-23 09:48:57 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-09-23 09:49:25 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-23 09:51:34 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-23 09:51:37 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-09-23 09:53:49 → suppi joins (~suppi@172.246.241.246)
2020-09-23 09:54:18 → MrZee joins (~root@182.1.81.200)
2020-09-23 09:54:23 × mmohammadi9812 quits (~mmohammad@2.178.152.109) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-23 09:54:30 <MrZee> wait
2020-09-23 09:54:41 → alp joins (~alp@2a01:e0a:58b:4920:b01d:b174:613e:b4f2)
2020-09-23 09:54:57 <MrZee> hi
2020-09-23 09:55:45 <MrZee> how to private chat in there ?
2020-09-23 09:56:21 <dminuoso> MrZee: That depends on your IRC client. Most clients have the convention of `/query somename` opening a private message window to another user.
2020-09-23 09:57:14 <MrZee> for example ?
2020-09-23 09:59:34 <MrZee> i am quit
2020-09-23 10:00:24 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-09-23 10:00:52 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-09-23 10:02:45 → jespada joins (~jespada@85.255.233.165)
2020-09-23 10:03:03 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving)
2020-09-23 10:04:14 × MrZee quits (~root@182.1.81.200) (Ping timeout: 256 seconds)
2020-09-23 10:07:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 10:11:43 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-23 10:11:55 <MarcelineVQ> I wish I was quit
2020-09-23 10:15:56 × jespada quits (~jespada@85.255.233.165) (Quit: Sleeping)
2020-09-23 10:17:22 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 10:17:46 → PjotrOrial1 joins (~PjotrOria@195.140.213.38)
2020-09-23 10:18:34 <edwardk> siraben: fromScope/toScope are useful for that
2020-09-23 10:19:04 <edwardk> siraben see one of the million examples of nf implemented in bound for that
2020-09-23 10:21:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-23 10:22:01 → jespada joins (~jespada@85.255.233.165)
2020-09-23 10:22:56 × jdt quits (~jdt@208.85.233.130) (Ping timeout: 256 seconds)
2020-09-23 10:23:06 → ixlun joins (~matthew@213.205.241.18)
2020-09-23 10:23:11 → jdt joins (~jdt@208.85.233.130)
2020-09-23 10:26:11 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-23 10:27:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 10:30:31 → coffeeturtle joins (~coffeetur@82.44.44.25)
2020-09-23 10:30:47 → Saukk joins (~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4)
2020-09-23 10:31:44 × coffeeturtle quits (~coffeetur@82.44.44.25) (Client Quit)
2020-09-23 10:32:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-23 10:34:30 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 256 seconds)
2020-09-23 10:34:56 → Rudd0^ joins (~Rudd0@185.189.115.108)
2020-09-23 10:35:17 × Saukk quits (~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-09-23 10:36:16 × jespada quits (~jespada@85.255.233.165) (Quit: Sleeping)
2020-09-23 10:36:49 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
2020-09-23 10:37:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 10:39:36 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2020-09-23 10:40:51 × alp quits (~alp@2a01:e0a:58b:4920:b01d:b174:613e:b4f2) (Ping timeout: 272 seconds)
2020-09-23 10:42:14 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-23 10:43:12 <dminuoso> Is there a common class representing a sort almost isomorphism with some `to :: C a => a -> Text; from :: (C a, MonadFail m) => Text -> m a`? Im battling with a bulk of boilerplate when carving out ToJSON, ToSchema, ToRow instances for JSON, Swagger and PostgreSQL.
2020-09-23 10:44:50 <dminuoso> It'd be so much easier if all those libraries presented a flexible interface similar to makeLensesFor, where you can just specify a mapping of field to some name.
2020-09-23 10:45:03 <phadej> ToSchema takes Proxy a and produces something something Sceham, ToJSON has toJSON and toEncoding, ToRow is ... -> [Action]
2020-09-23 10:45:26 <phadej> there's really not much in common to try to abstract further
2020-09-23 10:45:43 <dminuoso> Mmm, well FromRow at least.
2020-09-23 10:47:26 <dminuoso> I mean, there's at least a very close correspondence between FromJSON/ToJSON and FromField/ToField.
2020-09-23 10:47:43 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 10:48:36 <dminuoso> The common solution to both is to just use generics, but if I follow that path, I end up with a "database specific" data type, an "external specific data type", and then boilerplaty conversion functions.
2020-09-23 10:48:37 <phadej> suppose there were some `To tag a` type-class. What kind of function you would write which would have `To tag a => a -> ...` type
2020-09-23 10:48:53 <phadej> dminuoso: yes, that is right
2020-09-23 10:49:05 <phadej> database is one (external) interface, JSON API is another
2020-09-23 10:49:22 <phadej> the fact that you may have same type for both only means that your program is dummy proxy
2020-09-23 10:49:43 <phadej> (which is not wrong, if that is what it is)
2020-09-23 10:50:06 <dminuoso> Right, this is the case right now. The point is to remain flexible in the future if the data types ever change, so I dont have much work.
2020-09-23 10:50:52 <dminuoso> So I can change any three of the representations if need be, without leaking it to the other two
2020-09-23 10:51:01 <phadej> then, don't use generics :)
2020-09-23 10:51:09 <phadej> if you don't want have separate types
2020-09-23 10:52:22 <dminuoso> Perhaps, what I really want is some TH helper for writing isomorphisms where I can just say `makeIso [('fFieldA, 'gFieldA), ('fFieldB', 'gfieldB')]`
2020-09-23 10:52:24 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-23 10:54:47 <dminuoso> Then I could rely on generic instances whenever I want, keep the representations isolated from each other, and have less boilerplate when converting between the representations (since right *now* its just a mechanical coerce)
2020-09-23 10:54:51 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-23 10:57:13 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-23 10:57:24 → jespada joins (~jespada@90.254.241.6)
2020-09-23 10:57:48 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-23 10:59:19 → alp joins (~alp@2a01:e0a:58b:4920:5830:93bd:5d3e:9080)
2020-09-23 11:01:04 × dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 260 seconds)
2020-09-23 11:01:14 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-23 11:01:15 → mirk0 joins (~mirko@unaffiliated/-mirko-/x-2946915)
2020-09-23 11:02:36 × Benett quits (~Benett@unaffiliated/benett) (Remote host closed the connection)
2020-09-23 11:02:36 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-23 11:02:50 → Benett joins (~Benett@unaffiliated/benett)
2020-09-23 11:03:03 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-09-23 11:03:43 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-09-23 11:03:55 × holo1 quits (~holo@nikky.moe) (Ping timeout: 240 seconds)
2020-09-23 11:03:56 × farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 244 seconds)
2020-09-23 11:04:01 × lisq quits (~quassel@lis.moe) (Ping timeout: 244 seconds)
2020-09-23 11:04:43 → lisq joins (~quassel@lis.moe)
←Prev  Next→
Page 1 .. 152 153 154 155 156 157 158 159 160 161 162 .. 5022

All times are in UTC.