Logs: liberachat/#haskell
| 2021-06-13 22:58:06 | × | awth13 quits (~user@185.209.196.143) (Client Quit) |
| 2021-06-13 22:59:57 | → | awth13 joins (~user@user/awth13) |
| 2021-06-13 23:02:05 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Remote host closed the connection) |
| 2021-06-13 23:02:37 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) |
| 2021-06-13 23:05:01 | × | beka__ quits (~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 268 seconds) |
| 2021-06-13 23:05:24 | → | beka__ joins (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-06-13 23:06:29 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-06-13 23:07:27 | × | jrm quits (~jrm@156.34.187.65) (Quit: ciao) |
| 2021-06-13 23:07:51 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-06-13 23:08:30 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-13 23:17:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-13 23:19:40 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-13 23:20:20 | → | iDead joins (~iDead@254.142.71.148.rev.vodafone.pt) |
| 2021-06-13 23:20:27 | → | fendor joins (~fendor@77.119.131.227.wireless.dyn.drei.com) |
| 2021-06-13 23:20:27 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-13 23:21:13 | <iDead> | heyyy, anyone up? need some help with point free notation |
| 2021-06-13 23:21:38 | <dminuoso> | @pl \x -> (x,) <$> f x |
| 2021-06-13 23:21:38 | <lambdabot> | (line 1, column 9): |
| 2021-06-13 23:21:38 | <lambdabot> | unexpected "," |
| 2021-06-13 23:21:38 | <lambdabot> | expecting letter or digit, variable, "(", operator or ")" |
| 2021-06-13 23:21:39 | <geekosaur> | there's probably a few people here, and there's lambdabot |
| 2021-06-13 23:22:02 | × | tremon_ quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-13 23:22:29 | <DigitalKiwi> | i'm only good at pointless conversation ;( |
| 2021-06-13 23:22:36 | <geekosaur> | preferably without things it doesn't parse like tuple sections |
| 2021-06-13 23:23:15 | × | jakesyl quits (sid56879@id-56879.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-06-13 23:23:48 | <Clint> | you'd think it would have spontaneously learned by now |
| 2021-06-13 23:24:03 | <iDead> | ;) i'm working on mutual recursion and catamorphism's* (pardon my french but i'm not native) |
| 2021-06-13 23:25:12 | → | jakesyl joins (sid56879@id-56879.stonehaven.irccloud.com) |
| 2021-06-13 23:25:56 | <iDead> | can someone help me find a point free notation for the average of a list? |
| 2021-06-13 23:26:01 | <DigitalKiwi> | Clint: it took me a minute to realize you meant lambdabot and not me ;( |
| 2021-06-13 23:27:18 | <DigitalKiwi> | http://pointfree.io/ does your function fit in the box |
| 2021-06-13 23:27:57 | <iDead> | DigitalKiwi very much appreciated :) |
| 2021-06-13 23:29:23 | <Clint> | DigitalKiwi: ha |
| 2021-06-13 23:29:53 | × | pkkm2 quits (~pkkm@dgs4.neoplus.adsl.tpnet.pl) (Ping timeout: 252 seconds) |
| 2021-06-13 23:30:07 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-13 23:32:23 | <monochrom> | Summing is a catamorphism. Finding length is also a catamorphism. You can also do both at once, computing the tuple (sum, length) is also a catamorphism. These are all good exercises. |
| 2021-06-13 23:32:39 | <monochrom> | But I doubt that making them pointfree is a good exercise. |
| 2021-06-13 23:34:15 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 244 seconds) |
| 2021-06-13 23:34:22 | <zfnmxt> | DigitalKiwi: Do you have any restrictions/allowences aside from just "pointfree"? |
| 2021-06-13 23:35:25 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 272 seconds) |
| 2021-06-13 23:35:32 | <DigitalKiwi> | i'm not supposed to be fed after midnight |
| 2021-06-13 23:36:05 | <zfnmxt> | Oh, sorry. Wrong person. :) |
| 2021-06-13 23:36:21 | <zfnmxt> | DigitalKiwi: (if I feed you will you forgive me?) |
| 2021-06-13 23:37:03 | <DigitalKiwi> | absolutely |
| 2021-06-13 23:37:14 | <monochrom> | They say no water too, but now I wonder about wine, whiskey, rubbing alcohol. >:) |
| 2021-06-13 23:37:22 | hpc_ | is now known as hpc |
| 2021-06-13 23:37:31 | fjmorazan_ | is now known as fjmorazan |
| 2021-06-13 23:37:49 | <Clint> | ammonia |
| 2021-06-13 23:38:02 | <DigitalKiwi> | doc said i need to cut back on my rubbing alcohol consumption |
| 2021-06-13 23:38:18 | <monochrom> | :) |
| 2021-06-13 23:38:47 | × | hemlock quits (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83) (Read error: Connection reset by peer) |
| 2021-06-13 23:40:04 | → | hemlock joins (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83) |
| 2021-06-13 23:40:14 | <monochrom> | I just notice that the topic includes "#matrix bridge should be coming soon". Is it outdated? Maybe I should delete that part. |
| 2021-06-13 23:40:30 | <geekosaur> | I think it's still technically in testing? |
| 2021-06-13 23:40:34 | <zfnmxt> | I'm using the bridge right now. |
| 2021-06-13 23:41:06 | <geekosaur> | it can lag a bit still |
| 2021-06-13 23:41:52 | <monochrom> | There ar a lot of "formally still in beta" out there that are, like, tenured beta, so it's as permanent and final as you could get. |
| 2021-06-13 23:42:23 | <monochrom> | And it is not like one day they will simply declare "the test has failed, goodbye". |
| 2021-06-13 23:43:58 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-13 23:44:14 | <Clint> | unless it's google |
| 2021-06-13 23:44:42 | × | hemlock quits (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83) (Ping timeout: 264 seconds) |
| 2021-06-13 23:44:49 | <monochrom> | And a lot of standard Haskell packages have "stability: experiment" to this date, for example mtl |
| 2021-06-13 23:44:59 | → | hemlock joins (~hemlock@2607:fb90:9618:4bab:bc7a:b402:9e43:cf55) |
| 2021-06-13 23:45:12 | → | fizbin joins (~fizbin@2601:8a:4080:1280:3d39:470:d12f:3be6) |
| 2021-06-13 23:45:17 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds) |
| 2021-06-13 23:45:44 | <hpc> | stability should just be (version < 1.0.0.0) |
| 2021-06-13 23:45:48 | geekosaur | shrugs |
| 2021-06-13 23:46:03 | ChanServ | sets mode +o geekosaur |
| 2021-06-13 23:46:14 | geekosaur | sets topic to "https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | Paste code/errors: https://paste.tomsmeding.com | tunes.org-style logging should be coming soon | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell" |
| 2021-06-13 23:46:18 | <monochrom> | Thanks. |
| 2021-06-13 23:46:48 | <dminuoso> | monochrom: Does the stability matter at all? As long as the field has no (de-facto) standardized meaning/patterns of values, it's useless anyhow,. |
| 2021-06-13 23:46:53 | <geekosaur> | I wonder about the rest of that because tunes.org was already down (people reporting it requested username/password) while we were still on Freenode |
| 2021-06-13 23:47:02 | → | flounders joins (~flounders@173.246.200.33) |
| 2021-06-13 23:47:30 | <dminuoso> | Like if I wrote "stable" you would have no way of understanding what that even meant. |
| 2021-06-13 23:47:42 | geekosaur | sets mode -o geekosaur |
| 2021-06-13 23:47:53 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-13 23:47:55 | <monochrom> | Yeah I wouldn't touch the tunes.org log part, I know nothing about it. |
| 2021-06-13 23:47:56 | <dminuoso> | (Id argue that stability should be removed for that reason alone) |
| 2021-06-13 23:47:57 | <DigitalKiwi> | some of my most reliable/well tested software never left "alpha" lol |
| 2021-06-13 23:48:29 | <geekosaur> | "there is nothing so permanent as a quick hack" |
| 2021-06-13 23:48:57 | <dminuoso> | Yup, we say this a lot at $work |
| 2021-06-13 23:49:14 | × | fizbin quits (~fizbin@2601:8a:4080:1280:3d39:470:d12f:3be6) (Ping timeout: 244 seconds) |
| 2021-06-13 23:49:18 | <DigitalKiwi> | https://github.com/Kiwi/clyde#readme |
| 2021-06-13 23:49:27 | <monochrom> | dminuoso: So I think the stability field was invented before PVP. And in a time when people still hoped that stable API could be attained over time. |
| 2021-06-13 23:49:30 | × | hemlock quits (~hemlock@2607:fb90:9618:4bab:bc7a:b402:9e43:cf55) (Ping timeout: 264 seconds) |
| 2021-06-13 23:49:52 | <dminuoso> | Does PVP invalidate stability? |
| 2021-06-13 23:50:10 | <dminuoso> | PVP does not prevent you from bumping a major version every day.. |
| 2021-06-13 23:50:14 | <geekosaur> | it was also borrowed from other package repositories which hadn't yet concluded that "stable" meant "dead" |
| 2021-06-13 23:50:25 | <monochrom> | PVP solves the stability question. |
| 2021-06-13 23:50:31 | → | ddellacosta joins (~ddellacos@86.106.121.230) |
| 2021-06-13 23:50:34 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-13 23:50:47 | <monochrom> | Every x.y.*.* is stable. |
| 2021-06-13 23:50:50 | <hpc> | every version is stable because package uploads are immutable, and you set upper bounds on dependencies right? |
| 2021-06-13 23:51:01 | → | hemlock joins (~hemlock@ip72-203-188-10.tu.ok.cox.net) |
| 2021-06-13 23:51:17 | <monochrom> | PVP acknoledges the reality that, in general, you have multiple stable states, not just one single stable state. |
| 2021-06-13 23:51:25 | <monochrom> | Yes hpc. |
| 2021-06-13 23:51:40 | <hpc> | oh, that was "right?" as in "wink wink nudge nudge" |
| 2021-06-13 23:51:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-13 23:51:47 | <hpc> | :P |
| 2021-06-13 23:51:53 | <monochrom> | Ah OK, yes I agree :) |
All times are in UTC.