Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.