Logs: liberachat/#haskell
| 2021-06-07 16:57:44 | <dminuoso> | kuribas: manually splice? Ive been pondering for a while how to engineer this into GHC as a feature |
| 2021-06-07 16:58:31 | <kuribas> | I don't have side effects in my slices... |
| 2021-06-07 16:58:38 | <kuribas> | but GHC probably doesn't know that |
| 2021-06-07 16:58:48 | <kuribas> | dminuoso: even a pragma would be nice |
| 2021-06-07 16:58:54 | <guest61> | ok |
| 2021-06-07 16:59:24 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-07 16:59:59 | <ski> | guest61 : in general, `f <$> actA <*> actB <*> actC <*> actD' always has the same meaning : an action that will first execute `actA' (call the result `a'), then `actB' (call the result `b'), then `actC' (call the result `c'), then `actD' (call the result `d'), finally deliver as overall result `f a b c d' |
| 2021-06-07 17:00:05 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 17:00:10 | <dminuoso> | for some value of "first" |
| 2021-06-07 17:00:20 | <ski> | (and this would be the same as `liftA4 f actA actB actC actD') |
| 2021-06-07 17:00:21 | <dminuoso> | And "then" :-) |
| 2021-06-07 17:00:30 | <ski> | yes |
| 2021-06-07 17:00:58 | <dminuoso> | In the above case of permutation parsers like optparse-applicative, there's no particular order |
| 2021-06-07 17:01:27 | <ski> | the particularities of what "execute" (including the significance (if any) of the execution order) means, depends on the idiom in question. in your case, it was parsing |
| 2021-06-07 17:01:29 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-07 17:01:37 | → | emliunix_ joins (~emliunix@103.138.74.69) |
| 2021-06-07 17:02:10 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 17:02:40 | <ski> | (still, `Command1 <$> fooStuff <*> commonOpts <*> ...' is not the same as `Command1 <$> commonOpts <*> fooStuff <*> ...', since these pass the results as different arguments to `Command1') |
| 2021-06-07 17:02:52 | → | agumonke` joins (~user@88.160.31.174) |
| 2021-06-07 17:02:53 | × | emliunix quits (~emliunix@103.138.74.59) (Remote host closed the connection) |
| 2021-06-07 17:03:11 | <ski> | guest61 : any questions about the paste ? |
| 2021-06-07 17:03:40 | <guest61> | ski, not yet, I will try it tomorrow |
| 2021-06-07 17:04:42 | → | roconnor_ joins (~roconnor@host-45-58-218-136.dyn.295.ca) |
| 2021-06-07 17:05:09 | → | emliunix__ joins (~emliunix@218.190.244.125) |
| 2021-06-07 17:05:18 | × | roconnor_ quits (~roconnor@host-45-58-218-136.dyn.295.ca) (Client Quit) |
| 2021-06-07 17:05:39 | <ski> | (i took the liberty of removing all your `$'s, in addition to some other changes, like changing `print' to `putStrLn' to `hPutStrLn stderr', changing `read' to `readIO', using `catMaybes' instead of `filter (/= Nothing)' and subsequent `fmap fromJust', various matching with `case'-`of', rather than using `if'-`then'-`else', some alignment to more easily see the general structure, ..) |
| 2021-06-07 17:06:00 | × | emliunix_ quits (~emliunix@103.138.74.69) (Remote host closed the connection) |
| 2021-06-07 17:06:01 | × | nattiestnate quits (~nate@180.242.128.159) (Quit: WeeChat 3.1) |
| 2021-06-07 17:06:30 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-06-07 17:06:33 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-06-07 17:07:10 | <sclv> | kuribas: ping |
| 2021-06-07 17:07:37 | <kuribas> | sclv: pong |
| 2021-06-07 17:07:54 | <ski> | guest61 : er, sorry. just noticed i had forgotten to remove some left-over code. try <https://paste.tomsmeding.com/1AU9FcLc> instead |
| 2021-06-07 17:07:59 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:90ee:6146:8033:6016) (Ping timeout: 245 seconds) |
| 2021-06-07 17:08:13 | <sclv> | i noticed you made a bunch of hasqlator-msyql uploads in quick succession |
| 2021-06-07 17:08:28 | <kuribas> | sclv: yeah, I should test a bit better, sorry |
| 2021-06-07 17:08:54 | <sclv> | ok, just wanted to check in and discourage that (i only noticed because i'm working on the docbuilder so the new packages feed is relevant at this moment) |
| 2021-06-07 17:09:05 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
| 2021-06-07 17:09:45 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-07 17:10:18 | × | ddellacosta quits (~ddellacos@89.46.62.125) (Remote host closed the connection) |
| 2021-06-07 17:10:46 | → | ddellacosta joins (~ddellacos@89.46.62.125) |
| 2021-06-07 17:11:22 | <kuribas> | sclv: understood |
| 2021-06-07 17:11:41 | <dminuoso> | • No instance for (ParseFields (Nested Common)) |
| 2021-06-07 17:11:43 | <dminuoso> | instance ParseField (Nested Common) where |
| 2021-06-07 17:11:55 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-07 17:11:56 | <dminuoso> | Sometimes I feel like GHC is playing pranks on me |
| 2021-06-07 17:12:05 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 17:12:14 | <dminuoso> | This is so subtle to spot.. |
| 2021-06-07 17:12:45 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-06-07 17:12:46 | <monochrom> | Oh heh |
| 2021-06-07 17:13:17 | <monochrom> | See, if names were in Chinese, you wouldn't have this problem. :) |
| 2021-06-07 17:14:38 | → | ddellaco_ joins (~ddellacos@89.46.62.217) |
| 2021-06-07 17:15:36 | <kuribas> | dminuoso: I don't even see the problem... |
| 2021-06-07 17:15:41 | <guest61> | ok |
| 2021-06-07 17:15:45 | <ski> | numerus |
| 2021-06-07 17:15:51 | <monochrom> | plural vs singular in ParseField(s) |
| 2021-06-07 17:16:15 | <kuribas> | ah right :) |
| 2021-06-07 17:16:40 | <kuribas> | in clojure, such errors just lead to problems in an unrelated part of the code. |
| 2021-06-07 17:17:07 | <kuribas> | often the database. honeysql has no problem with generating garbage queries. |
| 2021-06-07 17:17:19 | <kuribas> | even though it could do better validation. |
| 2021-06-07 17:17:42 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 244 seconds) |
| 2021-06-07 17:18:45 | <boxscape> | Does ghcup for WSL2 build ghc or install a binary? |
| 2021-06-07 17:18:49 | × | ddellaco_ quits (~ddellacos@89.46.62.217) (Ping timeout: 245 seconds) |
| 2021-06-07 17:19:02 | <maerwald> | boxscape: depends what you ask it to |
| 2021-06-07 17:19:06 | <maerwald> | default binary |
| 2021-06-07 17:19:06 | <boxscape> | ah |
| 2021-06-07 17:19:08 | <boxscape> | ok, thanks |
| 2021-06-07 17:19:23 | × | ddellacosta quits (~ddellacos@89.46.62.125) (Remote host closed the connection) |
| 2021-06-07 17:19:32 | → | ddellacosta joins (~ddellacos@89.46.62.125) |
| 2021-06-07 17:20:02 | <dminuoso> | kuribas: Neither did I. Out of disbelief, I started throwing all extensions and type level creativities at it, and the type error just wouldn't change.. |
| 2021-06-07 17:20:46 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-07 17:21:13 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-07 17:21:50 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 17:22:48 | × | kuribas quits (~user@ptr-25vy0i8kfrck8zt2w0u.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-06-07 17:23:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-07 17:23:53 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-07 17:23:53 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-07 17:23:53 | → | Deide joins (~Deide@user/deide) |
| 2021-06-07 17:24:56 | × | agumonke` quits (~user@88.160.31.174) (Read error: Connection reset by peer) |
| 2021-06-07 17:25:04 | <boxscape> | just use -fdefer-type-errors and all your problems will disappear |
| 2021-06-07 17:26:18 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-06-07 17:26:51 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 17:28:24 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 245 seconds) |
| 2021-06-07 17:29:22 | → | lbseale_ joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-06-07 17:29:36 | → | ddellaco_ joins (~ddellacos@86.106.121.44) |
| 2021-06-07 17:30:04 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2021-06-07 17:30:45 | → | benin031 joins (~benin@106.198.85.3) |
| 2021-06-07 17:30:54 | × | ddellacosta quits (~ddellacos@89.46.62.125) (Ping timeout: 245 seconds) |
| 2021-06-07 17:31:13 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away) |
| 2021-06-07 17:31:46 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-06-07 17:32:21 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-06-07 17:33:02 | × | benin03 quits (~benin@183.82.206.136) (Ping timeout: 272 seconds) |
| 2021-06-07 17:33:02 | benin031 | is now known as benin03 |
| 2021-06-07 17:33:40 | × | xff0x quits (~xff0x@2001:1a81:5240:1700:9a39:76e8:fdb4:2fab) (Ping timeout: 272 seconds) |
| 2021-06-07 17:33:45 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 268 seconds) |
| 2021-06-07 17:34:53 | → | xff0x joins (~xff0x@185.65.135.235) |
| 2021-06-07 17:35:33 | <dminuoso> | @tell infandum Here, you can use this simple newtype wrapped to bury common options like Common in multiple commands. https://gist.github.com/dminuoso/d68598ffb112cbe61c3759a530e2d837 |
| 2021-06-07 17:35:33 | <lambdabot> | Consider it noted. |
| 2021-06-07 17:36:52 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 17:37:30 | × | phma quits (phma@2001:5b0:211f:f668:98fc:87:ee60:b793) (Read error: Connection reset by peer) |
All times are in UTC.