Logs: freenode/#haskell
| 2021-05-18 08:27:10 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 08:27:40 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-05-18 08:27:59 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-18 08:28:28 | × | ggVGc quits (~ggVGc@unaffiliated/walt) (Remote host closed the connection) |
| 2021-05-18 08:28:39 | → | kuribas joins (~user@ptr-25vy0i9wup0349cbbey.18120a2.ip6.access.telenet.be) |
| 2021-05-18 08:28:47 | <Axman6> | Not sure if it'll help much, but there's a package which can canonicalise route types, so things like Auth :> (SomeHandler :<|> Another) become Auth :> SomeHandler :<|> Auth :> Another |
| 2021-05-18 08:29:07 | → | ggVGc joins (~ggVGc@a.lowtech.earth) |
| 2021-05-18 08:29:32 | → | malumore_ joins (~malumore@151.62.114.250) |
| 2021-05-18 08:30:03 | <Axman6> | https://hackage.haskell.org/package/servant-flatten |
| 2021-05-18 08:32:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-18 08:34:24 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 2021-05-18 08:37:34 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 08:37:39 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-05-18 08:37:50 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-05-18 08:37:51 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 08:38:08 | → | plutoniix joins (~q@ppp-58-8-176-34.revip2.asianet.co.th) |
| 2021-05-18 08:39:53 | × | malumore_ quits (~malumore@151.62.114.250) (Remote host closed the connection) |
| 2021-05-18 08:40:38 | → | malumore joins (~malumore@151.62.114.250) |
| 2021-05-18 08:41:39 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 08:42:03 | tim | is now known as Guest79915 |
| 2021-05-18 08:42:32 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 08:42:47 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 08:42:54 | × | TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds) |
| 2021-05-18 08:45:02 | × | sw1nn quits (~sw1nn@host86-180-104-205.range86-180.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2021-05-18 08:45:35 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-05-18 08:45:40 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-05-18 08:45:40 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-05-18 08:46:58 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 08:47:07 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 08:47:53 | × | alexeyneudat quits (~alexeyneu@31.148.138.118) (Quit: Leaving) |
| 2021-05-18 08:48:44 | → | nineonine joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) |
| 2021-05-18 08:48:44 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-18 08:50:22 | → | zmijunkie joins (~Adium@87.123.58.216) |
| 2021-05-18 09:02:17 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-18 09:02:25 | → | acidjnk_new joins (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) |
| 2021-05-18 09:03:30 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-18 09:04:07 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-05-18 09:04:36 | × | drbean- quits (~drbean@210.63.209.12) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-18 09:04:40 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-18 09:05:28 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-18 09:06:02 | → | ddellac__ joins (~ddellacos@86.106.143.217) |
| 2021-05-18 09:06:57 | → | bitmagie joins (~Thunderbi@200116b806519100f8b4f2f086b4eaf2.dip.versatel-1u1.de) |
| 2021-05-18 09:06:57 | × | nineonine quits (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8) (Ping timeout: 250 seconds) |
| 2021-05-18 09:07:59 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-18 09:09:41 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-18 09:10:26 | × | ddellac__ quits (~ddellacos@86.106.143.217) (Ping timeout: 240 seconds) |
| 2021-05-18 09:14:47 | × | Guest79915 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-18 09:16:13 | <zzz> | if i have `remove/ |
| 2021-05-18 09:16:36 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-05-18 09:18:21 | <zzz> | if i have `removeTrailing = reverse . dropWhile isSpace . reverse`, does the compile optimize away the multiple traversing from reversing? |
| 2021-05-18 09:19:46 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 2021-05-18 09:21:37 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 2021-05-18 09:22:41 | × | frozenErebus quits (~frozenEre@94.129.65.28) (Ping timeout: 260 seconds) |
| 2021-05-18 09:22:56 | → | sw1nn joins (~sw1nn@2a00:23c7:622f:2c00:2efd:9199:1df9:36c8) |
| 2021-05-18 09:22:59 | <opqdonut> | no, that'd be a really hard optimization to do |
| 2021-05-18 09:23:53 | → | zmijunkie1 joins (~Adium@b2b-109-90-32-89.unitymedia.biz) |
| 2021-05-18 09:23:54 | <opqdonut> | you can get list fusion that removes unnecessary allocations when you do multiple list traversals in a row in the normal direction |
| 2021-05-18 09:24:16 | → | frozenErebus joins (~frozenEre@94.129.65.28) |
| 2021-05-18 09:24:16 | <opqdonut> | so something like `takeWhile bing . map foo . filter bar` will only allocate one list, the output list |
| 2021-05-18 09:25:15 | <zzz> | got it |
| 2021-05-18 09:25:37 | × | zmijunkie quits (~Adium@87.123.58.216) (Ping timeout: 252 seconds) |
| 2021-05-18 09:28:30 | <tomsmeding> | zzz: (regardless of optimisations, your removeTrailing will be linear in the size of the string because String is a singly linked list) |
| 2021-05-18 09:28:52 | × | frozenErebus quits (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-18 09:29:42 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-05-18 09:29:53 | <merijn> | Not to mention strings are bad anyway :p |
| 2021-05-18 09:30:26 | <merijn> | Just use text with dropWhileEnd ? :p |
| 2021-05-18 09:33:01 | × | Guest11746 quits (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-18 09:33:19 | × | sw1nn quits (~sw1nn@2a00:23c7:622f:2c00:2efd:9199:1df9:36c8) (Ping timeout: 260 seconds) |
| 2021-05-18 09:33:32 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 09:33:50 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 09:35:01 | <xenon-> | "MyThing <$> ... <*> parseInt *> parseIdent, this will cause parseInt to run but you ignore the value it returns" <- I think you meant to say that parseInt is ran, and then run the result of that is passed to MyThing |
| 2021-05-18 09:35:08 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-18 09:35:28 | → | frozenErebus joins (~frozenEre@94.129.65.28) |
| 2021-05-18 09:35:32 | <xenon-> | ""MyThing <$> ... <*> parseInt *> parseIdent, this will cause parseInt to run but you ignore the value it returns" <- I think you meant to say that parseInt is ran, and then the result of that is passed to MyThing", even |
| 2021-05-18 09:38:58 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Remote host closed the connection) |
| 2021-05-18 09:39:06 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 09:40:47 | <tomsmeding> | xenon-: that would be >>=; here there is instead *>, which ignores the result of its left argument (but executes the effect) |
| 2021-05-18 09:40:55 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 2021-05-18 09:40:59 | × | sqrt2 quits (~ben@unaffiliated/sqrt2) (Remote host closed the connection) |
| 2021-05-18 09:41:09 | → | sqrt2 joins (~ben@unaffiliated/sqrt2) |
| 2021-05-18 09:41:11 | × | digia quits (~digia@unaffiliated/digia) (Ping timeout: 240 seconds) |
| 2021-05-18 09:41:12 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-18 09:41:20 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) |
| 2021-05-18 09:42:00 | → | digia joins (~digia@unaffiliated/digia) |
| 2021-05-18 09:42:13 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-18 09:42:21 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-05-18 09:42:37 | tim | is now known as Guest93183 |
| 2021-05-18 09:43:35 | × | xff0x quits (~xff0x@2001:1a81:5398:2600:4a39:3404:e4b9:2aa4) (Ping timeout: 260 seconds) |
| 2021-05-18 09:44:24 | → | xff0x joins (~xff0x@2001:1a81:5398:2600:1f9a:3035:a7ff:492) |
| 2021-05-18 09:45:03 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-18 09:45:26 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 246 seconds) |
| 2021-05-18 09:45:57 | <xenon-> | tomsmeding, yes I know, I completely missed that the last operator is *>, and just read it as <*> |
| 2021-05-18 09:46:36 | × | Guest93183 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 260 seconds) |
| 2021-05-18 09:49:20 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-68.dsl.bell.ca) |
| 2021-05-18 09:49:51 | × | Nik05 quits (~Nik05@unaffiliated/nik05) (Quit: ZNC - https://znc.in) |
| 2021-05-18 09:50:09 | × | sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-12-70-52-146-77.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-05-18 09:51:01 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-05-18 09:51:45 | → | Nik05 joins (~Nik05@unaffiliated/nik05) |
| 2021-05-18 09:51:47 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-05-18 09:52:11 | Alleria | is now known as Guest75362 |
All times are in UTC.