IRCBrowse

2020/10/10

2020-10-10 00:01:11 +0200 <phadej> reminds me of
2020-10-10 00:01:13 +0200 <phadej> The full chemical name of the human canonical form of titin, which starts methionyl... and ends ...isoleucine, contains 189,819 letters
2020-10-10 00:01:29 +0200 <monochrom> eek
2020-10-10 00:01:55 +0200 <dsal> phadej: Please use a pastebin.
2020-10-10 00:02:02 +0200 <monochrom> haha
2020-10-10 00:02:48 +0200 <phadej> FWIW, the pieces of that protein are quite simple in separation ;)
2020-10-10 00:02:54 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 00:03:18 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-10 00:03:45 +0200 <hpc> jeez, it might as well be DNA at that point
2020-10-10 00:04:34 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 00:05:00 +0200 <phadej> Titin is a giant protein, greater than 1 µm in length,
2020-10-10 00:05:48 +0200 <phadej> dna does encode how to make one :)
2020-10-10 00:07:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 00:07:21 +0200helaoban(~carloholl@2603:3024:1704:300::8401) (Quit: WeeChat 2.9)
2020-10-10 00:08:32 +0200xff0x(~fox@2001:1a81:53da:5200:a463:747d:cc85:3e35) (Ping timeout: 260 seconds)
2020-10-10 00:09:08 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-10 00:09:27 +0200 <dsal> I think I may have gone from mocking recursion-schemes to consider applying it to something.
2020-10-10 00:09:31 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-10 00:09:35 +0200galagora-(~ao@197.237.20.60) (Remote host closed the connection)
2020-10-10 00:10:20 +0200xff0x(~fox@2001:1a81:53fe:cd00:31b6:6e9a:3cee:6489)
2020-10-10 00:11:58 +0200shafox(~shafox@106.51.234.111)
2020-10-10 00:13:13 +0200 <monochrom> "First you ignore it. Then you laugh at it. Then it wins"? >:)
2020-10-10 00:13:25 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 264 seconds)
2020-10-10 00:15:57 +0200alexelcu(~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-10 00:16:48 +0200alexelcu(~alexelcu@142.93.180.198)
2020-10-10 00:17:38 +0200Katarushisu6(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-10 00:17:45 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-10-10 00:18:02 +0200ryansmccoy(~ryansmcco@68.235.48.108)
2020-10-10 00:18:07 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2020-10-10 00:18:40 +0200mcc(~pbodev1@5-15-16-231.residential.rdsnet.ro) (Quit: Nettalk6 - www.ntalk.de)
2020-10-10 00:18:48 +0200Katarushisu(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-10 00:18:49 +0200Katarushisu6Katarushisu
2020-10-10 00:21:25 +0200 <dsal> I thought I used fixM or something like that once, but I can't find it.
2020-10-10 00:23:06 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-10 00:23:28 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-10 00:26:25 +0200alp_(~alp@2a01:e0a:58b:4920:b989:9831:f361:9cf) (Ping timeout: 272 seconds)
2020-10-10 00:30:34 +0200leungbk(~user@2605:e000:1315:706:26ff:1608:dcbb:bfdf)
2020-10-10 00:31:49 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 00:34:54 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-10 00:35:28 +0200alp_(~alp@2a01:e0a:58b:4920:3c2d:d48c:8093:50d4)
2020-10-10 00:36:38 +0200stevenxl(uid133530@gateway/web/irccloud.com/x-lycvhaiijjxatwhk) (Quit: Connection closed for inactivity)
2020-10-10 00:36:49 +0200shatriff(~vitaliish@78.111.190.16) (Read error: Connection reset by peer)
2020-10-10 00:38:56 +0200shatriff(~vitaliish@78.111.190.16)
2020-10-10 00:39:23 +0200cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a) (Quit: cosimone)
2020-10-10 00:41:17 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-10 00:41:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 00:43:03 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2020-10-10 00:43:56 +0200 <dsal> WEren't we having this conversation earlier? https://twitter.com/elonmusk/status/1314666526297923585
2020-10-10 00:43:58 +0200jdgr(601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-10-10 00:44:28 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 00:44:45 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-10 00:45:21 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 00:45:21 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 00:45:21 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 00:45:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 00:45:59 +0200shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-10 00:46:06 +0200conal(~conal@64.71.133.70)
2020-10-10 00:47:15 +0200Icewing(~Icewing@unaffiliated/icewing)
2020-10-10 00:47:42 +0200fendor(~fendor@91.141.0.104.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-10 00:48:45 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 00:48:45 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 00:48:45 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-10 00:49:24 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-10 00:49:42 +0200 <Guest18> Can I pattern match with `case ... of ...`?
2020-10-10 00:49:58 +0200 <dsal> I don't exactly understand what you're asking, but yes.
2020-10-10 00:50:29 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-10 00:50:45 +0200 <dsal> > case odd 3 of True -> "yes"; False -> "no"
2020-10-10 00:50:49 +0200 <lambdabot> "yes"
2020-10-10 00:51:27 +0200 <Guest18> that's all i needed to know, thank you
2020-10-10 00:51:29 +0200 <dsal> > case pure 3 of Just 3 -> "yes"; _ -> "no"
2020-10-10 00:51:32 +0200 <lambdabot> "yes"
2020-10-10 00:51:44 +0200mdunnio(~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-10 00:52:03 +0200 <Guest18> was looking into ways of making my code a bit prettier and readable, as i'm not entirely happy with it
2020-10-10 00:52:32 +0200 <Guest18> it's the code for deleting a value from a binary search tree
2020-10-10 00:53:01 +0200xff0x(~fox@2001:1a81:53fe:cd00:31b6:6e9a:3cee:6489) (Ping timeout: 272 seconds)
2020-10-10 00:53:22 +0200 <dsal> I don't use case all that much. It's not obvious I'd fit it into something like that. What's your code look like currently?
2020-10-10 00:54:05 +0200 <Guest18> https://dpaste.com/D2N9HH7UH
2020-10-10 00:54:22 +0200 <Guest18> I included only the relevant parts, i have more
2020-10-10 00:54:32 +0200xff0x(~fox@2001:1a81:520e:b00:31b6:6e9a:3cee:6489)
2020-10-10 00:55:09 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-10 00:55:26 +0200 <dsal> I'd just use a guard instead of that case.
2020-10-10 00:55:35 +0200 <Guest18> deleteOn seems to me like it could use a little refactoring
2020-10-10 00:56:08 +0200 <Guest18> so would i, but in this case, i only compare once
2020-10-10 00:56:42 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 00:56:56 +0200 <dsal> Sure, it's clear enough.
2020-10-10 00:57:22 +0200 <Guest18> any other suggestions? how would you do it?
2020-10-10 00:58:17 +0200 <dsal> I tend not to use let like you're doing in deleteOn. where is a bit nicer there, I think.
2020-10-10 00:58:23 +0200 <dsal> Also, have you considered making your BST Foldable?
2020-10-10 00:58:47 +0200 <dsal> `foldr1 min (flatten right)` is basically `minimum right`
2020-10-10 00:58:49 +0200 <Guest18> Yes, I did, but I do not posses the knowledge to know how to do it
2020-10-10 00:59:13 +0200 <Guest18> I know what the typeclass is, i don't know how to make it an instance of Foldable though
2020-10-10 00:59:37 +0200 <monochrom> Foldable is going to be a distraction at this stage.
2020-10-10 00:59:44 +0200 <Guest18> yeah, actually where would be nicer, thank you
2020-10-10 00:59:59 +0200xff0x(~fox@2001:1a81:520e:b00:31b6:6e9a:3cee:6489) (Ping timeout: 272 seconds)
2020-10-10 01:00:37 +0200 <dsal> Well, I guess in any case, `foldr1 min` is `minimum` -- both are partial.
2020-10-10 01:01:59 +0200 <monochrom> "deleteBST nextSuccesor left" sounds like simply "left".
2020-10-10 01:02:01 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 264 seconds)
2020-10-10 01:02:30 +0200 <monochrom> "foldr1 min (flatten right)" sounds like "head (flatten right)"
2020-10-10 01:03:49 +0200rayer(path@gateway/shell/xshellz/x-wnmzeedxnwlaimsy) (Ping timeout: 264 seconds)
2020-10-10 01:03:49 +0200 <monochrom> in the context of binary search trees, that is
2020-10-10 01:03:56 +0200 <Guest18> i understand the latter, but the former seems weird
2020-10-10 01:03:58 +0200ulidtko|k(~ulidtko@193.111.48.79) (Ping timeout: 260 seconds)
2020-10-10 01:04:34 +0200 <Guest18> if i said simply left, how would i delete the extra node left there? I would have duplicates in the tree
2020-10-10 01:04:38 +0200 <monochrom> The successor is from the right subtree only, so there is no need to modify the left subtree?
2020-10-10 01:04:52 +0200rayer(path@gateway/shell/xshellz/x-xigijdelvsqhpmpl)
2020-10-10 01:04:58 +0200 <Guest18> Oh
2020-10-10 01:05:08 +0200 <Guest18> Yeah, that makes sense
2020-10-10 01:06:35 +0200 <Guest18> Yeah, since flatten traverses the tree in order, the resulting list is sorted, so the minimum is the head, i didn't think of that
2020-10-10 01:06:38 +0200 <dsal> Oh, `deleteOn` is slightly misleading. I didn't actually read it. heh. If you're not using `x` it'd be clearer to not name it.
2020-10-10 01:07:31 +0200 <monochrom> Nice. In that case get rid of the parameter altogether.
2020-10-10 01:07:38 +0200 <Guest18> actually, it is never used, so why bother taking as a parameter
2020-10-10 01:07:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 01:08:04 +0200xff0x(~fox@2001:1a81:5216:ad00:31b6:6e9a:3cee:6489)
2020-10-10 01:10:21 +0200 <Guest18> https://dpaste.com/3PXJGRMV8 -- new version
2020-10-10 01:10:30 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net)
2020-10-10 01:10:31 +0200 <Guest18> I am actually quite happy with this
2020-10-10 01:12:08 +0200 <Guest18> It feels good to actually make something useful with a new language you just started learning
2020-10-10 01:13:10 +0200 <Guest18> any ideas for projects that i can do with haskell?
2020-10-10 01:13:37 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 01:13:47 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-10 01:13:48 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-10 01:13:48 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 01:14:53 +0200 <Guest18> I was thinking of making a small shell with haskell, like a restricted version of bash - only the basic commands
2020-10-10 01:21:15 +0200 <Guest18> I reckon you don't dig the idea?
2020-10-10 01:21:30 +0200TJChem(~timotayj@188.214.15.156) (Quit: Lost terminal)
2020-10-10 01:21:59 +0200 <Clint> i think it's a great idea
2020-10-10 01:24:32 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-10 01:25:19 +0200zhenchaoli(~user@2601:641:8000:4f00:58ae:cf75:1df1:eeff) (Ping timeout: 272 seconds)
2020-10-10 01:26:57 +0200hackageweb-plugins 0.3.0 - dynamic plugin system for web applications https://hackage.haskell.org/package/web-plugins-0.3.0 (JeremyShaw)
2020-10-10 01:27:17 +0200Forkk_(forkk@2600:3c00::f03c:91ff:fe84:de4d) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-10 01:27:27 +0200 <Guest18> Awesome! I will get around to it soon. I still have more to learn about IO, and it does seem pretty scary
2020-10-10 01:27:44 +0200zaquest(~notzaques@5.128.210.178)
2020-10-10 01:27:46 +0200nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-10 01:28:58 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 01:29:11 +0200Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d)
2020-10-10 01:29:42 +0200Ariakenom__(~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2020-10-10 01:30:08 +0200jdgr(601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) (Ping timeout: 256 seconds)
2020-10-10 01:30:45 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-10 01:30:59 +0200son0p(~son0p@181.136.122.143) (Remote host closed the connection)
2020-10-10 01:32:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 01:32:57 +0200hackageciteproc 0.1 - Generates citations and bibliography from CSL styles. https://hackage.haskell.org/package/citeproc-0.1 (JohnMacFarlane)
2020-10-10 01:33:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-10 01:34:02 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-10 01:34:03 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 01:35:13 +0200 <ski> Guest18 : `deleteOn' could be called `merge' ?
2020-10-10 01:37:08 +0200 <ski> redundant brackets in `flatten'
2020-10-10 01:38:33 +0200 <ski> i might define a `splitMin' operation, that both gives the minimum, and the remaining tree
2020-10-10 01:39:02 +0200 <Guest18> ski: I mean, I don't really see how it merges stuff any more than the other functions, and I wanted to emphasize that it has a connection with deleteBST, same way I did with `depth` and `depthGo` earlier. It seemed appropiate, because it deletes the root on that subtree
2020-10-10 01:39:22 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 272 seconds)
2020-10-10 01:39:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 01:39:59 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-10 01:40:06 +0200 <Guest18> how would i implement splitMin?
2020-10-10 01:42:07 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-10 01:43:04 +0200 <dsal> Guest18: one way to emphasize that connection is to stick it in a where clause where it's used. :)
2020-10-10 01:43:22 +0200 <ski> the minimum element is always in the left-most leaf
2020-10-10 01:43:48 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net) ()
2020-10-10 01:44:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-10 01:44:17 +0200 <ski> Guest18 : your `deleteOn' takes two trees (and an element that's always ignored), and combines them into a single tree
2020-10-10 01:44:34 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-10-10 01:44:36 +0200 <Guest18> dsal: but it was too big for a where clause, wasn't it?
2020-10-10 01:44:43 +0200 <ski> (ah, sorry, in your last paste version, you didn't pass it the element)
2020-10-10 01:45:07 +0200xff0x(~fox@2001:1a81:5216:ad00:31b6:6e9a:3cee:6489) (Ping timeout: 240 seconds)
2020-10-10 01:45:12 +0200pera(~pera@unaffiliated/pera) (Quit: leaving)
2020-10-10 01:45:18 +0200 <bliminse> Guest18: unrelated to current query, but before on project suggestion, I liked what you said but you may wanna try a more specific one first to learn IO and other bits
2020-10-10 01:45:36 +0200 <dsal> Guest18: too big? It's never too big! :)
2020-10-10 01:45:40 +0200 <bliminse> you could try something like parsing git log results and constructing a tree
2020-10-10 01:45:54 +0200 <ski> if you wanted `deleteOn' to be an implementation detail of `deleteBST', you could define `deleteOn' inside a `where' attached to `deleteBST'
2020-10-10 01:46:13 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-10 01:46:14 +0200 <bliminse> i.e., if you have any git repo run git log --pretty="tformat:%h{%aI{%an{%d{%s" | column -t -s '{' and save that to file
2020-10-10 01:46:17 +0200jedws(~jedws@121.209.161.98)
2020-10-10 01:46:24 +0200 <ski> but merging two `BST's sounds like it could be an independently interesting operation
2020-10-10 01:46:45 +0200 <ski> (ah, i see dsal was talking about the same thing)
2020-10-10 01:47:05 +0200Lycurgus(~niemand@98.4.96.130)
2020-10-10 01:47:07 +0200 <bliminse> then you can pick up skills on reading/parsing, building a tree, optionally doing some folding on the tree to gather stats (e.g., number of commits per year/month), then write stats to a file
2020-10-10 01:47:09 +0200 <Guest18> bliminse: this is good stuff, what else do you got?
2020-10-10 01:47:31 +0200 <bliminse> so you pick up read, parse, folds/unfolds, writing, and who knows what else xD
2020-10-10 01:48:08 +0200 <Guest18> ski: I didn't know `where` can fit function definitions longer than a line
2020-10-10 01:49:23 +0200 <Guest18> Although it does make sense now that i think about it, otherwise i couldn't have made this module, as it uses a where in the beginning
2020-10-10 01:49:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 01:50:17 +0200leungbk(~user@2605:e000:1315:706:26ff:1608:dcbb:bfdf) (Remote host closed the connection)
2020-10-10 01:51:20 +0200 <ski> Guest18 : ah. now you know :)
2020-10-10 01:51:32 +0200 <ski> you can, of course, also put type signatures in there
2020-10-10 01:52:50 +0200 <Guest18> So you're saying make deleteOn to be merge, that takes 2 BSTs and merges them, and i can apply the deleteBST to the left subtree before giving it to merge, and then construct a minSplit function and define it in a where clause in deleteBST, that will return the minimum of the right subtree, aka head (flatten right)
2020-10-10 01:53:00 +0200 <Guest18> am i undersanding this correctly?
2020-10-10 01:53:07 +0200conal(~conal@64.71.133.70) (Ping timeout: 240 seconds)
2020-10-10 01:53:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-10 01:54:29 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 01:55:03 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 01:55:15 +0200 <ski> why apply `deleteBST' ?
2020-10-10 01:55:44 +0200 <ski> `minSplit' would not be defined locally, since it could well be a common operation a user could want to do
2020-10-10 01:56:19 +0200 <ski> and your `deleteOn'/`merge' could be defined, in terms of `minSplit'
2020-10-10 01:56:35 +0200 <ski> (instead of using `flatten' and `deleteBST')
2020-10-10 01:56:39 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 01:58:11 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 240 seconds)
2020-10-10 01:58:39 +0200 <Guest18> I am sorry, but I don't see how this would eliminate deleteBST from being called in `merge`
2020-10-10 01:58:49 +0200 <Guest18> I still need it
2020-10-10 01:59:16 +0200xff0x(~fox@2001:1a81:5233:da00:49ff:f70d:c215:5652)
2020-10-10 01:59:35 +0200 <Guest18> I am also really really tired, it's 3 AM here
2020-10-10 02:00:02 +0200larsan1(~larsan@178.239.168.171) ()
2020-10-10 02:01:22 +0200Katarushisu2(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-10 02:01:26 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-10 02:02:05 +0200Katarushisu(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-10-10 02:02:05 +0200Katarushisu2Katarushisu
2020-10-10 02:03:15 +0200 <Guest18> the edges of the screen are starting to get blurry
2020-10-10 02:03:32 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 02:05:42 +0200 <dsal> Sleep solves a lot of programming problems.
2020-10-10 02:07:01 +0200 <Guest18> Schlafen is fur die Schwachen
2020-10-10 02:07:52 +0200 <Guest18> ist
2020-10-10 02:10:24 +0200sand_dull(~theuser@104.140.53.43)
2020-10-10 02:13:29 +0200perrier-jouet(perrier-jo@gateway/vpn/privateinternetaccess/perrier-jouet)
2020-10-10 02:14:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 02:14:50 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-10 02:16:11 +0200 <ski> Guest18 : why do you need it ?
2020-10-10 02:16:49 +0200ski. o O ( "Ich will mit mein Kopf arbeiten. Am liebsten möchtest ich schlafen." )
2020-10-10 02:18:20 +0200 <MarcelineVQ> ichkabibble
2020-10-10 02:19:12 +0200Katarushisu5(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-10 02:19:13 +0200Katarushisu(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-10 02:19:14 +0200Katarushisu5Katarushisu
2020-10-10 02:19:33 +0200 <Guest18> I need it to delete the duplicate from the right subtree. If the element i need to delete has two subtrees, i take the minimum from the right subtree, as discussed, and set it as the new root. If i stop there, that minimum element from the right subtree is still there, resulting in a duplicate in my tree
2020-10-10 02:20:18 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-10 02:20:26 +0200 <ski> yes. that's why i thought using a `splitMin' would be nicer there
2020-10-10 02:21:02 +0200 <Guest18> So splitMin would return the minimum and the tree without that minimum, you say
2020-10-10 02:21:39 +0200 <Guest18> i a tuple
2020-10-10 02:21:42 +0200 <Guest18> in*
2020-10-10 02:22:31 +0200 <Guest18> right, ski?
2020-10-10 02:22:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 02:23:06 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 02:23:23 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 02:23:42 +0200 <ski> yes
2020-10-10 02:25:34 +0200mcmoor(727ca7e4@114.124.167.228)
2020-10-10 02:26:53 +0200 <Guest18> ok, will do it tomorrow
2020-10-10 02:27:00 +0200 <Guest18> i seriously need to sleep now
2020-10-10 02:27:16 +0200 <Guest18> goodbye, for now
2020-10-10 02:27:31 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-10 02:28:09 +0200rekahsoft(~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds)
2020-10-10 02:29:43 +0200 <mcmoor> I think I might re ask my question I have data CT (c :: Color) (a :: *) where E :: CT Black a T :: Valid c c1 c2 => SColor c -> (CT c1 a) -> a -> (CT c2 a) -> CT c aclass Valid (c :: Color) (c1 :: Color) (c2 :: Color) whereinstance Valid Red Black Black instance Valid Black c1 c2
2020-10-10 02:30:44 +0200 <mcmoor> https://repl.it/repls/DisastrousClientsideDataset#main.hs
2020-10-10 02:31:30 +0200 <mcmoor> I thought that because of Valid the tree only allows Red Black Black or Black (any color) (any color)
2020-10-10 02:31:38 +0200 <mcmoor> But then there's this code
2020-10-10 02:31:40 +0200 <mcmoor> redden :: CT c a -> DT aredden (T B a x y) = DT R a x yredden (T BB a x y) = DT B a x yredden (T R a x y) = DT NB a x yredden (T NB a x y) = error "Nope"
2020-10-10 02:31:57 +0200 <mcmoor> and somehow it's compiled eventhough the tree contatins NB and BB
2020-10-10 02:33:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 02:34:52 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 02:35:02 +0200MVQq(~anja@198.254.202.72)
2020-10-10 02:35:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 02:35:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 02:35:40 +0200MVQq(~anja@198.254.202.72) (Client Quit)
2020-10-10 02:35:55 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-10 02:36:18 +0200MVQq(~anja@198.254.202.72)
2020-10-10 02:36:19 +0200MVQq(~anja@198.254.202.72) (Client Quit)
2020-10-10 02:36:30 +0200 <dolio> I don't understand the problem.
2020-10-10 02:36:56 +0200Guest18(4f7755cb@gateway/web/cgi-irc/kiwiirc.com/ip.79.119.85.203) (Quit: Ping timeout (120 seconds))
2020-10-10 02:37:53 +0200MarcelineVQ(~anja@198.254.202.72) (Ping timeout: 260 seconds)
2020-10-10 02:38:09 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-10 02:39:33 +0200 <mcmoor> the Valid Instance only allows Valid Red Black Black and Valid Black c1 c2
2020-10-10 02:39:59 +0200 <dolio> Those are the only ones you wrote so far.
2020-10-10 02:40:41 +0200 <dolio> Matching on a GADT doesn't go look for which typeclass instances have been written currently to filter out cases.
2020-10-10 02:41:23 +0200 <dolio> If you want that, then Valid should probably be a GADT.
2020-10-10 02:41:41 +0200 <dolio> E.G. instead of the singleton colors, make it a relation GADT.
2020-10-10 02:42:52 +0200 <mcmoor> Oh really? Interesting
2020-10-10 02:43:08 +0200 <mcmoor> This is not my code and I'm trying to understand how it works
2020-10-10 02:43:51 +0200 <ski> (or a type family ?)
2020-10-10 02:43:55 +0200 <mcmoor> But like in GHCI I can't make something like (T BB a x y) or (T NB a x y) without being scolded by the compiler so I'm confused why it allows this one
2020-10-10 02:44:03 +0200 <dolio> Yeah, there are probably multiple ways to do it.
2020-10-10 02:44:13 +0200 <ski> (a closed one, i mean)
2020-10-10 02:48:20 +0200 <dolio> I think the issue with that would be that GADTs (inductive families) are kind of genuinely different than type families (recursively defined types) in Haskell, because of bottom.
2020-10-10 02:49:09 +0200 <dolio> Or maybe the coverage checker is smart enough for that, I'm not sure.
2020-10-10 02:49:28 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-10 02:49:42 +0200Axman6(~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection)
2020-10-10 02:49:55 +0200perrier-jouet(perrier-jo@gateway/vpn/privateinternetaccess/perrier-jouet) (Ping timeout: 260 seconds)
2020-10-10 02:50:01 +0200Axman6(~Axman6@pdpc/supporter/student/Axman6)
2020-10-10 02:53:13 +0200 <dolio> mcmoor: Yeah, you can't build them, because there's no instance in scope to build them.
2020-10-10 02:53:23 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-10 02:53:26 +0200 <dolio> But you can't assume that a function won't receive one.
2020-10-10 02:53:40 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 02:54:23 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 02:54:47 +0200 <dolio> Type classes aren't closed, so in principle, someone could write an instance, build one, and give it to your function.
2020-10-10 02:55:46 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 02:56:09 +0200 <mcmoor> Oh yeah I just remember than you can add instances in other program
2020-10-10 02:56:36 +0200 <mcmoor> So now I'm questioning the intent of the code author... Thank you very much!
2020-10-10 02:56:43 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 02:56:58 +0200abian1(~abian@89.47.234.28)
2020-10-10 02:57:09 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-10 02:57:22 +0200 <dolio> Even if you could reason from all the instances in scope that no others could be declared under GHC's rules, you still can't really assume that.
2020-10-10 02:57:36 +0200 <dolio> Because it's not that sophisticated.
2020-10-10 02:58:06 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 02:58:10 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:4dfb:5801:d091:3e18)
2020-10-10 02:59:00 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 03:00:50 +0200jdgr(601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-10-10 03:04:46 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 03:05:18 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 03:05:26 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-10 03:07:03 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c) (Client Quit)
2020-10-10 03:08:37 +0200Icewing(~Icewing@unaffiliated/icewing) (Ping timeout: 264 seconds)
2020-10-10 03:09:17 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c)
2020-10-10 03:12:50 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-10 03:12:52 +0200xff0x(~fox@2001:1a81:5233:da00:49ff:f70d:c215:5652) (Ping timeout: 260 seconds)
2020-10-10 03:14:28 +0200xff0x(~fox@2001:1a81:5240:100:49ff:f70d:c215:5652)
2020-10-10 03:15:16 +0200abhixec(~abhixec@c-67-169-141-95.hsd1.ca.comcast.net)
2020-10-10 03:18:05 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-10 03:18:35 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 03:18:35 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 03:18:35 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 03:20:05 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-10 03:25:48 +0200cr0ssw1nd(~crosswind@adsl-174.176.58.193.tellas.gr) (Ping timeout: 256 seconds)
2020-10-10 03:28:42 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Read error: Connection reset by peer)
2020-10-10 03:28:43 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-10 03:29:08 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494)
2020-10-10 03:29:49 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 03:30:48 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Client Quit)
2020-10-10 03:31:18 +0200oisdk(~oisdk@2001:bb6:3329:d100:d4b4:3667:7218:633) (Quit: oisdk)
2020-10-10 03:31:58 +0200hackagehasql-dynamic-statements 0.3 - Toolkit for constructing Hasql statements dynamically https://hackage.haskell.org/package/hasql-dynamic-statements-0.3 (NikitaVolkov)
2020-10-10 03:32:51 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 03:33:21 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-10 03:33:49 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-10 03:33:53 +0200alp_(~alp@2a01:e0a:58b:4920:3c2d:d48c:8093:50d4) (Ping timeout: 272 seconds)
2020-10-10 03:34:43 +0200Tops21(~Tobias@dyndsl-095-033-021-014.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-10 03:34:53 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-10 03:36:22 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 03:36:33 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-10 03:36:39 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-10 03:36:39 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 03:36:51 +0200z0(~z0@104.248.22.38)
2020-10-10 03:44:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 03:48:34 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-10 03:48:51 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-10 03:49:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-10 03:50:28 +0200hackageZ-IO 0.1.4.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.4.0 (winterland)
2020-10-10 03:50:39 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: No route to host)
2020-10-10 03:50:55 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-10 03:50:56 +0200z0(~z0@104.248.22.38) (Quit: Lost terminal)
2020-10-10 03:53:38 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-10-10 03:59:49 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-10 04:02:09 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 04:03:05 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-10 04:04:21 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 04:08:04 +0200cosimone_(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad)
2020-10-10 04:08:18 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-10 04:09:07 +0200theDon(~td@94.134.91.7) (Ping timeout: 240 seconds)
2020-10-10 04:09:10 +0200Sososasa(~textual@2601:643:8000:a570:9513:b921:a468:618c) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-10 04:10:03 +0200Rudd0^(~Rudd0@185.189.115.98) (Ping timeout: 260 seconds)
2020-10-10 04:11:12 +0200theDon(~td@muedsl-82-207-238-179.citykom.de)
2020-10-10 04:11:35 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 260 seconds)
2020-10-10 04:11:36 +0200cosimone_cosimone
2020-10-10 04:14:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 04:16:22 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-10-10 04:16:31 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-10 04:22:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-10 04:22:23 +0200jdgr(601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) (Quit: Connection closed)
2020-10-10 04:24:30 +0200wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2020-10-10 04:25:38 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-10 04:27:13 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-10 04:30:28 +0200shatriff(~vitaliish@78.111.190.16) (Remote host closed the connection)
2020-10-10 04:31:05 +0200shatriff(~vitaliish@78.111.190.16)
2020-10-10 04:32:46 +0200rayer(path@gateway/shell/xshellz/x-xigijdelvsqhpmpl) ()
2020-10-10 04:36:30 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2020-10-10 04:37:07 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 240 seconds)
2020-10-10 04:38:37 +0200sepi(49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-10-10 04:39:41 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-10 04:41:23 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 04:42:46 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 04:45:09 +0200spew(uid195861@gateway/web/irccloud.com/x-bxhjiqhornabfyxm) (Quit: Connection closed for inactivity)
2020-10-10 04:45:24 +0200 <sepi> Might be a dumb question but if I wanted to pair two numbers, can I just do list comprehension for that
2020-10-10 04:45:48 +0200 <ghoulguy> What would lists have to do with it?
2020-10-10 04:47:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 04:47:39 +0200 <sepi> Finite state machine doing the union function, for the start state. I believe they just start simontaenously so they are just paired like (s1, s2)
2020-10-10 04:48:16 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 04:49:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 04:50:34 +0200 <dsal> pair sounds a lot like a tuple.
2020-10-10 04:50:40 +0200 <dsal> Yeah, that's a tuple.
2020-10-10 04:50:51 +0200 <dsal> Perhaps you could expand your problem statement a bit.
2020-10-10 04:51:15 +0200 <c_wraith> or at least explain why you think lists are involved. that question is still standing.
2020-10-10 04:51:31 +0200 <ski> sepi's doing finite state machines, iirc ?
2020-10-10 04:52:21 +0200 <ski> sepi : if you want to pair corresponding elements, then a plain list comprehension will not do that
2020-10-10 04:52:38 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 04:52:44 +0200 <ski> > [(s,t) | s <- [0,1,2],t <- [3,4,5]]
2020-10-10 04:52:46 +0200 <lambdabot> [(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)]
2020-10-10 04:52:52 +0200 <ski> > zip [0,1,2] [3,4,5]
2020-10-10 04:52:55 +0200 <lambdabot> [(0,3),(1,4),(2,5)]
2020-10-10 04:53:27 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 04:53:32 +0200 <ski> > [(s,t) | s <- [0,1,2] | t <- [3,4,5]] -- using the `ParallelListComp' language extension
2020-10-10 04:53:34 +0200 <lambdabot> [(0,3),(1,4),(2,5)]
2020-10-10 04:54:07 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 04:54:21 +0200 <MarcelineVQ> you've gone mad with power
2020-10-10 04:55:15 +0200 <sepi> https://dpaste.org/d6WS
2020-10-10 04:55:51 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-10 04:56:27 +0200 <sepi> >zip 1 2
2020-10-10 04:56:31 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 04:56:36 +0200 <ghoulguy> > (1, 2)
2020-10-10 04:56:38 +0200 <lambdabot> (1,2)
2020-10-10 04:57:31 +0200chenshen(~chenshen@2620:10d:c090:400::5:1bbd) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2020-10-10 05:00:02 +0200abian1(~abian@89.47.234.28) ()
2020-10-10 05:00:45 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-10-10 05:01:12 +0200 <ski> how's `(><)'
2020-10-10 05:01:17 +0200 <ski> defined ?
2020-10-10 05:01:40 +0200pjbGuest84936
2020-10-10 05:02:55 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 05:04:24 +0200theDon(~td@muedsl-82-207-238-179.citykom.de) (Ping timeout: 256 seconds)
2020-10-10 05:04:27 +0200Guest84936(~t@2a01cb04063ec50000323e4acd27c310.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-10-10 05:04:27 +0200 <sepi> From my understanding its a Cartesian product function
2020-10-10 05:04:44 +0200pjb(~t@2a01cb04063ec50000393c8482ae9564.ipv6.abo.wanadoo.fr)
2020-10-10 05:04:45 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 240 seconds)
2020-10-10 05:04:55 +0200 <sepi> xs >< ys = [(x,y) | x <- xs, y <- ys]. or is that exactly the same thing of what I was trying to do
2020-10-10 05:05:05 +0200 <ski> yes, that's cartesian product
2020-10-10 05:05:13 +0200 <sepi> 👍
2020-10-10 05:05:17 +0200chenshen(~chenshen@2620:10d:c090:400::5:1bbd)
2020-10-10 05:05:43 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 260 seconds)
2020-10-10 05:06:05 +0200drbean(~drbean@TC210-63-209-30.static.apol.com.tw)
2020-10-10 05:06:15 +0200theDon(~td@muedsl-82-207-238-081.citykom.de)
2020-10-10 05:06:50 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-10 05:08:21 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 05:08:28 +0200hackagemicro-gateway 1.1.0.1 - A Micro service gateway. https://hackage.haskell.org/package/micro-gateway-1.1.0.1 (Lupino)
2020-10-10 05:15:46 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer)
2020-10-10 05:16:55 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-10 05:17:18 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Quit: cosimone)
2020-10-10 05:17:47 +0200sand_dull(~theuser@104.140.53.43)
2020-10-10 05:19:20 +0200 <sepi> https://dpaste.org/ajxX
2020-10-10 05:20:13 +0200 <sepi> for trans function am I just literally translating it like that
2020-10-10 05:20:23 +0200 <sepi> The comment has what I'm going off of
2020-10-10 05:20:30 +0200 <koz_> The wince operator?
2020-10-10 05:21:40 +0200paxed1(~paxed@185.204.1.185)
2020-10-10 05:22:36 +0200berberman_(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-10 05:23:07 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-10 05:27:24 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 05:27:24 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 05:28:05 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 05:28:11 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 05:29:25 +0200taurux(~taurux@net-93-144-148-150.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-10 05:29:56 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 05:30:07 +0200taurux(~taurux@net-188-152-137-210.cust.dsl.teletu.it)
2020-10-10 05:32:56 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 05:34:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 05:35:04 +0200sepi(49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2020-10-10 05:37:28 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 05:38:26 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-10 05:38:51 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-10 05:38:57 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 05:44:27 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-10 05:51:14 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 05:53:48 +0200slack1256(~slack1256@181.203.124.243)
2020-10-10 05:54:27 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds)
2020-10-10 05:55:37 +0200 <slack1256> If I want to do native UI and FRP, which libraries will give me the least friction?
2020-10-10 05:56:18 +0200 <slack1256> I've only done gi-gtk and I liked it. But I haven't seen the FRP light apart from some SwiftUI usage (which is just reactive).
2020-10-10 05:56:20 +0200thecoffemaker(~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 265 seconds)
2020-10-10 05:59:27 +0200koz_(~koz@121.99.240.58) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-10 05:59:48 +0200koz(~koz@2404:4408:4303:8800:4270:af80:81b7:2f9)
2020-10-10 06:00:14 +0200kozkoz_
2020-10-10 06:00:39 +0200Wuzzy(~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-10 06:04:08 +0200Rudd0(~Rudd0@185.189.115.98)
2020-10-10 06:05:56 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-10 06:06:27 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 06:11:00 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Quit: )
2020-10-10 06:15:27 +0200hackageformatting 7.0.0 - Combinator-based type-safe formatting (like printf() or FORMAT) https://hackage.haskell.org/package/formatting-7.0.0 (AlexChapman)
2020-10-10 06:15:56 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-10 06:20:37 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-10 06:24:49 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-10 06:27:26 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-10 06:28:26 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-10 06:29:36 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 06:29:56 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-10 06:31:17 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 06:31:39 +0200jedws(~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 06:32:26 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-10 06:33:04 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 06:33:56 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-10 06:34:09 +0200day_(~Unknown@unaffiliated/day)
2020-10-10 06:37:22 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-10 06:37:22 +0200day_day
2020-10-10 06:39:28 +0200hackagelongshot 0.1.0.0 - Fast Brute-force search using parallelism https://hackage.haskell.org/package/longshot-0.1.0.0 (thyeem)
2020-10-10 06:39:39 +0200Tario(~Tario@201.192.165.173)
2020-10-10 06:43:11 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 258 seconds)
2020-10-10 06:44:05 +0200falafel(~falafel@cpe-104-172-194-249.socal.res.rr.com)
2020-10-10 06:44:58 +0200Buntspecht(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-10 06:45:16 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-10 06:46:30 +0200howdoi(uid224@gateway/web/irccloud.com/x-nyfmrtbjovrebhnn) (Quit: Connection closed for inactivity)
2020-10-10 06:47:57 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 06:47:58 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 06:47:58 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-10 06:48:10 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-10 06:53:57 +0200hackagelongshot 0.1.0.1 - Fast Brute-force search using parallelism https://hackage.haskell.org/package/longshot-0.1.0.1 (thyeem)
2020-10-10 06:55:58 +0200hackageformatting 7.0.0.1 - Combinator-based type-safe formatting (like printf() or FORMAT) https://hackage.haskell.org/package/formatting-7.0.0.1 (AlexChapman)
2020-10-10 06:56:16 +0200chenshen(~chenshen@2620:10d:c090:400::5:1bbd) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2020-10-10 06:56:18 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
2020-10-10 06:57:47 +0200falafel(~falafel@cpe-104-172-194-249.socal.res.rr.com) (Ping timeout: 240 seconds)
2020-10-10 06:59:45 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 07:00:00 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 256 seconds)
2020-10-10 07:01:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 07:02:17 +0200slack1256(~slack1256@181.203.124.243) (Remote host closed the connection)
2020-10-10 07:04:57 +0200jedws(~jedws@121.209.161.98)
2020-10-10 07:05:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 07:05:27 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-10 07:06:22 +0200alinab(~alinab@c-73-73-226-52.hsd1.il.comcast.net)
2020-10-10 07:08:38 +0200alinab(~alinab@c-73-73-226-52.hsd1.il.comcast.net) (Client Quit)
2020-10-10 07:10:45 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2020-10-10 07:13:12 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-10 07:15:28 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 07:17:27 +0200paxed1(~paxed@185.204.1.185) (Remote host closed the connection)
2020-10-10 07:17:29 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-10 07:18:14 +0200cyphase(~cyphase@unaffiliated/cyphase)
2020-10-10 07:20:52 +0200drbean(~drbean@TC210-63-209-30.static.apol.com.tw) (Read error: Connection reset by peer)
2020-10-10 07:28:51 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-10 07:29:21 +0200drbean(~drbean@TC210-63-209-88.static.apol.com.tw)
2020-10-10 07:29:22 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 07:30:24 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-10 07:31:19 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-10 07:31:32 +0200OldMiner(~OldMiner@s91904426.blix.com)
2020-10-10 07:31:58 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 07:32:59 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-10-10 07:33:01 +0200questionmarkking(~questionm@165.227.7.85)
2020-10-10 07:34:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 07:42:23 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 260 seconds)
2020-10-10 07:46:39 +0200ridcully(~ridcully@p57b5259e.dip0.t-ipconnect.de) (Quit: update)
2020-10-10 07:47:21 +0200ridcully(~ridcully@p57b5259e.dip0.t-ipconnect.de)
2020-10-10 07:48:04 +0200questionmarkking(~questionm@165.227.7.85) (Quit: WeeChat 2.4)
2020-10-10 07:48:19 +0200questionmarkking(~questionm@165.227.7.85)
2020-10-10 07:51:00 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-10 07:52:32 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 07:52:49 +0200inkbottle(~inkbottle@aaubervilliers-654-1-114-176.w86-198.abo.wanadoo.fr) (Ping timeout: 265 seconds)
2020-10-10 07:53:13 +0200inkbottle(~inkbottle@aaubervilliers-654-1-91-187.w86-212.abo.wanadoo.fr)
2020-10-10 07:54:13 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-10 07:56:03 +0200ggole(~ggole@2001:8003:8119:7200:c421:864a:93dc:c602)
2020-10-10 07:58:54 +0200mcmoor(727ca7e4@114.124.167.228) (Remote host closed the connection)
2020-10-10 07:59:22 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-10 07:59:49 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 260 seconds)
2020-10-10 08:00:02 +0200OldMiner(~OldMiner@s91904426.blix.com) ()
2020-10-10 08:01:12 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 256 seconds)
2020-10-10 08:01:32 +0200chenshen(~chenshen@2620:10d:c090:400::5:1bbd)
2020-10-10 08:01:54 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-10 08:03:08 +0200chenshen(~chenshen@2620:10d:c090:400::5:1bbd) (Client Quit)
2020-10-10 08:06:44 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Quit: Leaving)
2020-10-10 08:06:49 +0200Tario(~Tario@201.192.165.173)
2020-10-10 08:07:00 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 08:08:18 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Client Quit)
2020-10-10 08:08:33 +0200HaskellYogi(~vivekrama@49.207.201.29) (Remote host closed the connection)
2020-10-10 08:09:24 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 08:09:50 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 08:11:33 +0200quazimodo(~quazimodo@45.67.96.217) (Ping timeout: 260 seconds)
2020-10-10 08:13:05 +0200quazimodo(~quazimodo@27-33-123-50.tpgi.com.au)
2020-10-10 08:13:57 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-10 08:15:42 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-10 08:16:57 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2020-10-10 08:17:33 +0200ryansmccoy(~ryansmcco@68.235.48.108) (Ping timeout: 260 seconds)
2020-10-10 08:17:57 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 08:18:18 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-10-10 08:18:49 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 08:20:01 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 264 seconds)
2020-10-10 08:21:32 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 08:21:38 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-10 08:21:51 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-10 08:24:08 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:4dfb:5801:d091:3e18) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 08:25:49 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 246 seconds)
2020-10-10 08:26:01 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Quit: leaving)
2020-10-10 08:27:17 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 08:28:28 +0200hackagetasty-test-reporter 0.1.1.2 - Producing JUnit-style XML test reports. https://hackage.haskell.org/package/tasty-test-reporter-0.1.1.2 (JasperWoudenberg)
2020-10-10 08:30:05 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 08:30:53 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-10 08:31:40 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 258 seconds)
2020-10-10 08:32:28 +0200Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.142) (Ping timeout: 246 seconds)
2020-10-10 08:35:39 +0200shatriff_(~vitaliish@78.111.190.16)
2020-10-10 08:36:27 +0200hackagelongshot 0.1.0.2 - Fast Brute-force search using parallelism https://hackage.haskell.org/package/longshot-0.1.0.2 (thyeem)
2020-10-10 08:36:47 +0200abhixec(~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 08:36:54 +0200petersen(~petersen@redhat/juhp) (Quit: petersen)
2020-10-10 08:37:50 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 08:37:59 +0200shatrif__(~vitaliish@78.111.190.16)
2020-10-10 08:38:38 +0200shatriff(~vitaliish@78.111.190.16) (Ping timeout: 272 seconds)
2020-10-10 08:39:02 +0200shatriff_(~vitaliish@78.111.190.16) (Read error: Connection reset by peer)
2020-10-10 08:41:28 +0200hackagereanimate-svg 0.13.0.0 - SVG file loader and serializer https://hackage.haskell.org/package/reanimate-svg-0.13.0.0 (DavidHimmelstrup)
2020-10-10 08:43:04 +0200hackagepretty-diff 0.2.0.2 - Pretty printing a diff of two values. https://hackage.haskell.org/package/pretty-diff-0.2.0.2 (JasperWoudenberg)
2020-10-10 08:43:04 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 272 seconds)
2020-10-10 08:43:51 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 08:46:13 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 08:46:20 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 08:47:30 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 08:48:05 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 08:48:31 +0200polyrain(~polyrain@2001:8003:e501:6901:44df:4585:3f4:a65c)
2020-10-10 08:49:03 +0200TMA(tma@twin.jikos.cz)
2020-10-10 08:50:07 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-10 08:54:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 08:54:47 +0200shatrif__(~vitaliish@78.111.190.16) (Read error: Connection reset by peer)
2020-10-10 08:55:21 +0200shatriff(~vitaliish@78.111.190.16)
2020-10-10 08:55:50 +0200mrafiee(~mrafiee@84.39.117.57)
2020-10-10 09:09:03 +0200stree(~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-10 09:09:21 +0200stree(~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-10 09:09:54 +0200Icewing(~Icewing@unaffiliated/icewing)
2020-10-10 09:12:57 +0200Icewing(~Icewing@unaffiliated/icewing) (Client Quit)
2020-10-10 09:15:06 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 09:16:46 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 09:20:05 +0200_vaibhavingale_(~Adium@203.188.228.27) (Ping timeout: 260 seconds)
2020-10-10 09:21:15 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 09:27:34 +0200nineonin_(~nineonine@50.216.62.2)
2020-10-10 09:27:54 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 09:30:05 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 240 seconds)
2020-10-10 09:31:05 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 09:33:26 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-10 09:34:39 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 09:34:40 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-10 09:34:49 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-10 09:34:49 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-10 09:34:49 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 09:37:40 +0200z0(~z0@bl15-167-177.dsl.telepac.pt)
2020-10-10 09:38:53 +0200 <z0> i just found out you can have infix arguments: f (><) x = x >< x ; f (+) 3 => 6 ; f (*) 3 => 9
2020-10-10 09:40:40 +0200knupfer(~Thunderbi@200116b824272b00e02273e6d9c824b5.dip.versatel-1u1.de)
2020-10-10 09:41:04 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 09:42:17 +0200polyrain(~polyrain@2001:8003:e501:6901:44df:4585:3f4:a65c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 09:44:09 +0200 <dminuoso> z0: How is that infix arguments?
2020-10-10 09:44:21 +0200 <dminuoso> And, what is an "infix argument" even?
2020-10-10 09:45:28 +0200hackagemetro 0.1.0.4 - A simple tcp and udp socket server framework https://hackage.haskell.org/package/metro-0.1.0.4 (Lupino)
2020-10-10 09:45:55 +0200 <dminuoso> Oh.
2020-10-10 09:46:03 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2020-10-10 09:46:14 +0200 <dminuoso> It felt so intuitive, I didn't even notice what you did there.
2020-10-10 09:46:28 +0200 <dminuoso> z0: What's also cool, is that you can have infix data constructors :)
2020-10-10 09:48:17 +0200 <z0> dminuoso: yup :) i didnt know how to call it besides infix arguments
2020-10-10 09:48:47 +0200 <dminuoso> operator arguments maybe?
2020-10-10 09:49:56 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-10 09:50:37 +0200 <z0> that makes more sense
2020-10-10 09:51:49 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 09:52:11 +0200 <dminuoso> z0: Somewhat relatedly, one can define fixity declarations for non-operator variables/data construtors as well. :)
2020-10-10 09:55:13 +0200 <z0> dminuoso: ha, i never thought of that! but how could you not
2020-10-10 09:56:25 +0200 <ski> > let f (><) x = x + x >< x ^ x where infixl 7 >< in f (*) 2 -- :(
2020-10-10 09:56:28 +0200 <lambdabot> error:
2020-10-10 09:56:28 +0200 <lambdabot> The fixity signature for ‘><’ lacks an accompanying binding
2020-10-10 09:56:28 +0200 <lambdabot> (The fixity signature must be given where ‘><’ is declared)
2020-10-10 09:57:19 +0200 <dminuoso> % infix 6 `f`; f = (+) -- z0
2020-10-10 09:57:19 +0200 <yahb> dminuoso:
2020-10-10 09:58:35 +0200 <ski> % :i div
2020-10-10 09:58:36 +0200 <yahb> ski: type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; ...; div :: a -> a -> a; ...; -- Defined in `GHC.Real'; infixl 7 `div`
2020-10-10 09:58:56 +0200 <dminuoso> % infixr 5 `Cons`; data List a = Nil | Cons a (List a) deriving Show
2020-10-10 09:58:56 +0200 <yahb> dminuoso:
2020-10-10 09:59:03 +0200 <dminuoso> % 1 `Cons` 2 `Cons` 3 `Cons` Nil -- z0
2020-10-10 09:59:03 +0200 <yahb> dminuoso: Cons 1 (Cons 2 (Cons 3 Nil))
2020-10-10 09:59:36 +0200 <z0> is it impossible to define fixity for operator arguments?
2020-10-10 09:59:45 +0200 <dminuoso> Mmm, I think not
2020-10-10 10:00:15 +0200 <dminuoso> I'd have to study the grammar to be sure though
2020-10-10 10:00:19 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-10 10:00:25 +0200 <ski> > let f g x = x + x >< x ^ x where infixl 7 ><; (><) = g in f (*) 2 -- is possible
2020-10-10 10:00:29 +0200 <lambdabot> 10
2020-10-10 10:00:35 +0200 <dminuoso> Oh.
2020-10-10 10:00:44 +0200 <dminuoso> Right, because it's a declaration then
2020-10-10 10:01:17 +0200 <ski> i'm not sure whether you could associate a fixity declaration to a variable bound by a pattern in a function definition definiendum, though
2020-10-10 10:02:09 +0200 <z0> ski: yeah, that's what i got from your first example
2020-10-10 10:02:10 +0200 <ski> > let f (let infixl 7 >< in (><)) x = x + x >< x ^ x in f (*) 2 -- no workee
2020-10-10 10:02:13 +0200 <lambdabot> <hint>:1:8: error:
2020-10-10 10:02:13 +0200 <lambdabot> <hint>:1:8: error: (let ... in ...)-syntax in pattern
2020-10-10 10:04:58 +0200 <ski> mm. for some reason the derived `Show' (and `Read') instances doesn't really seem to take fixity (as opposed to precedence) into account. and not using the infix form, either, of a non-operator constructor identifier, despite having a fixity&precedence declaration in scope at the point of the deriving request
2020-10-10 10:05:17 +0200 <ski> % deriving instance Read a => Read (List a)
2020-10-10 10:05:17 +0200 <yahb> ski:
2020-10-10 10:05:40 +0200 <ski> % (reads :: ReadS (List Int)) "1 `Cons` 2 `Cons` 3 `Cons` Nil"
2020-10-10 10:05:41 +0200 <yahb> ski: []
2020-10-10 10:06:28 +0200 <ski> (i thought that maybe the `Read' instance would at least accept it, as an alternative syntax. but i guess it doesn't. probably doesn't feel the need to, since the derived `Show' instance can't generate output of that form)
2020-10-10 10:06:28 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 10:06:28 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-10 10:06:28 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-10-10 10:06:54 +0200 <ski> % (reads :: ReadS (List Int)) "1 `Cons` (2 `Cons` (3 `Cons` Nil))"
2020-10-10 10:06:54 +0200 <yahb> ski: []
2020-10-10 10:07:04 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 10:07:15 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-10 10:07:49 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-10 10:10:37 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:fc55:7103:1b55:f700)
2020-10-10 10:12:26 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-10 10:12:59 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-10 10:13:27 +0200hackagehs-server-starter 0.1.2.0 - Write a server supporting Server::Starter's protocol in Haskell https://hackage.haskell.org/package/hs-server-starter-0.1.2.0 (hiratara)
2020-10-10 10:13:54 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 10:14:28 +0200hackagenri-prelude 0.1.0.3 - A Prelude inspired by the Elm programming language https://hackage.haskell.org/package/nri-prelude-0.1.0.3 (JasperWoudenberg)
2020-10-10 10:14:48 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 10:18:04 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th)
2020-10-10 10:19:23 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 10:19:25 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 10:20:18 +0200taurux(~taurux@net-188-152-137-210.cust.dsl.teletu.it) (Read error: Connection reset by peer)
2020-10-10 10:20:56 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 10:21:04 +0200jedws(~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 10:21:09 +0200taurux(~taurux@net-130-25-214-84.cust.vodafonedsl.it)
2020-10-10 10:21:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 10:21:54 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-10 10:25:05 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 10:26:29 +0200inerkick(~rohit@117.230.159.179)
2020-10-10 10:26:43 +0200shatriff(~vitaliish@78.111.190.16) (Remote host closed the connection)
2020-10-10 10:26:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-10 10:34:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 10:35:45 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 10:36:07 +0200polyrain(~polyrain@2001:8003:e501:6901:44df:4585:3f4:a65c)
2020-10-10 10:36:14 +0200cr0ssw1nd(~crosswind@adsl-174.176.58.193.tellas.gr)
2020-10-10 10:38:16 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-pqpthentcvdfsjfm) (Quit: Connection closed for inactivity)
2020-10-10 10:38:28 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-10-10 10:38:34 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 10:38:34 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 10:38:34 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-10 10:39:07 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-10 10:39:34 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-10-10 10:42:26 +0200mrafiee(~mrafiee@84.39.117.57) (Remote host closed the connection)
2020-10-10 10:43:12 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 10:44:47 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-10 10:45:17 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-10 10:45:36 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 10:45:37 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 10:45:37 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 10:46:18 +0200coot(~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl)
2020-10-10 10:50:08 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-10 10:50:26 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 10:50:26 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 10:50:26 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 10:53:16 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving)
2020-10-10 10:53:43 +0200 <dminuoso> ski: They do
2020-10-10 10:53:51 +0200 <dminuoso> Consider:
2020-10-10 10:53:57 +0200hackageuniqueness-periods-vector-examples 0.12.0.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.12.0.0 (OleksandrZhabenko)
2020-10-10 10:55:08 +0200 <dminuoso> % infixr 5 :*:; data l :*: r = l :*: r deriving Show;
2020-10-10 10:55:09 +0200 <yahb> dminuoso:
2020-10-10 10:55:13 +0200 <dminuoso> 1 :*: 2 :*: 3
2020-10-10 10:55:19 +0200 <dminuoso> % 1 :*: 2 :*: 3
2020-10-10 10:55:19 +0200 <yahb> dminuoso: 1 :*: (2 :*: 3)
2020-10-10 10:55:21 +0200 <dminuoso> % infixl 5 :*:; data l :*: r = l :*: r deriving Show;
2020-10-10 10:55:21 +0200 <yahb> dminuoso:
2020-10-10 10:55:23 +0200 <dminuoso> % 1 :*: 2 :*: 3
2020-10-10 10:55:23 +0200 <yahb> dminuoso: (1 :*: 2) :*: 3
2020-10-10 10:55:41 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-10 10:56:00 +0200inerkick(~rohit@117.230.159.179) (Quit: Leaving)
2020-10-10 10:56:34 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-10-10 10:56:35 +0200fendor(~fendor@91.141.0.104.wireless.dyn.drei.com)
2020-10-10 10:56:46 +0200alp_(~alp@2a01:e0a:58b:4920:bd81:523d:128c:475c)
2020-10-10 10:57:28 +0200 <dminuoso> "The result of show is a syntactically correct Haskell expression containing only constants, given the fixity declarations in force at the point where the type is declared. It contains only the constructor names defined in the data type, parentheses, and spaces."
2020-10-10 10:57:30 +0200 <dminuoso> Mmm
2020-10-10 10:57:47 +0200 <dminuoso> "If the constructor is defined to be an infix operator, then the derived Read instance will parse only infix applications of the constructor (not the prefix form)."
2020-10-10 10:57:52 +0200 <dminuoso> (The latter one also applies to Show)
2020-10-10 10:58:03 +0200 <dminuoso> I guess the Haskell report leaves this a bit open to interpretation
2020-10-10 10:58:39 +0200 <dminuoso> But at the end show doesnt print your ast, which is why something like
2020-10-10 10:59:24 +0200 <dminuoso> show (1 :*: 2 :*: 3) = 1:*: (2 :*: 3)
2020-10-10 10:59:39 +0200 <dminuoso> (or not ast, rather cst)
2020-10-10 11:00:36 +0200chaosmasttter(~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de)
2020-10-10 11:00:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-10 11:08:02 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-10 11:14:17 +0200raichoo(~raichoo@dslb-188-100-004-167.188.100.pools.vodafone-ip.de)
2020-10-10 11:17:04 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-10 11:17:28 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-10 11:20:35 +0200shatriff(~vitaliish@78.111.190.16)
2020-10-10 11:20:54 +0200 <ski> dminuoso : hm, doesn't seem to me like they do, from those examples
2020-10-10 11:23:59 +0200 <dminuoso> ski: regarding that latter fact the haskell report is quite clear though
2020-10-10 11:24:20 +0200 <dminuoso> "Associativity is not used to reduce the occurrence of parentheses, although precedence may be"
2020-10-10 11:26:39 +0200 <ski> right, as i thought
2020-10-10 11:27:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 11:27:59 +0200 <ski> (if/when i do manual `Show' instances, i guess i do tend to take fixity/associativity into account, as well)
2020-10-10 11:28:52 +0200shatriff(~vitaliish@78.111.190.16) (Remote host closed the connection)
2020-10-10 11:29:00 +0200drbean(~drbean@TC210-63-209-88.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-10-10 11:29:18 +0200cr0ssw1nd(~crosswind@adsl-174.176.58.193.tellas.gr) (Ping timeout: 260 seconds)
2020-10-10 11:30:06 +0200 <dminuoso> Sure, the haskell report has all these rules about Show/Read for deriving generated only.
2020-10-10 11:30:19 +0200 <dminuoso> So even the `read . show = id` law doesnt matter for handwritten instances
2020-10-10 11:31:25 +0200alp_(~alp@2a01:e0a:58b:4920:bd81:523d:128c:475c) (Ping timeout: 272 seconds)
2020-10-10 11:31:33 +0200 <ski> yea, i do try to ensure that :)
2020-10-10 11:31:39 +0200 <ski> (for finite inputs)
2020-10-10 11:32:43 +0200 <dminuoso> Ultimately I think Show is a misguided typeclass.
2020-10-10 11:32:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-10 11:32:47 +0200knupfer(~Thunderbi@200116b824272b00e02273e6d9c824b5.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-10 11:33:23 +0200 <dminuoso> Precisely because it has no proper laws, and with the open-world assumptions and singular instances you generally don't have a sensible obvious canonical instance for most things
2020-10-10 11:33:56 +0200 <ski> elaborate on "open-world assumptions and singular instances" ?
2020-10-10 11:34:14 +0200 <dminuoso> Well, so lets say you have some library with some fancy data type and you provide a Show instance.
2020-10-10 11:34:38 +0200 <dminuoso> Why provide that Show instance at all? You can't possibly know how I need to turn that thing into a string, what formatting I want, what sort of visualizatoin
2020-10-10 11:35:02 +0200 <ski> yea. that's for pretty-printing
2020-10-10 11:35:59 +0200 <dminuoso> For debugging, sure. Though from experience you quickly hit concrete walls anyway, since you quickly have parametrized types with tyfams (solvable, but it adds more annoyance), or you have functions inside them
2020-10-10 11:35:59 +0200 <ski> (i guess it might be nice with some kind of pretty-printing (within the bounds of the syntax of Haskell), could still be nice, when testing, debugging)
2020-10-10 11:36:21 +0200 <dminuoso> Or you have some IO action inside.. things that are just not Showable
2020-10-10 11:36:22 +0200 <ski> yea, that's a problem
2020-10-10 11:36:42 +0200 <ski> it's not really a good candidate for serializatoin
2020-10-10 11:37:47 +0200 <dminuoso> And for pretty printing, a typeclass is a bad fit because any instance you provide resides in the open world, so you either have a very clear canonical way of pretty printing, or you end up with a bunch of `pprFooWithColors, pprFooWithoutDetails` functions
2020-10-10 11:37:58 +0200Guest18(4f7755cb@gateway/web/cgi-irc/kiwiirc.com/ip.79.119.85.203)
2020-10-10 11:38:56 +0200 <ski> mm. for something that's supposed to bring different pieces of code, possibly done by different people, together, i think only the former of those two could possibly be reasonable
2020-10-10 11:40:18 +0200 <ski> there's also the option that perhaps we shouldn't really be constructing strings, but some kind of code representation. say `Exp' or `TExp T'
2020-10-10 11:40:25 +0200dcabrejas(bcd609cc@188.214.9.204)
2020-10-10 11:41:06 +0200 <ski> (this could perhaps also solve, or at least help ameliorate, the issue of having different bindings in scope, possibly qualified imports, maybe with renaming, &c.)
2020-10-10 11:41:32 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-10 11:41:42 +0200 <dminuoso> Do you mean in the sense of TH quotation?
2020-10-10 11:41:51 +0200 <ski> yes. or something akin to that
2020-10-10 11:42:08 +0200 <ski> a representation where identifiers know where they're bound
2020-10-10 11:42:16 +0200 <dminuoso> At the very least with TH you have proper `id ~ antiquotation . quotation` laws.
2020-10-10 11:43:06 +0200 <ski> the MLs don't really have `Show', from what i recall. but using a standard generic printer
2020-10-10 11:43:48 +0200 <ski> (hm, possibly one can register a printer, for a particular type, in the interactor. seem to have a vague memory of something like that)
2020-10-10 11:44:30 +0200 <ski> but then, how'd one handle abstract data types ? one'd like to present values, in terms of exported API
2020-10-10 11:44:46 +0200 <dminuoso> I mean the GHC deriving generated Show instance is a standard generic printer.
2020-10-10 11:44:50 +0200 <dcabrejas> Hi, quick question about testing with stack & quickcheck. I can run tests for my local project by "stack test", however I only have a single test file, is it possible to create multiple test files and then have them all run when running "stack test"? My single file is getting large and I would like to group related tests in different files. Thank
2020-10-10 11:44:50 +0200 <dcabrejas> you.
2020-10-10 11:45:04 +0200 <dminuoso> With the option of manual control, since you can just write an instance by hand if you wanted to.
2020-10-10 11:45:12 +0200 <ski> i guess one alternative, depending, could be to define an alternative type, where the API operations are the data constructors, and then translate a value to that representation, prior to showing
2020-10-10 11:45:27 +0200 <ski> (the showing being provided automatically by the system)
2020-10-10 11:45:29 +0200 <dminuoso> But functions/IO/existentials/etc do bind GHCs hands
2020-10-10 11:45:32 +0200 <dminuoso> *tie
2020-10-10 11:46:02 +0200 <dminuoso> ski: Sure, so something like free monads rather?
2020-10-10 11:46:11 +0200 <dminuoso> (in spirit)
2020-10-10 11:46:19 +0200oldsk00l_(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2020-10-10 11:46:32 +0200 <ski> all the derived `Show' instances together would correspond to the standard printer, in the MLs, was rather the comparision i had in mind
2020-10-10 11:47:19 +0200 <ski> well, this "free" representation would only be used, when you wanted to have an abstract data type
2020-10-10 11:48:05 +0200oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2020-10-10 11:48:22 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-10 11:48:46 +0200 <ski> (e.g. in Mercury, you explicitly declare when a data-type is to have any other than the structural equality (so that the data constructors no longer need to be injective, meaning that matching can, conceptually, give multiple alternative sets of bindings))
2020-10-10 11:50:28 +0200 <dminuoso> Mmm, how can matching give multiple alternative sets of bindings?
2020-10-10 11:50:37 +0200 <dminuoso> Not sure I understand that
2020-10-10 11:54:33 +0200 <ski> well, let's say `data Ratio a = a :% a'. you define `n0 :% d0 == n1 :% d1 = n0 * d1 == n1 * d0'. if you really mean this, then `(:%)' is not injective, since `1 :% 2 == 2 :% 4' is `True'
2020-10-10 11:55:04 +0200kpyke(~kpyke@84.39.117.57)
2020-10-10 11:55:17 +0200 <ski> so, conceptually, if you do `let f (n :% d) = ..n..d.. in f (1 :% 2)', you could bind `n = 1; d = 2', but you could just as well bind `n = 2; d = 4', or other choices
2020-10-10 11:55:29 +0200kuribas(~user@ptr-25vy0i9duk6e6r75xae.18120a2.ip6.access.telenet.be)
2020-10-10 11:56:35 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-10 11:56:58 +0200 <dminuoso> Ah I see
2020-10-10 11:56:59 +0200 <ski> with this comes the proof obligation that if matching the input could produce both `n = n0; d = d0' and `n = n1; d = d1', then, you should prove that the body `..n0..d0..' is equal to the body `..n1..d1..', provided that you only know that `n0 * d1 == n1 * d0' is `True'
2020-10-10 11:58:09 +0200shatriff(~vitaliish@88.155.112.235)
2020-10-10 11:58:19 +0200 <ski> in Haskell, you have to think about this matters, on your own (or fail to do so), with no help from the implementation (since it doesn't know that you're defining a quotient type (having a user-defined equality), or perhaps a subtype, or a combination of the two)
2020-10-10 11:58:47 +0200 <ski> while, in Mercury, the implementation is aware that your data constructors are not injective, and will flag your code as non-deterministic
2020-10-10 11:58:48 +0200urdh(~urdh@unaffiliated/urdh) (Read error: Connection reset by peer)
2020-10-10 11:59:08 +0200urdh(~urdh@unaffiliated/urdh)
2020-10-10 11:59:17 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-10 11:59:48 +0200 <ski> you can't really prove to it that, at some point, the non-determinism doesn't matter, is "cancelled out". but you can promise to it, at that point, that that is the case (and that discharges the non-determinism that otherwise would taint every operation that calls the present one)
2020-10-10 12:01:08 +0200 <ski> the reason why Mercury has to do this (if it wants to support quotient types (as represented via abstract data types), sanely), is because in Mercury, equality checking is more closely integrated with semantic equality. conceptually it's the same predicate there, unlike in Haskell, which distinguishes `==' from `='
2020-10-10 12:03:18 +0200 <ski> (from the POV of Haskell, `(==)' is just another type class method. the implementation doesn't really assume that it respects some laws that one'd expect equality to satisfy. while in Mercury, the implementation does rely on such laws)
2020-10-10 12:04:22 +0200knupfer(~Thunderbi@200116b824272b00c07c84fffe7936f7.dip.versatel-1u1.de)
2020-10-10 12:04:36 +0200knupfer1(~Thunderbi@i59F7FF4B.versanet.de)
2020-10-10 12:08:41 +0200qz(~quetzal@li272-85.members.linode.com) (Read error: Connection reset by peer)
2020-10-10 12:08:57 +0200knupfer(~Thunderbi@200116b824272b00c07c84fffe7936f7.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-10 12:08:58 +0200knupfer1knupfer
2020-10-10 12:09:31 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 12:12:28 +0200hackageservant-docs-simple 0.3.0.0 - Generate endpoints overview for Servant API https://hackage.haskell.org/package/servant-docs-simple-0.3.0.0 (HolmuskTechTeam)
2020-10-10 12:13:29 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 12:13:45 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-10-10 12:13:51 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 12:14:01 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-10 12:14:01 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-10 12:14:01 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 12:14:56 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 12:15:58 +0200 <dminuoso> ski: I guess its two fold since Haskell implementations to assume reflexivity and transitivity of (=) at least.
2020-10-10 12:16:17 +0200qz(~quetzal@li272-85.members.linode.com)
2020-10-10 12:18:49 +0200dcabrejas(bcd609cc@188.214.9.204) (Ping timeout: 245 seconds)
2020-10-10 12:19:07 +0200shatriff(~vitaliish@88.155.112.235) (Ping timeout: 240 seconds)
2020-10-10 12:21:33 +0200shatriff(~vitaliish@88.155.189.140)
2020-10-10 12:22:30 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-10 12:23:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 12:25:21 +0200 <kuribas> ski: I was wondering, in dependently typed languages you could require class instances to come with proofs, and then have rewrite rules based on those proofs.
2020-10-10 12:25:44 +0200 <kuribas> ski: it would allow for more optimizations.
2020-10-10 12:28:02 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-10 12:28:44 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-10 12:29:01 +0200 <ski> dminuoso : library operations, yea. but not the language implementations themselves, afaik
2020-10-10 12:29:02 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2020-10-10 12:29:15 +0200 <ski> kuribas : yea .. possibly
2020-10-10 12:29:50 +0200alp_(~alp@2a01:e0a:58b:4920:8d6d:4e03:3914:cd97)
2020-10-10 12:30:23 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-10 12:30:23 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-10 12:30:35 +0200 <ski> (then, in HoTT, one could express quotient types with extra "equality constructors" of a data-type. and then, when defining a function, matching on inputs of that type, one'd also need to (forced by the type system, and exhaustiveness checker) prove the well-definedness condition exemplified above)
2020-10-10 12:31:23 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 12:31:41 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 12:36:05 +0200coot(~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2020-10-10 12:36:22 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 12:36:23 +0200oisdk(~oisdk@2001:bb6:3329:d100:d4b4:3667:7218:633)
2020-10-10 12:37:05 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 12:38:52 +0200rprije(~rprije@203.214.95.251) (Ping timeout: 256 seconds)
2020-10-10 12:39:22 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 12:40:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-10 12:43:18 +0200malook(~Thunderbi@5.82.111.189)
2020-10-10 12:43:58 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 12:44:47 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 12:46:13 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 12:47:16 +0200HaskellYogi(~vivekrama@49.207.201.29) (Remote host closed the connection)
2020-10-10 12:47:30 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 12:50:58 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-10 12:51:06 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-10 12:54:16 +0200burritoprogramme(5549a868@athedsl-286922.home.otenet.gr)
2020-10-10 12:54:48 +0200 <burritoprogramme> exercises to do while learning haskell in uni?
2020-10-10 12:54:56 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-10 12:55:22 +0200 <no-n> lift
2020-10-10 12:55:38 +0200 <no-n> lift as much as possible
2020-10-10 12:55:56 +0200 <burritoprogramme> :(
2020-10-10 12:55:59 +0200 <Rembane> There are some good ones but I've forgotten the link. ski, do you know the command to the Stanford course?
2020-10-10 12:56:07 +0200 <burritoprogramme> or eat borritos?
2020-10-10 12:56:15 +0200 <no-n> yes
2020-10-10 12:56:18 +0200 <davve> project euler
2020-10-10 12:56:42 +0200 <no-n> lift burritos if you can
2020-10-10 12:57:21 +0200 <Rembane> burritoprogramme: Lets start with this one: https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems
2020-10-10 12:57:39 +0200 <davve> ^ all the best students from my CS class did P.E excercies :P
2020-10-10 12:58:09 +0200 <davve> good challenges
2020-10-10 12:59:08 +0200 <davve> not haskell-specific in any way, but haskell is a good place to solve them and there are haskell solutions to everything
2020-10-10 12:59:18 +0200 <Squarism> ghoulguy, hey. You dont happen to be around? I have a question about the addressing solution you proposed.
2020-10-10 13:07:03 +0200alp_(~alp@2a01:e0a:58b:4920:8d6d:4e03:3914:cd97) (Ping timeout: 272 seconds)
2020-10-10 13:10:54 +0200xsperry(~as@unaffiliated/xsperry)
2020-10-10 13:15:45 +0200jchia__(~jchia@45.32.62.73)
2020-10-10 13:16:46 +0200jchia__(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 13:17:43 +0200jchia__(~jchia@45.32.62.73)
2020-10-10 13:18:38 +0200shatriff(~vitaliish@88.155.189.140) (Remote host closed the connection)
2020-10-10 13:18:48 +0200jchia__(~jchia@45.32.62.73) (Client Quit)
2020-10-10 13:19:17 +0200 <Zetagon> burritoprogramme: I found this to be very good: https://www.seas.upenn.edu/~cis194/spring13/lectures.html
2020-10-10 13:19:22 +0200burritoprogramme(5549a868@athedsl-286922.home.otenet.gr) (Remote host closed the connection)
2020-10-10 13:19:59 +0200 <Zetagon> aw they left
2020-10-10 13:24:37 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-10 13:26:28 +0200hackageuniqueness-periods-vector-properties 0.5.4.0 - Metrices for the maximum element for the uniqueness-periods-vector packages family. https://hackage.haskell.org/package/uniqueness-periods-vector-properties-0.5.4.0 (OleksandrZhabenko)
2020-10-10 13:26:56 +0200shatriff(~vitaliish@188.163.30.117)
2020-10-10 13:28:44 +0200jchia__(~jchia@45.32.62.73)
2020-10-10 13:28:52 +0200 <dminuoso> ski: GHCs capability to both inline or let-float, is that not using the symmetric proprety of equality?
2020-10-10 13:29:52 +0200jchia__(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 13:30:14 +0200jchia__(~jchia@45.32.62.73)
2020-10-10 13:30:26 +0200Lycurgus(~niemand@98.4.96.130)
2020-10-10 13:31:26 +0200jchia__(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 13:31:52 +0200jchia__(~jchia@45.32.62.73)
2020-10-10 13:32:31 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-10-10 13:32:55 +0200 <dminuoso> mmm.. no I guess not
2020-10-10 13:33:28 +0200 <dminuoso> Well, but transitivity is assumed by the fact that the simplifier could repeatedly inline, and it's valid because equivalence is transitive.
2020-10-10 13:33:44 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-10-10 13:35:44 +0200AlexisTP(~alexis@47.61.227.85)
2020-10-10 13:38:32 +0200jchia__(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-10 13:39:07 +0200jchia__(~jchia@58.32.35.239)
2020-10-10 13:39:11 +0200malook(~Thunderbi@5.82.111.189) (Quit: malook)
2020-10-10 13:40:05 +0200z0(~z0@bl15-167-177.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-10-10 13:42:18 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-10 13:42:18 +0200carlomagno1(~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection)
2020-10-10 13:44:03 +0200hekkaidekapus](~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-10 13:44:34 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Quit: leaving)
2020-10-10 13:44:57 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-10 13:46:35 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Client Quit)
2020-10-10 13:46:51 +0200alp_(~alp@2a01:e0a:58b:4920:6865:8133:997e:f8ce)
2020-10-10 13:47:23 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-10 13:51:05 +0200alx741(~alx741@186.178.110.231) (Ping timeout: 240 seconds)
2020-10-10 13:52:49 +0200knupfer(~Thunderbi@i59F7FF4B.versanet.de) (Quit: knupfer)
2020-10-10 13:52:51 +0200knupfer1(~Thunderbi@200116b824272b001da092274f1c78e5.dip.versatel-1u1.de)
2020-10-10 13:52:57 +0200hackageuniqueness-periods-vector-examples 0.12.1.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.12.1.0 (OleksandrZhabenko)
2020-10-10 13:53:18 +0200knupfer1(~Thunderbi@200116b824272b001da092274f1c78e5.dip.versatel-1u1.de) (Client Quit)
2020-10-10 13:53:27 +0200knupfer(~Thunderbi@200116b824272b00e587be5f92b4e04a.dip.versatel-1u1.de)
2020-10-10 13:53:40 +0200knupfer(~Thunderbi@200116b824272b00e587be5f92b4e04a.dip.versatel-1u1.de) (Client Quit)
2020-10-10 13:54:05 +0200knupfer(~Thunderbi@i59F7FF4B.versanet.de)
2020-10-10 13:54:26 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-10 13:54:42 +0200knupfer(~Thunderbi@i59F7FF4B.versanet.de) (Client Quit)
2020-10-10 13:54:46 +0200knupfer1(~Thunderbi@200116b824272b00f9d6b6afb819333d.dip.versatel-1u1.de)
2020-10-10 13:54:52 +0200knupfer1(~Thunderbi@200116b824272b00f9d6b6afb819333d.dip.versatel-1u1.de) (Client Quit)
2020-10-10 13:55:02 +0200knupfer(~Thunderbi@200116b824272b00e4544ae7b377f8af.dip.versatel-1u1.de)
2020-10-10 13:55:13 +0200HaskellYogi(~vivekrama@49.207.201.29) (Remote host closed the connection)
2020-10-10 13:56:07 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 13:56:28 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-10 13:57:15 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-10 13:58:13 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 13:58:30 +0200raichoo(~raichoo@dslb-188-100-004-167.188.100.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-10 14:00:02 +0200kpyke(~kpyke@84.39.117.57) ()
2020-10-10 14:00:46 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 246 seconds)
2020-10-10 14:02:12 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 14:04:46 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-10-10 14:05:30 +0200alx741(~alx741@181.196.68.41)
2020-10-10 14:05:35 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 14:06:10 +0200jchia__(~jchia@58.32.35.239) (Remote host closed the connection)
2020-10-10 14:06:48 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 14:07:36 +0200Lycurgus(~niemand@98.4.96.130)
2020-10-10 14:08:02 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 14:10:53 +0200AlexisTP(~alexis@47.61.227.85) (Quit: Leaving)
2020-10-10 14:11:08 +0200polyrain_(~polyrain@2001:8003:e501:6901:d09:fb7:23ea:abbf)
2020-10-10 14:12:19 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 246 seconds)
2020-10-10 14:12:22 +0200kuribas(~user@ptr-25vy0i9duk6e6r75xae.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2020-10-10 14:12:27 +0200polyrain(~polyrain@2001:8003:e501:6901:44df:4585:3f4:a65c) (Ping timeout: 240 seconds)
2020-10-10 14:12:48 +0200lep-delete(~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-10-10 14:13:25 +0200lep-delete(~lep@94.31.82.44)
2020-10-10 14:13:41 +0200lep-deletetest
2020-10-10 14:13:47 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 14:14:11 +0200testGuest23146
2020-10-10 14:14:18 +0200Guest23146Guest40023
2020-10-10 14:16:55 +0200Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-10 14:18:47 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds)
2020-10-10 14:19:02 +0200chaosmasttter(~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 14:21:31 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-10 14:24:00 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 14:24:59 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 14:28:09 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-10 14:28:09 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-10 14:28:09 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-10 14:28:35 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-10 14:28:48 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 256 seconds)
2020-10-10 14:29:27 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 14:29:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-10 14:34:13 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 260 seconds)
2020-10-10 14:35:06 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 14:36:39 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a)
2020-10-10 14:37:28 +0200hackageaeson-deriving 0.1.1.2 - data types for compositional, type-directed serialization https://hackage.haskell.org/package/aeson-deriving-0.1.1.2 (Cliff_Harvey)
2020-10-10 14:39:25 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 240 seconds)
2020-10-10 14:39:28 +0200 <siraben> Is there a way to read a value from a Text other than `(read . T.unpack)`?
2020-10-10 14:40:59 +0200 <tomjaguarpaw> Hoogle doesn't give any obvious suggestion: https://www.stackage.org/lts-16.17/hoogle?q=Read+a+%3D%3E+Text+-%3E+a
2020-10-10 14:43:08 +0200 <__monty__> There's Megaparsec (or other parser combinators).
2020-10-10 14:43:10 +0200chaosmasttter(~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de)
2020-10-10 14:43:22 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 14:45:57 +0200 <maralorn> Are there any parsing libraries, where the parser type has a Lift instance?
2020-10-10 14:46:03 +0200knupfer(~Thunderbi@200116b824272b00e4544ae7b377f8af.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-10 14:46:16 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 14:46:25 +0200knupfer(~Thunderbi@200116b824272b0050c6d95b26616b1d.dip.versatel-1u1.de)
2020-10-10 14:46:35 +0200knupfer(~Thunderbi@200116b824272b0050c6d95b26616b1d.dip.versatel-1u1.de) (Client Quit)
2020-10-10 14:46:48 +0200knupfer(~Thunderbi@200116b824272b00505c74a20679b954.dip.versatel-1u1.de)
2020-10-10 14:46:48 +0200knupfer(~Thunderbi@200116b824272b00505c74a20679b954.dip.versatel-1u1.de) (Client Quit)
2020-10-10 14:47:00 +0200knupfer(~Thunderbi@200116b824272b00f858921136186228.dip.versatel-1u1.de)
2020-10-10 14:47:31 +0200 <__monty__> Isn't being a monad transformer enough? (I'm not familiar.)
2020-10-10 14:49:25 +0200nyd(~lpy@unaffiliated/elysian) (Ping timeout: 240 seconds)
2020-10-10 14:51:14 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 14:52:45 +0200HaskellYogi(~vivekrama@49.207.201.29) (Ping timeout: 256 seconds)
2020-10-10 14:54:17 +0200dopplerg-(~dop@titan.pathogen.is) (Ping timeout: 265 seconds)
2020-10-10 14:55:19 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-10 14:56:07 +0200secdragon(~secdragon@84.39.117.57)
2020-10-10 14:58:21 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a)
2020-10-10 14:59:20 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-10 15:00:13 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 15:00:27 +0200hackagevulkan 3.6.9 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.9 (jophish)
2020-10-10 15:03:10 +0200HaskellYogi(~vivekrama@49.207.201.29)
2020-10-10 15:04:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 15:06:22 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-10 15:07:34 +0200Lycurgus(~niemand@98.4.96.130)
2020-10-10 15:07:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-10 15:10:21 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 15:10:21 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 15:10:21 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 15:10:43 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 265 seconds)
2020-10-10 15:10:50 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-10 15:13:27 +0200hackagein-other-words 0.1.0.0 - A higher-order effect system where the sky's the limit https://hackage.haskell.org/package/in-other-words-0.1.0.0 (KingoftheHomeless)
2020-10-10 15:17:34 +0200Buntspecht(~user@unaffiliated/siracusa)
2020-10-10 15:18:02 +0200hexo_delobuch
2020-10-10 15:20:23 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-10 15:22:02 +0200jonatanb(~jonatanb@79.184.190.239.ipv4.supernova.orange.pl)
2020-10-10 15:27:00 +0200Wuzzy(~Wuzzy@p5790e6f5.dip0.t-ipconnect.de)
2020-10-10 15:30:27 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-10 15:34:29 +0200polyrain_(~polyrain@2001:8003:e501:6901:d09:fb7:23ea:abbf) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 15:34:51 +0200sureyeaahsent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/alUKhbzZLSPgQjulLNSJZcLb/message.txt >
2020-10-10 15:35:45 +0200alp_(~alp@2a01:e0a:58b:4920:6865:8133:997e:f8ce) (Remote host closed the connection)
2020-10-10 15:35:51 +0200alp__(~alp@88.126.45.36)
2020-10-10 15:37:16 +0200 <sureyeaah> What am I doing wrong? Also is there a better way of doing what I'm trying to do?
2020-10-10 15:37:56 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-10 15:38:04 +0200 <Entroacceptor> sureyeaah: at first, you probably want to use /usr/bin/cat
2020-10-10 15:38:20 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 15:38:44 +0200 <Entroacceptor> echo just outputs its parameters and quits, totally ignoring its stdin.
2020-10-10 15:38:59 +0200 <merijn> sureyeaah: Your message got replaced with some matrix link due to being too long and generally many people ignore those links
2020-10-10 15:40:06 +0200 <sureyeaah> Entroacceptor: Okay, I changed that. Also I realised I should be swapping those handles since `hin` is where I should be writing and not reading from.
2020-10-10 15:40:24 +0200 <sureyeaah> Here's the new code:
2020-10-10 15:40:31 +0200sureyeaahsent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/cWDzSDVdMkOOvCyagGIaEEVF/message.txt >
2020-10-10 15:40:54 +0200sureyeaahsent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/nkbpKzmuWjLpJJbTNMOAbSeS/message.txt >
2020-10-10 15:41:07 +0200sureyeaahsent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/xvdMrDoUPSOkuEEkMcxYCbJO/message.txt >
2020-10-10 15:41:16 +0200 <sureyeaah> This doesn't show any output
2020-10-10 15:41:31 +0200 <sureyeaah> merjin: thanks, better now?
2020-10-10 15:41:42 +0200 <sureyeaah> merijn:
2020-10-10 15:42:37 +0200taurux(~taurux@net-130-25-214-84.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2020-10-10 15:43:05 +0200taurux(~taurux@net-188-216-0-252.cust.vodafonedsl.it)
2020-10-10 15:44:16 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 15:44:57 +0200hackagereanimate 1.1.1.0 - Animation library based on SVGs. https://hackage.haskell.org/package/reanimate-1.1.1.0 (DavidHimmelstrup)
2020-10-10 15:47:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 15:49:24 +0200Ariakenom(~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se)
2020-10-10 15:50:51 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 15:50:55 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-10 15:55:30 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-10 15:55:36 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-10 15:56:13 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 15:58:50 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-10 16:00:36 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 16:00:48 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-10 16:01:03 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 16:01:03 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 16:01:03 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 16:01:50 +0200polyrain(~polyrain@2001:8003:e501:6901:d09:fb7:23ea:abbf)
2020-10-10 16:04:35 +0200ZAQfx(~fx@unaffiliated/zaqfx)
2020-10-10 16:06:15 +0200Guest_59(9e7de5be@wireless-student-pt2-229-190.lut.ac.uk)
2020-10-10 16:06:58 +0200 <Guest_59> I can't install Haskell on my mac
2020-10-10 16:07:27 +0200hackagecmaes 0.2.3 - CMA-ES wrapper in Haskell https://hackage.haskell.org/package/cmaes-0.2.3 (DominicSteinitz)
2020-10-10 16:09:40 +0200 <Guest_59> nothing worked
2020-10-10 16:10:09 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:64cc:c5bd:1d8b:5a4a)
2020-10-10 16:12:15 +0200fendor_(~fendor@178.115.130.224.wireless.dyn.drei.com)
2020-10-10 16:13:04 +0200ZAQfx(~fx@unaffiliated/zaqfx) (Quit: Leaving)
2020-10-10 16:13:52 +0200Guest_59(9e7de5be@wireless-student-pt2-229-190.lut.ac.uk) (Remote host closed the connection)
2020-10-10 16:13:56 +0200 <Uniaika> welp
2020-10-10 16:14:27 +0200fendor(~fendor@91.141.0.104.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-10-10 16:15:07 +0200 <maerwald> :D
2020-10-10 16:15:57 +0200 <maerwald> I think these are instances of: oh f**k, I need to hand in the assignment on monday and I don't even have a develompent env -> panic
2020-10-10 16:15:58 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-10 16:16:28 +0200polyrain(~polyrain@2001:8003:e501:6901:d09:fb7:23ea:abbf) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-10 16:16:38 +0200Uniaikais glad not to have had that kind of relationship to the language
2020-10-10 16:17:00 +0200 <maerwald> that's how you fail the course :D
2020-10-10 16:17:07 +0200 <maerwald> at least in haskell
2020-10-10 16:17:29 +0200 <yushyin> oO
2020-10-10 16:17:32 +0200 <yushyin> again?!
2020-10-10 16:18:36 +0200 <maerwald> Maybe someone should give a lecture about how to adjust your PATH variable before the haskell course :p
2020-10-10 16:19:28 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-10-10 16:19:41 +0200 <yushyin> yes, that would be absolutely necessary and appropriate
2020-10-10 16:19:43 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-10 16:20:03 +0200 <maerwald> I remember we had a unix/linux course, in fact
2020-10-10 16:20:12 +0200 <maerwald> first year
2020-10-10 16:20:21 +0200 <yushyin> it is getting ridiculous, tbh
2020-10-10 16:20:45 +0200 <Uniaika> IMO, this unofficial course is fairly good https://missing.csail.mit.edu/
2020-10-10 16:23:45 +0200alp__(~alp@88.126.45.36) (Ping timeout: 240 seconds)
2020-10-10 16:24:26 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 16:26:46 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 16:27:42 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de)
2020-10-10 16:28:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 16:30:48 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-10 16:31:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-10 16:34:45 +0200 <maralorn> __monty__: I wasn‘t looking for a monad transformer. I was talking about the Lift instance from TH. There it would mean that you could compute your parser at compile time, apparently they call it staging. I was wondering if there already is a lib that does that.
2020-10-10 16:37:53 +0200reallymemorable(~quassel@ip68-9-215-56.ri.ri.cox.net) (Ping timeout: 260 seconds)
2020-10-10 16:38:42 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 16:40:42 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-10 16:43:18 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-10-10 16:47:19 +0200nullheroes(~danielvu@168.235.66.22)
2020-10-10 16:48:49 +0200phaul(~phaul@ruby/staff/phaul) (Quit: :wq)
2020-10-10 16:49:08 +0200knupfer(~Thunderbi@200116b824272b00f858921136186228.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-10 16:49:16 +0200knupfer(~Thunderbi@200116b824272b00c5790130a3e52f6c.dip.versatel-1u1.de)
2020-10-10 16:51:09 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 16:55:14 +0200knupfer(~Thunderbi@200116b824272b00c5790130a3e52f6c.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-10 16:55:19 +0200knupfer1(~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de)
2020-10-10 16:55:27 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 16:57:43 +0200knupfer1knupfer
2020-10-10 16:57:55 +0200ddellacosta(~dd@86.106.121.168)
2020-10-10 17:00:01 +0200secdragon(~secdragon@84.39.117.57) ()
2020-10-10 17:00:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 17:00:49 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 17:02:54 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-cqfrvvppmmqjnkgv) (Quit: Connection closed for inactivity)
2020-10-10 17:03:45 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-10-10 17:04:33 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-10 17:04:40 +0200laserpants(c59d0021@197.157.0.33)
2020-10-10 17:05:13 +0200 <dwts> dsal: I heard your advice and just got the haskellbook. I just started reading it
2020-10-10 17:08:42 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 17:09:48 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 17:10:06 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-10 17:13:46 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 17:14:12 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-10-10 17:15:10 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 17:15:26 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 272 seconds)
2020-10-10 17:15:45 +0200 <merijn> maralorn: Yes!
2020-10-10 17:15:48 +0200 <merijn> maralorn: Sorta
2020-10-10 17:15:48 +0200nyd(~lpy@unaffiliated/elysian) (Quit: nyd)
2020-10-10 17:15:56 +0200 <merijn> @hackage validated-literals
2020-10-10 17:15:56 +0200 <lambdabot> https://hackage.haskell.org/package/validated-literals
2020-10-10 17:15:58 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 17:16:15 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 17:16:16 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 17:16:16 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 17:18:54 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 17:19:53 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-10 17:20:01 +0200heatsink_(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 17:20:32 +0200 <maralorn> merijn: Cool! But I didn‘t mean parsing at compile time. I meant constructing the Parser at compile time but applying it at runtime.
2020-10-10 17:21:12 +0200 <merijn> maralorn: I mean, nothing restricts that library to parsing
2020-10-10 17:21:28 +0200 <merijn> maralorn: You can basically use it to reify any value computed by a pure function :p
2020-10-10 17:21:47 +0200 <maralorn> What?
2020-10-10 17:22:05 +0200hollowleviathan1(~hollowlev@185.163.110.116)
2020-10-10 17:22:16 +0200 <maralorn> How does the parser get represented in the generated TH?
2020-10-10 17:22:29 +0200 <maralorn> *generated Code
2020-10-10 17:22:29 +0200hollowleviathan1Guest982
2020-10-10 17:23:09 +0200 <merijn> maralorn: By default I use the Lift instance, which is easy since GHC has -XDeriveLift since (I think?) 8.0
2020-10-10 17:23:47 +0200 <maralorn> But can you derive Lift for a Monadic Parser?
2020-10-10 17:24:01 +0200 <merijn> I mean, I don't see why not?
2020-10-10 17:24:36 +0200 <maralorn> Because you need to be able to reify arbitrary functions?
2020-10-10 17:25:00 +0200 <maralorn> Hm, okay. That means you just write arbitrary functions into the code.
2020-10-10 17:25:11 +0200 <merijn> Well, you don't need to reify arbitrary ones, you need to reify calls to the very specific ones used in the parser
2020-10-10 17:26:02 +0200John20(~John@82.46.59.122)
2020-10-10 17:26:42 +0200 <maralorn> Yeah, I realize, that they are more a problem for the hope of optimizing a parser at compile time.
2020-10-10 17:27:28 +0200hackageBNFC 2.8.4 - A compiler front-end generator. https://hackage.haskell.org/package/BNFC-2.8.4 (AndreasAbel)
2020-10-10 17:27:46 +0200 <maralorn> But I mean if can reify "Parser Text" I also have to be able to reify "f <$> Parser Text" for all f : Text -> Text, right?
2020-10-10 17:27:56 +0200 <maralorn> But that has nothing to do with being monadic …
2020-10-10 17:28:47 +0200chaosmasttter(~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 17:28:57 +0200teqwve(teqwve@2001:bc8:28d6::2) (Ping timeout: 260 seconds)
2020-10-10 17:30:13 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 17:30:27 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-bpsvglwvvorbcbrp)
2020-10-10 17:33:15 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 17:34:23 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 17:34:41 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 17:34:42 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 17:34:42 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 17:35:37 +0200knupfer(~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-10 17:35:46 +0200knupfer(~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de)
2020-10-10 17:35:55 +0200knupfer(~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de) (Client Quit)
2020-10-10 17:36:09 +0200bitmagie(~Thunderbi@200116b80616d4002dda2b77b6730eb6.dip.versatel-1u1.de)
2020-10-10 17:36:11 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 17:36:15 +0200knupfer(~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de)
2020-10-10 17:36:25 +0200knupfer(~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de) (Client Quit)
2020-10-10 17:36:33 +0200knupfer(~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de)
2020-10-10 17:36:53 +0200knupfer(~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de) (Client Quit)
2020-10-10 17:37:12 +0200knupfer(~Thunderbi@200116b824272b0030779e85f7c75c56.dip.versatel-1u1.de)
2020-10-10 17:37:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 17:38:30 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de)
2020-10-10 17:38:45 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338) (Ping timeout: 272 seconds)
2020-10-10 17:40:58 +0200hackagetype-of-html 1.5.2.0 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.5.2.0 (knupfer)
2020-10-10 17:43:47 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 17:47:49 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-10 17:49:03 +0200shatriff(~vitaliish@188.163.30.117) (Remote host closed the connection)
2020-10-10 17:49:15 +0200thecoffemaker(~thecoffem@unaffiliated/thecoffemaker)
2020-10-10 17:49:27 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-10 17:52:08 +0200teqwve(teqwve@fgl.space)
2020-10-10 17:52:33 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 17:52:43 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-10 17:52:43 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-10 17:52:43 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 17:54:04 +0200otulp(~otulp@ti0187q162-3025.bb.online.no) (Ping timeout: 272 seconds)
2020-10-10 17:54:50 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 17:56:22 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-10 17:57:00 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de)
2020-10-10 17:57:28 +0200thecoffemaker(~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 258 seconds)
2020-10-10 18:01:25 +0200Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.102)
2020-10-10 18:03:34 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-10 18:03:51 +0200shatriff(~vitaliish@88.155.189.140)
2020-10-10 18:03:51 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 18:03:52 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 18:03:52 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 18:05:06 +0200thecoffemaker(~thecoffem@unaffiliated/thecoffemaker)
2020-10-10 18:05:48 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr)
2020-10-10 18:05:58 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-tkeqpmbtyglgujkp)
2020-10-10 18:09:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-10 18:10:07 +0200dqd(id@wikipedia/dqd) (Ping timeout: 258 seconds)
2020-10-10 18:11:52 +0200HaskellYogi(~vivekrama@49.207.201.29) (Quit: Sayonara. Long live Haskell)
2020-10-10 18:12:39 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 18:13:52 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 18:17:36 +0200carlomagno(~cararell@inet-hqmc01-o.oracle.com)
2020-10-10 18:18:48 +0200laserpants(c59d0021@197.157.0.33) (Remote host closed the connection)
2020-10-10 18:19:22 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 18:22:53 +0200C0(~C0@41.249.80.99)
2020-10-10 18:23:33 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-10 18:24:26 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 18:26:02 +0200bitmagie(~Thunderbi@200116b80616d4002dda2b77b6730eb6.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-10 18:26:27 +0200hackagelucid-cdn 0.2.1.0 - Curated list of CDN imports for lucid. https://hackage.haskell.org/package/lucid-cdn-0.2.1.0 (locallycompact)
2020-10-10 18:26:55 +0200tzh(~tzh@2601:448:c500:5300::d90)
2020-10-10 18:27:03 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 18:27:59 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-10 18:28:15 +0200dqd(id@wikipedia/dqd)
2020-10-10 18:28:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-10 18:29:52 +0200drdee(~drdee@2001:b07:6468:1782:1e9c:163f:3faa:8058)
2020-10-10 18:30:03 +0200drdee(~drdee@2001:b07:6468:1782:1e9c:163f:3faa:8058) (Remote host closed the connection)
2020-10-10 18:31:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 18:35:36 +0200otulp(~otulp@ti0187q162-5696.bb.online.no)
2020-10-10 18:35:53 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 18:36:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-10 18:36:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-10 18:38:04 +0200dqd(id@wikipedia/dqd) (Ping timeout: 256 seconds)
2020-10-10 18:38:07 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 18:39:03 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-10 18:39:10 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de)
2020-10-10 18:39:46 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-10 18:39:48 +0200niko(~niko@freenode/staff/ubuntu.member.niko) (Ping timeout: 615 seconds)
2020-10-10 18:39:52 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 18:41:01 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-10-10 18:41:11 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-10 18:41:11 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 18:41:16 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-10 18:41:33 +0200John20(~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-10-10 18:43:52 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 18:45:10 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de)
2020-10-10 18:46:27 +0200hackagebugsnag-hs 0.2.0.2 - A Bugsnag client for Haskell. https://hackage.haskell.org/package/bugsnag-hs-0.2.0.2 (JasperWoudenberg)
2020-10-10 18:46:47 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 18:47:06 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2020-10-10 18:48:16 +0200dqd(id@wikipedia/dqd)
2020-10-10 18:48:27 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-10 18:50:32 +0200cr0ssw1nd(~crosswind@adsl-36.176.58.195.tellas.gr)
2020-10-10 18:50:41 +0200niko(~niko@freenode/staff/ubuntu.member.niko)
2020-10-10 18:51:15 +0200cheater(~user@unaffiliated/cheater) (Quit: (BitchX) Choosey moms choose BitchX!)
2020-10-10 18:53:25 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu)
2020-10-10 18:53:52 +0200cheater(~user@unaffiliated/cheater)
2020-10-10 18:53:57 +0200Faker(bd29e8c7@189.41.232.199)
2020-10-10 18:54:10 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-10 18:55:18 +0200funnybunny2(~funnybunn@om126194100000.10.openmobile.ne.jp)
2020-10-10 18:55:33 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-10 18:55:33 +0200funnybunny2(~funnybunn@om126194100000.10.openmobile.ne.jp) ()
2020-10-10 18:55:55 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 18:56:54 +0200Benett(~Benett@unaffiliated/benett) (Quit:  )
2020-10-10 18:58:00 +0200John20(~John@82.46.59.122)
2020-10-10 18:58:17 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-10-10 18:59:40 +0200ryansmccoy(~ryansmcco@193.37.254.27) ()
2020-10-10 19:00:21 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 19:01:16 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-10 19:01:50 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-10 19:01:59 +0200Benett(~Benett@unaffiliated/benett)
2020-10-10 19:03:19 +0200djellemah(~djellemah@c-73-12-31-179.hsd1.va.comcast.net)
2020-10-10 19:04:05 +0200John20(~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-10-10 19:04:32 +0200cr0ssw1nd(~crosswind@adsl-36.176.58.195.tellas.gr) (Quit: Leaving)
2020-10-10 19:04:47 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 19:09:05 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-10 19:09:34 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 19:12:23 +0200gattytto(b33e397e@179.62.57.126)
2020-10-10 19:13:07 +0200 <gattytto> hello
2020-10-10 19:13:28 +0200 <gattytto> I managed to make use of haskell extensions in che web ide, thanks to some help from here and other sources :D
2020-10-10 19:14:37 +0200 <gattytto> now while testing this project https://github.com/gattytto/example-servant-minimal/tree/ghci-dap I am running with an error when trying "stack test" that says: "Not in scope: type constructor or class `ServantError'"
2020-10-10 19:15:23 +0200shatriff(~vitaliish@88.155.189.140) (Ping timeout: 260 seconds)
2020-10-10 19:15:26 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 19:16:10 +0200jonatanb(~jonatanb@79.184.190.239.ipv4.supernova.orange.pl) (Quit: Leaving...)
2020-10-10 19:17:38 +0200Guest18(4f7755cb@gateway/web/cgi-irc/kiwiirc.com/ip.79.119.85.203) (Quit: Connection closed)
2020-10-10 19:20:46 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-10 19:21:36 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-10 19:22:00 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-10-10 19:25:56 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-10 19:27:34 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-10 19:27:44 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-10 19:27:59 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 19:29:33 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-10 19:30:16 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-10-10 19:31:51 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-10 19:32:17 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 19:33:13 +0200frdg(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-10 19:33:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 19:34:08 +0200vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2020-10-10 19:37:19 +0200 <frdg> what is a known algorithm to determine if a relation, ie `[ (a,a) ]` is reflexive? I can hack it but I am looking for a nicer solution.
2020-10-10 19:40:04 +0200dcbdnl(~dcbdnl@2601:2c6:4e00:1630:4685:ff:fecf:3992)
2020-10-10 19:41:17 +0200avdb(~avdb@ip-213-49-124-97.dsl.scarlet.be)
2020-10-10 19:41:50 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-10 19:42:08 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 19:42:09 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 19:42:09 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 19:42:35 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu)
2020-10-10 19:44:48 +0200bifunc2(bifunc2@gateway/vpn/protonvpn/bifunc2)
2020-10-10 19:45:22 +0200 <bifunc2> With cereal (serialization library) I'm finding deserializing Word64s is much faster than deserializing Doubles. Is this something you'd expect?
2020-10-10 19:46:23 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-10 19:47:22 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-10 19:49:01 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-10 19:52:54 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-bpsvglwvvorbcbrp) (Quit: Connection closed for inactivity)
2020-10-10 19:53:39 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-10 19:54:53 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-tneitzltqviyrfjn) ("User left")
2020-10-10 19:55:36 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-tneitzltqviyrfjn)
2020-10-10 19:58:49 +0200 <c_wraith> Depends on the serialization format. I don't know what cereal uses.
2020-10-10 19:59:44 +0200bifunc2(bifunc2@gateway/vpn/protonvpn/bifunc2) (Remote host closed the connection)
2020-10-10 20:00:02 +0200Guest982(~hollowlev@185.163.110.116) ()
2020-10-10 20:00:53 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-10 20:01:20 +0200bifunc2(bifunc2@gateway/vpn/protonvpn/bifunc2)
2020-10-10 20:01:26 +0200 <koz_> frdg: For totally arbitrary relations, the only way to 'determine' this is if the relation is finitary.
2020-10-10 20:01:38 +0200 <bifunc2> c_wraith sorry, i forgot to mention i'm doing big-endian for both
2020-10-10 20:02:30 +0200 <bifunc2> (btw i got disconnected there for a while and may not have seen some messages)
2020-10-10 20:02:35 +0200 <c_wraith> bifunc2: ok... the short answer is "yes", especially if you're doing millions of them.
2020-10-10 20:02:55 +0200 <c_wraith> bifunc2: https://hackage.haskell.org/package/cereal-0.5.8.1/docs/src/Data.Serialize.IEEE754.html#wordToDouble
2020-10-10 20:03:44 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net) (Remote host closed the connection)
2020-10-10 20:03:57 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-10 20:04:10 +0200 <c_wraith> bifunc2: that call to alloca is a problem for performance, because it's part of the FFI
2020-10-10 20:04:41 +0200 <c_wraith> bifunc2: it has to put it in a separate memory space (outside the nursery) because it needs a stable address in case it's passed to C code
2020-10-10 20:05:12 +0200sand_dull(~theuser@104.140.53.43)
2020-10-10 20:05:24 +0200 <c_wraith> bifunc2: that means both allocating and collecting it are going to be slower than they would be for something managed entirely in GHC's nursery
2020-10-10 20:05:31 +0200dcbdnl(~dcbdnl@2601:2c6:4e00:1630:4685:ff:fecf:3992) ("Good Bye")
2020-10-10 20:05:52 +0200 <bifunc2> c_wraith has nobody (other than cereal) made anything faster yet?
2020-10-10 20:07:45 +0200 <dolio> The new binary might be faster, but it uses a particular format, not just 'whatever bits you want to spit out'.
2020-10-10 20:07:49 +0200Alleria_(~AllahuAkb@2604:2000:1484:26:d9b5:40ce:4a6a:3e0a)
2020-10-10 20:08:37 +0200avdb(~avdb@ip-213-49-124-97.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-10 20:08:58 +0200 <dolio> I guess it's called cborg now?
2020-10-10 20:09:17 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 20:09:17 +0200 <dolio> Or serialise?
2020-10-10 20:09:55 +0200_Alleria(~AllahuAkb@2604:2000:1484:26:40a5:ffd0:b706:8d98) (Ping timeout: 240 seconds)
2020-10-10 20:09:57 +0200 <bifunc2> hmm, no idea..
2020-10-10 20:10:40 +0200 <ghoulguy> I think one is the format: cborg and the other is a serialization library using that: serialise
2020-10-10 20:10:56 +0200 <ghoulguy> I like that better as other languages have libraries to read cbor
2020-10-10 20:11:07 +0200 <dolio> Yeah.
2020-10-10 20:11:29 +0200 <dolio> Anyhow, my understanding is that their technique for implementation is more reliable, too.
2020-10-10 20:11:48 +0200 <bifunc2> hmm cereal is not just standard? big-endian for word64 is standard. it uses IEEE754 for doubles
2020-10-10 20:12:01 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Ping timeout: 272 seconds)
2020-10-10 20:12:05 +0200djellemah(~djellemah@c-73-12-31-179.hsd1.va.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 20:12:25 +0200 <ghoulguy> cereal is legacy, I would advise people not to use it, it's unmaintained and there's really no reason not to use binary if you don't care much about how you serialize things
2020-10-10 20:13:16 +0200 <dolio> The only reason I ever hear for using cereal is, "it's required for this other library," and usually by people who are telling me because they'd rather not use cereal.
2020-10-10 20:13:25 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-10 20:13:28 +0200 <dolio> Lately, that is.
2020-10-10 20:13:29 +0200 <bifunc2> ah, i did not know that, thanks!
2020-10-10 20:13:41 +0200 <bifunc2> Now the question is, "binary" vs. "store"?
2020-10-10 20:13:56 +0200 <bifunc2> (for machine representation, where explicit endianess is not important)
2020-10-10 20:15:26 +0200 <dolio> Anyhow, one of the other advantages of serialise/cborg, in my understanding, is that they wrote it so that only a fixed loop (which is part of the package) needs to be well optimized by GHC.
2020-10-10 20:16:06 +0200jedws(~jedws@121.209.161.98)
2020-10-10 20:16:17 +0200 <dolio> And that is relatively reliable, whereas the old binary/cereal relied on whatever instances anyone wrote to be optimized in each end-program, which is less reliable.
2020-10-10 20:16:54 +0200 <dolio> So in principle, binary might be slightly faster if everything goes according to plan, but often it doesn't.
2020-10-10 20:17:14 +0200 <dolio> And you have to put in more effort to make sure it does.
2020-10-10 20:18:28 +0200shatriff(~vitaliish@130.180.217.140)
2020-10-10 20:19:04 +0200 <dolio> It's like the usual, "I could write faster assembly code than a compiler," but then you don't.
2020-10-10 20:19:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 20:19:46 +0200 <c_wraith> I'm really surprised GHC.Exts doesn't export primops for Double# <-> Word64# and Float# <-> Word32# that just ship bytes back and forth instead of doing numeric conversions
2020-10-10 20:21:13 +0200 <dolio> I've got `Word# -> Double#` in GHC.Prim (but not the reverse).
2020-10-10 20:21:40 +0200 <dolio> Not sure how that actually makes reliable sense.
2020-10-10 20:21:46 +0200litenull(~litenull@185.204.1.185)
2020-10-10 20:22:16 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-10 20:22:17 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 20:22:21 +0200 <c_wraith> I'm pretty sure that is a numeric conversion, not byte-shipping
2020-10-10 20:22:37 +0200 <dolio> Oh, that makes sense.
2020-10-10 20:23:28 +0200 <dolio> I guess you need to make byte arrays to convert.
2020-10-10 20:23:31 +0200 <phadej> Does even C make it easy, or is the way is to use `union { .. }` /
2020-10-10 20:23:43 +0200 <c_wraith> union is the only correct way in C
2020-10-10 20:23:55 +0200 <c_wraith> But at least that can be done on the stack
2020-10-10 20:23:58 +0200hackagehwk 0.2.0 - A modern Haskell based AWK replacement https://hackage.haskell.org/package/hwk-0.2.0 (JensPetersen)
2020-10-10 20:24:05 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 20:24:21 +0200 <dolio> I don't think that's actually guaranteed to work in C>
2020-10-10 20:24:30 +0200 <dolio> It would be implementation dependent.
2020-10-10 20:25:29 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-10 20:26:16 +0200Tops2(~Tobias@dyndsl-095-033-016-225.ewe-ip-backbone.de)
2020-10-10 20:26:57 +0200_xor(~xor@74.215.46.133) (Quit: WeeChat 2.9)
2020-10-10 20:27:06 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-10 20:27:27 +0200Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds)
2020-10-10 20:27:36 +0200 <c_wraith> Prelude GHC.Exts> D# (word2Double# 3##) -> 3.0
2020-10-10 20:27:51 +0200 <dolio> Okay, yeah.
2020-10-10 20:27:59 +0200 <dolio> That explains why the reverse doesn't exist.
2020-10-10 20:28:00 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-10 20:28:04 +0200 <c_wraith> Today I learned the syntax for Word# and Double# literals
2020-10-10 20:28:41 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 20:29:54 +0200 <c_wraith> Amusingly, the name Double# tells you what the syntax is.
2020-10-10 20:30:29 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-10 20:30:36 +0200heatsink_(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 20:30:48 +0200 <bifunc2> I'm finding deserializing Word64s 10x slower on binary than cereal
2020-10-10 20:30:49 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-10 20:30:59 +0200 <bifunc2> Double deserialization is 2x slower on binary
2020-10-10 20:31:04 +0200 <bifunc2> sad...
2020-10-10 20:31:09 +0200 <bifunc2> hmm
2020-10-10 20:31:17 +0200 <bifunc2> even when cereal is "legacy"
2020-10-10 20:32:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 20:32:22 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2020-10-10 20:34:22 +0200 <koz_> dolio: Like basically everything.
2020-10-10 20:34:28 +0200 <dolio> Yes.
2020-10-10 20:34:28 +0200 <koz_> (which isn't straight-up UB)
2020-10-10 20:35:15 +0200 <dolio> But I think whether it works is even independent of whether 'double' is "compatible" with the integer type.
2020-10-10 20:35:41 +0200 <dolio> Which is a second implementation-specific behavior.
2020-10-10 20:35:55 +0200 <koz_> C: Putting the 'lowest' in 'lowest common denominator' since 1976.
2020-10-10 20:35:56 +0200 <dolio> If they are compatible, then pointer casting might work, but I'm unsure.
2020-10-10 20:36:13 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 20:36:23 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 20:36:44 +0200romanix(~romanix@staticline10864.toya.net.pl)
2020-10-10 20:36:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-10 20:37:27 +0200romanix(~romanix@staticline10864.toya.net.pl) (Client Quit)
2020-10-10 20:37:33 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 20:38:25 +0200roconnor(~roconnor@host-45-78-205-7.dyn.295.ca) (Ping timeout: 265 seconds)
2020-10-10 20:39:08 +0200romanix(~romanix@staticline10864.toya.net.pl)
2020-10-10 20:41:07 +0200romanix(~romanix@staticline10864.toya.net.pl) (Client Quit)
2020-10-10 20:42:57 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-cipijamvzooczchk)
2020-10-10 20:44:27 +0200hackageuncaught-exception 0.1.0 - Customize uncaught exception handling. https://hackage.haskell.org/package/uncaught-exception-0.1.0 (gromak)
2020-10-10 20:45:41 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 20:46:02 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 20:46:04 +0200 <dolio> I think the only thing that's guaranteed to work with a union (aside from reading back exactly what you put in) is structure subtyping.
2020-10-10 20:46:37 +0200klabnc(~klabnc@83.220.236.102)
2020-10-10 20:47:35 +0200romanix(~romanix@staticline10864.toya.net.pl)
2020-10-10 20:47:54 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu)
2020-10-10 20:48:02 +0200klabnc(~klabnc@83.220.236.102) (Remote host closed the connection)
2020-10-10 20:49:11 +0200albert_91(~Albert@p200300e5ff0b5b57ac59f094d805fa33.dip0.t-ipconnect.de)
2020-10-10 20:51:17 +0200albert_99(~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-10 20:51:21 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (Remote host closed the connection)
2020-10-10 20:51:23 +0200romanix(~romanix@staticline10864.toya.net.pl) (Client Quit)
2020-10-10 20:51:31 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 20:51:39 +0200chaosmasttter(~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de)
2020-10-10 20:53:27 +0200albert_91(~Albert@p200300e5ff0b5b57ac59f094d805fa33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 20:53:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 20:53:50 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-10 20:53:56 +0200albert_91(~Albert@p200300e5ff0b5b578468bc6274d12650.dip0.t-ipconnect.de)
2020-10-10 20:54:03 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 20:54:39 +0200rembo10(~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-10 20:54:49 +0200johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-10-10 20:58:22 +0200rembo10(~rembo10@wally.codeshy.com)
2020-10-10 20:58:40 +0200stree(~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-10 20:58:57 +0200stree(~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-10 21:00:06 +0200rembo10(~rembo10@wally.codeshy.com) (Client Quit)
2020-10-10 21:00:31 +0200 <koz_> Galaxy brain take: use inline-asm for this. :P
2020-10-10 21:01:09 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Quit: Lost terminal)
2020-10-10 21:01:45 +0200nyd(~lpy@unaffiliated/elysian) (Ping timeout: 240 seconds)
2020-10-10 21:02:16 +0200rembo10(~rembo10@wally.codeshy.com)
2020-10-10 21:02:57 +0200Tario(~Tario@201.192.165.173)
2020-10-10 21:03:33 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-10 21:03:44 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 21:03:52 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-10 21:04:07 +0200dcbdan(~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212)
2020-10-10 21:04:22 +0200dcbdan(~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212) ()
2020-10-10 21:04:59 +0200dcbdan(~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212)
2020-10-10 21:05:31 +0200dcbdan(~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212) ()
2020-10-10 21:05:58 +0200 <dolio> I wonder if you can use the 'prim' (or whatever) foreign import to implement it in Haskell.
2020-10-10 21:06:16 +0200 <dolio> Or GHC.
2020-10-10 21:06:48 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 21:07:01 +0200drewolson(~drewolson@64.227.24.16) (Quit: The Lounge - https://thelounge.chat)
2020-10-10 21:07:08 +0200dcbdan(~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212)
2020-10-10 21:07:31 +0200drewolson(~drewolson@64.227.24.16)
2020-10-10 21:08:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 21:08:33 +0200 <dolio> Nah, that's probably still too heavy.
2020-10-10 21:10:25 +0200Rudd0(~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-10-10 21:10:26 +0200dcbdan(~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212) (Quit: Leaving)
2020-10-10 21:11:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 21:12:33 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 21:12:41 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) (Client Quit)
2020-10-10 21:13:04 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 21:14:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-10 21:15:39 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) ()
2020-10-10 21:15:50 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 21:16:25 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 260 seconds)
2020-10-10 21:16:39 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 21:17:05 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-10 21:19:05 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) ()
2020-10-10 21:21:17 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection)
2020-10-10 21:22:07 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 21:22:24 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 265 seconds)
2020-10-10 21:23:24 +0200hackyhacker(~user@213.219.155.62.adsl.dyn.edpnet.net)
2020-10-10 21:25:52 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 21:26:22 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-10 21:26:37 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu) (Remote host closed the connection)
2020-10-10 21:26:39 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-10 21:27:04 +0200dcbdan_(~Android@mobile-107-77-188-104.mobile.att.net)
2020-10-10 21:27:07 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 21:27:18 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-10 21:27:54 +0200dcbdan(~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) (Read error: Connection reset by peer)
2020-10-10 21:28:02 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu)
2020-10-10 21:28:09 +0200dcbdan_(~Android@mobile-107-77-188-104.mobile.att.net) (Read error: Connection reset by peer)
2020-10-10 21:30:59 +0200hackyhacker(~user@213.219.155.62.adsl.dyn.edpnet.net) (Remote host closed the connection)
2020-10-10 21:31:06 +0200nineonin_(~nineonine@50.216.62.2) (Ping timeout: 265 seconds)
2020-10-10 21:37:05 +0200OscarZ(~oscarz@95.175.104.52)
2020-10-10 21:39:25 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338) (Ping timeout: 272 seconds)
2020-10-10 21:42:32 +0200 <frdg> Would you say this a decent way to express forAll and thereExists? https://dpaste.org/dAXQ
2020-10-10 21:47:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 21:47:54 +0200 <dsal> frdg: your arguments look backwards to me.
2020-10-10 21:48:24 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 21:49:27 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 21:49:48 +0200 <frdg> dsal. ok. But there is no way to drop an instance for `t` correct? At least I cant think of a way.
2020-10-10 21:50:00 +0200 <dsal> :t or
2020-10-10 21:50:03 +0200 <lambdabot> Foldable t => t Bool -> Bool
2020-10-10 21:50:04 +0200 <dsal> :t all
2020-10-10 21:50:06 +0200 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-10-10 21:50:37 +0200 <davean> frdg: you can push the part you're fmapping into the foldr's function along with the (&&)
2020-10-10 21:51:02 +0200 <dsal> Yeah, I realized or isn't quite the same, but I'd do that.
2020-10-10 21:51:39 +0200 <frdg> hmm so there is a way
2020-10-10 21:51:58 +0200 <davean> frdg: and from the Functor laws you know there is a way really
2020-10-10 21:52:18 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-10 21:52:43 +0200 <frdg> alright thank you ill try to figure this out.
2020-10-10 21:52:47 +0200 <dsal> :t \p -> getAny . foldMap (Any . p)
2020-10-10 21:52:48 +0200 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-10-10 21:53:00 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 256 seconds)
2020-10-10 21:53:41 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 21:57:12 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-10 22:02:20 +0200 <frdg> davean: I was able to get rid of the functor instance by composing p with (&&) and (||) like you said thanks
2020-10-10 22:02:51 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Ping timeout: 272 seconds)
2020-10-10 22:03:15 +0200 <davean> frdg: that composition is basicly what the functor laws say a functor is BTW
2020-10-10 22:03:22 +0200rprije(~rprije@203.214.95.251)
2020-10-10 22:03:51 +0200 <frdg> right. fmap f . fmap g == fmap (f . g)
2020-10-10 22:04:16 +0200 <frdg> this is exactly what I did
2020-10-10 22:07:43 +0200Faker(bd29e8c7@189.41.232.199) (Remote host closed the connection)
2020-10-10 22:15:23 +0200 <dsal> Oh, I finally looked at the docs. It's `any` not `or`. I get `all` and `and` confused and `or` and `any` confused.
2020-10-10 22:15:26 +0200 <dsal> :t any
2020-10-10 22:15:28 +0200 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2020-10-10 22:15:31 +0200bifunc2(bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: -)
2020-10-10 22:16:12 +0200 <dsal> Oh wow, my guess was right, though. heh `any p = getAny #. foldMap (Any #. p)`
2020-10-10 22:16:17 +0200 <dsal> Except I don't know what `#.` is.
2020-10-10 22:16:56 +0200 <dsal> `(#.) :: Coercible b c => (b -> c) -> (a -> b) -> (a -> c)` -- oh wow. That seems... redundant
2020-10-10 22:16:59 +0200 <MarcelineVQ> infix coerce iirc
2020-10-10 22:18:36 +0200 <dolio> The first argument is a dummy, right?
2020-10-10 22:18:48 +0200 <dolio> Just telling it which b and c to use.
2020-10-10 22:19:45 +0200 <dolio> The presumption is that you will use the half of the isomorphism you want.
2020-10-10 22:21:49 +0200 <dsal> I don't understand why there's coercion at all. You could use it if you didn't want to specify `Any` on the right. or maybe the left.
2020-10-10 22:22:13 +0200 <dsal> % let f p = foldMap (coerce . p); v = f even [1,2,3] in (getAll v, getAny v) -- I mean, you can have the same implementation for both but you do need to mention the semigroup at some point.
2020-10-10 22:22:13 +0200 <yahb> dsal: (False,True)
2020-10-10 22:22:37 +0200 <MarcelineVQ> There's a note about it below the defintion of #.
2020-10-10 22:22:48 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 22:23:22 +0200geekosaur(82659a05@host154-005.vpn.uakron.edu) (Remote host closed the connection)
2020-10-10 22:24:05 +0200 <dsal> Ha. I don't expect useful information in comments.
2020-10-10 22:27:57 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 22:29:05 +0200_ashbreeze_(~mark@72-161-51-6.dyn.centurytel.net)
2020-10-10 22:30:22 +0200ashbreeze(~mark@72-161-51-13.dyn.centurytel.net) (Ping timeout: 246 seconds)
2020-10-10 22:35:16 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 22:36:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 22:38:30 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-10 22:38:59 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 22:42:27 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-10 22:44:12 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-10 22:44:24 +0200ggole(~ggole@2001:8003:8119:7200:c421:864a:93dc:c602) (Quit: Leaving)
2020-10-10 22:44:29 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-10-10 22:45:03 +0200nineonine(~nineonine@50.216.62.2)
2020-10-10 22:45:53 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 22:46:11 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 22:46:11 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 22:46:11 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 22:47:01 +0200cosimone(~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-10 22:47:39 +0200Noldorin(~noldorin@unaffiliated/noldorin)
2020-10-10 22:49:21 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 22:49:23 +0200themsay(~themsay@213.104.127.160)
2020-10-10 22:50:25 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 22:54:31 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 22:55:25 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 272 seconds)
2020-10-10 22:55:25 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338) (Ping timeout: 272 seconds)
2020-10-10 22:55:30 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 22:56:33 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 22:57:18 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 22:57:54 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-10 22:58:32 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 22:59:03 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-10 22:59:26 +0200_vaibhavingale_(~Adium@203.188.228.27) (Client Quit)
2020-10-10 23:00:02 +0200litenull(~litenull@185.204.1.185) ()
2020-10-10 23:00:28 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:01:21 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:01:34 +0200Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9)
2020-10-10 23:02:31 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:02:31 +0200foo6(43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net)
2020-10-10 23:02:34 +0200 <foo6> @lambdabot let (Foo a) = a in abc a
2020-10-10 23:02:35 +0200 <lambdabot> Unknown command, try @list
2020-10-10 23:03:02 +0200 <foo6> @list
2020-10-10 23:03:02 +0200 <lambdabot> What module? Try @listmodules for some ideas.
2020-10-10 23:03:20 +0200 <foo6> @pl let (Foo a) = a in abc a
2020-10-10 23:03:20 +0200 <lambdabot> (line 1, column 5):
2020-10-10 23:03:20 +0200 <lambdabot> unexpected "("
2020-10-10 23:03:20 +0200 <lambdabot> expecting "()", natural, identifier or "in"
2020-10-10 23:03:31 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:03:46 +0200 <foo6> @pl let (Foo a) = 123 in abc a
2020-10-10 23:03:47 +0200 <lambdabot> (line 1, column 5):
2020-10-10 23:03:47 +0200 <lambdabot> unexpected "("
2020-10-10 23:03:47 +0200 <lambdabot> expecting "()", natural, identifier or "in"
2020-10-10 23:03:56 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 23:04:02 +0200foo6(43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net) ()
2020-10-10 23:04:33 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:04:45 +0200C0(~C0@41.249.80.99) (Ping timeout: 240 seconds)
2020-10-10 23:05:25 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:06:01 +0200proofofm_(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 23:06:33 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:07:23 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 23:08:05 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 240 seconds)
2020-10-10 23:08:06 +0200crestfallen(~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-10 23:08:33 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 23:08:33 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:09:29 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:09:29 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-10 23:09:37 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 23:09:52 +0200 <crestfallen> hi what would be the quickest way to put (!>) to use? http://ix.io/2AkS
2020-10-10 23:10:05 +0200proofofm_(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 240 seconds)
2020-10-10 23:10:18 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-10 23:10:27 +0200 <crestfallen> it's the same as >=> I believe. I forget if I ever got it to work..
2020-10-10 23:10:31 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:10:35 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-10 23:11:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-10 23:11:19 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 23:12:02 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-10 23:12:32 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:12:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 23:12:51 +0200gattytto(b33e397e@179.62.57.126) (Remote host closed the connection)
2020-10-10 23:13:39 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:14:07 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-10 23:14:32 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:15:35 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:16:19 +0200 <crestfallen> a poor place to start reviewing haskell again?
2020-10-10 23:16:35 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:17:41 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:17:46 +0200 <Squarism> Warning, maybe flawed question. Say I have a class instance : instance MyClass a b. If I want to express that there is an instance for all parameterized types instead of b, how would one do that?
2020-10-10 23:18:35 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:18:49 +0200 <Squarism> incomprehensible question?
2020-10-10 23:18:58 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 23:19:15 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 23:19:15 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 23:19:15 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-10 23:19:27 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 23:20:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 23:20:37 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:21:28 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:21:28 +0200clmg(~clmg@2601:1c2:200:720:4114:54ca:ed6a:7bde)
2020-10-10 23:21:36 +0200gchaix(~gchaix@185.204.1.185)
2020-10-10 23:22:22 +0200 <clmg> I'm running archlinux. I have a lot of `haskell-` packages installed via pacman already. But when I run, e.g., `stack install hakyll`, it starts downloading a lot of packages. I want to use stack to get multiple versions of haskell, but I don't want packages installed both via pacman and via stack.
2020-10-10 23:22:40 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:23:25 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 23:23:50 +0200mpereira(~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 23:24:42 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:25:36 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:26:17 +0200 <maerwald> clmg: what's the question?
2020-10-10 23:26:38 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:26:40 +0200 <dsal> Squarism: A little. What do you mean "for all parameterized types"?
2020-10-10 23:26:45 +0200jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250)
2020-10-10 23:27:37 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:28:06 +0200 <phadej> probably something like MyClass a (f b)
2020-10-10 23:28:24 +0200 <clmg> maerwald: how do I figure out why I have `haskell-` packages installed via pacman, when I'm already using stack?
2020-10-10 23:28:41 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 23:28:41 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:28:46 +0200C0(~C0@41.249.80.99)
2020-10-10 23:29:43 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:29:48 +0200 <maerwald> clmg: because you installed them
2020-10-10 23:29:48 +0200 <clmg> Pacman says they are installed because they're required by stack. But shouldn't stack download them itself? Why does stack rely on pacman sometimes and other times not?
2020-10-10 23:30:17 +0200 <dsal> stack shouldn't require much of anything.
2020-10-10 23:30:41 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:31:11 +0200 <maerwald> clmg: don't install stack via pacman
2020-10-10 23:31:13 +0200 <yushyin> download the static build binary from the stack website and you won't need the haskell- packages ...
2020-10-10 23:31:16 +0200 <clmg> dsal: exactly. so why when I run `pacman -Qi haskell-mustache` does it say: `required by: stack`
2020-10-10 23:31:34 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:31:42 +0200 <yushyin> of course the pacman stack will depend on some haskell- packages on arch linux
2020-10-10 23:32:15 +0200 <clmg> So I should `-R stack` and curl `get.haskellstack.org`
2020-10-10 23:32:17 +0200 <clmg> right?
2020-10-10 23:32:29 +0200 <maerwald> just download the binary
2020-10-10 23:32:41 +0200 <maerwald> the install script is terrible, it invokes sudo I believe
2020-10-10 23:32:46 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:33:06 +0200 <maerwald> https://github.com/commercialhaskell/stack/releases/tag/v2.3.3
2020-10-10 23:33:37 +0200 <clmg> Ah I see (from arch wiki Haskell page): "Alternatively, Stack can be installed through stack-staticAUR package. It provides statically linked binaries, thereby avoiding dozens of haskell-* dependencies."
2020-10-10 23:33:52 +0200 <maerwald> don't do that either
2020-10-10 23:34:21 +0200 <maerwald> then you'll have stack in two places when I tries to auto-upgrade itself I think
2020-10-10 23:34:32 +0200 <clmg> hmmm what's wrong with stack-static? that way I can keep it up to date via AUR
2020-10-10 23:34:39 +0200 <MarcelineVQ> If I was gonna install stack via pacman I'd be by getting stack-bin from the AUR, but just getting the bin and putting in in ~/.local/bin is the most direct method by far
2020-10-10 23:34:41 +0200_vaibhavingale_1(~Adium@203.188.228.27)
2020-10-10 23:35:13 +0200 <maerwald> clmg: stack handles updating itself
2020-10-10 23:35:26 +0200 <clmg> ah ok
2020-10-10 23:35:28 +0200_vaibhavingale_1(~Adium@203.188.228.27) (Read error: No route to host)
2020-10-10 23:35:33 +0200inkbottle(~inkbottle@aaubervilliers-654-1-91-187.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-10 23:35:34 +0200zebrag(~inkbottle@aaubervilliers-654-1-84-138.w86-212.abo.wanadoo.fr)
2020-10-10 23:35:42 +0200 <maerwald> then you'll come back and ask why it didn't work and then we have to solve PATH issues again
2020-10-10 23:35:52 +0200 <Squarism> dsal, The "GDeliver" instance works well if I instruct the result to be a fully applied paramterized type. But If I I try to say it produces "Step b" as in the recursiveDeliver function i get the compile error at the bottom: https://paste.ofcode.org/6hQCnXKNmVNGkWE32D7Dhx
2020-10-10 23:35:59 +0200 <yushyin> maerwald is a fan of those
2020-10-10 23:36:03 +0200 <maerwald> lol
2020-10-10 23:36:11 +0200maerwaldshoots himself
2020-10-10 23:36:35 +0200 <yushyin> nooo we need you, or rather the mac users need you!
2020-10-10 23:36:41 +0200_vaibhavingale_1(~Adium@203.188.228.27)
2020-10-10 23:37:05 +0200_vaibhavingale_(~Adium@203.188.228.27) (Ping timeout: 240 seconds)
2020-10-10 23:37:36 +0200 <MarcelineVQ> clmg: with that in mind don't forget to add ~/.local/bin to your PATH if that's where you put stack. By default that's where it places its upgraded self so that's the best spot
2020-10-10 23:37:43 +0200_vaibhavingale_1(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:38:16 +0200chaosmasttter(~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-10 23:38:41 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:39:26 +0200shatriff(~vitaliish@130.180.217.140) (Remote host closed the connection)
2020-10-10 23:39:42 +0200 <clmg> Will stack install ghc into my home directory by default? I don't want it in root.
2020-10-10 23:39:42 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:40:20 +0200 <maerwald> sure, it will download as many GHCs at it wants
2020-10-10 23:40:41 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:40:47 +0200 <MarcelineVQ> it places what it needs in ~/.stack/
2020-10-10 23:41:36 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:42:41 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-10 23:43:21 +0200Lycurgus(~niemand@98.4.96.130)
2020-10-10 23:43:34 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-10 23:44:20 +0200carlomagno(~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection)
2020-10-10 23:46:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-10 23:46:34 +0200carlomagno(~cararell@inet-hqmc01-o.oracle.com)
2020-10-10 23:46:56 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 23:48:57 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-10 23:49:48 +0200clmg(~clmg@2601:1c2:200:720:4114:54ca:ed6a:7bde) (Quit: Leaving)
2020-10-10 23:50:43 +0200gnar^2(~user@c-73-118-153-248.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-10-10 23:51:25 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-10 23:51:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-10 23:54:12 +0200knupfer(~Thunderbi@200116b824272b0030779e85f7c75c56.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-10 23:56:51 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-10 23:57:48 +0200taurux(~taurux@net-188-216-0-252.cust.vodafonedsl.it) (Ping timeout: 258 seconds)
2020-10-10 23:58:28 +0200conal(~conal@64.71.133.70)
2020-10-10 23:58:37 +0200sand_dull(~theuser@104.140.53.43)
2020-10-10 23:59:35 +0200taurux(~taurux@net-188-216-43-131.cust.vodafonedsl.it)