Logs: freenode/#haskell
| 2021-04-16 06:18:31 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-16 06:22:18 | × | _xor quits (~xor@74.215.46.133) (Ping timeout: 240 seconds) |
| 2021-04-16 06:23:53 | → | _xor joins (~xor@74.215.46.133) |
| 2021-04-16 06:26:55 | × | ambiso99211 quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 2021-04-16 06:27:10 | → | ambiso99211 joins (~ambiso@209.182.239.205) |
| 2021-04-16 06:27:19 | → | michalz joins (~user@185.246.204.56) |
| 2021-04-16 06:30:29 | → | chele joins (~chele@5.53.222.202) |
| 2021-04-16 06:32:02 | → | malumore joins (~malumore@151.62.123.125) |
| 2021-04-16 06:32:25 | × | malumore quits (~malumore@151.62.123.125) (Remote host closed the connection) |
| 2021-04-16 06:32:43 | → | malumore joins (~malumore@151.62.123.125) |
| 2021-04-16 06:33:50 | → | ddellacosta joins (~ddellacos@86.106.143.40) |
| 2021-04-16 06:36:32 | → | magthe joins (~magthe@c83-252-48-230.bredband.comhem.se) |
| 2021-04-16 06:37:25 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
| 2021-04-16 06:37:52 | × | ddellacosta quits (~ddellacos@86.106.143.40) (Ping timeout: 240 seconds) |
| 2021-04-16 06:39:58 | × | echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 2021-04-16 06:40:26 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-16 06:40:27 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 2021-04-16 06:40:33 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-04-16 06:40:37 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-16 06:40:51 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-16 06:43:45 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-04-16 06:44:23 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-16 06:47:28 | → | Sorny joins (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 2021-04-16 06:52:08 | → | Sornaensis joins (~Sornaensi@79.142.232.102) |
| 2021-04-16 06:53:35 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-16 06:54:26 | × | Sorny quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-16 06:57:03 | <glguy> | % let thing f xs = [xs | (xs, True) <- runStateT (traverse (\x -> StateT $ \s -> [(f x, True) | not s] ++ [(x, s)]) xs) False] in thing toUpper "abc" |
| 2021-04-16 06:57:03 | <yahb> | glguy: ["Abc","aBc","abC"] |
| 2021-04-16 06:57:15 | <glguy> | Weee |
| 2021-04-16 06:57:34 | → | knupfer joins (~Thunderbi@200116b82be894004c696bfffe2c72c9.dip.versatel-1u1.de) |
| 2021-04-16 06:57:36 | <gnumonic> | welp that's the idiomatic solution :P |
| 2021-04-16 06:57:51 | <glguy> | That was hard to do on a phone |
| 2021-04-16 06:57:52 | × | knupfer quits (~Thunderbi@200116b82be894004c696bfffe2c72c9.dip.versatel-1u1.de) (Client Quit) |
| 2021-04-16 06:58:04 | → | knupfer joins (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) |
| 2021-04-16 06:58:38 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-16 06:59:17 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 2021-04-16 06:59:41 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-16 06:59:46 | <glguy> | I like the inits/tails solution better, of course |
| 2021-04-16 07:01:21 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-16 07:01:45 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2021-04-16 07:01:48 | <gnumonic> | now i feel like my solution is boring :-( time to see if i can do it with the store comonad. or at the type level. or... |
| 2021-04-16 07:02:11 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-16 07:02:26 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-16 07:04:28 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-16 07:07:08 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-16 07:09:29 | → | ddellacosta joins (~ddellacos@83.143.246.110) |
| 2021-04-16 07:12:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-16 07:13:58 | × | ddellacosta quits (~ddellacos@83.143.246.110) (Ping timeout: 240 seconds) |
| 2021-04-16 07:14:56 | × | magthe quits (~magthe@c83-252-48-230.bredband.comhem.se) (Quit: WeeChat 3.1) |
| 2021-04-16 07:16:53 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-16 07:16:56 | → | vilpan joins (~0@212.117.1.172) |
| 2021-04-16 07:17:32 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-16 07:21:30 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-16 07:23:12 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-16 07:25:48 | → | darkon joins (~darkon@90.212.77.86) |
| 2021-04-16 07:26:18 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-16 07:27:39 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-16 07:27:40 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-16 07:27:56 | × | knupfer quits (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-04-16 07:32:01 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 265 seconds) |
| 2021-04-16 07:32:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-16 07:32:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-16 07:32:30 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-16 07:33:07 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) (Ping timeout: 250 seconds) |
| 2021-04-16 07:33:53 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-16 07:34:58 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 252 seconds) |
| 2021-04-16 07:35:19 | → | jophish joins (~joemonoid@li1766-207.members.linode.com) |
| 2021-04-16 07:36:27 | → | jophish__ joins (ca536851@202.83.104.81) |
| 2021-04-16 07:37:03 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-16 07:38:44 | → | knupfer joins (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) |
| 2021-04-16 07:39:15 | × | jophish__ quits (ca536851@202.83.104.81) (Client Quit) |
| 2021-04-16 07:39:17 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:3c9f:7dbb:c98e:3fdd) |
| 2021-04-16 07:40:41 | → | chele_ joins (~chele@5.53.222.202) |
| 2021-04-16 07:41:22 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-16 07:41:35 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-16 07:42:53 | × | chele quits (~chele@5.53.222.202) (Ping timeout: 240 seconds) |
| 2021-04-16 07:44:30 | <gnumonic> | comonad solution. actually i kinda like this https://gist.github.com/gnumonik/5e1682b6ec02e25c1bbdf97b4811ee00 |
| 2021-04-16 07:45:02 | <gnumonic> | store comonad is a good comonad |
| 2021-04-16 07:45:21 | chele_ | is now known as chele |
| 2021-04-16 07:46:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-16 07:48:19 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-16 07:49:09 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-04-16 07:52:47 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-16 07:54:41 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-04-16 07:54:52 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 2021-04-16 07:55:56 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) |
| 2021-04-16 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-16 08:01:15 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-16 08:02:04 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
| 2021-04-16 08:03:07 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-16 08:05:32 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-16 08:05:34 | → | fendor joins (~fendor@178.165.131.109.wireless.dyn.drei.com) |
| 2021-04-16 08:06:26 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 246 seconds) |
| 2021-04-16 08:06:59 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-16 08:09:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-16 08:09:33 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-16 08:10:10 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-16 08:10:39 | → | freeman42x joins (~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) |
| 2021-04-16 08:10:55 | × | freeman42x quits (~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) (Max SendQ exceeded) |
| 2021-04-16 08:12:25 | Stanley|00 | is now known as Stanley00 |
All times are in UTC.