Logs: liberachat/#haskell
| 2021-07-16 15:56:58 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 15:57:20 | → | azeem joins (~azeem@176.200.202.21) |
| 2021-07-16 15:58:23 | × | agua quits (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Ping timeout: 255 seconds) |
| 2021-07-16 16:00:50 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-16 16:01:14 | <Cale> | loop n = do message <- ...; ...; loop (n + 1) -- just make sure to actually use n in some way inside of the loop, or you'll accumulate a big unevaluated sum expression |
| 2021-07-16 16:03:58 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-16 16:10:01 | <lechner> | i was going to go with iterateM_ but straight recursion looks easier. which is preferred? |
| 2021-07-16 16:11:31 | <wwalker> | janus: I've set RLWRAP_HOME. 'rlwrap cat' works. it writes a history file. 'rlwrap hugs' starts hugs and I have readline at the hugs prompt, but no hugs_history is created. Even after I create $RLWRAP_HOME/hugs_history, it still doesn't write anything to it. Since you mentioned rlwrap (Thanks!) do you pass a special argument when using it with hugs? |
| 2021-07-16 16:14:01 | → | finsternis joins (~X@23.226.237.192) |
| 2021-07-16 16:18:19 | → | ph88 joins (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-07-16 16:20:20 | <maerwald> | dminuoso: https://hackage.haskell.org/package/effect-stack-0.3/docs/Control-Monad-Stack-Reader.html |
| 2021-07-16 16:21:08 | <maerwald> | it appears this just works with two Readers |
| 2021-07-16 16:23:48 | <maerwald> | not sure if I'm missing a caveat here |
| 2021-07-16 16:25:06 | → | jneira[m] joins (~jneira@201.red-176-87-55.dynamicip.rima-tde.net) |
| 2021-07-16 16:26:02 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-16 16:27:16 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-16 16:27:52 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 16:27:55 | → | KUrare joins (~KUrare@user/kurare) |
| 2021-07-16 16:28:07 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-07-16 16:28:44 | × | DNH quits (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-16 16:28:59 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-16 16:36:19 | → | DNH joins (~DNH@2a02:8108:1100:16d8:c4df:67d7:d0ec:2764) |
| 2021-07-16 16:38:36 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 16:42:03 | → | peterhil joins (~peterhil@mobile-access-bceec8-93.dhcp.inet.fi) |
| 2021-07-16 16:44:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-16 16:44:11 | <zzz> | is there a more elegant way to do something like `concatMap (concatMap concat)` ? |
| 2021-07-16 16:44:15 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-16 16:44:52 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 16:44:57 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-16 16:45:54 | × | jneira[m] quits (~jneira@201.red-176-87-55.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-07-16 16:45:58 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-16 16:45:59 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-16 16:46:53 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 16:46:54 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-16 16:47:01 | Clint_ | is now known as Clint |
| 2021-07-16 16:47:45 | <Clint> | zzz: you mean by avoiding situation in the first place? |
| 2021-07-16 16:47:59 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-16 16:49:59 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-16 16:50:18 | <zzz> | not avoidable. i have a grid of grids that need to be arbitrarily transposed |
| 2021-07-16 16:51:15 | <EvanR> | reminds me of the old transpose = zip . zip thing |
| 2021-07-16 16:51:42 | × | Shailangsa_ quits (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-07-16 16:54:29 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-07-16 16:58:54 | <monochrom> | @type concatMap (concatMap concat) |
| 2021-07-16 16:58:55 | <lambdabot> | (Foldable t1, Foldable t2, Foldable t3) => t1 (t2 (t3 [b])) -> [b] |
| 2021-07-16 17:01:56 | <monochrom> | If t1=t2=t3=[], concatMap (concatMap concat) xss = xss >>= concatMap concat = xss >>= \xs -> concatMap concat xs = xss >>= \xs -> xs >>= concat = xss >>= \xs -> xs >>= join |
| 2021-07-16 17:02:40 | → | agua joins (~agua@2804:18:7e:a02e:1:0:239f:a7bb) |
| 2021-07-16 17:02:41 | <monochrom> | It is possible that infix is a bit nicer. |
| 2021-07-16 17:05:31 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 17:06:27 | × | pesada quits (~agua@179.179.184.77) (Ping timeout: 268 seconds) |
| 2021-07-16 17:07:23 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-16 17:08:35 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 255 seconds) |
| 2021-07-16 17:09:12 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:694c:cc5c:55d8:63b) (Ping timeout: 268 seconds) |
| 2021-07-16 17:10:21 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-07-16 17:11:42 | → | econo joins (uid147250@user/econo) |
| 2021-07-16 17:14:21 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 2021-07-16 17:14:56 | × | chele quits (~chele@user/chele) (Quit: Leaving) |
| 2021-07-16 17:15:36 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-16 17:16:20 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-50.prtc.net) |
| 2021-07-16 17:17:03 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-50.prtc.net) (Client Quit) |
| 2021-07-16 17:17:12 | × | qbt quits (~edun@user/edun) (Ping timeout: 245 seconds) |
| 2021-07-16 17:18:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-16 17:19:56 | → | shailangsa joins (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) |
| 2021-07-16 17:24:33 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-16 17:26:21 | <maerwald> | anyone has used 'capability'? |
| 2021-07-16 17:26:46 | <zzz> | EvanR: that sound interesting. what zip . zip thing? |
| 2021-07-16 17:27:08 | <EvanR> | let's see |
| 2021-07-16 17:27:23 | <EvanR> | :t zip |
| 2021-07-16 17:27:24 | <lambdabot> | [a] -> [b] -> [(a, b)] |
| 2021-07-16 17:27:46 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 17:27:47 | → | Gurkenglas_ joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-16 17:27:47 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Killed (NickServ (GHOST command used by Gurkenglas_))) |
| 2021-07-16 17:27:49 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-07-16 17:27:51 | Gurkenglas_ | is now known as Gurkenglas |
| 2021-07-16 17:27:58 | <EvanR> | > concat |
| 2021-07-16 17:28:00 | <lambdabot> | error: |
| 2021-07-16 17:28:00 | <lambdabot> | • No instance for (Typeable a0) |
| 2021-07-16 17:28:00 | <lambdabot> | arising from a use of ‘show_M50147428099411834637’ |
| 2021-07-16 17:28:05 | <EvanR> | :t concat |
| 2021-07-16 17:28:06 | <lambdabot> | Foldable t => t [a] -> [a] |
| 2021-07-16 17:29:08 | <EvanR> | trying to remember from my early days of functional programming |
| 2021-07-16 17:30:56 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-07-16 17:31:11 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-07-16 17:31:53 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-16 17:32:30 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-16 17:32:59 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-16 17:33:00 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-16 17:33:32 | <EvanR> | ok, just one zip... in scheme zip appears to act like transpose if you used a certain way: https://stackoverflow.com/questions/21688944/zip-function-in-racket-scheme |
| 2021-07-16 17:34:37 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-16 17:35:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-16 17:36:52 | × | azeem quits (~azeem@176.200.202.21) (Read error: Connection reset by peer) |
| 2021-07-16 17:37:37 | → | azeem joins (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-16 17:41:50 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) (Remote host closed the connection) |
| 2021-07-16 17:42:09 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-16 17:43:50 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-16 17:44:23 | → | pesada joins (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) |
| 2021-07-16 17:45:04 | → | Guest9 joins (~Guest9@103.249.234.210) |
| 2021-07-16 17:45:17 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-16 17:45:21 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:50be:13e8:2b02:47f4) (Quit: Client closed) |
| 2021-07-16 17:47:02 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-16 17:47:30 | × | agua quits (~agua@2804:18:7e:a02e:1:0:239f:a7bb) (Ping timeout: 240 seconds) |
All times are in UTC.