Logs: liberachat/#haskell
| 2021-06-23 20:31:15 | <davean> | maerwald: I've wanted improvements also. In some ways I want MORE complications tohugh. |
| 2021-06-23 20:31:45 | <maerwald> | I'm a fan of https://click.palletsprojects.com/en/8.0.x/ |
| 2021-06-23 20:32:08 | <davean> | maerwald: thats so limited though, isn'tit? |
| 2021-06-23 20:32:28 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-23 20:32:30 | <maerwald> | You can escape easily and do more complex things |
| 2021-06-23 20:33:09 | <dminuoso> | maerwald: optparse-applicative is really odd. it's very a great powertool, but for minimal cli tool it's easily overkill. :( |
| 2021-06-23 20:33:23 | <dminuoso> | Wouldnt want to give it up regardless |
| 2021-06-23 20:33:33 | <maerwald> | My optparse code atm is 500 LOC or so |
| 2021-06-23 20:33:38 | <davean> | I think part of optparse's problem is it tries to look too friendly while being powerful and falls short of both |
| 2021-06-23 20:33:51 | <dminuoso> | maerwald: btw, for minimal code, one could also consider optparse-generic |
| 2021-06-23 20:34:16 | <dminuoso> | I did take some initial looks, it could be a suitable replacement for "I want to carve out a 0 effort cli tool" |
| 2021-06-23 20:34:47 | <dminuoso> | It's easily composable with optparse-applicative, so you can break out and write manual parsers at any point |
| 2021-06-23 20:35:29 | → | shapr joins (~user@2601:7c0:8180:89d0:ed87:906a:cd61:bb34) |
| 2021-06-23 20:36:31 | <davean> | maerwald: does https://click.palletsprojects.com/en/8.0.x/ support implementing something like "find"? |
| 2021-06-23 20:37:21 | <maerwald> | Not sure, been a while since I used python (or rather coconut) |
| 2021-06-23 20:37:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-23 20:38:16 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8) (Remote host closed the connection) |
| 2021-06-23 20:40:10 | <davean> | maerwald: I don't see how it could be - but I only skimmed |
| 2021-06-23 20:40:32 | <davean> | It doesn't look like a comparable tool - but thats good, its not possible to do both things at once |
| 2021-06-23 20:42:03 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 20:43:10 | × | Deide quits (~Deide@user/deide) (Read error: Connection reset by peer) |
| 2021-06-23 20:43:28 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-23 20:43:28 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-23 20:43:28 | → | Deide joins (~Deide@user/deide) |
| 2021-06-23 20:44:24 | <maerwald> | I remember there are escape hatches though |
| 2021-06-23 20:44:25 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-23 20:44:28 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 250 seconds) |
| 2021-06-23 20:45:11 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 20:45:18 | <davean> | maerwald: I'd be interested in how their approach could have a capible escape hatch |
| 2021-06-23 20:45:24 | <davean> | they're using decorators and such |
| 2021-06-23 20:45:32 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-23 20:45:37 | × | derelict quits (~derelict@user/derelict) (Client Quit) |
| 2021-06-23 20:45:38 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-23 20:45:43 | <davean> | I'd think any escape hatch would have to be entirely different and break what they're doing |
| 2021-06-23 20:45:54 | <davean> | So I guess i'll look at it ore |
| 2021-06-23 20:46:15 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-23 20:46:47 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 20:48:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-23 20:49:00 | × | remexre quits (~nathan@user/remexre) (Quit: WeeChat 3.0.1) |
| 2021-06-23 20:49:01 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-23 20:49:03 | <dminuoso> | davean: which part of `find` are you looking for exactly? |
| 2021-06-23 20:49:18 | <davean> | dminuoso: How it handles arguments |
| 2021-06-23 20:49:19 | <davean> | its a style |
| 2021-06-23 20:49:37 | <davean> | Its just a good example of actually parsing vs. the simpler base-posix style |
| 2021-06-23 20:49:41 | <dminuoso> | Mmm, what style is that? |
| 2021-06-23 20:49:52 | <davean> | have you not used find? |
| 2021-06-23 20:50:05 | <davean> | Its order dependent, and meaning changes based on the prefix |
| 2021-06-23 20:50:18 | <davean> | you can read the man page |
| 2021-06-23 20:50:28 | <dminuoso> | find is one of those tools I very poorly use Im afraid |
| 2021-06-23 20:50:35 | <davean> | its entirely context sensitive |
| 2021-06-23 20:51:25 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 2021-06-23 20:51:45 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-23 20:51:59 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-23 20:52:46 | → | AWizzArd joins (~code@user/awizzard) |
| 2021-06-23 20:53:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-23 20:54:05 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-23 20:58:29 | <maerwald> | Wouldn't that need optparse-monad? |
| 2021-06-23 20:58:29 | → | remexre joins (~nathan@user/remexre) |
| 2021-06-23 20:59:00 | <dminuoso> | optparse-selective would suffice |
| 2021-06-23 20:59:16 | <davean> | maerwald: depends - is the applicative on an infinite tree? ;) |
| 2021-06-23 20:59:43 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-23 20:59:56 | <maerwald> | I'm a fan of selective. ..would like to see more applications |
| 2021-06-23 20:59:59 | <dminuoso> | I did try looking into pulling out an optparse-selective, and then I stared at the implementation of optparse-applicative and said no, Im not getting paid for this. |
| 2021-06-23 21:00:18 | <dminuoso> | It's doable, but you need rewrite a lot of optparse for it :( |
| 2021-06-23 21:01:46 | × | deshalb quits (~deshalb@user/deshalb) (Quit: leaving) |
| 2021-06-23 21:01:58 | <davean> | dminuoso: How not interested in that are you? |
| 2021-06-23 21:02:14 | <maerwald> | While at it, fix bytestring input |
| 2021-06-23 21:02:21 | <davean> | maerwald: optparse-applicative has a bit more than applicative |
| 2021-06-23 21:02:28 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-23 21:02:46 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-23 21:03:52 | <safinaskar> | look here: https://paste.debian.net/1202170/ . i was able to pass runtime values as arguments to types! |
| 2021-06-23 21:04:14 | <safinaskar> | i. e. i can essentially use full power of dependent haskell now. and prove things! |
| 2021-06-23 21:04:33 | × | hammock quits (~Hammock@2600:1700:19a1:3330::625) (Ping timeout: 268 seconds) |
| 2021-06-23 21:04:35 | <safinaskar> | i was able to pattern match on Foo value and then (if it greater than zero) pass it as second argument to division |
| 2021-06-23 21:04:47 | <safinaskar> | thus, compiler proved that at calling point of "divide" its second argument is not zero |
| 2021-06-23 21:04:52 | <safinaskar> | this way we can finally remove partial functions, such as division, "head", etc |
| 2021-06-23 21:06:11 | <dminuoso> | davean: Not much. Im looking into fixing a bunch of cabal stuff first since these actually annoy me. :-) |
| 2021-06-23 21:06:27 | <dminuoso> | optparse-selective is just wishful thinking, Im lacking a genuine use for it |
| 2021-06-23 21:06:58 | × | gzj quits (~GZJ0X@96.45.188.88.16clouds.com) (Remote host closed the connection) |
| 2021-06-23 21:09:44 | <maerwald> | I've been thinking about forking cabal and create a more radical unix style interface with several tools, more low level than current cabal-install |
| 2021-06-23 21:10:01 | <maerwald> | But no capacity and no demand |
| 2021-06-23 21:11:28 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 21:14:01 | <maerwald> | I think stack and cabal are converging to the point that the choice will become irrelevant even for power users at some point |
| 2021-06-23 21:14:23 | → | vicentius joins (~vicentius@user/vicentius) |
| 2021-06-23 21:18:00 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Remote host closed the connection) |
| 2021-06-23 21:18:02 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2021-06-23 21:18:12 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 21:19:53 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-06-23 21:21:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-23 21:21:27 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-06-23 21:24:29 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-23 21:25:10 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 21:26:13 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-23 21:26:42 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 21:28:37 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-23 21:29:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-23 21:29:26 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 21:29:51 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-23 21:30:22 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-06-23 21:30:41 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
All times are in UTC.