Logs: liberachat/#haskell
| 2021-07-24 15:35:49 | × | yauhsien quits (~yauhsien@61-231-40-230.dynamic-ip.hinet.net) (Quit: Leaving...) |
| 2021-07-24 15:35:55 | <dsal> | But the thing there Haskell uses microsecond int for time and people make helpers for conversions and then label them wrong is more than one bug |
| 2021-07-24 15:37:18 | <dsal> | Isn't there a language extension for underscore? |
| 2021-07-24 15:37:19 | <tomsmeding> | the 'time' package has DiffTime though |
| 2021-07-24 15:37:53 | <tomsmeding> | oh apparently there is, NumericUnderscores |
| 2021-07-24 15:38:20 | <tomsmeding> | cool stuff |
| 2021-07-24 15:38:30 | <dsal> | This code is demonstrating `threadDelay` which should probably just not be used directly. |
| 2021-07-24 15:39:23 | × | azeem quits (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-24 15:40:46 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-24 15:40:51 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-24 15:42:08 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-24 15:44:45 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-24 15:45:44 | × | dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 272 seconds) |
| 2021-07-24 15:47:09 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-24 15:53:12 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-24 15:54:45 | × | azeem quits (~azeem@176.201.2.247) (Read error: Connection reset by peer) |
| 2021-07-24 15:55:24 | → | azeem joins (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) |
| 2021-07-24 15:57:05 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-24 16:00:09 | × | henrylaxen quits (~henrylaxe@199.58.86.204) (Quit: Client closed) |
| 2021-07-24 16:01:56 | × | azeem quits (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-07-24 16:03:50 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-24 16:04:57 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-24 16:05:13 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-24 16:05:16 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-07-24 16:05:40 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-24 16:07:17 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-24 16:07:52 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-24 16:09:13 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-24 16:13:08 | → | Null_A joins (~null_a@2601:645:8700:2290:809c:ae43:df71:6365) |
| 2021-07-24 16:13:21 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-24 16:14:20 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
| 2021-07-24 16:18:32 | × | darius-os_ quits (uid508861@id-508861.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-24 16:19:13 | → | econo joins (uid147250@user/econo) |
| 2021-07-24 16:19:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-24 16:23:20 | × | azeem quits (~azeem@176.201.2.247) (Read error: Connection reset by peer) |
| 2021-07-24 16:23:42 | → | azeem joins (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) |
| 2021-07-24 16:23:50 | → | eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-24 16:23:52 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-07-24 16:24:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-24 16:25:09 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-24 16:26:01 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-24 16:29:54 | × | eggplant_ quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-24 16:39:54 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-24 16:40:10 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Read error: Connection reset by peer) |
| 2021-07-24 16:40:22 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-24 16:46:52 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-24 16:46:59 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-24 16:48:12 | → | mrus joins (~mrus@149.28.61.155) |
| 2021-07-24 16:52:07 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-24 16:54:05 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-24 16:56:07 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-24 16:56:07 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-24 16:57:23 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-24 16:58:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-24 17:00:03 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-24 17:01:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-24 17:02:07 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-24 17:04:29 | → | intEgr8 joins (~1ntEgr8@2601:c8:c000:3090:ad38:e62b:c9be:755d) |
| 2021-07-24 17:05:16 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-24 17:07:41 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-24 17:08:32 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2021-07-24 17:14:51 | × | intEgr8 quits (~1ntEgr8@2601:c8:c000:3090:ad38:e62b:c9be:755d) (Quit: WeeChat 3.1) |
| 2021-07-24 17:19:50 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-24 17:23:29 | → | jco joins (~jco@213-64-226-9-no542.tbcn.telia.com) |
| 2021-07-24 17:25:10 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-07-24 17:26:17 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-24 17:32:38 | × | Topsi quits (~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de) (Quit: Leaving.) |
| 2021-07-24 17:33:41 | → | Topsi joins (~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de) |
| 2021-07-24 17:35:52 | × | alx741 quits (~alx741@186.178.108.59) (Ping timeout: 265 seconds) |
| 2021-07-24 17:36:33 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-07-24 17:36:43 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-24 17:38:44 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-24 17:41:55 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
| 2021-07-24 17:48:57 | → | alx741 joins (~alx741@186.178.108.59) |
| 2021-07-24 17:49:24 | × | benin03693 quits (~benin@183.82.205.33) (Ping timeout: 265 seconds) |
| 2021-07-24 17:50:49 | <Gurkenglas> | in my head, version numbers X.Y.Z should increment Z for "old code does the same", Y for "theoretically you could write a String->String that turns old code into code that does the same" and X for "breaks backwards compatibility". Is the Y-X distinction done or demanded anywhere? |
| 2021-07-24 17:51:10 | <Gurkenglas> | (and ideally is there an ecosystem that supports such patchers?) |
| 2021-07-24 17:51:14 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-07-24 17:51:58 | <geekosaur> | go, or so I've heard |
| 2021-07-24 17:53:02 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-07-24 17:53:30 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-07-24 17:56:11 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-24 17:57:24 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-24 17:58:02 | <Ariakenom> | think i've heard that clojure does something like that |
| 2021-07-24 17:59:18 | <Ariakenom> | your Y is too broad |
| 2021-07-24 18:01:20 | <Ariakenom> | hm. i don't understand what distinction your after |
| 2021-07-24 18:01:22 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 245 seconds) |
| 2021-07-24 18:01:30 | <oso> | i've always heard it as [Major Version, Potentially Breaking].[Minor version, non-breaking].[Incremental, bug fix or security update].[pre-release versioning] |
| 2021-07-24 18:02:10 | <Gurkenglas> | geekosaur, go seems to have my XY in their X and my Z in their YZ |
| 2021-07-24 18:02:57 | <Ariakenom> | "old code does the same" is true for y and x afaik |
| 2021-07-24 18:03:38 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-24 18:04:03 | <Gurkenglas> | Ariakenom, https://research.swtch.com/impver.png |
| 2021-07-24 18:04:43 | → | img joins (~img@user/img) |
| 2021-07-24 18:04:43 | <Ariakenom> | or do you mean lib code. i thought you meant user code |
| 2021-07-24 18:04:45 | <Gurkenglas> | Ariakenom, if a library changes "foo(value,parameter)" to "foo(parameter,value)" that should increment gurk-Y, and come with a patcher that will swap argument order in any code that depends on foo |
| 2021-07-24 18:06:04 | × | img quits (~img@user/img) (Client Quit) |
| 2021-07-24 18:06:21 | <Ariakenom> | so you exclude minor things from backwards compat. String->String is pretty broad though |
| 2021-07-24 18:06:28 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-07-24 18:06:43 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-24 18:07:27 | → | img joins (~img@user/img) |
All times are in UTC.