Logs: liberachat/#haskell
| 2021-07-24 18:07:47 | <Gurkenglas> | @tell Ariakenom what do you mean, exclude minor things from backwards compat? Is the "minor" related to the "minor version" in go-Y? |
| 2021-07-24 18:07:47 | <lambdabot> | Consider it noted. |
| 2021-07-24 18:08:51 | <Ariakenom> | not related. I meant changing the parameter order breaks backwards compatability and so is a X change |
| 2021-07-24 18:10:00 | <Gurkenglas> | ah. you could say it bends backwards compatibility :) |
| 2021-07-24 18:10:07 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-24 18:10:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-24 18:11:40 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-24 18:11:43 | <Ariakenom> | (i messed up x and z above I meant: "old code does the same" is true for y and z) |
| 2021-07-24 18:12:58 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-24 18:13:48 | <Gurkenglas> | What's wrong with String->String, or equivalently (the language should provide the equivalence) AST->AST? |
| 2021-07-24 18:14:41 | <Ariakenom> | by broad I meant that it includes a lot of changes. like inlining the entire lib defeinitions, to be extreme |
| 2021-07-24 18:15:57 | <Gurkenglas> | inlining the entire lib, huh. i suppose you can technically change anything without incrementing X |
| 2021-07-24 18:16:14 | → | h98 joins (~h98@187.83.249.216.dyn.smithville.net) |
| 2021-07-24 18:17:55 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-24 18:18:26 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2021-07-24 18:20:08 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-24 18:21:29 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-07-24 18:21:35 | → | pera joins (~pera@user/pera) |
| 2021-07-24 18:22:17 | <Ariakenom> | strict backwards compatibility, no bending, is standard though? otherwise it's useless for dependency management |
| 2021-07-24 18:22:37 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-24 18:23:26 | <Ariakenom> | also note that PVP with 4 numbers is common in haskell. instead of semantic versioning with 3. in PVP the first 2 might match your definition better |
| 2021-07-24 18:23:37 | <Gurkenglas> | how so? resolve the dependency tree paying only attention to X, then bring forward any code that needs such |
| 2021-07-24 18:23:48 | <Gurkenglas> | @useless |
| 2021-07-24 18:23:48 | <lambdabot> | Unknown command, try @list |
| 2021-07-24 18:24:04 | → | ArgoLargo joins (~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc) |
| 2021-07-24 18:24:10 | <ArgoLargo> | exit |
| 2021-07-24 18:24:16 | <ArgoLargo> | Xd |
| 2021-07-24 18:24:19 | <ArgoLargo> | Hi |
| 2021-07-24 18:24:22 | <ArgoLargo> | i am new |
| 2021-07-24 18:24:24 | ← | ArgoLargo parts (~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc) (ERC (IRC client for Emacs 27.2)) |
| 2021-07-24 18:25:09 | <Gurkenglas> | Hi, are you hear for advice on learning Haskell? |
| 2021-07-24 18:25:12 | <Gurkenglas> | *here |
| 2021-07-24 18:25:13 | <Ariakenom> | oh PVP has 3 or more numbers |
| 2021-07-24 18:25:33 | <Gurkenglas> | welp, he left fast |
| 2021-07-24 18:25:42 | <Ariakenom> | I want to resolve the dependencies and not change my code D: |
| 2021-07-24 18:26:03 | <Gurkenglas> | you don't need to see the changed code if you don't want to, it can be just another internal compilation step |
| 2021-07-24 18:26:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-24 18:27:11 | → | Hanicef joins (~hanicef@78-71-43-30-no260.tbcn.telia.com) |
| 2021-07-24 18:28:40 | <Gurkenglas> | Ariakenom, re inlining the entire lib: suppose the library replaces bar(a,b,c,d) with bar(b,a,d,c) by switching a&b then c&d or c&d then a&b. I can write two syntax transformations to user-level code that can be applied in either order (and the order doesn't even change the result syntactically). Can you do a similarly degenerate thing as inlining the lib here? (the syntax equality is optional) |
| 2021-07-24 18:28:45 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds) |
| 2021-07-24 18:29:41 | <Gurkenglas> | oh wait you can still just inling the lib on the first change, the second change can just be ignored... |
| 2021-07-24 18:29:50 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-24 18:30:43 | <Gurkenglas> | i suppose in order to rule out degeneracy, i need to allow lib changes/syntax transformations that change behavior |
| 2021-07-24 18:33:02 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-07-24 18:33:13 | → | ArgoLargo joins (~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc) |
| 2021-07-24 18:33:15 | <ArgoLargo> | Hii |
| 2021-07-24 18:33:20 | <Ariakenom> | semver: major.minor.patch pvp: major.major.feature[.patch]* |
| 2021-07-24 18:33:35 | <Ariakenom> | eh feature=minor |
| 2021-07-24 18:33:36 | <Gurkenglas> | ArgoLargo, are you here for advice on learning haskell? |
| 2021-07-24 18:34:40 | <Gurkenglas> | Ariakenom, I suppose in order to not run into really bad dependency issues I should use a different character in place of . for my versioning policy :3 |
| 2021-07-24 18:35:31 | <ArgoLargo> | Sorry, I am just learning how to use irc. |
| 2021-07-24 18:35:46 | <Gurkenglas> | Ah. How'd you pick #haskell? |
| 2021-07-24 18:36:07 | <maerwald> | Ariakenom: eh, semver is much more complex |
| 2021-07-24 18:36:30 | <maerwald> | and much better |
| 2021-07-24 18:37:13 | <maerwald> | the fact that pvp lacks alpha/beta/rc etc has lead to odd versioning in e.g. GHC for pre-releases |
| 2021-07-24 18:37:22 | <ArgoLargo> | I'm using the client "ERC" , I just typed, /join #haskell |
| 2021-07-24 18:37:48 | <Gurkenglas> | right, i mean, how'd you know to type #haskell rather than another channel time - how'd you find it? |
| 2021-07-24 18:37:54 | <Gurkenglas> | *channel name |
| 2021-07-24 18:38:52 | <ArgoLargo> | i write /list |
| 2021-07-24 18:38:53 | <ArgoLargo> | |
| 2021-07-24 18:38:57 | <Ariakenom> | maerwald: sure. I wanted to point out the difference in numbers since that could be confusing |
| 2021-07-24 18:39:16 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-07-24 18:39:24 | × | fendor quits (~fendor@77.119.199.107.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-24 18:40:22 | ← | ArgoLargo parts (~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc) (ERC (IRC client for Emacs 27.2)) |
| 2021-07-24 18:40:25 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-24 18:40:59 | <Gurkenglas> | Ah. Well, if you'd like to try a programming language for math nerds, visit tryhaskell.org |
| 2021-07-24 18:41:11 | <geekosaur> | they're gone again |
| 2021-07-24 18:42:36 | <Gurkenglas> | Is there literature on the category of ASTs? (as opposed to Hask) |
| 2021-07-24 18:43:23 | degraafk_ | is now known as degraafk |
| 2021-07-24 18:43:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-24 18:48:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-07-24 18:48:38 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-24 18:52:37 | → | haowenl joins (~haowenl@066-215-230-039.res.spectrum.com) |
| 2021-07-24 18:53:06 | × | haowenl quits (~haowenl@066-215-230-039.res.spectrum.com) (Client Quit) |
| 2021-07-24 18:53:23 | → | haowenl joins (~haowenl@066-215-230-039.res.spectrum.com) |
| 2021-07-24 18:53:27 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-07-24 18:54:19 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-24 18:54:20 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-24 18:54:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-24 18:56:07 | → | henry joins (~user@177.239.37.243) |
| 2021-07-24 18:56:34 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-24 18:58:35 | × | alx741 quits (~alx741@186.178.108.59) (Quit: alx741) |
| 2021-07-24 19:00:06 | → | alx741 joins (~alx741@186.178.108.59) |
| 2021-07-24 19:03:24 | × | Hanicef quits (~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving) |
| 2021-07-24 19:04:13 | → | dunkeln joins (~dunkeln@94.129.69.87) |
| 2021-07-24 19:06:51 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds) |
| 2021-07-24 19:08:52 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-07-24 19:09:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-24 19:10:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-24 19:17:59 | × | enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-07-24 19:19:25 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-24 19:21:55 | × | Null_A quits (~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection) |
| 2021-07-24 19:22:30 | → | Null_A joins (~null_a@2601:645:8700:2290:809c:ae43:df71:6365) |
| 2021-07-24 19:22:59 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-24 19:23:29 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-07-24 19:23:34 | × | pbrisbin quits (~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-24 19:24:33 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-24 19:24:52 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-24 19:25:39 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-24 19:26:00 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
All times are in UTC.