Logs: liberachat/#haskell
| 2021-08-04 21:02:17 | <lechner> | i am more concerned that information some might consider crucial disappeared from the source files |
| 2021-08-04 21:02:27 | <yushyin> | see the wiki link, there is the thesis, a paper and more |
| 2021-08-04 21:02:30 | × | brettgilio quits (~brettgili@45.55.53.68) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-04 21:03:33 | → | brettgilio joins (~brettgili@45.55.53.68) |
| 2021-08-04 21:03:53 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Client Quit) |
| 2021-08-04 21:04:10 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 2021-08-04 21:04:34 | <lechner> | never mind. his thesis advisor is a friend of mine |
| 2021-08-04 21:04:56 | <lechner> | i am sure it's super cool stuff |
| 2021-08-04 21:05:05 | <monochrom> | That's certainly a plot twist no one saw coming. |
| 2021-08-04 21:05:23 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-08-04 21:06:05 | × | thelounge9230681 quits (~thelounge@cpe-75-85-161-60.san.res.rr.com) (Ping timeout: 258 seconds) |
| 2021-08-04 21:07:01 | <monochrom> | "OO looks nice, you can place data and operations in proximity, nice organizational tool... wait, so Alan Kay was involved?! OK down with OO, burn in hell!" |
| 2021-08-04 21:07:05 | <lechner> | anyway ema doesn't build directly either, so it's not an issue of vendoring+mixins |
| 2021-08-04 21:08:14 | <amesgen[m]> | Some use cases of mixins: |
| 2021-08-04 21:08:14 | <amesgen[m]> | - Multiple dependencies define packages with the same name, and you don't want to use PackageImports all the time |
| 2021-08-04 21:08:14 | <amesgen[m]> | - Replacing `Prelude` by another module: https://github.com/kowainik/relude#mixins |
| 2021-08-04 21:08:14 | <amesgen[m]> | - Swapping API-compatible packages, e.g. https://github.com/bodigrim/tasty-bench#how-to-switch |
| 2021-08-04 21:10:44 | <lechner> | monochrom: well, the more obvious point is that, like many things Haskell, backpack is based on academic work. so many tech ideas are garbage---please forgive a newbie. i see you also had a hand in it |
| 2021-08-04 21:11:38 | → | brian_da_mage joins (~Neuromanc@user/neuromancer) |
| 2021-08-04 21:12:02 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-04 21:12:03 | brian_da_mage | is now known as Neuromancer |
| 2021-08-04 21:12:12 | <monochrom> | IIUC you have been claiming "newbie" for years. |
| 2021-08-04 21:12:56 | <lechner> | maybe "student driver" would be better |
| 2021-08-04 21:13:48 | <lechner> | less honking |
| 2021-08-04 21:15:35 | <lechner> | plus, i am new to haskell. you can tell from my questions |
| 2021-08-04 21:16:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-04 21:16:18 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-04 21:19:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-04 21:20:46 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-08-04 21:21:56 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-04 21:22:38 | <lechner> | actually, i have no issue with mixins. their motivation is brilliant (and outlined in 2.2 of the thesis for anyone interested) but why are they not part of the source files? Doesn't the subtype matter more to the consuming module than to the build process? |
| 2021-08-04 21:23:31 | <monochrom> | It was a pragmatic choice of "let's not add new syntax to Haskell" |
| 2021-08-04 21:23:43 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-04 21:24:10 | <monochrom> | You have seen how people are bitter if someone goes "let's add RecordDotSyntax". And that's only one dot. |
| 2021-08-04 21:24:10 | <lechner> | the baby might have looked like Java |
| 2021-08-04 21:24:45 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-04 21:25:02 | <monochrom> | I agree that without changing Haskell syntax, you end up with a roundabout bolt-on mechanism, it is not seamless. |
| 2021-08-04 21:25:11 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-08-04 21:25:33 | <lechner> | your build systems may also become incompatible, i.e. cabal vs stack |
| 2021-08-04 21:26:50 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 272 seconds) |
| 2021-08-04 21:26:50 | × | xff0x quits (~xff0x@2001:1a81:5261:500:ded2:30b8:9807:d2a8) (Ping timeout: 250 seconds) |
| 2021-08-04 21:27:08 | <davean> | lechner: I mean also the build process though |
| 2021-08-04 21:27:27 | × | V quits (~v@anomalous.eu) (Quit: We're here. We're queer. Connection reset by peer) |
| 2021-08-04 21:27:45 | <sclv> | no, the problem is just that stack did not update itself to handle mixins |
| 2021-08-04 21:27:46 | → | V joins (~v@anomalous.eu) |
| 2021-08-04 21:27:51 | → | xff0x joins (~xff0x@port-92-193-173-141.dynamic.as20676.net) |
| 2021-08-04 21:27:57 | <sclv> | they could fix it, by updating their code |
| 2021-08-04 21:28:15 | <lechner> | that's assuming it will do so the same way |
| 2021-08-04 21:28:33 | <davean> | lechner: a mixin can create a build object for each instance |
| 2021-08-04 21:28:44 | <lechner> | oxay |
| 2021-08-04 21:28:49 | <lechner> | okay |
| 2021-08-04 21:29:26 | <lechner> | you mangle symbol names like C++? |
| 2021-08-04 21:29:29 | <sclv> | lechner don't make assumptions, you don't understand the implementation well enough to make those assumptions |
| 2021-08-04 21:29:40 | <sclv> | the core mixin stuff is in the basic Cabal library |
| 2021-08-04 21:29:56 | <sclv> | stack simply did not yet update their code making use of that library to handle new mixin features in that lib |
| 2021-08-04 21:30:21 | <sclv> | please do not assume that things are done in ways you can smugly complain are bad, when you have no idea |
| 2021-08-04 21:30:25 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-04 21:31:10 | <lechner> | you are right. i am a newbie |
| 2021-08-04 21:31:32 | <davean> | if you know you're a newbie, look into things instead of making assumptions? |
| 2021-08-04 21:32:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-04 21:32:16 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-04 21:32:37 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 2021-08-04 21:34:11 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Quit: WeeChat 2.7.1) |
| 2021-08-04 21:35:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-04 21:36:30 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 2021-08-04 21:37:30 | × | fendor quits (~fendor@77.119.211.146.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-04 21:39:30 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-08-04 21:45:18 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Quit: WeeChat 3.1) |
| 2021-08-04 21:49:16 | <janus> | if a package uses mixins and it is published to hackage, can a stack build still depend on it? or does stack need every transitive dependency to not use mixins? |
| 2021-08-04 21:49:42 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-04 21:52:01 | <raehik> | is there any way I can reuse Happy parser components between multiple modules? like the rules (that are processed by Happy) |
| 2021-08-04 21:55:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-04 22:01:55 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-04 22:01:59 | → | Guest17 joins (~Guest17@187.83.249.216.dyn.smithville.net) |
| 2021-08-04 22:04:21 | <Guest17> | is there a version of Data.Vector.unfoldr (any version) which returns the accumulator/seed after construction, i.e. (Vector a, b) instead of just Vector a? |
| 2021-08-04 22:10:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-04 22:11:56 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-08-04 22:12:15 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-04 22:16:42 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-04 22:18:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-04 22:20:25 | → | acidjnk_new3 joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de) |
| 2021-08-04 22:23:36 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9506b4fcf3b689739a9c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-04 22:25:43 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away) |
| 2021-08-04 22:27:51 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 2021-08-04 22:28:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-04 22:28:05 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-08-04 22:28:23 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Client Quit) |
| 2021-08-04 22:28:37 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-08-04 22:30:02 | × | Guest17 quits (~Guest17@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-08-04 22:43:02 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-04 22:43:03 | → | cjb joins (~cjb@user/cjb) |
| 2021-08-04 22:43:27 | × | acidjnk_new3 quits (~acidjnk@p5487d90a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-04 22:49:08 | → | dajoer joins (~david@user/gvx) |
| 2021-08-04 22:54:18 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2021-08-04 22:55:43 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 258 seconds) |
| 2021-08-04 22:57:30 | <ski> | i guess you're looking for something like `(s -> (Maybe a,s)) -> (s -> (Vector a,s))' (~ `State s (Maybe a) -> State s (Vector a)') .. |
| 2021-08-04 22:58:42 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 2021-08-04 22:58:55 | <ski> | (.. reminds me of some `until'/`untilM'/`untilMaybe' looping structures) |
| 2021-08-04 23:00:50 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-04 23:01:08 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
All times are in UTC.