Logs: liberachat/#haskell
| 2021-06-02 12:33:07 | <merijn> | int-e: When you hear hooves, think horses, not zebras ;) |
| 2021-06-02 12:33:18 | <merijn> | Well, unless you live in Africa, I suppose! |
| 2021-06-02 12:33:28 | <int-e> | > reverse [c,b,a] |
| 2021-06-02 12:33:29 | <lambdabot> | [a,b,c] |
| 2021-06-02 12:33:43 | <Guest5> | ``` |
| 2021-06-02 12:33:47 | <Guest5> | ```flattenApp :: Surface -> (Surface, [Surface]) |
| 2021-06-02 12:33:48 | <Guest5> | flattenApp s = let (f', as) = go s in (f', reverse as) |
| 2021-06-02 12:33:48 | <Guest5> | where |
| 2021-06-02 12:33:49 | <Guest5> | go (SApp f a) = let (f', as) = flattenApp f in (f', a : as) |
| 2021-06-02 12:33:49 | <Guest5> | go s = (s, []) |
| 2021-06-02 12:33:50 | <Guest5> | reverse [] = [] |
| 2021-06-02 12:33:50 | × | Guest5 quits (~Guest5@040-194-158-163.dynamic.caiway.nl) (Killed (ozone (No Spam))) |
| 2021-06-02 12:34:00 | <yushyin> | ;D |
| 2021-06-02 12:34:19 | <merijn> | Guest5: That is defining a custom reverse right there, so *presumably* your definition of reverse is broken :) |
| 2021-06-02 12:34:29 | <int-e> | reverse [] = [] -- well we see what's wrong here |
| 2021-06-02 12:34:41 | <int-e> | merijn: they're not currently here, ozone killed them |
| 2021-06-02 12:35:06 | <merijn> | I have join/quits disabled :p |
| 2021-06-02 12:35:06 | <niko> | he should be able to rejoin |
| 2021-06-02 12:35:38 | → | timothy1 joins (~timothy@bb42-60-217-138.singnet.com.sg) |
| 2021-06-02 12:36:11 | <int-e> | merijn: anyway, when I hear hooves, I think people banging coconuts |
| 2021-06-02 12:36:41 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-02 12:36:54 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds) |
| 2021-06-02 12:37:35 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 252 seconds) |
| 2021-06-02 12:37:56 | × | timothy1 quits (~timothy@bb42-60-217-138.singnet.com.sg) (Client Quit) |
| 2021-06-02 12:38:49 | <merijn> | Where did you get the coconuts? |
| 2021-06-02 12:38:51 | <jacks2> | Guest5, do you understand what you did? |
| 2021-06-02 12:39:26 | <jacks2> | > let reverse _ = "..." in reverse [a,b,c] |
| 2021-06-02 12:39:28 | <lambdabot> | "..." |
| 2021-06-02 12:39:28 | <merijn> | Found them? In Mercia? The coconut's tropical! This is a temperate zone! |
| 2021-06-02 12:40:01 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-06-02 12:41:27 | → | cheater joins (~Username@user/cheater) |
| 2021-06-02 12:41:53 | → | Guest5 joins (~Guest5@040-194-158-163.dynamic.caiway.nl) |
| 2021-06-02 12:42:09 | <Guest5> | Oops, I got banned for a moment |
| 2021-06-02 12:42:27 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-02 12:43:11 | <Taneb> | Guest5: yeah, it's generally bad to paste multiple lines directly into IRC. For that sort of thing you should use some sort of paste bin service |
| 2021-06-02 12:43:25 | <Guest5> | Yeah lesson learned |
| 2021-06-02 12:45:11 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-02 12:45:53 | <int-e> | merijn: I don't know, I never asked the Monty Python troupe. |
| 2021-06-02 12:46:13 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-02 12:46:39 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 2021-06-02 12:47:04 | → | benin joins (~benin@183.82.205.186) |
| 2021-06-02 12:47:08 | → | bigLama joins (~user@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-06-02 12:50:24 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-02 12:50:50 | × | Guest5 quits (~Guest5@040-194-158-163.dynamic.caiway.nl) (Quit: Client closed) |
| 2021-06-02 12:50:54 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-02 12:51:11 | <c_wraith> | how confusing is it to use <**> in a parser? I've got an infix expression that I had written variously as `(\x op y -> x `op` y) <$> fx <*> fop <*> fy', `flip ($) <$> fx <*> fop <*> fy', and `(&) <$> fx <*> fop <*> fy' |
| 2021-06-02 12:51:38 | <c_wraith> | I just realized I can write it as `fx <**> fop <*> fy' instead. |
| 2021-06-02 12:52:00 | <c_wraith> | But I'm not convinced that's any better |
| 2021-06-02 12:52:20 | <Taneb> | I personally think it's not much worse than using <*> at all |
| 2021-06-02 12:53:01 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer) |
| 2021-06-02 12:53:57 | <int-e> | c_wraith: lgtm |
| 2021-06-02 12:54:33 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-06-02 12:55:03 | cheater1__ | is now known as cheater |
| 2021-06-02 12:55:41 | <dminuoso> | c_wraith: I dislike <**> in optparse-applicative, where it seems to be rather common |
| 2021-06-02 12:55:53 | <gentauro> | anybody using `hakyll`? I would like to have bookmarks on my "titles". Just like the readme.md handle that on GitLab/GitHub. Anybody done this? |
| 2021-06-02 12:55:58 | <int-e> | (apart from the fact that <**> isn't the nicest name for what it does, which can't easily be changed after the fact) |
| 2021-06-02 12:56:34 | <dminuoso> | Id rather use ApplicativeDo ;) |
| 2021-06-02 12:57:12 | <int-e> | dminuoso: but then you need names for all the points, eww |
| 2021-06-02 12:57:45 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-02 12:58:37 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-06-02 13:00:22 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-06-02 13:01:01 | → | alx741 joins (~alx741@181.196.69.176) |
| 2021-06-02 13:01:11 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-02 13:03:12 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-02 13:04:01 | × | bigLama quits (~user@static-176-165-167-17.ftth.abo.bbox.fr) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-06-02 13:06:07 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-02 13:06:56 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-06-02 13:07:44 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-06-02 13:10:21 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-02 13:10:43 | → | o1lo01ol1o joins (~o1lo01ol1@mobile-107-107-58-49.mycingular.net) |
| 2021-06-02 13:12:22 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 2021-06-02 13:12:22 | → | bigLama joins (~user@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-06-02 13:12:44 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-02 13:14:00 | × | bigLama quits (~user@static-176-165-167-17.ftth.abo.bbox.fr) (Client Quit) |
| 2021-06-02 13:14:08 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-02 13:15:25 | → | bigLama joins (~user@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-06-02 13:15:40 | × | bigLama quits (~user@static-176-165-167-17.ftth.abo.bbox.fr) (Client Quit) |
| 2021-06-02 13:16:10 | × | xff0x quits (~xff0x@2001:1a81:5307:4e00:e51:c3f6:62c2:5e71) (Ping timeout: 272 seconds) |
| 2021-06-02 13:16:19 | → | bigLama joins (~user@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-06-02 13:18:42 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-06-02 13:19:32 | → | FreeVariable joins (~Thunderbi@156.25.4.27) |
| 2021-06-02 13:20:17 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-02 13:20:24 | × | FreeVariable quits (~Thunderbi@156.25.4.27) (Client Quit) |
| 2021-06-02 13:21:05 | → | hexo joins (~hexo@2a02-ab04-2843-9500-c95c-a376-1418-c3e1.dynamic.v6.chello.sk) |
| 2021-06-02 13:22:27 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-02 13:23:04 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-02 13:23:43 | → | dut joins (~dut@user/dut) |
| 2021-06-02 13:23:44 | → | dut_ joins (~dut@user/dut) |
| 2021-06-02 13:24:26 | × | dut_ quits (~dut@user/dut) (Client Quit) |
| 2021-06-02 13:27:35 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-02 13:27:44 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-02 13:29:40 | → | ub joins (~Thunderbi@p200300ecdf259da5656b91086baf35ac.dip0.t-ipconnect.de) |
| 2021-06-02 13:30:27 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-02 13:30:39 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Quit: Leaving) |
| 2021-06-02 13:31:18 | → | ixlun joins (~matthew@109.249.184.235) |
| 2021-06-02 13:31:30 | → | larkfisherman joins (~larkfishe@217.75.204.126) |
| 2021-06-02 13:31:30 | × | haltux_ quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-06-02 13:31:31 | dy | is now known as ocelot |
| 2021-06-02 13:31:40 | ocelot | is now known as dy |
| 2021-06-02 13:39:09 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Quit: Leaving) |
All times are in UTC.