Logs on 2021-01-16 (freenode/#haskell)
| 00:00:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:02:14 | × | relrod- quits (~relrod@origin.elrod.me) (Quit: .) |
| 00:02:19 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 00:02:23 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 00:02:24 | → | relrod joins (~relrod@origin.elrod.me) |
| 00:02:26 | × | relrod quits (~relrod@origin.elrod.me) (Changing host) |
| 00:02:26 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 00:05:54 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 00:05:56 | × | maxsu quits (~maxsu@ip-64-72-99-232.lasvegas.net) (*.net *.split) |
| 00:05:57 | × | phittacus quits (bklmatrixo@gateway/shell/matrix.org/x-gjldajjnsymtpsnu) (*.net *.split) |
| 00:06:22 | → | maxsu joins (~maxsu@ip-64-72-99-232.lasvegas.net) |
| 00:06:41 | → | phittacus joins (bklmatrixo@gateway/shell/matrix.org/x-ubeemdszvcazvzog) |
| 00:06:47 | → | conal_ joins (~conal@64.71.133.70) |
| 00:07:09 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 00:07:56 | × | ulidtko|k quits (~ulidtko@194.54.80.38) (Ping timeout: 240 seconds) |
| 00:08:07 | koz | is now known as koz_ |
| 00:09:49 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 264 seconds) |
| 00:09:55 | × | dandels quits (~dandels@unaffiliated/dandels) (Ping timeout: 246 seconds) |
| 00:18:59 | → | Vulfe joins (~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) |
| 00:20:47 | × | Vulfe quits (~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) (Remote host closed the connection) |
| 00:21:04 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d) |
| 00:23:39 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 00:26:58 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 00:29:25 | → | xiinotulp joins (~q@node-unf.pool-125-24.dynamic.totinternet.net) |
| 00:31:03 | → | xsperry joins (~as@cpe-188-129-52-227.dynamic.amis.hr) |
| 00:31:15 | × | xsperry quits (~as@cpe-188-129-52-227.dynamic.amis.hr) (Client Quit) |
| 00:31:25 | × | plutoniix quits (~q@node-uib.pool-125-24.dynamic.totinternet.net) (Ping timeout: 264 seconds) |
| 00:31:39 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 00:35:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 00:36:16 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 240 seconds) |
| 00:36:51 | → | Spiff joins (~quassel@102.160.161.107) |
| 00:40:56 | × | Spiff quits (~quassel@102.160.161.107) (Ping timeout: 240 seconds) |
| 00:41:11 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:41:58 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:55a5:81b6:6cbc:13ed) (Ping timeout: 260 seconds) |
| 00:42:15 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 00:43:24 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 00:45:28 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 00:45:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:49:03 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 00:50:36 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 00:50:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds) |
| 00:51:09 | <BosonCollider> | I'm trying to get a good intuition for monad transformers from a cat theory perspective |
| 00:51:49 | <BosonCollider> | Monads are monoid objects in the endorfunctor category |
| 00:52:49 | <BosonCollider> | monad transformers seem to be some kind of functor on the category of monads? |
| 00:53:01 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) |
| 00:53:22 | <BosonCollider> | where the arrows in the latter are monoid object homomorphisms of some kind |
| 00:55:07 | <ski> | `maybeToList' is a monad morphism |
| 00:56:52 | <ski> | `phi :: forall a. T a -> U a' is a monad morphism, iff (it's a natural transformation, and) `phi . return = return', and `phi . join = join . phi . fmap phi' |
| 00:58:36 | <BosonCollider> | right, so taking the endofunctor category, and restricting the morphisms to the ones that satisfy the laws for monoid homomorphisms written in a category independent way |
| 00:58:55 | nf | is now known as optimism |
| 01:00:42 | <BosonCollider> | is there an intuitive proof that composition of monad transformers is compatible with composition of the associative instances? |
| 01:01:18 | optimism | is now known as nf |
| 01:02:13 | <BosonCollider> | assuming that last statement is even true |
| 01:02:45 | × | xiinotulp quits (~q@node-unf.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 01:03:45 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 01:04:08 | <BosonCollider> | as functors it should follow from the laws of natural transformations |
| 01:04:55 | <BosonCollider> | but as monoidal functors its less obvious |
| 01:08:35 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 01:09:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:12:29 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.0) |
| 01:14:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 01:16:10 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:16:37 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-vxhfsmwenjaayzjd) |
| 01:17:51 | → | sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) |
| 01:18:33 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 01:18:58 | → | jollygood2 joins (~bc8134e3@217.29.117.252) |
| 01:19:10 | × | polyrain quits (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:20:55 | × | columbarius1 quits (~columbari@i5E86B3FB.versanet.de) (Ping timeout: 240 seconds) |
| 01:23:14 | → | columbarius1 joins (~columbari@muedsl-82-207-236-129.citykom.de) |
| 01:23:58 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 01:24:21 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 01:24:26 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 01:27:05 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 01:28:50 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 01:31:04 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 01:35:11 | → | Tario joins (~Tario@201.192.165.173) |
| 01:48:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:54:32 | × | ep1ctetus quits (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 01:57:57 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 02:03:02 | × | LKoen quits (~LKoen@119.169.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 02:06:18 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 02:10:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 02:12:10 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 02:12:13 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 264 seconds) |
| 02:13:08 | × | jollygood2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout)) |
| 02:13:14 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 02:14:51 | → | vappend joins (~ezrakilty@75-172-99-84.tukw.qwest.net) |
| 02:15:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds) |
| 02:16:38 | → | conal joins (~conal@64.71.133.70) |
| 02:17:49 | × | Sonderblade quits (~helloman@94.191.152.250) (Read error: Connection reset by peer) |
| 02:18:09 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 02:18:14 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 02:18:21 | → | Sonderblade joins (~helloman@94.191.152.250) |
| 02:18:21 | → | Tario joins (~Tario@200.119.187.84) |
| 02:21:03 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 02:22:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 02:22:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:23:11 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) |
| 02:25:58 | <nerdypepper> | hiya, I am looking to try Haskell on the browser through ghcjs, can someone point me to an up-to-date tutorial? |
| 02:27:58 | <remexre> | Foldable's elem on a red-black-tree set is required to suck by its interface, right? |
| 02:28:15 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 02:28:39 | <remexre> | b/c it can't require an Ord bound, so it has to fall back to checking every element linearly |
| 02:29:37 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 02:29:39 | → | jollygood2 joins (~bc8134e3@217.29.117.252) |
| 02:31:29 | × | xff0x quits (~xff0x@2001:1a81:52c6:7f00:785f:53ed:cde5:7b1a) (Ping timeout: 272 seconds) |
| 02:32:43 | → | xff0x joins (~xff0x@2001:1a81:52fe:9d00:d437:cdbe:e236:9faf) |
| 02:33:48 | × | vappend quits (~ezrakilty@75-172-99-84.tukw.qwest.net) (Remote host closed the connection) |
| 02:35:10 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 02:35:41 | <glguy> | remexre, Right |
| 02:36:16 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 02:37:03 | → | Spiff joins (~quassel@102.160.161.107) |
| 02:37:07 | <remexre> | is there any easy workaround? or should I just document "don't use elem on this structure, use member instead" |
| 02:37:24 | → | shatriff_ joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 02:37:35 | <glguy> | Foldable's a bit of a mess, people should know to avoid a lot of it |
| 02:37:44 | <glguy> | but there's nothing much to do about it |
| 02:37:56 | <remexre> | is there smth on the wiki about what to avoid? |
| 02:38:32 | <glguy> | I haven't been on the Haskell wiki in a long time; I'm not sure... |
| 02:39:09 | → | texasmynsted_ joins (~texasmyns@99.96.221.112) |
| 02:39:30 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 02:40:02 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 256 seconds) |
| 02:40:02 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 256 seconds) |
| 02:41:07 | × | maxsu quits (~maxsu@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds) |
| 02:41:28 | × | Spiff quits (~quassel@102.160.161.107) (Ping timeout: 246 seconds) |
| 02:42:39 | → | christo joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 02:47:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 02:48:48 | → | ADG1089_ joins (~adg1089@122.163.165.143) |
| 02:48:59 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 02:50:10 | × | christo quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection) |
| 02:50:21 | <monochrom> | To a large extent, one wouldn't make a binary search tree an instance of Foldable in the first place. |
| 02:50:21 | × | solarion quits (~solarion@mail.digitasaru.net) (Changing host) |
| 02:50:22 | → | solarion joins (~solarion@fsf/member/solarion) |
| 02:50:22 | × | ADG1089_ quits (~adg1089@122.163.165.143) (Read error: Connection reset by peer) |
| 02:50:43 | solarion | is now known as Solarion |
| 02:53:20 | <remexre> | why not? I'd think foldMap exists for tree foldables |
| 02:53:21 | × | Tario quits (~Tario@200.119.187.84) (Read error: Connection reset by peer) |
| 02:53:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:54:08 | <monochrom> | "tree" ≠ "binary search tree" |
| 02:54:19 | → | Tario joins (~Tario@201.192.165.173) |
| 02:54:30 | <monochrom> | Yes this is one of those "a white horse is not a horse" instances. |
| 02:54:39 | <remexre> | rip |
| 02:54:51 | <remexre> | is there a particular reason why it's ill-suited, though? |
| 02:55:48 | → | maxsu joins (~maxsu@ip-64-72-99-232.lasvegas.net) |
| 02:56:54 | <monochrom> | On the surface, the Ord constaint stands in the way. That is not as cosmetic as most people think. It is the tip of the iceberg that says a binary search tree has much more structure than arbitrary trees. |
| 02:57:02 | → | _bin_ joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 02:58:05 | × | _bin quits (~bin@2600:1700:10a1:38d0:20be:8d7e:7dcc:6ee) (Ping timeout: 272 seconds) |
| 02:58:31 | <remexre> | all the other Foldable methods look like they'd work fine without Ord, though |
| 02:58:47 | <shachaf> | What would make it not Foldable? |
| 02:59:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 02:59:28 | <glguy> | Foldable just means "treat me like a list" |
| 03:00:42 | <c_wraith> | Foldable seems fine for a BST |
| 03:00:44 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds) |
| 03:01:17 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 03:02:03 | × | xff0x quits (~xff0x@2001:1a81:52fe:9d00:d437:cdbe:e236:9faf) (Ping timeout: 246 seconds) |
| 03:02:20 | <c_wraith> | ... containers would seem to agree |
| 03:02:21 | <c_wraith> | > foldr const 22 (S.fromList [4,3,1]) |
| 03:02:23 | <lambdabot> | 1 |
| 03:02:57 | → | xff0x joins (~xff0x@2001:1a81:52fe:9d00:cd2a:724d:da6:df4a) |
| 03:02:59 | <c_wraith> | Traversable would be a real problem, but this is kind of why Foldable and Traversable are different classes. |
| 03:03:04 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 03:03:16 | → | xcmw joins (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) |
| 03:03:44 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 03:03:56 | <monochrom> | OK, I concede. Enjoy linear time search! |
| 03:04:19 | <remexre> | :P |
| 03:05:23 | <c_wraith> | I do remember someone in here getting bit by that a couple years ago in the advent of code. They used elem instead of member and wondered why their code was so much slower than everyone else using the same algorithm |
| 03:06:04 | <glguy> | That happened this year, too. |
| 03:06:26 | <remexre> | I might see if I can get our compiler (this isn't haskell, but has everything beneath Foldable the same, except Semiring instead of Num) to warn on using elem on sets, actually |
| 03:06:40 | <monochrom> | On the matter of "can I?", as opposed to "should I?", I also refer you to Foldable ((,) r). Enjoy your hard-won length (x,y) = 1, too! |
| 03:07:27 | <c_wraith> | you're really not complaining those types are instances of Foldable. You're complaining elem and length involve Foldable |
| 03:08:06 | <remexre> | though, why is ((,) r) foldable? just so it can be traversable? (though, is that even useful...) |
| 03:08:15 | ← | rkrishnan_ parts (~rkrishnan@rkrishnan.org) ("ERC (IRC client for Emacs 27.1)") |
| 03:08:19 | <c_wraith> | it's absolutely useful for it to be Traversable |
| 03:08:34 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:09:00 | <glguy> | It's maybe not good coding practice, but it can be handy to use in haste |
| 03:09:28 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 03:09:44 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 03:09:45 | <glguy> | Using Writer when you're using the two elements of the tuple asymmetrically is nicer for the reader |
| 03:10:24 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 03:11:02 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 03:11:04 | <glguy> | (not saying I haven't cut some corners and used various instances of (,)) |
| 03:11:38 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer) |
| 03:11:54 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 03:12:12 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer) |
| 03:12:25 | <remexre> | oh, hm, thinking about it as Writer makes it seem like there's something interesting with that instance |
| 03:12:27 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 03:12:33 | <remexre> | ig, it's saying writer commutes with any monad? |
| 03:12:52 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 03:12:53 | <c_wraith> | can't be saying that, because that's not true :) |
| 03:13:08 | <remexre> | oh, right, it's only in one direction |
| 03:15:15 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer) |
| 03:15:31 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 03:15:37 | <remexre> | "writer and [], and any other applicatives that are also traversables, commute" ? |
| 03:15:42 | <remexre> | though that's not quite right either |
| 03:15:58 | → | drbean joins (~drbean@TC210-63-209-168.static.apol.com.tw) |
| 03:16:02 | <c_wraith> | writer and [] definitely don't commute. |
| 03:16:47 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:16:55 | <remexre> | is there anything deep there or is it just shaped in a way that's tricking me into thinking there is :P |
| 03:17:16 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 03:18:46 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 03:20:45 | <sm2n_> | hello, is there a recommended book for learning practical haskell, i.e how it's used for writing general programs? I've been looking at this and it seems ok: https://github.com/tssm/up-to-date-real-world-haskell |
| 03:21:48 | sm2n_ | is now known as sm2n |
| 03:22:46 | <c_wraith> | remexre: One ordering of the effects gives you a history of each result. the other ordering gives you a global history across everything, whether it ended up in a result or not. |
| 03:22:50 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 03:23:10 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) |
| 03:23:20 | <remexre> | er yeah I meant things that are both traversables and monads |
| 03:23:24 | <glguy> | remexre, I don't think there's anything interesting about how Writer and (,) coincide other than Writer is basically just a newtype on (,) |
| 03:23:26 | <remexre> | like is there anything special about those types |
| 03:25:09 | <glguy> | sm2n, I don't know that the book you want exists |
| 03:26:30 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:26:42 | → | notzmv joins (~user@unaffiliated/zmv) |
| 03:28:43 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 03:29:40 | × | jollygood2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/) |
| 03:29:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:30:38 | <sm2n> | rip, what do people do then? |
| 03:30:55 | <glguy> | Read existing projects and write their own |
| 03:31:36 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 03:31:50 | <sm2n> | fair enough |
| 03:32:20 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:8cf9:a684:8b01:4d31) (Quit: Leaving) |
| 03:37:31 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 03:37:46 | × | mirrorbird quits (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Quit: Leaving) |
| 03:38:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:38:29 | → | plutoniix joins (~q@184.82.197.202) |
| 03:41:40 | × | theDon quits (~td@muedsl-82-207-238-172.citykom.de) (Ping timeout: 246 seconds) |
| 03:42:52 | → | ADG1089_ joins (~adg1089@122.163.165.143) |
| 03:43:50 | → | theDon joins (~td@muedsl-82-207-238-004.citykom.de) |
| 03:44:06 | → | iridescent joins (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 03:51:44 | → | Tario joins (~Tario@201.192.165.173) |
| 03:53:55 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d) |
| 03:54:19 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 03:54:20 | lagothrix | is now known as Guest35012 |
| 03:54:20 | × | Guest35012 quits (~lagothrix@unaffiliated/lagothrix) (Killed (barjavel.freenode.net (Nickname regained by services))) |
| 03:54:20 | xirhtogal | is now known as lagothrix |
| 03:55:16 | → | mirrorbird joins (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) |
| 03:55:58 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 03:59:48 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 04:00:01 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 04:01:25 | → | haasn joins (~nand@mpv/developer/haasn) |
| 04:03:06 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 04:03:42 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 04:04:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 04:05:29 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 04:08:29 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 04:10:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 04:14:27 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 04:15:17 | → | lordyod3 joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) |
| 04:15:37 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 04:15:49 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 04:16:00 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 04:16:02 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 04:17:24 | × | lordyod quits (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 04:17:24 | lordyod3 | is now known as lordyod |
| 04:17:44 | → | nineonine joins (~nineonine@50.216.62.2) |
| 04:18:28 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 04:19:32 | → | zaquest joins (~notzaques@5.128.210.178) |
| 04:21:20 | → | conal joins (~conal@64.71.133.70) |
| 04:21:21 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-yybsiwkkxmipzuww) () |
| 04:22:25 | × | ADG1089_ quits (~adg1089@122.163.165.143) (Ping timeout: 264 seconds) |
| 04:23:15 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 04:24:19 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 04:26:22 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 04:28:35 | → | conal_ joins (~conal@209.58.135.89) |
| 04:31:42 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 04:32:34 | × | notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 272 seconds) |
| 04:32:35 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 04:36:54 | <DigitalKiwi> | "write the book/documentation you wish you had when you started" |
| 04:37:18 | → | Spiff joins (~quassel@102.160.161.107) |
| 04:37:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:41:52 | × | Spiff quits (~quassel@102.160.161.107) (Ping timeout: 256 seconds) |
| 04:42:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 04:42:59 | → | monochrom joins (trebla@216.138.220.146) |
| 04:45:14 | → | Spiff joins (~quassel@102.160.161.107) |
| 04:47:07 | × | xcmw quits (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:48:32 | → | harryst joins (4577719f@ool-4577719f.dyn.optonline.net) |
| 04:49:37 | × | harryst quits (4577719f@ool-4577719f.dyn.optonline.net) (Client Quit) |
| 04:50:18 | × | Spiff quits (~quassel@102.160.161.107) (Ping timeout: 272 seconds) |
| 04:52:25 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds) |
| 04:57:57 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 04:58:34 | texasmynsted_ | is now known as texasmynsted |
| 05:01:08 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 05:01:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 05:05:00 | → | nineonine joins (~nineonine@50.216.62.2) |
| 05:05:39 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 05:06:30 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 05:09:49 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 264 seconds) |
| 05:10:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:12:07 | × | fnurglewitz quits (uid263868@gateway/web/irccloud.com/x-yezkpczvtftthifl) (Quit: Connection closed for inactivity) |
| 05:15:01 | → | xcmw joins (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) |
| 05:15:33 | × | iridescent quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed) |
| 05:16:09 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 05:16:12 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 05:21:16 | × | plutoniix quits (~q@184.82.197.202) (Read error: Connection reset by peer) |
| 05:22:21 | → | notzmv joins (~user@unaffiliated/zmv) |
| 05:23:15 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 05:24:58 | <siraben> | sm2n: my friend recently read "Get Programming with Haskell" |
| 05:25:00 | <siraben> | it's really good |
| 05:25:17 | <siraben> | he tried Real World Haskell but it wasn't coherent halfway through |
| 05:25:20 | <siraben> | + outdated |
| 05:27:21 | <siraben> | sm2n: on my reading list I have https://link.springer.com/book/10.1007%2F978-1-4842-4480-7 which from a quick skim is good as well |
| 05:27:51 | → | plutoniix joins (~q@184.82.197.202) |
| 05:29:52 | → | polyrain joins (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) |
| 05:39:17 | × | polyrain quits (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:43:18 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 05:43:19 | → | polyrain joins (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) |
| 05:45:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 05:47:07 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 05:47:45 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 05:48:59 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 05:49:04 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 05:49:22 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 05:49:24 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 05:49:43 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 05:49:46 | × | maxsu quits (~maxsu@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds) |
| 05:50:36 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 05:54:37 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 05:55:08 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 05:55:09 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 05:55:47 | → | nineonine joins (~nineonine@50.216.62.2) |
| 05:57:39 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:59:06 | → | maxsu joins (~maxsu@ip-64-72-99-232.lasvegas.net) |
| 06:01:03 | → | Spiff joins (~quassel@102.160.161.107) |
| 06:01:31 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 06:02:09 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 06:02:09 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 06:02:23 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 06:03:35 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 06:04:07 | → | ADG1089_ joins (~adg1089@122.163.165.143) |
| 06:04:28 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 06:09:54 | → | Katarushisu5 joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 06:10:36 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 06:10:36 | Katarushisu5 | is now known as Katarushisu |
| 06:11:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 06:12:54 | × | Spiff quits (~quassel@102.160.161.107) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 06:14:35 | × | polyrain quits (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:17:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 06:17:35 | × | mirrorbird quits (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds) |
| 06:19:11 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 06:19:30 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 06:19:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:20:22 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 06:24:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 06:24:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 06:24:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 06:24:52 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Quit: Network issue or system upgrade probably) |
| 06:26:39 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 06:31:19 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:31:28 | → | mpiechotka joins (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) |
| 06:35:49 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 06:36:07 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 06:36:27 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Client Quit) |
| 06:36:43 | × | mpiechotka quits (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Quit: mpiechotka) |
| 06:36:51 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 06:39:38 | × | tzh quits (~xax@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 06:39:54 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 06:40:06 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 06:40:20 | × | notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection) |
| 06:40:39 | × | Distance_ quits (~Distance@51.194.80.91) (Quit: Connection error?!) |
| 06:41:10 | → | notzmv joins (~user@unaffiliated/zmv) |
| 06:42:20 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 06:42:30 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 06:42:34 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 06:42:43 | → | Tario joins (~Tario@201.192.165.173) |
| 06:43:31 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 06:43:54 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 06:46:01 | × | dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 06:46:34 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 06:46:54 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 06:48:25 | × | questionmarkking quits (~questionm@165.227.7.85) (Quit: WeeChat 2.9) |
| 06:48:40 | → | dave_uy joins (~david@108.61.193.26) |
| 06:49:22 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 06:49:56 | × | notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 06:50:32 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 06:53:37 | × | ADG1089_ quits (~adg1089@122.163.165.143) (Ping timeout: 264 seconds) |
| 06:55:18 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Quit: Network issue or system upgrade probably) |
| 06:59:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:04:19 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 07:06:43 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 07:10:51 | ← | alexcleac parts (~alexcleac@213.111.86.105) () |
| 07:12:09 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 07:12:22 | × | maxsu quits (~maxsu@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds) |
| 07:13:31 | <alexfmpe> | are functions with the same number of arguments guaranteed to have the same runtime representation? I seem to be able to unsafeCoerce them willy nilly even when the input/output types have different representations but don't understand why |
| 07:13:36 | <alexfmpe> | > (unsafeCoerce (id :: Int -> Int) :: Char -> Char) 'X' |
| 07:13:38 | <lambdabot> | error: |
| 07:13:38 | <lambdabot> | Variable not in scope: unsafeCoerce :: (Int -> Int) -> Char -> Char |
| 07:13:56 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 07:15:14 | <alexfmpe> | > (Unsafe.Coerce.unsafeCoerce (const :: Int -> Int -> Int) :: Char -> Char -> Char) 'X' 'Y' |
| 07:15:16 | <lambdabot> | error: |
| 07:15:16 | <lambdabot> | Not in scope: ‘Unsafe.Coerce.unsafeCoerce’ |
| 07:15:16 | <lambdabot> | No module named ‘Unsafe.Coerce’ is imported. |
| 07:15:49 | <alexfmpe> | sigh lambdabot, anyway those both work and return 'X' |
| 07:17:19 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 07:19:07 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 07:19:17 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 07:19:54 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 07:20:42 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 07:21:08 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 07:22:08 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 07:27:57 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:989c:f9b9:87c4:db9d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:33:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 07:35:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 07:35:50 | × | lawid quits (~quassel@dslb-178-005-066-239.178.005.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 07:36:15 | → | lawid joins (~quassel@dslb-090-186-099-166.090.186.pools.vodafone-ip.de) |
| 07:39:08 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:44:14 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:44:57 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 07:45:33 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 07:50:01 | × | gluegadget quits (sid22336@gateway/web/irccloud.com/x-gpdwingfejgfufvv) (Ping timeout: 264 seconds) |
| 07:50:31 | → | gluegadget joins (sid22336@gateway/web/irccloud.com/x-dnpnqphnnwbxousx) |
| 07:54:49 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-vqsmakxboqrscwtf) (Quit: Connection closed for inactivity) |
| 07:55:23 | × | mctpyt quits (~mctpyt@unaffiliated/mctpyt) (Quit: WeeChat 3.0) |
| 07:57:21 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 07:57:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 07:57:56 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 07:59:55 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 08:00:11 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 08:01:55 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 08:04:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:08:56 | <peutri> | early morning, I read "No module named 'Unsafe.Coerce' is important." |
| 08:09:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 08:10:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:d4d8:4447:1149:eaf2) (Remote host closed the connection) |
| 08:12:54 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 08:15:00 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 08:17:24 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 08:30:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:35:27 | lambda_ | is now known as lambda |
| 08:37:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 08:37:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 08:40:19 | × | tito_04 quits (~taurux@net-188-216-43-78.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 08:40:27 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 08:40:44 | → | taurux joins (~taurux@net-188-216-43-78.cust.vodafonedsl.it) |
| 08:41:49 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:42:11 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 08:44:24 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 08:45:02 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 08:51:08 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 08:51:42 | × | drbean quits (~drbean@TC210-63-209-168.static.apol.com.tw) (Ping timeout: 246 seconds) |
| 08:54:21 | → | nineonine joins (~nineonine@50.216.62.2) |
| 08:55:56 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 08:58:54 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 256 seconds) |
| 08:59:48 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:04:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 09:07:35 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer) |
| 09:08:19 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 09:09:43 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 09:11:02 | → | greyskull joins (~greyskull@51.194.80.91) |
| 09:11:18 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 09:11:41 | → | ubert joins (~Thunderbi@p200300ecdf1ee03ee02324fb94e406b3.dip0.t-ipconnect.de) |
| 09:16:11 | → | dandels joins (~dandels@unaffiliated/dandels) |
| 09:16:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 09:19:57 | → | polyrain joins (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) |
| 09:20:22 | → | ADG1089__ joins (~aditya@122.163.165.143) |
| 09:21:38 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 09:21:46 | × | polyrain quits (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Client Quit) |
| 09:23:00 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 09:23:29 | <ij> | :t foldMap ((:[]) . fst) . uncons |
| 09:23:30 | <lambdabot> | [a] -> [a] |
| 09:23:35 | → | pera joins (~pera@unaffiliated/pera) |
| 09:23:43 | <ij> | == maybeToList . headOption |
| 09:24:12 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 09:25:00 | × | xff0x quits (~xff0x@2001:1a81:52fe:9d00:cd2a:724d:da6:df4a) (Remote host closed the connection) |
| 09:25:19 | → | xff0x joins (~xff0x@2001:1a81:52fe:9d00:a597:9273:b6fd:8f2b) |
| 09:26:00 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds) |
| 09:26:37 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 09:27:08 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 09:27:30 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 09:27:53 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 09:29:48 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:a7ac:5fa8:5a36:d98f) |
| 09:33:57 | → | noop_noob joins (31e49ad0@gateway/web/cgi-irc/kiwiirc.com/ip.49.228.154.208) |
| 09:34:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 09:35:31 | × | noop_noob quits (31e49ad0@gateway/web/cgi-irc/kiwiirc.com/ip.49.228.154.208) (Client Quit) |
| 09:37:13 | → | LKoen joins (~LKoen@119.169.9.109.rev.sfr.net) |
| 09:39:45 | × | xcmw quits (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:41:37 | × | datajerk quits (~datajerk@sense.net) (Ping timeout: 264 seconds) |
| 09:47:26 | × | ubert quits (~Thunderbi@p200300ecdf1ee03ee02324fb94e406b3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 09:55:06 | → | datajerk joins (~datajerk@sense.net) |
| 09:57:33 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 10:00:03 | × | hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 10:00:22 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 10:03:39 | × | ADG1089__ quits (~aditya@122.163.165.143) (Remote host closed the connection) |
| 10:03:43 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 10:04:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:05:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 10:05:22 | → | ADG1089__ joins (~aditya@122.163.165.143) |
| 10:05:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 10:06:17 | → | christo joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 10:08:11 | → | niekvandepas joins (~niekvande@89.205.135.50) |
| 10:08:40 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-mbazhcqiqbqsbhaw) (Quit: Connection closed for inactivity) |
| 10:09:17 | → | polyrain joins (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) |
| 10:13:32 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:16:34 | × | rkvist quits (~user@138.197.72.132) (Quit: wait wut) |
| 10:16:50 | → | rkvist joins (~user@138.197.72.132) |
| 10:16:53 | → | fendor joins (~fendor@91.141.1.45.wireless.dyn.drei.com) |
| 10:18:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 10:18:39 | × | polyrain quits (~polyrain@2001:8003:e501:6901:1dd9:2fe6:ccd8:6fc9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:20:35 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 10:22:15 | → | pera joins (~pera@unaffiliated/pera) |
| 10:23:08 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 10:23:24 | × | niekvandepas quits (~niekvande@89.205.135.50) (Remote host closed the connection) |
| 10:24:31 | × | dandels quits (~dandels@unaffiliated/dandels) (Ping timeout: 246 seconds) |
| 10:24:39 | → | hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 10:24:57 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 10:27:52 | × | christo quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection) |
| 10:28:30 | → | christo joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 10:29:16 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 10:33:34 | × | christo quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Ping timeout: 272 seconds) |
| 10:37:56 | → | dandels joins (~dandels@unaffiliated/dandels) |
| 10:38:31 | × | worc3131 quits (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 272 seconds) |
| 10:38:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 10:43:15 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 10:45:05 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:52:26 | → | robotmay joins (~beepboop@80.172.187.81.in-addr.arpa) |
| 10:54:37 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 246 seconds) |
| 10:56:49 | <carbolymer> | I'm debugging my program, and I've put `unsafePerformIO . putStr $ value` to print value in my function in state monad, but it does not get printed |
| 10:57:02 | <carbolymer> | any ideas how to force unsafePerformIO in such case? |
| 10:58:40 | <srk> | trace from Debug.Trace might be useful instead of that ^ |
| 10:59:54 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 11:00:39 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 11:00:49 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 11:00:52 | <carbolymer> | srk, works, thanks! |
| 11:01:20 | <srk> | yw! |
| 11:02:30 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 11:02:58 | × | shadowdaemon quits (~user@unaffiliated/shadowdaemon) (Remote host closed the connection) |
| 11:04:07 | × | plutoniix quits (~q@184.82.197.202) (Read error: Connection reset by peer) |
| 11:06:13 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 11:06:20 | → | plutoniix joins (~q@184.82.197.202) |
| 11:06:23 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.0) |
| 11:07:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:10:29 | <ephemient> | @src traceM |
| 11:10:29 | <lambdabot> | Source not found. The more you drive -- the dumber you get. |
| 11:10:37 | <ephemient> | @src Debug.Trace.traceM |
| 11:10:38 | <lambdabot> | Source not found. It can only be attributed to human error. |
| 11:10:44 | <ephemient> | :( |
| 11:11:33 | → | Deide joins (~Deide@217.155.19.23) |
| 11:12:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 11:12:48 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 11:13:35 | <xerox_> | https://www.stackage.org/haddock/nightly-2021-01-15/base-4.14.1.0/src/Debug-Trace.html#traceM |
| 11:18:23 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 11:18:44 | → | Franciman joins (~francesco@host-82-48-174-127.retail.telecomitalia.it) |
| 11:18:45 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 11:19:03 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:3abe:a88c:1b2d:b08c) (Ping timeout: 272 seconds) |
| 11:23:17 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 11:25:45 | <Kronic> | Is there anyway to get HSX syntax highlighting with vim? |
| 11:27:44 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 11:28:01 | × | plutoniix quits (~q@184.82.197.202) (Ping timeout: 256 seconds) |
| 11:28:55 | → | son0p joins (~son0p@181.58.39.182) |
| 11:30:26 | → | cuz joins (~user@2601:182:cc02:8b0:3843:324a:6ddc:6c1e) |
| 11:30:39 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:b3b1:c462:4b9d:a58f) |
| 11:31:53 | ← | notandinus parts (andinus@tilde.institute) ("Killed buffer") |
| 11:32:37 | → | Bergle_2 joins (~Bergle_4@101.165.90.119) |
| 11:32:47 | → | zariuq joins (~zar@fw1.ciirc.cvut.cz) |
| 11:32:52 | → | uberj joins (~uberj@unaffiliated/uberj) |
| 11:32:56 | → | ridcully__ joins (~ridcully@pd951f4de.dip0.t-ipconnect.de) |
| 11:33:12 | → | Axma32944 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 11:33:16 | × | zar quits (~zar@fw1.ciirc.cvut.cz) (Read error: Connection reset by peer) |
| 11:33:16 | × | gothos quits (~gothos@antsy.jhz.name) (Read error: Connection reset by peer) |
| 11:33:16 | × | hvr quits (~hvr@haskell/developer/hvr) (Write error: Connection reset by peer) |
| 11:33:16 | × | russruss quits (~russruss@my.russellmcc.com) (Read error: Connection reset by peer) |
| 11:33:16 | × | leafiest quits (~leafiest@165.227.53.12) (Read error: Connection reset by peer) |
| 11:33:16 | × | uberj_ quits (~uberj@107.170.237.156) (Read error: Connection reset by peer) |
| 11:33:16 | × | ridcully_ quits (~ridcully@pd951f4de.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 11:33:16 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Read error: Connection reset by peer) |
| 11:33:19 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood) |
| 11:33:19 | → | hvr_ joins (~hvr@haskell/developer/hvr) |
| 11:33:25 | → | russruss4 joins (~russruss@my.russellmcc.com) |
| 11:33:29 | → | leafiest joins (~leafiest@165.227.53.12) |
| 11:33:50 | × | conal_ quits (~conal@209.58.135.89) (Ping timeout: 256 seconds) |
| 11:34:24 | → | gothos joins (~gothos@antsy.jhz.name) |
| 11:34:39 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 11:34:44 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 256 seconds) |
| 11:34:58 | × | Bergle_1 quits (~Bergle_4@101.165.90.119) (Ping timeout: 256 seconds) |
| 11:34:58 | × | samebchase quits (~samebchas@51.15.68.182) (Ping timeout: 256 seconds) |
| 11:34:58 | × | jophish quits (~jophish@li1766-207.members.linode.com) (Ping timeout: 256 seconds) |
| 11:34:58 | × | lieven quits (~mal@unaffiliated/lieven) (Ping timeout: 256 seconds) |
| 11:35:18 | → | lieven joins (~mal@unaffiliated/lieven) |
| 11:35:24 | → | jophish joins (~jophish@2400:8901::f03c:91ff:fe39:7a9) |
| 11:35:29 | → | samebchase joins (~samebchas@51.15.68.182) |
| 11:35:58 | → | conal joins (~conal@209.58.135.89) |
| 11:36:16 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 11:36:27 | → | knupfer joins (~Thunderbi@200116b82c63f800d1f0439390be6d80.dip.versatel-1u1.de) |
| 11:36:28 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 11:36:56 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 11:37:44 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 11:38:00 | → | niekvand_ joins (~niekvande@89.205.135.50) |
| 11:40:45 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 11:43:05 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:43:26 | ridcully__ | is now known as ridcully |
| 11:43:38 | × | ridcully quits (~ridcully@pd951f4de.dip0.t-ipconnect.de) (Quit: WeeChat 3.0) |
| 11:43:45 | → | ridcully joins (~ridcully@pd951f4de.dip0.t-ipconnect.de) |
| 11:44:32 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 11:44:33 | × | niekvand_ quits (~niekvande@89.205.135.50) (Read error: Connection reset by peer) |
| 11:47:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:49:30 | × | cuz quits (~user@2601:182:cc02:8b0:3843:324a:6ddc:6c1e) (Remote host closed the connection) |
| 11:50:43 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 11:51:15 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 11:54:14 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 11:57:54 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:a7ac:5fa8:5a36:d98f) (Ping timeout: 246 seconds) |
| 11:58:07 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 11:58:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:58:36 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 11:59:10 | → | drbean joins (~drbean@TC210-63-209-181.static.apol.com.tw) |
| 12:01:25 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 12:03:05 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 12:06:11 | → | adharsh joins (~adharsh@117.211.21.169) |
| 12:10:10 | → | erolm_a joins (~erolm_a@82.24.185.133) |
| 12:14:15 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 12:14:24 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 12:15:25 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 12:16:16 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 240 seconds) |
| 12:18:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 12:18:49 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 12:21:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 12:27:06 | → | ArConan joins (9de62a69@157.230.42.105) |
| 12:28:25 | × | dandels quits (~dandels@unaffiliated/dandels) (Ping timeout: 264 seconds) |
| 12:28:28 | <ArConan> | @where paste |
| 12:28:28 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 12:28:51 | <ArConan> | https://paste.tomsmeding.com/8tRfcLgv |
| 12:29:47 | <ArConan> | I'm confused about the condition `null line` |
| 12:29:51 | × | ADG1089__ quits (~aditya@122.163.165.143) (Remote host closed the connection) |
| 12:30:13 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 12:30:15 | <ArConan> | I know it means `line ==null` |
| 12:30:18 | <ski> | `line' is a `String', that is a `[Char]' (a list of `Char's) |
| 12:30:36 | <ArConan> | but where i can learn about it |
| 12:30:45 | × | tanuki_ quits (~quassel@173.168.154.189) (Ping timeout: 240 seconds) |
| 12:31:06 | <ski> | learn what about it ? |
| 12:31:56 | <ArConan> | I'm confused why `line ==null`can be expressed as `null line` |
| 12:32:53 | <ArConan> | ski: It's the first time I've seen this expression |
| 12:32:57 | <ski> | it's a standard function |
| 12:32:59 | <ski> | @src null |
| 12:32:59 | <lambdabot> | null [] = True |
| 12:32:59 | <lambdabot> | null (_:_) = False |
| 12:34:01 | <ArConan> | oh,so `null` in haskell is a function but not a keyword? |
| 12:34:06 | <ski> | `null' tends to be better to reach for, than `== []', since the latter requires equality checking to be available for the elements |
| 12:34:17 | <ski> | it's an ordinary function, yes |
| 12:34:28 | <ski> | (it's not `== null') |
| 12:34:48 | <ArConan> | thanks |
| 12:35:14 | <ski> | (there is no "null" reference or value in Haskell, inhabiting all or most types) |
| 12:36:03 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 12:36:47 | → | vjeranc joins (334d903d@61.ip-51-77-144.eu) |
| 12:37:27 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 12:37:34 | <ski> | (`line == null' would not work. you can't compare functions for equality (`null' is a function). besides, the two operations don't have the same type anyway, so it would be a type error just due to that) |
| 12:37:50 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 12:37:57 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 12:38:38 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:39:37 | <vjeranc> | Hi guys. I hope someone can help me around a build issue. I have Ubuntu 20.04 and have installed haskell-stack through apt and `curl -sSL https://get.haskellstack.org/ | sh` but I can't install stuff that depends on basement-0.0.11 |
| 12:39:37 | <vjeranc> | I get a `Size_hsc_make: createProcess: runInteractiveProcess: exec: permission denied (Permission denied)` error with both methods of stack installation. |
| 12:39:59 | → | ADG1089_ joins (~adg1089@27.63.60.143) |
| 12:42:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 12:42:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 12:43:05 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 12:44:06 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 12:45:34 | × | son0p quits (~son0p@181.58.39.182) (Ping timeout: 256 seconds) |
| 12:45:40 | <ArConan> | @src () |
| 12:45:40 | <lambdabot> | data () = () |
| 12:45:56 | <ArConan> | @src IO/() |
| 12:45:56 | <lambdabot> | Source not found. |
| 12:48:49 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 12:50:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 12:50:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 12:52:03 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 12:52:18 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 12:52:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:53:26 | × | vst quits (~vst@2406:3003:2004:2e8a:eca7:1543:921c:b50a) (Ping timeout: 264 seconds) |
| 12:54:36 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 12:54:54 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 12:56:25 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 12:57:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 12:59:52 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:04:17 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:04:45 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 13:06:16 | → | shaadi joins (~Android@197.46.64.214) |
| 13:06:54 | <shaadi> | What libraries are used to create Haskell backend? |
| 13:07:40 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 13:07:54 | Axma32944 | is now known as Axman6 |
| 13:10:07 | <Axman6> | shaadi: "Haskell backend"? |
| 13:10:20 | <shaadi> | Website I mean |
| 13:10:22 | <shaadi> | HTTP |
| 13:10:33 | <shaadi> | Are there popular frameworks or something? |
| 13:10:36 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 13:10:42 | <Axman6> | Scotty, Servant, Yesod |
| 13:11:03 | <Axman6> | I prefer Servant personally |
| 13:15:06 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:18:07 | × | xff0x quits (~xff0x@2001:1a81:52fe:9d00:a597:9273:b6fd:8f2b) (Ping timeout: 272 seconds) |
| 13:18:33 | → | xff0x joins (~xff0x@2001:1a81:52fe:9d00:ad11:362b:2ade:56c2) |
| 13:19:11 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 13:20:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 13:21:17 | <yushyin> | on the matter of servant, i've a question. I tried servant-client yesterday for a third party API. Works so far, but sometimes the API returns some string values with *full* api calls I would like to just call in the same ClientM context. I haven't see an obvious way to just provide the string and a type it should try to parse the response. |
| 13:21:39 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Remote host closed the connection) |
| 13:22:39 | → | christo joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 13:23:32 | <Axman6> | I don't understand what the problem you're describing is |
| 13:25:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:30:27 | × | ashepelev quits (~ashepelev@217.146.82.202) (Remote host closed the connection) |
| 13:30:29 | × | ADG1089_ quits (~adg1089@27.63.60.143) (Read error: Connection reset by peer) |
| 13:30:31 | <ij> | backtracking iterates over the language alphabet^guesses where the alphabet is choices. so there's no need for recursion to generate all the choices, which allows you to stop and adjust for fairness |
| 13:30:37 | → | ADG1089_ joins (~adg1089@122.163.165.143) |
| 13:31:17 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:39cd:56a1:a274:b9af) |
| 13:31:20 | ← | shaadi parts (~Android@197.46.64.214) () |
| 13:31:25 | × | tv quits (~tv@unaffiliated/tv) (Ping timeout: 264 seconds) |
| 13:33:32 | <yushyin> | Axman6: the api I try to use returns sometimes a json value with a string which is itself an https api call. I could parse the string and use the appropriate function but that seems stupid, I would like to just send that string as a new request. I dont know how to do that in ClientM. |
| 13:33:42 | → | geekosaur joins (~geekosaur@s91904426.blix.com) |
| 13:34:05 | geekosaur | is now known as Guest47332 |
| 13:35:38 | × | ADG1089_ quits (~adg1089@122.163.165.143) (Read error: Connection reset by peer) |
| 13:35:44 | → | ADG1089__ joins (~aditya@122.163.165.143) |
| 13:35:45 | <ij> | what is "not . any (not . cond)" equivalent to? |
| 13:35:52 | → | ADG1089_ joins (~adg1089@122.163.165.143) |
| 13:36:12 | <Rembane> | Isn't `any not` the same as all? |
| 13:36:28 | <merijn> | Rembane: I think so, but it's saturday and too lazy to do logic to check ;) |
| 13:36:31 | <ij> | ah, quantifier laws |
| 13:36:39 | <Rembane> | merijn: Yeah, same here :D |
| 13:37:02 | <ij> | that's fine, I'll just consult quantifier laws |
| 13:37:21 | <Rembane> | Hm... I think you want `all cond`, but I'm not sure |
| 13:37:33 | <merijn> | the not in front of any is confusing, though |
| 13:37:35 | <Axman6> | @cgeck \f xs -> any (not . f) xs == not (all f xs) |
| 13:37:37 | <lambdabot> | +++ OK, passed 100 tests. |
| 13:38:01 | <ij> | what!?!? what! :D |
| 13:38:04 | <merijn> | NO |
| 13:38:06 | × | knupfer quits (~Thunderbi@200116b82c63f800d1f0439390be6d80.dip.versatel-1u1.de) (Read error: Connection reset by peer) |
| 13:38:15 | <merijn> | You fell for a rooky @check mistake, I think |
| 13:38:16 | <Axman6> | >_> |
| 13:38:18 | → | knupfer joins (~Thunderbi@200116b82c63f800e5cb0ffc067b5c25.dip.versatel-1u1.de) |
| 13:38:29 | <ij> | what's the checker called? |
| 13:38:40 | <merijn> | @check \f (xs :: [Int]) -> any (not . f) xs == not (all f xs) |
| 13:38:40 | <lambdabot> | <unknown>.hs:1:18:ScopedTypeVariables language extension is not enabled. Ple... |
| 13:38:57 | <Axman6> | @cgeck \f xs -> any (not . f) [True, == not (all f (xs :: [Int])) |
| 13:38:57 | <lambdabot> | <unknown>.hs:1:60:Parse error: EOF |
| 13:38:58 | <merijn> | @check \f xs -> any (not . f) (xs :: [Int]) == not (all f xs) |
| 13:39:00 | <lambdabot> | +++ OK, passed 100 tests. |
| 13:39:20 | <merijn> | ij: @check is just QuickCheck |
| 13:39:27 | <ij> | ah |
| 13:39:27 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:39:39 | <merijn> | @check \f xs -> not (any (not . f) (xs :: [Int])) == all f xs |
| 13:39:41 | <lambdabot> | +++ OK, passed 100 tests. |
| 13:40:01 | <merijn> | Also, have you heard of our lord and saviour: Monoid? ;) |
| 13:40:12 | <merijn> | All/Any monoid \o/ |
| 13:40:16 | → | tv joins (~tv@unaffiliated/tv) |
| 13:40:34 | <ij> | not any (not p) should be all p because of quantifier laws also |
| 13:40:39 | <ij> | https://en.wikipedia.org/wiki/Quantifier_(logic) |
| 13:40:49 | <ij> | so quickcheck can make examples for [a], right? are they hand-crafted? |
| 13:40:54 | <ij> | scenarios |
| 13:41:03 | <ij> | ok, train – ttyl |
| 13:41:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:41:09 | <merijn> | ij: It uses the Arbitrary typeclass |
| 13:41:20 | <merijn> | ij: Which generates random values |
| 13:41:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 13:41:43 | × | ADG1089_ quits (~adg1089@122.163.165.143) (Read error: Connection reset by peer) |
| 13:42:49 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 264 seconds) |
| 13:43:01 | × | ArConan quits (9de62a69@157.230.42.105) (Quit: Ping timeout (120 seconds)) |
| 13:43:03 | × | vjeranc quits (334d903d@61.ip-51-77-144.eu) (Quit: Ping timeout (120 seconds)) |
| 13:44:26 | → | ArConan joins (9de62a69@157.230.42.105) |
| 13:47:23 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 13:50:27 | × | _Alleria quits (~AllahuAkb@2603-7000-3040-0000-70d9-022a-866f-2250.res6.spectrum.com) (Read error: Connection reset by peer) |
| 13:50:44 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-6117-a0fe-38af-8149.res6.spectrum.com) |
| 13:51:08 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-134.w86-212.abo.wanadoo.fr) |
| 13:51:13 | × | shatriff_ quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 264 seconds) |
| 13:52:19 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:39cd:56a1:a274:b9af) (Ping timeout: 272 seconds) |
| 13:52:25 | × | drbean quits (~drbean@TC210-63-209-181.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 13:53:05 | × | adharsh quits (~adharsh@117.211.21.169) (Quit: adharsh) |
| 13:53:17 | → | adharsh joins (~adharsh@117.211.21.169) |
| 13:53:27 | × | Guest47332 quits (~geekosaur@s91904426.blix.com) (Remote host closed the connection) |
| 13:59:15 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 13:59:57 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 14:01:16 | → | son0p joins (~son0p@181.136.122.143) |
| 14:02:30 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 14:03:20 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 14:03:29 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 14:04:36 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 14:05:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:05:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 14:06:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:06:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 14:07:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:07:23 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 14:07:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 14:08:00 | <ArConan> | @src IO |
| 14:08:00 | <lambdabot> | Source not found. :( |
| 14:08:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:08:16 | → | ClaudiusMaximus joins (~claude@196.67.6.51.dyn.plus.net) |
| 14:08:24 | × | ClaudiusMaximus quits (~claude@196.67.6.51.dyn.plus.net) (Changing host) |
| 14:08:24 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 14:08:30 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 14:08:35 | → | Tario joins (~Tario@201.192.165.173) |
| 14:09:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:09:10 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) |
| 14:09:27 | <merijn> | The implementation of IO will almost certainly not help you *at all* |
| 14:10:08 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 14:10:24 | × | ADG1089__ quits (~aditya@122.163.165.143) (Read error: Connection reset by peer) |
| 14:10:25 | × | tomsen_ quits (~tomsen@2a02:908:1862:49e0::2) (Remote host closed the connection) |
| 14:10:27 | → | ADG1089_ joins (~aditya@122.163.165.143) |
| 14:11:15 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 14:13:04 | → | tomsen_ joins (~tomsen@2a02:908:1862:49e0::2) |
| 14:15:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 14:16:13 | <[exa]> | still it could say at least something like 'State RealWorld' |
| 14:17:17 | <merijn> | It's not that, though. And also @src is just a String -> String dictionary] |
| 14:18:46 | <[exa]> | so it can technically say "a very specific version of `State RealWorld`" :] |
| 14:18:55 | <[exa]> | s/version/reminiscent |
| 14:19:23 | <merijn> | Something that's both 1) not helpful for beginners asking the question and 2) wrong is fine not being there :p |
| 14:19:43 | <merijn> | The whole real world analogy is kinda bad anyway, since it breaks at even light scrutiny |
| 14:20:23 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 14:20:51 | × | christo quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection) |
| 14:20:52 | → | jess joins (jess@freenode/staff/jess) |
| 14:21:02 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 14:21:28 | <pjb> | |
| 14:21:29 | <pjb> | /whoami |
| 14:22:00 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:24:10 | → | christo joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 14:26:27 | → | Vulfe joins (~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) |
| 14:29:45 | × | carlomagno quits (~cararell@148.87.23.5) (Remote host closed the connection) |
| 14:29:54 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 14:30:28 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 14:31:01 | <nshepperd> | the source of IO is like the Matrix. you need to go outside the (virtual) machine to find it |
| 14:31:53 | → | christo_ joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 14:33:33 | → | Jordack joins (~Jordack@178.162.209.171) |
| 14:33:34 | × | christo quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Read error: Connection reset by peer) |
| 14:33:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 14:34:43 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 14:34:59 | <merijn> | It's actually in ghc-prim :p |
| 14:35:10 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 14:35:22 | × | ADG1089_ quits (~aditya@122.163.165.143) (Remote host closed the connection) |
| 14:36:10 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:94e6:1e2f:2da4:c370) |
| 14:36:42 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) |
| 14:37:47 | → | ADG1089__ joins (~aditya@122.163.165.143) |
| 14:39:19 | × | darjeeling_ quits (~darjeelin@122.245.120.137) (Ping timeout: 246 seconds) |
| 14:39:57 | × | erolm_a quits (~erolm_a@82.24.185.133) (Ping timeout: 246 seconds) |
| 14:41:27 | × | Vulfe quits (~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) (Remote host closed the connection) |
| 14:42:03 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 14:46:37 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 14:46:55 | → | erolm_a joins (~erolm_a@82-132-219-146.dab.02.net) |
| 14:47:43 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 14:48:49 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:49:03 | → | plutoniix joins (~q@node-unf.pool-125-24.dynamic.totinternet.net) |
| 14:50:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:50:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:50:58 | × | erolm_a quits (~erolm_a@82-132-219-146.dab.02.net) (Read error: Connection reset by peer) |
| 14:51:11 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 14:51:17 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 14:52:15 | → | prlCIql6ruclcri joins (~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) |
| 14:52:45 | → | erolm_a joins (~erolm_a@62.18.221.108) |
| 14:53:38 | → | darjeeling_ joins (~darjeelin@122.245.218.239) |
| 14:53:38 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 14:53:59 | → | adeene joins (~adeene@181.131.0.191) |
| 14:54:55 | <adeene> | alo |
| 14:55:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 14:55:27 | <Uniaika> | alo adeene |
| 14:55:56 | <adeene> | vaya que clase de discord es este |
| 14:56:37 | <Uniaika> | no es Discord :P |
| 14:57:32 | → | Baerwin joins (~tadeas@185-219-166-254-static.vivo.cz) |
| 14:57:46 | <adeene> | tendre que aprenderlo a usar jsjjsja |
| 14:57:53 | <pjb> | adeene: https://en.wikipedia.org/wiki/Internet_Relay_Chat |
| 14:58:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 14:58:44 | ← | Baerwin parts (~tadeas@185-219-166-254-static.vivo.cz) () |
| 14:59:24 | <pjb> | adeene: https://freenode.net/changuide |
| 15:00:25 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 15:00:48 | <ukari> | Is Record Pattern Synonyms avaliable? I test the `Point` example with `{-# LANGUAGE PatternSynonyms #-}` in https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.html#record-pattern-synonyms and it occurs a "Multiple declarations of ‘Point’" error |
| 15:02:54 | <merijn> | Sounds like you already have something named Point in scope? |
| 15:03:09 | <merijn> | Also, what GHC? |
| 15:04:16 | <ukari> | merijn, ghc 8.8.4 |
| 15:04:33 | <merijn> | Have you checked the user guide for 8.8 to check that's not new? |
| 15:04:57 | × | isacl___ quits (sid13263@gateway/web/irccloud.com/x-tnlyhkgqjdclicde) (Read error: Connection reset by peer) |
| 15:05:15 | → | isacl___ joins (sid13263@gateway/web/irccloud.com/x-glchjrsaxglhmdkq) |
| 15:05:35 | → | hyperisco joins (~hyperisco@d24-57-249-233.home.cgocable.net) |
| 15:09:49 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 264 seconds) |
| 15:10:39 | × | Guest57013 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:10:43 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 15:11:44 | → | vjeranc joins (334d903d@61.ip-51-77-144.eu) |
| 15:12:02 | <vjeranc> | I figured out my issue. The /tmp was mounted with noexec and building just couldn't work with that. |
| 15:13:29 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 15:13:40 | × | vjeranc quits (334d903d@61.ip-51-77-144.eu) (Client Quit) |
| 15:14:08 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 15:15:31 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 15:15:40 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 15:16:25 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 15:17:01 | <sm[m]> | pjb: that's a nice page, thanks |
| 15:18:43 | <ukari> | merijn, I found that I misunderstand the example and write wrong code, the example itself works well |
| 15:18:51 | <merijn> | \o/ |
| 15:19:11 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 15:20:59 | <ukari> | anyway thanks |
| 15:21:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 15:21:36 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:b3b1:c462:4b9d:a58f) (Ping timeout: 246 seconds) |
| 15:22:26 | → | Moyst_ joins (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 15:22:31 | × | Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Read error: Connection reset by peer) |
| 15:23:18 | → | Vulfe joins (~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) |
| 15:24:49 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 15:27:32 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 15:30:23 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 15:30:33 | → | cuz joins (~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0) |
| 15:34:09 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:1ed5:5806:1de5:c09c) |
| 15:34:32 | × | cuz quits (~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0) (Remote host closed the connection) |
| 15:35:06 | → | dandels joins (~dandels@unaffiliated/dandels) |
| 15:36:06 | × | christo_ quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Remote host closed the connection) |
| 15:36:37 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Remote host closed the connection) |
| 15:36:42 | → | christo joins (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) |
| 15:37:00 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) |
| 15:37:09 | × | Vulfe quits (~vulfe@rrcs-23-246-119-132.nys.biz.rr.com) () |
| 15:37:42 | → | cuz joins (~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0) |
| 15:39:09 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 15:39:42 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 15:40:12 | × | knupfer quits (~Thunderbi@200116b82c63f800e5cb0ffc067b5c25.dip.versatel-1u1.de) (Remote host closed the connection) |
| 15:40:21 | → | knupfer joins (~Thunderbi@200116b82c63f800dd63faa079a61875.dip.versatel-1u1.de) |
| 15:40:32 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:41:19 | × | christo quits (~chris@cpc143560-cdif16-2-0-cust112.5-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 15:42:54 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Client Quit) |
| 15:44:58 | × | roconnor_ quits (~roconnor@host-104-157-225-60.dyn.295.ca) (Quit: Konversation terminated!) |
| 15:45:02 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Remote host closed the connection) |
| 15:45:26 | × | dandels quits (~dandels@unaffiliated/dandels) (Quit: WeeChat 3.0) |
| 15:45:30 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) |
| 15:47:02 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 15:49:02 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 15:53:20 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:53:56 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 15:58:32 | × | ArConan quits (9de62a69@157.230.42.105) (Quit: Connection closed) |
| 16:00:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:02:01 | → | mh_le joins (~Mads@unaffiliated/mhle/x-0173978) |
| 16:02:17 | → | Baerwin joins (~tadeas@185-219-166-254-static.vivo.cz) |
| 16:05:05 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 16:05:23 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds) |
| 16:05:39 | → | ep1ctetus joins (~epictetus@ip184-187-162-163.sb.sd.cox.net) |
| 16:06:52 | → | jchia__1 joins (~jchia@jungle.jchia.net) |
| 16:07:14 | × | jchia__1 quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 16:07:31 | → | jchia__1 joins (~jchia@jungle.jchia.net) |
| 16:07:31 | × | jchia__ quits (~jchia@58.32.32.252) (Ping timeout: 246 seconds) |
| 16:07:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:08:19 | → | Wuzzy joins (~Wuzzy@p549c97c9.dip0.t-ipconnect.de) |
| 16:13:02 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 16:17:08 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 16:17:34 | × | hyperisco quits (~hyperisco@d24-57-249-233.home.cgocable.net) (Read error: Connection reset by peer) |
| 16:18:21 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 16:21:43 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 16:22:09 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 16:22:14 | × | jchia__1 quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 16:22:37 | → | jchia__ joins (~jchia@58.32.32.155) |
| 16:23:43 | → | mirrorbird joins (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) |
| 16:24:09 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 16:26:24 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 16:29:16 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:34ff:5936:6927:ced3) |
| 16:29:20 | × | Franciman quits (~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving) |
| 16:30:04 | → | saitamaplus joins (uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy) |
| 16:30:41 | × | saitamaplus quits (uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy) (Changing host) |
| 16:30:41 | → | saitamaplus joins (uid272474@unaffiliated/cheeky/x-5333603) |
| 16:30:41 | × | saitamaplus quits (uid272474@unaffiliated/cheeky/x-5333603) (Changing host) |
| 16:30:41 | → | saitamaplus joins (uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy) |
| 16:31:55 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 16:37:21 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 16:38:38 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 16:38:39 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 16:38:42 | × | conal quits (~conal@209.58.135.89) (Quit: Computer has gone to sleep.) |
| 16:39:11 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 16:41:03 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 16:41:32 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 256 seconds) |
| 16:41:49 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 16:43:18 | → | conal joins (~conal@143.244.61.242) |
| 16:43:33 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 16:44:25 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 16:44:30 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 16:47:29 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 16:47:52 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 2.9) |
| 16:48:04 | → | tzh joins (~xax@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:48:18 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:49:26 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 16:49:56 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:3a8e:d956:f43e:d9a3:9155) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:49:59 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 16:51:10 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 16:51:10 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:52:25 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 16:52:45 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:53:09 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 16:55:50 | × | dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 264 seconds) |
| 16:57:09 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 17:00:54 | ← | Baerwin parts (~tadeas@185-219-166-254-static.vivo.cz) () |
| 17:01:47 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 17:04:27 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 17:04:32 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 17:04:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 17:05:04 | → | Baerwin joins (~Baerwin@185-219-166-254-static.vivo.cz) |
| 17:05:22 | × | Baerwin quits (~Baerwin@185-219-166-254-static.vivo.cz) (Client Quit) |
| 17:05:54 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Ping timeout: 246 seconds) |
| 17:06:14 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 17:07:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 17:08:01 | × | mirrorbird quits (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds) |
| 17:08:23 | × | knupfer quits (~Thunderbi@200116b82c63f800dd63faa079a61875.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 17:09:08 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 17:10:38 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:94e6:1e2f:2da4:c370) (Quit: See You Space Cowboy..) |
| 17:10:47 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 17:13:02 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) |
| 17:16:17 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 17:18:10 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 17:21:30 | <ij> | is there dropWhileM? |
| 17:21:46 | <xerox_> | @hooogle dropWhileM |
| 17:21:47 | <lambdabot> | Data.Vector.Fusion.Bundle.Monadic dropWhileM :: Monad m => (a -> m Bool) -> Bundle m v a -> Bundle m v a |
| 17:21:47 | <lambdabot> | Data.Vector.Fusion.Stream.Monadic dropWhileM :: Monad m => (a -> m Bool) -> Stream m a -> Stream m a |
| 17:21:47 | <lambdabot> | Control.Monad.Loops dropWhileM :: Monad m => (a -> m Bool) -> [a] -> m [a] |
| 17:22:14 | <ij> | I hoogled "dropWhile" and hoped it would show up. Naive. |
| 17:22:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 17:23:00 | → | Tops2 joins (~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de) |
| 17:23:09 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 17:23:37 | → | gioyik joins (~gioyik@186.112.104.70) |
| 17:25:22 | × | conal quits (~conal@143.244.61.242) (Quit: Computer has gone to sleep.) |
| 17:25:45 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 17:25:58 | → | conal joins (~conal@143.244.61.242) |
| 17:26:03 | × | conal quits (~conal@143.244.61.242) (Client Quit) |
| 17:26:33 | → | mirrorbird joins (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) |
| 17:27:02 | × | cuz quits (~user@2601:182:cc02:8b0:30f9:48e7:c44a:f5a0) (Ping timeout: 260 seconds) |
| 17:29:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:30:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:30:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:30:43 | → | iridescent joins (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 17:32:47 | × | adharsh quits (~adharsh@117.211.21.169) (Quit: adharsh) |
| 17:33:33 | × | tomsen_ quits (~tomsen@2a02:908:1862:49e0::2) (Quit: Leaving) |
| 17:33:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:34:41 | × | matryoshka quits (~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:35:50 | → | matryoshka joins (~matryoshk@184.75.223.227) |
| 17:37:22 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 17:37:28 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 17:39:10 | × | gioyik quits (~gioyik@186.112.104.70) (Ping timeout: 272 seconds) |
| 17:40:15 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 17:40:57 | × | mirrorbird quits (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 272 seconds) |
| 17:41:03 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds) |
| 17:42:18 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 17:42:43 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 17:43:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:43:39 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 17:43:54 | → | arybczak joins (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c) |
| 17:43:56 | → | conal joins (~conal@66.115.157.109) |
| 17:44:33 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 17:46:50 | × | matryoshka quits (~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:46:57 | → | cuz joins (~user@2601:182:cc02:8b0:fda8:6968:ce15:16e0) |
| 17:47:06 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 17:47:06 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 17:48:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 17:51:23 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 17:51:23 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 17:51:43 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 17:51:44 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 17:53:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:53:30 | × | erolm_a quits (~erolm_a@62.18.221.108) (Ping timeout: 246 seconds) |
| 17:53:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:55:18 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-vxhfsmwenjaayzjd) (Quit: Connection closed for inactivity) |
| 17:55:35 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 17:55:43 | → | cuz` joins (~user@2601:182:cc02:8b0:fcea:278c:344c:5e59) |
| 17:55:53 | → | erolm_a joins (~erolm_a@62.18.221.108) |
| 17:57:06 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:57:23 | × | cuz quits (~user@2601:182:cc02:8b0:fda8:6968:ce15:16e0) (Ping timeout: 260 seconds) |
| 17:58:45 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 17:59:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 18:00:11 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 18:00:14 | → | adharsh joins (~adharsh@117.211.21.169) |
| 18:01:41 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 18:02:49 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:03:20 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 18:04:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:04:51 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:05:10 | → | knupfer joins (~Thunderbi@200116b82c63f800a05a70c9977def3e.dip.versatel-1u1.de) |
| 18:08:05 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 18:08:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:08:55 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 18:11:10 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:12:50 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 18:12:53 | → | cheater joins (~user@unaffiliated/cheater) |
| 18:14:16 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 18:15:15 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 18:15:55 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 18:20:08 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 18:22:36 | → | gioyik joins (~gioyik@186.112.104.70) |
| 18:23:39 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 18:24:04 | × | alx741 quits (~alx741@181.196.68.16) (Quit: alx741) |
| 18:27:40 | → | renzhi joins (~renzhi@2607:fa49:6500:6f00::1e43) |
| 18:28:38 | → | dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 18:29:27 | <ij> | c |
| 18:29:56 | <ij> | can I have an Unbox instance for a record? |
| 18:30:59 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:31dc:e698:c1fb:a61d) (Ping timeout: 272 seconds) |
| 18:31:00 | <idnar> | @hoogle Alternative f => Maybe a -> (a -> f b) -> f b |
| 18:31:02 | <lambdabot> | Language.Haskell.DoNotation (>>=) :: BindSyntax x y z => x a -> (a -> y b) -> z b |
| 18:31:02 | <lambdabot> | XMonad.Util.PureX whenJust' :: (Monad m, Monoid b) => Maybe a -> (a -> m b) -> m b |
| 18:31:02 | <lambdabot> | Util altMap :: (Alternative p, Foldable f) => (a -> p b) -> f a -> p b |
| 18:31:55 | <ij> | for Data.Vector.Unboxed.Mutable, specifically |
| 18:32:14 | <ij> | it has tuples up to (,,,,), but I already wrote it out with a record (3 fields) |
| 18:34:43 | → | machined1od joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 18:34:58 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Quit: leaving) |
| 18:36:11 | → | Tario joins (~Tario@200.119.184.255) |
| 18:36:49 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 264 seconds) |
| 18:36:53 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 18:38:02 | → | christo joins (~chris@81.96.113.213) |
| 18:41:14 | × | dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Quit: bye) |
| 18:41:35 | → | dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 18:42:55 | → | mirrorbird joins (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) |
| 18:45:03 | × | conal quits (~conal@66.115.157.109) (Quit: Computer has gone to sleep.) |
| 18:46:25 | × | iridescent quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Ping timeout: 248 seconds) |
| 18:47:01 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 264 seconds) |
| 18:47:01 | <monochrom> | Use Storable instead. |
| 18:47:25 | <glguy> | I seem to remember that there's a package with some TH for making Unbox instances, too |
| 18:47:35 | → | cheater joins (~user@unaffiliated/cheater) |
| 18:50:12 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:50:25 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 18:51:12 | → | christo joins (~chris@81.96.113.213) |
| 18:51:51 | ← | mh_le parts (~Mads@unaffiliated/mhle/x-0173978) () |
| 18:52:13 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 18:52:22 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 18:52:49 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 18:55:50 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 18:56:40 | <adamCS> | https://hackage.haskell.org/package/vector-th-unbox |
| 18:57:16 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 18:58:15 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 18:58:36 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 18:59:21 | × | saitamaplus quits (uid272474@gateway/web/irccloud.com/x-hdjqwzfwlmpuzqqy) (Quit: Connection closed for inactivity) |
| 19:00:14 | → | conal joins (~conal@66.115.157.153) |
| 19:00:22 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:00:25 | → | christo joins (~chris@81.96.113.213) |
| 19:00:53 | <ij> | monochrom, does that play nice with Data.Vector.Unboxed.Mutable? |
| 19:00:59 | × | MaxRos quits (~MorrowM@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 260 seconds) |
| 19:01:09 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 19:01:18 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 19:02:23 | <ij> | ah, no it's in the s/Unboxed/Storable module along with all the necessary functions |
| 19:03:15 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:03:17 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 19:03:43 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds) |
| 19:03:48 | <ij> | are they the same performance-wise? |
| 19:04:22 | <merijn> | ij: Define "same" |
| 19:05:23 | <ij> | Maybe it would be better to ask what's the difference between them |
| 19:05:37 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 19:06:02 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 19:07:10 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 19:07:13 | × | LKoen quits (~LKoen@119.169.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 19:07:33 | → | LKoen joins (~LKoen@119.169.9.109.rev.sfr.net) |
| 19:07:41 | <ij> | reading the module docs, it doesn't seem to be unboxed |
| 19:07:58 | <ij> | I expected it's somehow just subtly different |
| 19:08:26 | × | cuz` quits (~user@2601:182:cc02:8b0:fcea:278c:344c:5e59) (Ping timeout: 264 seconds) |
| 19:08:44 | <geekosaur> | Storable's by definition unboxed, just in a definer-controlled manner via the Storable instance |
| 19:10:07 | <ij> | storable doesn't seem to have tuples, even |
| 19:10:29 | <merijn> | ij: He meant you have to define your own Storable instance |
| 19:10:30 | → | Tops21 joins (~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de) |
| 19:10:42 | <geekosaur> | tuples aren't easily Storable since each one is its own distinct type |
| 19:11:08 | <geekosaur> | but you could define Storable instances for any tuples you use |
| 19:11:18 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hmzxqoillnpejpnj) |
| 19:11:30 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 19:11:34 | <geekosaur> | that said if using Storable it's preferable to use actual data types |
| 19:12:03 | → | codedmart_ joins (~codedmart@149.28.9.205) |
| 19:12:07 | → | CitizenS- joins (~CitizenSn@irc.refl.club) |
| 19:12:24 | → | z_ joins (~z@ics141-225.icsincorporated.com) |
| 19:12:27 | → | lukelau_ joins (~lukelau@2a03:b0c0:1:d0::1bc:b001) |
| 19:12:34 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 19:12:34 | × | codedmart quits (~codedmart@149.28.9.205) (Ping timeout: 256 seconds) |
| 19:12:35 | × | CitizenSnips quits (~CitizenSn@irc.refl.club) (Ping timeout: 256 seconds) |
| 19:12:35 | × | _bin_ quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 256 seconds) |
| 19:12:35 | × | z quits (~z@ics141-225.icsincorporated.com) (Ping timeout: 256 seconds) |
| 19:12:35 | × | tumdedum quits (~tumdedum@unaffiliated/espiral) (Ping timeout: 256 seconds) |
| 19:12:35 | × | lukelau quits (~lukelau@46.101.13.214) (Ping timeout: 256 seconds) |
| 19:12:35 | × | Sparadox quits (~etienne@ns3123347.ip-51-68-152.eu) (Ping timeout: 256 seconds) |
| 19:12:35 | × | vodkaInf1rno quits (~wormphleg@104.131.156.184) (Read error: Connection reset by peer) |
| 19:12:47 | → | tumdedum joins (~tumdedum@unaffiliated/espiral) |
| 19:12:48 | z_ | is now known as Guest18729 |
| 19:12:50 | × | dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 256 seconds) |
| 19:12:50 | × | Nik05 quits (~Nik05@85.150.134.175) (Ping timeout: 256 seconds) |
| 19:12:50 | × | dwts quits (pid@gateway/shell/blinkenshell.org/x-sbnsuibojgnxsxkh) (Ping timeout: 256 seconds) |
| 19:12:50 | × | landonf quits (landonf@mac68k.info) (Ping timeout: 256 seconds) |
| 19:12:50 | × | sqrt2 quits (~ben@unaffiliated/sqrt2) (Ping timeout: 256 seconds) |
| 19:12:50 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 256 seconds) |
| 19:12:50 | × | cynick quits (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 19:12:50 | × | djanatyn_ quits (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
| 19:12:50 | × | lassulus quits (~lassulus@NixOS/user/lassulus) (Ping timeout: 256 seconds) |
| 19:12:50 | × | strangeglyph quits (~strangegl@boreeas.net) (Ping timeout: 256 seconds) |
| 19:12:50 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 256 seconds) |
| 19:12:50 | × | earthy quits (~arthurvl@deban2.xs4all.space) (Ping timeout: 256 seconds) |
| 19:12:50 | × | reda quits (~reda@unaffiliated/reda) (Ping timeout: 256 seconds) |
| 19:12:57 | → | dwts joins (pid@gateway/shell/blinkenshell.org/x-ygygtpdgafwbwzwj) |
| 19:12:58 | → | reda joins (~reda@4.ip-137-74-112.eu) |
| 19:13:01 | → | sqrt2 joins (~ben@unaffiliated/sqrt2) |
| 19:13:03 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood) |
| 19:13:04 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 19:13:05 | → | strangeglyph joins (~strangegl@boreeas.net) |
| 19:13:06 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 19:13:09 | → | Nik05 joins (~Nik05@85.150.134.175) |
| 19:13:11 | → | leah2 joins (~leah@vuxu.org) |
| 19:13:11 | → | _bin joins (~bin@2600:1700:10a1:38d0:4b5:a737:1596:3bbc) |
| 19:13:14 | → | Sparadox joins (~etienne@ns3123347.ip-51-68-152.eu) |
| 19:13:15 | × | Jordack quits (~Jordack@178.162.209.171) (Excess Flood) |
| 19:13:18 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 19:13:20 | reda | is now known as Guest55287 |
| 19:13:24 | × | Tops2 quits (~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 19:13:24 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 19:13:24 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 19:13:24 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 256 seconds) |
| 19:13:24 | × | Marissa quits (Marissa@33.anserq.com) (Ping timeout: 256 seconds) |
| 19:13:24 | × | Benett quits (~Benett@unaffiliated/benett) (Ping timeout: 256 seconds) |
| 19:13:24 | × | swater quits (bouhier200@perso.iiens.net) (Ping timeout: 256 seconds) |
| 19:13:25 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:13:32 | → | earthy joins (~arthurvl@deban2.xs4all.space) |
| 19:13:38 | → | Benett joins (~Benett@unaffiliated/benett) |
| 19:13:43 | → | Marissa joins (Marissa@33.anserq.com) |
| 19:13:44 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 19:13:52 | → | djanatyn_ joins (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) |
| 19:14:01 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 19:14:04 | → | cynick joins (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) |
| 19:15:07 | × | rotaerk quits (~rotaerk@ender.afternet.org) (Ping timeout: 246 seconds) |
| 19:15:26 | → | landonf joins (landonf@mac68k.info) |
| 19:15:27 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 19:15:49 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 264 seconds) |
| 19:16:11 | → | cuz` joins (~user@2601:182:cc02:8b0:8962:4cd9:18a1:88fb) |
| 19:17:13 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-rcpdjhlifilityqt) |
| 19:17:41 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 19:17:42 | → | vodkaInferno joins (~wormphleg@104.131.156.184) |
| 19:17:46 | → | rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) |
| 19:18:31 | → | swater joins (bouhier200@perso.iiens.net) |
| 19:18:45 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:19:22 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 19:19:58 | → | dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 19:21:02 | × | cuz` quits (~user@2601:182:cc02:8b0:8962:4cd9:18a1:88fb) (Ping timeout: 264 seconds) |
| 19:21:43 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 19:22:05 | → | christo joins (~chris@81.96.113.213) |
| 19:24:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 264 seconds) |
| 19:24:56 | × | ahf quits (ahf@irssi/staff/ahf) (Ping timeout: 240 seconds) |
| 19:26:25 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 19:30:49 | × | erolm_a quits (~erolm_a@62.18.221.108) (Ping timeout: 256 seconds) |
| 19:31:13 | → | erolm_a joins (~erolm_a@62.18.221.108) |
| 19:31:46 | → | cuz` joins (~user@2601:182:cc02:8b0:145c:541d:7dae:a326) |
| 19:31:49 | → | christo joins (~chris@81.96.113.213) |
| 19:33:52 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 19:34:40 | → | xcmw joins (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) |
| 19:35:27 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 19:36:33 | × | cuz` quits (~user@2601:182:cc02:8b0:145c:541d:7dae:a326) (Ping timeout: 260 seconds) |
| 19:38:09 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:1ed5:5806:1de5:c09c) (Ping timeout: 246 seconds) |
| 19:38:11 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 19:38:20 | × | conal quits (~conal@66.115.157.153) (Quit: Computer has gone to sleep.) |
| 19:38:27 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 19:38:59 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 19:39:50 | × | BaneAliens quits (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 19:40:13 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 19:42:08 | × | BaneAliens quits (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 19:42:31 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 19:43:25 | × | adeene quits (~adeene@181.131.0.191) (Ping timeout: 240 seconds) |
| 19:44:06 | → | conal joins (~conal@107.181.166.217) |
| 19:47:02 | × | Tario quits (~Tario@200.119.184.255) (Read error: Connection reset by peer) |
| 19:47:26 | → | iridescent joins (2fe3e53b@047-227-229-059.res.spectrum.com) |
| 19:48:03 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 19:48:18 | → | Tario joins (~Tario@201.192.165.173) |
| 19:48:18 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 19:49:07 | → | cuz` joins (~user@2601:182:cc02:8b0:f89e:f1a3:993:c484) |
| 19:49:25 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 19:49:47 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 19:49:59 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 19:49:59 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 19:50:37 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) |
| 19:50:37 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 264 seconds) |
| 19:52:50 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 19:54:02 | × | cuz` quits (~user@2601:182:cc02:8b0:f89e:f1a3:993:c484) (Ping timeout: 264 seconds) |
| 19:54:10 | → | kini joins (~kini@unaffiliated/kini) |
| 19:54:12 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 19:54:19 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 19:57:23 | <sm2n> | siraben, thanks! |
| 19:57:43 | <sm2n> | apress has been good to me as of late |
| 19:58:41 | → | ahf joins (ahf@irssi/staff/ahf) |
| 20:01:16 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 20:04:23 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds) |
| 20:09:09 | × | prlCIql6ruclcri quits (~f9jawUfat@2800:810:514:e7:4bb:7908:1ead:3448) (Ping timeout: 272 seconds) |
| 20:13:22 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 20:14:15 | → | npgm_ joins (sid42623@gateway/web/irccloud.com/x-trvlalsjbhjndvzd) |
| 20:15:47 | × | conal quits (~conal@107.181.166.217) (Quit: Computer has gone to sleep.) |
| 20:16:58 | <npgm_> | i'd like to implement `projectIO :: (Foldable t, ToJSON b) => (t Project -> b) -> IO ()` with the intent of being able to pass any kind of fold returning a json serializable value and hook that up with some streaming IO |
| 20:18:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:18:39 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 20:19:05 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 20:19:09 | × | npgm_ quits (sid42623@gateway/web/irccloud.com/x-trvlalsjbhjndvzd) () |
| 20:19:39 | → | npgm joins (sid42623@gateway/web/irccloud.com/x-dryxozqzdxdfjzyb) |
| 20:19:42 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 20:20:49 | <npgm> | i'd like to implement `projectIO :: (Foldable t, ToJSON b) => (t Project -> b) -> IO ()` with the intent of being able to pass any kind of fold returning a json serializable value and hook that up with some streaming IO |
| 20:21:22 | <npgm> | However I think my use of type constraints is not quite right. I'm getting this error: `Couldn't match type ‘t’ with ‘Data.Csv.Streaming.Records’\n ‘t’ is a rigid type variable bound by`. How can I make this type less rigid? |
| 20:21:35 | → | leah2 joins (~leah@vuxu.org) |
| 20:21:40 | × | adharsh quits (~adharsh@117.211.21.169) (Quit: adharsh) |
| 20:21:49 | → | adharsh joins (~adharsh@117.211.21.169) |
| 20:21:54 | <Uniaika> | leah2: meow |
| 20:22:07 | <leah2> | nya |
| 20:22:52 | <geekosaur> | typically that means you have said via type signature that the caller specifies 't', then you try to specify your own type for it |
| 20:23:49 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-wdnvdmzeqlpwwcbr) |
| 20:24:09 | <geekosaur> | you can't hve it both ways: either you(r function) controls t or the caller does |
| 20:24:36 | <npgm> | geekosaur: right - I am specifying t. maybe this doesn't make sense, but basically I don't want the caller to worry about what t is - I don't want them to know what I'm specifying, only that I'm going to pass them something thats compatible with fold. |
| 20:24:53 | <merijn> | npgm: The caller gets to pick what 't' is |
| 20:24:59 | <merijn> | (in your type signature) |
| 20:25:35 | × | NieDzejkob quits (~quassel@188.123.215.55) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 20:26:22 | × | hiroaki_ quits (~hiroaki@ip4d166c42.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 20:26:49 | <koz_> | Uniaika, leah2: Nyaaa~ |
| 20:26:54 | → | adharsh_ joins (~adharsh@117.211.30.235) |
| 20:27:03 | <Uniaika> | lambda cats rise up!! |
| 20:27:07 | <koz_> | :D |
| 20:27:08 | <leah2> | :3 |
| 20:27:18 | <merijn> | lambdacats.org :p |
| 20:27:18 | <Uniaika> | 😸 |
| 20:27:29 | <Uniaika> | merijn: omg!!! |
| 20:27:48 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 20:27:59 | <koz_> | merijn confirmed catboy? :P |
| 20:28:01 | <merijn> | Uniaika: I still had the domain and someone else archived the images on github :p |
| 20:28:08 | <Uniaika> | >Cale Gibbard is decidable |
| 20:28:15 | <Uniaika> | Cale: can you confirm? |
| 20:28:20 | <merijn> | So after updating the DNS to point at github it's back :p |
| 20:28:28 | <Uniaika> | :D |
| 20:28:40 | <merijn> | koz_: http://files.inconsistent.nl/uninterested-coworker.jpg |
| 20:28:43 | <npgm> | ok ya, this makes sense - theres no reason for t to be in the signature if I don't want the consumer to think about it. |
| 20:28:54 | × | adharsh quits (~adharsh@117.211.21.169) (Ping timeout: 265 seconds) |
| 20:28:54 | adharsh_ | is now known as adharsh |
| 20:29:12 | <Uniaika> | merijn: nice bathrobe |
| 20:29:36 | × | mirrorbird quits (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) (Ping timeout: 246 seconds) |
| 20:29:59 | <merijn> | I'm painfully reminded by study used to be considerable less messy looking at that >.> I should probably tidy up |
| 20:30:29 | <Uniaika> | merijn: go go go |
| 20:30:36 | <Uniaika> | it's another way not to write your thesis |
| 20:31:15 | <merijn> | Yeah, I was really lacking those >.> |
| 20:31:33 | <dsal> | :t (>.>) |
| 20:31:35 | <lambdabot> | error: |
| 20:31:35 | <lambdabot> | • Variable not in scope: >.> |
| 20:31:35 | <lambdabot> | • Perhaps you meant one of these: |
| 20:32:40 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 20:32:43 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 240 seconds) |
| 20:32:53 | <npgm> | merijn: i'm still at a loss though with respect to how to let the consumer specify the kind of fold, but not specify the kind of traversable other than the element type |
| 20:33:01 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 20:33:04 | <merijn> | Who is "the consumer" here? |
| 20:33:32 | <merijn> | "projectIO" or the code calling "projectIO"? |
| 20:33:39 | <npgm> | code calling projectIO |
| 20:34:18 | → | conal joins (~conal@198.8.81.220) |
| 20:34:25 | <DigitalKiwi> | idk why stephen thinks haskell is going to take heat when/if crypto crashes down considering non of the fucking software on hackage works |
| 20:34:34 | <merijn> | npgm: Either projectIO uses a specific Foldable or it doesn't. If it does, use that in the type, if it doesn't it should work |
| 20:35:15 | <merijn> | DigitalKiwi: Works On My Machine :) |
| 20:35:32 | <DigitalKiwi> | which do you have working |
| 20:36:04 | <npgm> | merijn: I think my approach to abstracting this is whats wrong? |
| 20:36:26 | <merijn> | npgm: I think so to, but I don't understand what you're doing, so I can't say what it *should* be :p |
| 20:36:49 | <merijn> | npgm: If you change the type signature to (), what does the resulting error tell you it *should* be? |
| 20:37:18 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 20:38:18 | <npgm> | merijn: it wants Data.Csv.Streaming.Records, because thats what my implementation of projectIO is using. Let me think about a better way to model this and then i'll report back. |
| 20:38:36 | <DigitalKiwi> | all of the trading/exchange (crypto or otherwise) libraries i find haven't been worked on in years :( or look like someone uploaded it after a week and never touched it again |
| 20:38:47 | <merijn> | DigitalKiwi: Well, duh |
| 20:38:57 | <DigitalKiwi> | i can only assume everyone got rich and never touched software again |
| 20:39:09 | → | Franciman joins (~francesco@host-82-48-174-127.retail.telecomitalia.it) |
| 20:39:11 | <merijn> | DigitalKiwi: Crypto companies paying big dollars to programmers aren't going to open source the stuff they're paying millions to develop |
| 20:39:42 | × | Guest55287 quits (~reda@4.ip-137-74-112.eu) (Changing host) |
| 20:39:42 | → | Guest55287 joins (~reda@unaffiliated/reda) |
| 20:39:46 | <merijn> | And clearly anyone who *would* work on that as open source is already hired to work on closed source stuff instead |
| 20:39:47 | Guest55287 | is now known as reda |
| 20:39:49 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-iwzynhogbftxdtln) |
| 20:40:35 | <merijn> | Why work in your own time when you can get paid |
| 20:40:58 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 20:41:02 | <DigitalKiwi> | why did they upload them to hackage |
| 20:41:14 | <merijn> | What libraries are you referring too? |
| 20:41:31 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 20:41:34 | × | conal quits (~conal@198.8.81.220) (Quit: Computer has gone to sleep.) |
| 20:42:04 | <DigitalKiwi> | https://hackage.haskell.org/packages/search?terms=exchange a lot of these |
| 20:43:06 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.0) |
| 20:43:23 | <__monty__> | DigitalKiwi: There's IOHK's Cardano and Digital Asset's DAML. |
| 20:43:26 | <merijn> | I mean, most of those appear to just be packages by just random people who wrote something for themselves, stopped using them and are now left to bitrot? |
| 20:44:42 | <DigitalKiwi> | cryptocompare openexchangerates coinbase-exchange coinbase-pro gdax i did get coinbase-pro to build but with an old ghc i haven't tested it yet |
| 20:44:50 | → | conal joins (~conal@138.199.52.36) |
| 20:44:58 | <merijn> | You get what you pay for ;) |
| 20:45:14 | <merijn> | heh |
| 20:45:19 | <merijn> | no wonder this has all bitrotted |
| 20:45:32 | <merijn> | just look at coinbase-exchange, not a single version bound in the entire package |
| 20:45:36 | <merijn> | Good fucking luck with that |
| 20:45:46 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 20:46:36 | <DigitalKiwi> | it's possible cryptocompare could work but it fails the tests because of a redirect |
| 20:46:39 | <Uniaika> | true, it's all abandonware because nobody's paying for that |
| 20:47:04 | <sm[m]> | it's normal that niche packages on hackage don't build, until you update them a bit |
| 20:47:56 | <merijn> | Oh! |
| 20:48:07 | <sm[m]> | Somebody on Reddit asked why hackage doesn't periodically test this and soft-deprecate non building packages, that would be great |
| 20:48:30 | <merijn> | Next survey we should have a question about people who complain about/don't add upperbounds on their package and a question about who complains about stuff on hackage not building |
| 20:48:55 | <merijn> | And then I'm going to take these results and hit the overlap of those questions in the face next time they whine >.> |
| 20:49:07 | → | rwdrich joins (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 20:49:09 | <merijn> | sm[m]: Well, matrix builder already does some of that |
| 20:49:20 | <merijn> | sm[m]: But the matrix builder is also understaffed |
| 20:49:22 | <sm[m]> | no need for all that merijn, we simply need the tools to provide better guidance |
| 20:49:37 | × | rwdrich quits (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Client Quit) |
| 20:49:45 | <merijn> | sm[m]: https://matrix.hackage.haskell.org/#/package/coinbase-exchange |
| 20:49:56 | <merijn> | https://matrix.hackage.haskell.org/#/package/coinbase-pro |
| 20:50:08 | <sm[m]> | Yup |
| 20:50:16 | <merijn> | sm[m]: Yeah, but unless anyone volunteers to build/maintain those tools, that's not happening |
| 20:50:37 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 264 seconds) |
| 20:50:37 | <merijn> | sm[m]: And I doubt anyone in the overlap of those two groups is doing that :) |
| 20:50:51 | <merijn> | ooooh |
| 20:50:56 | <sm[m]> | let's envision what we want at least :) |
| 20:50:58 | <merijn> | I need to start a new meme in open source |
| 20:51:18 | <merijn> | We already have the "*bonk* go to horny jail" one on twitter and all |
| 20:51:18 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds) |
| 20:51:30 | <merijn> | We need a "*bonk* go to entitled jail" in open source :> |
| 20:52:35 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 20:53:34 | <DigitalKiwi> | don't look at me i don't have anything on hackage and make dozens of PRs fixing stuff :( |
| 20:53:49 | → | pfurla joins (~pfurla@207.15.195.173.client.static.strong-in52.as13926.net) |
| 20:53:57 | <sm[m]> | DigitalKiwi++ |
| 20:54:45 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 20:55:21 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 20:55:32 | <DigitalKiwi> | https://github.com/NixOS/nixpkgs/pulls?q=is%3Apr+author%3AKiwi |
| 20:55:37 | <merijn> | DigitalKiwi: That was more of a rant about the stuff people do upload to hackage half-broken (like coinbase-exchange) and then complain when lots of stuff on hackage is broken, then referring to you :) |
| 20:56:08 | <geekosaur> | s/then/than/ ? |
| 20:56:23 | <merijn> | DigitalKiwi: Anyway, the Hackage CI/matrix link on the hackage page should give you and indication of how hopeless it is |
| 20:56:27 | <merijn> | geekosaur: pfft, whichever |
| 20:57:00 | <merijn> | geekosaur: I have entirely given up on distinguishing homophones, my brain just refuses to have a deterministic link between what I intend to write and what comes out :p |
| 20:57:17 | <geekosaur> | also it doesn't help that the haskell ecosystem is such a moving target |
| 20:57:45 | <geekosaur> | you get all the bounds right and then ghc versions get you |
| 20:57:49 | <DigitalKiwi> | https://mostlyabsurd.com/files/www-mostlyabsurd-com.cabal :) |
| 20:58:00 | <merijn> | geekosaur: We had a discussion about that in #ghc at some point |
| 20:58:17 | <merijn> | geekosaur: Fortunately base has been bumped every GHC version for the past 9 years, so that hasn't been an issue :p |
| 20:58:22 | <geekosaur> | yes, I was watching (and participating to some extet) |
| 20:58:37 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 20:58:44 | <DigitalKiwi> | https://mostlyabsurd.com/files/shell.nix and :) |
| 20:59:11 | <merijn> | geekosaur: I say we just give up on software and become hermits! |
| 20:59:46 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 20:59:56 | geekosaur | after the past year is not convinced that works either… |
| 21:01:27 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 21:03:28 | × | Tops21 quits (~Tobias@dyndsl-095-033-093-170.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 21:03:33 | × | conal quits (~conal@138.199.52.36) (Quit: Computer has gone to sleep.) |
| 21:03:55 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:04:02 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 21:05:00 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds) |
| 21:07:31 | → | conal joins (~conal@143.244.61.227) |
| 21:08:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 21:10:58 | × | adharsh quits (~adharsh@117.211.30.235) (Ping timeout: 246 seconds) |
| 21:11:02 | × | gioyik quits (~gioyik@186.112.104.70) (Ping timeout: 256 seconds) |
| 21:12:58 | <ij> | geekosaur, merijn, seeing no tuples implemented by default in Storable suggest it may not be suited for it, is all. Are they not provided so everyone can provide their own or something? Or no reason? |
| 21:14:20 | <merijn> | There's no Storable instance for tuples because there's no good default choice |
| 21:14:39 | <merijn> | But you said you already had a record type? |
| 21:14:48 | <merijn> | You can just make your record Storable... |
| 21:19:06 | → | son0p joins (~son0p@181.136.122.143) |
| 21:19:46 | <ij> | I |
| 21:20:26 | → | gioyik joins (~gioyik@186.112.104.70) |
| 21:20:28 | <ij> | I'll read the Storable docs just because, but I'd rather not and try out vector-th-unbox 😁 |
| 21:21:34 | → | _deepfire joins (~user@80.92.100.69) |
| 21:21:34 | <merijn> | ij: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Model.hs#L83-L117 |
| 21:22:10 | × | ep1ctetus quits (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Ping timeout: 246 seconds) |
| 21:22:54 | → | atraii joins (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) |
| 21:23:55 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 21:24:07 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Read error: Connection reset by peer) |
| 21:24:40 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 21:25:17 | <ij> | pretty cool instance |
| 21:25:46 | × | son0p quits (~son0p@181.136.122.143) (Remote host closed the connection) |
| 21:26:02 | → | son0p joins (~son0p@181.136.122.143) |
| 21:26:29 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 21:26:30 | → | mirrorbird joins (~psutcliff@2a00:801:446:b70b:607:9995:9930:4d27) |
| 21:27:57 | <_deepfire> | If one has a DataKinds-generated kind in scope, is there a simple way of obtaining a typeRep of it? |
| 21:28:13 | → | brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 21:29:54 | × | atraii quits (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) (Read error: Connection reset by peer) |
| 21:30:24 | → | atraii joins (~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) |
| 21:31:25 | × | MorrowM quits (~Moshe@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
| 21:31:27 | × | jackhill quits (~jackhill@marsh.hcoop.net) (Ping timeout: 260 seconds) |
| 21:31:40 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 21:32:35 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 21:32:37 | × | sajith quits (~sajith@fsf/member/nonzen) (Ping timeout: 264 seconds) |
| 21:33:03 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 21:34:52 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 21:35:27 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 21:37:06 | <monochrom> | I suggested Storable because it should be trivial for you to write your own Storable instance for your record type. |
| 21:37:26 | <monochrom> | Why so obsessed with (,,) if you aren't even using it. |
| 21:38:27 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed) |
| 21:40:14 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds) |
| 21:40:19 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 21:41:10 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 21:42:15 | → | Tario joins (~Tario@200.119.184.166) |
| 21:42:39 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 21:42:40 | × | atraii quits (~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:43:49 | → | jackhill joins (~jackhill@marsh.hcoop.net) |
| 21:44:28 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 21:44:29 | → | atraii joins (~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) |
| 21:49:40 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 21:49:41 | × | Tario quits (~Tario@200.119.184.166) (Read error: Connection reset by peer) |
| 21:51:09 | → | Tario joins (~Tario@201.192.165.173) |
| 21:51:58 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 21:53:16 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 21:56:01 | × | machined1od quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 21:56:39 | × | conal quits (~conal@143.244.61.227) (Quit: Computer has gone to sleep.) |
| 21:57:17 | → | conal joins (~conal@143.244.61.227) |
| 21:58:55 | × | ADG1089__ quits (~aditya@122.163.165.143) (Remote host closed the connection) |
| 21:59:02 | × | BaneAliens quits (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Read error: Connection reset by peer) |
| 21:59:26 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 22:01:11 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:194c:6210:349e:a14) |
| 22:01:15 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:01:22 | × | conal quits (~conal@143.244.61.227) (Ping timeout: 246 seconds) |
| 22:01:30 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 22:01:37 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:02:52 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 22:02:53 | → | dan64- joins (~dan64@dannyadam.com) |
| 22:04:16 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:04:19 | × | shailangsa quits (~shailangs@host86-145-14-121.range86-145.btcentralplus.com) (Ping timeout: 256 seconds) |
| 22:04:25 | × | dan64 quits (~dan64@dannyadam.com) (Ping timeout: 264 seconds) |
| 22:04:31 | × | BaneAliens quits (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 22:04:56 | → | BaneAliens joins (~BaneAlien@cpe-75-82-164-119.socal.res.rr.com) |
| 22:05:19 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 22:06:12 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 22:06:18 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 22:06:27 | → | conal joins (~conal@143.244.61.236) |
| 22:09:09 | × | conal quits (~conal@143.244.61.236) (Client Quit) |
| 22:09:38 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 22:11:07 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 22:11:14 | → | conal joins (~conal@172.93.146.171) |
| 22:11:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:12:19 | <ij> | just curious |
| 22:19:11 | → | NieDzejkob joins (~quassel@188.123.215.55) |
| 22:21:14 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 22:27:15 | → | shailangsa joins (~shailangs@host86-145-14-121.range86-145.btcentralplus.com) |
| 22:27:37 | × | erolm_a quits (~erolm_a@62.18.221.108) (Ping timeout: 246 seconds) |
| 22:27:48 | → | erolm_a joins (~erolm_a@62.18.221.108) |
| 22:29:28 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 22:30:02 | <npgm> | I'm curious about this code: https://hackage.haskell.org/package/cassava-0.5.2.0/docs/src/Data.Csv.Streaming.html Specifically, it seems like Records are just a stream of elements, where an element may or may not be valid. |
| 22:30:50 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 22:31:10 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 22:32:21 | <npgm> | Is it obvious why the author chose to create a special type rather than using list? It seems like creating the special type requires the typeclass instances to be defined. Foldable defined on `[Result a]` seems like something that would be common? |
| 22:33:09 | <merijn> | npgm: Eh, in [Result a] only the 'a' can be the Foldable |
| 22:33:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 22:33:56 | → | Mous joins (4eeef4dc@mil29-1-78-238-244-220.fbx.proxad.net) |
| 22:34:46 | → | vst joins (~vst@2406:3003:2004:2e8a:88e0:d:26a8:735e) |
| 22:35:08 | → | mctpyt joins (~mctpyt@190.192.51.111) |
| 22:35:28 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 22:36:35 | × | mctpyt quits (~mctpyt@190.192.51.111) (Changing host) |
| 22:36:35 | → | mctpyt joins (~mctpyt@unaffiliated/mctpyt) |
| 22:37:42 | × | atraii quits (~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) (Ping timeout: 246 seconds) |
| 22:38:26 | <Cale> | Uniaika: Haha, actually, it's overlapping instances where I really start to have a problem. Undecidable ones are mostly fine actually. |
| 22:38:46 | <merijn> | UndecidableInstances should have a less scary name |
| 22:38:47 | <Uniaika> | yeah I think I've used it a couple times with mtl stuff |
| 22:38:52 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 22:38:58 | <merijn> | And OverlappingInstances should have a *way* more scary name |
| 22:39:01 | <Uniaika> | merijn: -XIWillFindYourCat |
| 22:39:06 | <merijn> | Uniaika: :( |
| 22:39:10 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:39:12 | <iridescent> | could anyone explain how natural transformations show up in haskell? |
| 22:39:40 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:40:01 | <Cale> | iridescent: Well, polymorphic functions forall a. F a -> G a for some functors F and G will be natural transformations automatically. |
| 22:40:03 | <npgm> | merijn: I see what you mean |
| 22:40:25 | × | Mous quits (4eeef4dc@mil29-1-78-238-244-220.fbx.proxad.net) (Quit: Connection closed) |
| 22:41:15 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 22:42:40 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 22:45:20 | <npgm> | merijn: but why would you want a custom container type here? `[Record]` seems like it would require less code and get more functionality out of the box than a custom Records datatype and custom typeclass instances? |
| 22:46:20 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 272 seconds) |
| 22:46:29 | <merijn> | npgm: What's the custom container you're referring too? |
| 22:46:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:46:48 | <npgm> | merijn: `Records` https://hackage.haskell.org/package/cassava-0.5.2.0/docs/src/Data.Csv.Streaming.html#Records |
| 22:48:54 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 22:48:57 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 22:49:58 | <merijn> | Well, what alternative do you propose?? |
| 22:50:11 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:50:39 | × | Wuzzy quits (~Wuzzy@p549c97c9.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:51:00 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 22:51:08 | <dolio> | That doesn't look like just a list. |
| 22:51:35 | × | tzh quits (~xax@c-24-21-73-154.hsd1.or.comcast.net) (Quit: kskdvlkds) |
| 22:54:05 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 22:56:36 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 22:56:49 | → | Tario joins (~Tario@201.192.165.173) |
| 22:56:56 | <npgm> | I guess what i'm imagining is probably less exact. `data Record a = EOS (Maybe String) ByteString | Record (Either String a)`. where EOS is end of stream, or end of file. |
| 22:57:54 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 22:58:07 | <dolio> | Then there are all sorts of erroneous values that could show up. |
| 22:58:08 | <npgm> | whereas `Records` exactly models where and when an EOS can occur. |
| 22:58:45 | × | iridescent quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Quit: Connection closed) |
| 22:59:05 | <npgm> | dolio: You're basically referring to this sort of scenario? `[EOS, EOS, Record, EOS]` |
| 22:59:21 | <dolio> | Sure. There are infinitely many values that don't make sense. |
| 22:59:24 | <dolio> | Empty list is another. |
| 22:59:47 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 23:01:51 | <npgm> | seems like a choice between modeling the problem exactly and taking advantage of existing code |
| 23:02:08 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 23:02:55 | <dolio> | The foldable instance for list isn't the same as the one for Records, either. |
| 23:03:16 | <npgm> | dolio: only in that it skips errors? |
| 23:03:40 | <dolio> | No. The former gives you records, and the latter gives you a values. |
| 23:06:23 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Remote host closed the connection) |
| 23:06:51 | <npgm> | https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Base.html#foldr and https://hackage.haskell.org/package/cassava-0.5.2.0/docs/src/Data.Csv.Streaming.html#foldrRecords right? |
| 23:06:51 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 23:07:25 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 23:07:37 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 23:07:39 | <dolio> | If you use lists, then [] is what's foldable. [Record a] doesn't automatically fold over just the `a` values contained in the list. |
| 23:08:06 | <npgm> | it'll fold over the Record a values, right? |
| 23:08:20 | <dolio> | Yes, which is not what the Foldable instance for Records does. |
| 23:09:54 | × | Franciman quits (~francesco@host-82-48-174-127.retail.telecomitalia.it) (Quit: Leaving) |
| 23:10:10 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 23:10:46 | <npgm> | eh, I guess i don't know what foldable instance of records does / don't see the nuance here. The only thing I thought the foldable instance of records is doing was discarding errors. |
| 23:11:25 | <dolio> | Well, that's exactly what it does. The Foldable instance for lists won't discard any of the errors. |
| 23:11:48 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) (Ping timeout: 260 seconds) |
| 23:12:09 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 23:12:18 | × | pfurla quits (~pfurla@207.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 256 seconds) |
| 23:12:28 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9c4:aae8:1d85:eb8c) |
| 23:12:34 | <npgm> | but discarding errors is trivial imo - its just mapping the list to another list? |
| 23:12:51 | → | Tario joins (~Tario@201.192.165.173) |
| 23:13:47 | <dolio> | My point is that you're criticising them for not reusing code, but the code you want them to reuse doesn't actually do what their code does. |
| 23:13:57 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 23:14:55 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 23:15:30 | × | mctpyt quits (~mctpyt@unaffiliated/mctpyt) (Ping timeout: 246 seconds) |
| 23:15:40 | <npgm> | I hear you. And I don't mean to be critical of this person, I like the library, I'm just trying to learn by understanding why decisions were made one way but not another. And i'm appreciative of your helping me understand. |
| 23:16:44 | × | fendor quits (~fendor@91.141.1.45.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 23:17:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:17:23 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:17:41 | → | mctpyt joins (~mctpyt@190.192.51.111) |
| 23:18:44 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 23:18:46 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 23:19:50 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 23:20:31 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 23:21:06 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 23:22:09 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 23:23:46 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 23:24:03 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 23:24:13 | × | erolm_a quits (~erolm_a@62.18.221.108) (Remote host closed the connection) |
| 23:25:47 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 23:26:21 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 23:26:32 | × | klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Ping timeout: 256 seconds) |
| 23:28:36 | → | klardotsh joins (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 23:28:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:194c:6210:349e:a14) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:29:00 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 23:30:12 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 23:31:04 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds) |
| 23:31:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:32:54 | → | elliott_ joins (~elliott_@170.121.246.67) |
| 23:33:15 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:33:38 | × | knupfer quits (~Thunderbi@200116b82c63f800a05a70c9977def3e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 23:36:02 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 23:37:19 | → | kini joins (~kini@unaffiliated/kini) |
| 23:39:05 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:496f:dbf0:f4d6:670) |
| 23:39:38 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 264 seconds) |
| 23:42:08 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 23:46:22 | × | elliott_ quits (~elliott_@170.121.246.67) (Read error: Connection reset by peer) |
| 23:49:57 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 23:50:19 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 23:50:48 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 23:52:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 23:56:35 | → | adeene joins (~adeene@181.131.0.191) |
| 23:56:42 | × | xcmw quits (~textual@2603-6011-2200-f103-79b4-f9a6-63fe-40f2.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:56:54 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
All times are in UTC on 2021-01-16.