Logs on 2021-07-11 (liberachat/#haskell)
| 00:00:20 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds) |
| 00:01:14 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 00:01:41 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 255 seconds) |
| 00:03:32 | → | azeem joins (~azeem@176.200.251.23) |
| 00:08:51 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
| 00:18:00 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 268 seconds) |
| 00:18:30 | → | azeem joins (~azeem@176.200.251.23) |
| 00:21:28 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 00:22:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:27:26 | → | Guest94 joins (~Guest94@187.83.249.216.dyn.smithville.net) |
| 00:29:32 | × | Guest94 quits (~Guest94@187.83.249.216.dyn.smithville.net) (Client Quit) |
| 00:29:38 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 272 seconds) |
| 00:31:15 | → | Guest29 joins (~Guest29@187.83.249.216.dyn.smithville.net) |
| 00:31:52 | → | beka joins (~beka@104-244-27-23.static.monkeybrains.net) |
| 00:34:08 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 00:34:34 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 00:34:53 | → | favonia joins (~favonia@user/favonia) |
| 00:35:16 | → | jespada joins (~jespada@90.254.247.46) |
| 00:35:19 | × | Guest29 quits (~Guest29@187.83.249.216.dyn.smithville.net) (Client Quit) |
| 00:36:18 | → | chris-the-slurpa joins (~chris@148.252.35.9) |
| 00:40:48 | × | chris-the-slurpa quits (~chris@148.252.35.9) (Remote host closed the connection) |
| 00:41:37 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 246 seconds) |
| 00:44:31 | → | azeem joins (~azeem@176.200.251.23) |
| 00:45:09 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 00:45:10 | → | Guest75 joins (~Guest75@187.83.249.216.dyn.smithville.net) |
| 00:48:00 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 00:48:02 | <Guest75> | I've got `data LotsOfInts = Ints {int1, int2, int3, ..., int20}`...is there an easy way to define `allZeroes :: LotsOfInts` where all record fields are set to 0 without writing out "0" 20 times? |
| 00:49:56 | <geekosaur> | maybe using Generics but I suspect just writing out 0s is easier |
| 00:50:45 | <geekosaur> | especially if you use your editor to automate it (emacs and vi, at least; can't speak to vscode or etc.) |
| 00:51:14 | <pavonia> | IMHO it would be better to use a Vector or similar instead in the first place |
| 00:51:29 | <geekosaur> | if it's just a one time thing I'd just bite the bullet; if you're doing it regularly then one might wonder whwther a Vactor is a better choice |
| 00:52:14 | <Guest75> | oh yeah, it's not necessarily bad, it'd just be annoying because I'm kinda throwing things in there as I go (so I don't know yet exactly how many fields it'll have) |
| 00:52:15 | <geekosaur> | *Vector |
| 00:55:29 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 00:56:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 00:56:25 | → | dajoer joins (~david@user/gvx) |
| 00:56:35 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 00:56:38 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 00:59:49 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) |
| 01:00:11 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 01:01:58 | → | turlando_ joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 01:03:19 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 246 seconds) |
| 01:04:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Ping timeout: 255 seconds) |
| 01:08:34 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 01:10:41 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 01:11:26 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:33 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:12:55 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 01:14:28 | × | smitop quits (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 01:15:19 | → | smitop joins (~smitop@user/smitop) |
| 01:17:53 | × | smichel17 quits (~smichel17@2601:193:8300:38f:a169:3c71:689a:ba3e) (Quit: smichel17) |
| 01:18:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) |
| 01:21:09 | → | Null_A joins (~null_a@2601:645:8700:2290:99b9:1812:a970:81db) |
| 01:24:19 | × | Kugge quits (~Kugge@82-65-70-62.subs.proxad.net) (Quit: Client closed) |
| 01:29:26 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 01:31:41 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 255 seconds) |
| 01:32:06 | → | vicfred joins (~vicfred@user/vicfred) |
| 01:32:27 | × | xff0x quits (~xff0x@2001:1a81:525a:ea00:2bea:6319:b748:f3db) (Ping timeout: 252 seconds) |
| 01:32:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 01:34:01 | → | xff0x joins (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) |
| 01:37:47 | → | favonia joins (~favonia@user/favonia) |
| 01:38:43 | → | Pixi joins (~Pixi@user/pixi) |
| 01:39:03 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 01:40:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 01:40:16 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 01:44:17 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 01:45:06 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 01:47:20 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 01:47:30 | × | alx741 quits (~alx741@186.178.108.75) (Ping timeout: 240 seconds) |
| 01:50:19 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 01:58:49 | edwardk_ | is now known as edwardk |
| 01:58:59 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 02:00:40 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 02:01:17 | → | alx741 joins (~alx741@186.178.108.20) |
| 02:07:57 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 02:11:12 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 02:13:35 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 02:13:54 | → | favonia joins (~favonia@user/favonia) |
| 02:15:57 | <_73> | I am trying to use haskdogs with the command `haskdogs --hasktags-args "--etags" --use-stack ON .` but am getting the following error: `haskdogs: hasktags: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)`. I have tried looking up this problem but the only issues I find on google are related to nix which I do not use. This is the only related issue I have found: |
| 02:15:57 | <_73> | https://github.com/commercialhaskell/stack/issues/3958, but this person is doing something with stack ghci which is different from m case. I have tried switching up my stack resolver and have explicitly installed the `process` library but these solutions did not work. Does anybody know anything about this issue? |
| 02:16:51 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 02:16:59 | <geekosaur> | did you install hasktags? |
| 02:17:04 | <_73> | yes |
| 02:17:18 | <_73> | and I can build the hasktags for this project just fine |
| 02:19:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:20:12 | <_73> | this is the complete output of my haskdogs command: http://dpaste.com/4WG4VRBZR |
| 02:20:44 | × | td_ quits (~td@94.134.91.203) (Ping timeout: 255 seconds) |
| 02:21:05 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:21:05 | FinnElija | is now known as Guest1783 |
| 02:21:05 | finn_elija | is now known as FinnElija |
| 02:21:11 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 02:22:34 | × | y04nn quits (~y04nn@89.45.7.186) (Ping timeout: 240 seconds) |
| 02:22:37 | → | td_ joins (~td@94.134.91.97) |
| 02:23:55 | <geekosaur> | that's strange that it finds it earlier but can't find it later. oor is that output from your debugging? |
| 02:24:10 | × | Guest1783 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 02:24:20 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 02:25:22 | <_73> | geekosaur: I don't know what you mean by the `output from debugging`. I can reproduce this output over and over. |
| 02:26:04 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Remote host closed the connection) |
| 02:26:13 | <geekosaur> | then its even weirder if that "which" output is from haskdogs |
| 02:26:14 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 02:27:49 | → | simon1 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 02:28:50 | <simon1> | I'm writing a library for which I have an exposed function that has the following signature: http://ix.io/3sBc. It has the constraints `WithLog env Message m` AND `MonadState (DHMaterial z) m`. Therefore, the function needs to be run inside some monad that is an instance of WithLog and MonadState at the same time. From Colog.Monad, I have the LoggerT and I can satisfy the WithLog |
| 02:28:54 | <simon1> | constraint by running my code in `usingLoggerT (LogAction putstrLn)` for instance. But that only satisfies the WithLog part. I can satisfy the MonadState part by running my code in `flip runState (DHMaterial (0 :: Int))` for instance. But how do I satisfy both ? Do I really need to create a new Monad or can I pipe things together with transformers somehow? |
| 02:28:59 | <simon1> | I'm not really well understanding just yet every details of transformers and monad constraints. My first guess would be that I'd need to create a new monad which satisfies both. |
| 02:29:07 | <simon1> | Also, may be my class constraints are not OK and I should change them? |
| 02:31:50 | simon1 | is now known as sim590 |
| 02:31:51 | <_73> | geekosaur: Oh you got me onto something. If I symlink ~/.local/bin/hasktags to /usr/bin I get a new error: `haskdogs `haskdogs: hasktags: createProcess: runInteractiveProcess: exec: invalid argument (Too many levels of symbolic links)``. However I then tried to just move the hasktags executable to /usr/bin (also tried /usr/local/bin), but then I went back to getting the original error... |
| 02:32:26 | <_73> | `~/.local/bin/` is on my path by the way |
| 02:34:07 | <geekosaur> | hm. wonnder if it's that bug? if there's an actual ~ in the $PATH then the shell can expand it but programs can't; use $HOME instead of ~ in that case, or if you quoted your PATH setting you may need to unquote it (or doublequote and use $HOME) |
| 02:36:47 | <_73> | geekosaur: In my path I changed `~/.local/bin` to `/home/nick/.local/bin` and it works now. Thanks for the help, this is a nice lesson for me. |
| 02:42:20 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 02:50:43 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 02:51:05 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 02:52:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:57:17 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 02:57:24 | × | Guest75 quits (~Guest75@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 03:03:04 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 03:05:51 | × | Null_A quits (~null_a@2601:645:8700:2290:99b9:1812:a970:81db) (Remote host closed the connection) |
| 03:06:56 | → | retroid_ joins (~retro@90.218.175.34) |
| 03:08:23 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 03:20:18 | → | warnz joins (~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) |
| 03:22:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 03:23:10 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 03:24:38 | × | warnz quits (~warnz@2600:1700:77c0:5610:21cb:e38c:dc6:ea0) (Ping timeout: 255 seconds) |
| 03:24:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:26:33 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 03:26:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 03:28:14 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 03:40:43 | × | alx741 quits (~alx741@186.178.108.20) (Quit: alx741) |
| 03:43:44 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 04:03:02 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 04:03:46 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 04:04:31 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 04:09:54 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 04:10:21 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 04:10:26 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:10:49 | × | beka quits (~beka@104-244-27-23.static.monkeybrains.net) (Remote host closed the connection) |
| 04:14:35 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 04:15:00 | → | favonia joins (~favonia@user/favonia) |
| 04:15:24 | × | ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 252 seconds) |
| 04:17:01 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 04:28:41 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 04:36:38 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 04:39:20 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 04:39:53 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 04:41:10 | → | favonia joins (~favonia@user/favonia) |
| 04:41:57 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:43:02 | → | img joins (~img@user/img) |
| 04:43:58 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 04:46:46 | × | darklambda quits (~whateverg@111.65.56.40) (Ping timeout: 272 seconds) |
| 04:47:03 | × | img quits (~img@user/img) (Client Quit) |
| 04:47:06 | → | darklambda joins (~whateverg@122.11.240.98) |
| 04:47:34 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 04:48:26 | → | img joins (~img@user/img) |
| 04:48:39 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 04:49:49 | <qrpnxz> | oh! exception uses existentials! |
| 04:50:09 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 04:56:52 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 05:00:19 | × | shajra[m] quits (~shajramat@2001:470:69fc:105::b552) (*.net *.split) |
| 05:00:19 | × | ixlun quits (~ixlun@2001:470:69fc:105::41b3) (*.net *.split) |
| 05:00:19 | × | ecameron[m] quits (~ecameronm@2001:470:69fc:105::35df) (*.net *.split) |
| 05:00:19 | × | Drezil quits (~drezilkif@2001:470:69fc:105::7f8) (*.net *.split) |
| 05:00:19 | × | jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (*.net *.split) |
| 05:00:19 | × | bb010g quits (~bb010g@2001:470:69fc:105::9a5) (*.net *.split) |
| 05:00:19 | × | gxt quits (~gxt@2001:470:69fc:105::3513) (*.net *.split) |
| 05:00:19 | × | cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (*.net *.split) |
| 05:00:19 | × | marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 05:00:19 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (*.net *.split) |
| 05:00:19 | × | hsiktas[m] quits (~hsiktasma@2001:470:69fc:105::30d4) (*.net *.split) |
| 05:00:19 | × | fgaz quits (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
| 05:00:19 | × | siraben quits (~siraben@user/siraben) (*.net *.split) |
| 05:00:19 | × | keltono quits (~kelton@x-160-94-179-178.acm.umn.edu) (*.net *.split) |
| 05:00:19 | × | mstruebing quits (~maex@2001:41d0:8:93c7::1) (*.net *.split) |
| 05:00:19 | × | tnks_ quits (sid412124@id-412124.brockwell.irccloud.com) (*.net *.split) |
| 05:00:19 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 05:00:19 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 05:00:19 | × | gregberns_ quits (sid315709@id-315709.brockwell.irccloud.com) (*.net *.split) |
| 05:00:19 | × | smokey991 quits (sid369395@id-369395.brockwell.irccloud.com) (*.net *.split) |
| 05:00:19 | × | elcaro quits (~anonymous@45.32.191.75) (*.net *.split) |
| 05:00:19 | × | dixie quits (~dixie@real.wilbury.sk) (*.net *.split) |
| 05:00:19 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 05:00:20 | × | tinco quits (~tinco@tinco.nl) (*.net *.split) |
| 05:00:20 | × | degraafk quits (sid71464@id-71464.tooting.irccloud.com) (*.net *.split) |
| 05:00:20 | × | dave_uy quits (~dave_uy@108.61.193.26) (*.net *.split) |
| 05:00:20 | × | meridion quits (~meridion@punt.hetgrotebos.org) (*.net *.split) |
| 05:00:20 | × | pierrot quits (~pi@user/pierrot) (*.net *.split) |
| 05:00:20 | × | Square quits (~a@178.62.91.8) (*.net *.split) |
| 05:00:20 | × | yushyin quits (DqPAekUnN9@karif.server-speed.net) (*.net *.split) |
| 05:00:20 | × | vgtw quits (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) (*.net *.split) |
| 05:00:20 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 05:00:20 | × | aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split) |
| 05:00:20 | × | pounce quits (~pounce@facebook/engineering/pounce) (*.net *.split) |
| 05:00:20 | × | thonkpod quits (~thonkpod@user/thonkpod) (*.net *.split) |
| 05:00:20 | × | kristjansson quits (sid126207@id-126207.tinside.irccloud.com) (*.net *.split) |
| 05:00:20 | × | heath quits (~heath@user/heath) (*.net *.split) |
| 05:00:24 | → | absence_ joins (torgeihe@hildring.pvv.ntnu.no) |
| 05:00:25 | → | bwe_ joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 05:00:26 | → | gregberns__ joins (sid315709@id-315709.brockwell.irccloud.com) |
| 05:00:26 | → | meridion joins (~meridion@punt.hetgrotebos.org) |
| 05:00:26 | → | dixie joins (~dixie@real.wilbury.sk) |
| 05:00:27 | → | elcaro joins (~anonymous@45.32.191.75) |
| 05:00:29 | → | eL_Bart0- joins (eL_Bart0@dietunichtguten.org) |
| 05:00:29 | → | aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 05:00:29 | → | kristjansson_ joins (sid126207@id-126207.tinside.irccloud.com) |
| 05:00:33 | → | degraafk_ joins (sid71464@id-71464.tooting.irccloud.com) |
| 05:00:33 | → | keltono joins (~kelton@x-160-94-179-178.acm.umn.edu) |
| 05:00:35 | → | mstruebing joins (~maex@2001:41d0:8:93c7::1) |
| 05:00:35 | → | dave_uy joins (~dave_uy@108.61.193.26) |
| 05:00:37 | → | smokey991 joins (sid369395@id-369395.brockwell.irccloud.com) |
| 05:00:45 | → | tinco joins (~tinco@tinco.nl) |
| 05:00:48 | → | madnight_ joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 05:00:49 | → | pounce joins (~pounce@facebook/engineering/pounce) |
| 05:00:52 | → | yushyin joins (AYTm7VIpji@karif.server-speed.net) |
| 05:00:56 | → | thonkpod joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 05:00:57 | → | vgtw joins (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) |
| 05:00:58 | × | thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Signing in (thonkpod)) |
| 05:00:58 | → | thonkpod joins (~thonkpod@user/thonkpod) |
| 05:00:59 | → | pierrot_ joins (~pi@user/pierrot) |
| 05:01:11 | → | heath joins (~heath@user/heath) |
| 05:01:13 | → | tnks_ joins (sid412124@id-412124.brockwell.irccloud.com) |
| 05:02:33 | → | Square joins (~a@178.62.91.8) |
| 05:08:00 | → | euouae joins (~euouae@user/euouae) |
| 05:08:11 | <euouae> | Hello does haskell work with supercomputers and gpu clusters? |
| 05:09:07 | <geekosaur> | gpus make terrible graph reduction machines, so not really |
| 05:09:42 | <geekosaur> | although you can use it to build pipelines for gpus to execute; see the Accelerate package which has a gpu backend |
| 05:11:19 | <euouae> | Oh right that's what I meant geekosaur |
| 05:13:47 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 05:17:04 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 05:17:06 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 05:18:53 | → | favonia joins (~favonia@user/favonia) |
| 05:19:34 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Quit: WeeChat 3.0) |
| 05:21:22 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 05:22:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 05:23:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:29:36 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 05:36:32 | <sim590> | http://ix.io/3sCb. Why am I getting "Illegale instance declaration" ? |
| 05:39:19 | → | oxide joins (~lambda@user/oxide) |
| 05:39:49 | <sim590> | I just changed my line to `instance MonadReader env m => MonadReader env (HartMonad z m) where` and I'm getting the saem... |
| 05:45:08 | <geekosaur> | because that's trying to define an instance for `env`, which is a type variable. you don't include that part |
| 05:46:36 | <sim590> | How is it different form this: http://ix.io/3sCf ? |
| 05:47:14 | <geekosaur> | that doesn't have a stray `env` in it |
| 05:47:23 | <geekosaur> | or any other type variable in that position |
| 05:48:20 | <sim590> | it has two positional arguments "s" and "m" just like "env" and "m" in mine. |
| 05:48:32 | <sim590> | instance MonadReader env m => MonadReader env (HartMonad z m) where |
| 05:48:38 | <geekosaur> | your positional `env`1 is in the wrong place |
| 05:48:50 | <geekosaur> | it's before the type you're defining an instance for |
| 05:49:03 | <geekosaur> | so it's taken as the type, but that's illegal |
| 05:49:58 | <geekosaur> | hm. do you understand what a context is? |
| 05:50:00 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 05:50:05 | <sim590> | Just like `s` is before `(ContT r m)` in the MonadState example ? |
| 05:50:24 | <geekosaur> | so you don't know what a context is |
| 05:50:32 | <geekosaur> | the thing before the => is a context |
| 05:50:35 | <sim590> | out of context like that, no I don't... |
| 05:50:46 | <sim590> | Yeah I know that |
| 05:51:01 | <sim590> | I know that it's written as "given that this is true, then" |
| 05:51:22 | <sim590> | So given that `m` is a `MonadReader env`, then. |
| 05:51:32 | <sim590> | No? |
| 05:51:34 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 05:51:36 | <nshepperd> | what is the full error? |
| 05:51:51 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 05:52:01 | <geekosaur> | you can't say it that way. MonadReader implies the env (it's a kind mismatch) |
| 05:52:03 | <sim590> | http://ix.io/3sCj |
| 05:52:44 | <sim590> | geekosaur: but I'm doing just like in this example: http://ix.io/3sCk |
| 05:52:48 | <nshepperd> | you probably just need FlexibleInstances like it suggests |
| 05:52:49 | <sim590> | Taken from https://hackage.haskell.org/package/mtl-2.2.2/docs/src/Control.Monad.Reader.Class.html#line-156 |
| 05:53:02 | <sim590> | nshepperd: I added it, but it doesn't work ? |
| 05:53:12 | <sim590> | {-# LANGUAGE FlexibleInstances #-} I added that |
| 05:53:18 | <nshepperd> | what is the new error |
| 05:53:27 | <sim590> | The one I gave to you. |
| 05:53:30 | <sim590> | So it ignores it? |
| 05:53:44 | <sim590> | Don't know why it doesn't use it. |
| 05:54:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 05:54:26 | <geekosaur> | did you place it at the very top of the file? |
| 05:54:43 | × | MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 05:54:43 | <geekosaur> | not after the `module` declaration, in particular |
| 05:54:43 | → | favonia joins (~favonia@user/favonia) |
| 05:54:48 | <sim590> | I put it after module. |
| 05:54:56 | <sim590> | Huh.. OK. so that is what I missed may be. |
| 05:55:19 | → | MidAutumnMoon9 joins (~MidAutumn@user/midautumnmoon) |
| 05:56:53 | <sim590> | Now I'm getting this: http://ix.io/3sCl |
| 05:57:41 | <sim590> | I tried adding {-# LANGUAGE MultiParamTypeClasses #-}, but I got http://ix.io/3sCm. |
| 05:57:42 | <nshepperd> | right, you need that extension too |
| 05:57:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 05:58:23 | <nshepperd> | and also you need to add the context back if you removed it |
| 05:58:23 | <sim590> | OK. I added the last one and now it works i think.. |
| 05:58:43 | <sim590> | I added it back. |
| 05:59:28 | <sim590> | So that's why GeneralizedNewtypeDeriving didn't work. I didn't put it before the module instruction. |
| 06:00:03 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 06:02:28 | <sim590> | Thanks to you two people! |
| 06:06:35 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 06:07:41 | → | guest61 joins (~xxx@47.245.54.240) |
| 06:12:07 | <sim590> | I'm trying to call a function that has this signature: http://ix.io/3sBc, but I don't know if I'm doing the right thing. I have to call this inside a monad that satisfies both restrictions `WithLog env Message` and `MonadState (DHMaterial z)`. |
| 06:13:05 | <sim590> | For now I'm trying to write a newtype wrapper: `newtype HartMonad z m a = HartMonad { runHartMonad :: StateT (DHMaterial z) m a }` just like I showed and I'm trying to make that type an instance of both `WithLog env Message` and `MonadState (DHMaterial z)`. |
| 06:13:37 | <sim590> | Am I doing this all for nothing? Is there a simpler way? Will this even work? |
| 06:16:55 | → | a6a45081-2b83 joins (~aditya@223.226.232.244) |
| 06:18:42 | → | sayola joins (~vekto@dslb-088-078-152-192.088.078.pools.vodafone-ip.de) |
| 06:22:50 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 06:26:54 | <hololeap> | is there a way to make an isomorphism with type families? |
| 06:27:29 | <hololeap> | for instance, there's the Base type family from recursion-schemes |
| 06:27:55 | <hololeap> | could I make an Unbase type family in a way that the compiler knows that (t ~ Unbase (Base t)) ? |
| 06:28:54 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 06:32:24 | → | f33f046c-a02e joins (~aditya@171.76.227.35) |
| 06:33:33 | × | a6a45081-2b83 quits (~aditya@223.226.232.244) (Ping timeout: 268 seconds) |
| 06:33:45 | → | darklamb1a joins (~whateverg@111.65.56.30) |
| 06:36:52 | × | darklambda quits (~whateverg@122.11.240.98) (Ping timeout: 246 seconds) |
| 06:43:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 06:43:29 | → | favonia joins (~favonia@user/favonia) |
| 06:50:26 | × | euouae quits (~euouae@user/euouae) (Read error: Connection reset by peer) |
| 06:54:08 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 07:06:08 | → | andreabedini joins (~andreabed@8s8kj6n8sk51d7wqkg5q.ip6.superloop.com) |
| 07:08:15 | × | andreabedini quits (~andreabed@8s8kj6n8sk51d7wqkg5q.ip6.superloop.com) (Client Quit) |
| 07:12:11 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 07:16:44 | × | darklamb1a quits (~whateverg@111.65.56.30) (Ping timeout: 265 seconds) |
| 07:17:21 | → | darklambda joins (~whateverg@122.11.240.98) |
| 07:19:46 | × | f33f046c-a02e quits (~aditya@171.76.227.35) (Read error: Connection reset by peer) |
| 07:22:57 | → | f33f046c-a02e joins (~aditya@106.212.68.200) |
| 07:40:24 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 07:46:23 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 07:47:33 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
| 07:51:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:52:39 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 07:53:05 | → | Pickchea joins (~private@user/pickchea) |
| 07:54:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:56:22 | × | yushyin quits (AYTm7VIpji@karif.server-speed.net) (Quit: WeeChat 3.1) |
| 07:56:33 | → | yushyin joins (MbKMC7U51Q@karif.server-speed.net) |
| 07:58:05 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 08:05:02 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 08:05:23 | × | f33f046c-a02e quits (~aditya@106.212.68.200) (Remote host closed the connection) |
| 08:06:07 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 08:06:34 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 08:09:32 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 08:09:49 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:10:00 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 08:13:07 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 08:13:21 | → | juhp joins (~juhp@128.106.188.66) |
| 08:16:30 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 08:17:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Remote host closed the connection) |
| 08:17:30 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 08:17:39 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 08:17:55 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 08:19:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 08:20:30 | <tomsmeding> | Can I get ghc -M to output the produced rules to stdout? |
| 08:20:38 | → | darklamb1a joins (~whateverg@111.65.56.31) |
| 08:21:02 | × | darklambda quits (~whateverg@122.11.240.98) (Read error: Connection reset by peer) |
| 08:22:15 | → | favonia joins (~favonia@user/favonia) |
| 08:22:28 | × | samebchase quits (~samebchas@51.15.68.182) (Quit: The Lounge - https://thelounge.chat) |
| 08:23:23 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 08:23:34 | <tomsmeding> | hololeap: proof :: t :~: Unbase (Base t) ; proof = unsafeCoerce Refl |
| 08:25:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 08:25:41 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: Bridge terminating on SIGTERM) |
| 08:25:41 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Quit: Bridge terminating on SIGTERM) |
| 08:25:41 | × | carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | Aleci[m] quits (~alecilibr@2001:470:69fc:105::32e7) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | jophish quits (~jophish@2001:470:69fc:105::670) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | inkbottle[m] quits (~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | ormaaj quits (~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | bryan[m] quits (~bchreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | bitonic quits (~bitonic@2001:470:69fc:105::1812) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | jaror[m] quits (~jaror@2001:470:69fc:105::265) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | lwe[m] quits (~dendrumat@2001:470:69fc:105::2f9b) (Quit: Bridge terminating on SIGTERM) |
| 08:25:42 | × | hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Quit: Bridge terminating on SIGTERM) |
| 08:25:43 | × | fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Quit: Bridge terminating on SIGTERM) |
| 08:25:43 | × | sridonhiatus[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM) |
| 08:25:44 | × | unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Quit: Bridge terminating on SIGTERM) |
| 08:25:44 | × | vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM) |
| 08:25:44 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Bridge terminating on SIGTERM) |
| 08:25:44 | × | amesgen[m] quits (~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | yin[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | jellz[m] quits (~jellzmatr@2001:470:69fc:105::2daa) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | Soft quits (~soft-matr@2001:470:69fc:105::c75) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | justosophy[m] quits (~justosoph@2001:470:69fc:105::572f) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | octeep[m]1 quits (~octeepmoc@2001:470:69fc:105::695e) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | PotatoHatsue quits (~berberman@2001:470:69fc:105::b488) (Quit: Bridge terminating on SIGTERM) |
| 08:25:45 | × | vbeatrice[m] quits (~vbeatrice@2001:470:69fc:105::3ebf) (Quit: Bridge terminating on SIGTERM) |
| 08:25:46 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM) |
| 08:25:46 | × | rednaZ[m] quits (~r3dnazmat@2001:470:69fc:105::ba70) (Quit: Bridge terminating on SIGTERM) |
| 08:25:47 | × | kadoban quits (~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM) |
| 08:25:47 | × | peddie quits (~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM) |
| 08:25:47 | × | polykernel[m] quits (~polykerne@2001:470:69fc:105::ba04) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | infinisil[m] quits (~infinisil@2001:470:69fc:105::ff8) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | Ollie[m] quits (~ollieocha@2001:470:69fc:105::41a5) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | dminuoso[m] quits (~dminuosom@2001:470:69fc:105::33bb) (Quit: Bridge terminating on SIGTERM) |
| 08:25:51 | × | aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Quit: Bridge terminating on SIGTERM) |
| 08:25:52 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Bridge terminating on SIGTERM) |
| 08:25:54 | × | ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Quit: Bridge terminating on SIGTERM) |
| 08:25:54 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM) |
| 08:25:54 | × | Deewiant quits (~deewiant@2001:470:69fc:105::2fd3) (Quit: Bridge terminating on SIGTERM) |
| 08:25:54 | × | the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Quit: Bridge terminating on SIGTERM) |
| 08:25:56 | × | autrim64[m] quits (~autrim64m@2001:470:69fc:105::16a1) (Quit: Bridge terminating on SIGTERM) |
| 08:25:56 | × | Guest1752 quits (~sylveonma@2001:470:69fc:105::2d95) (Quit: Bridge terminating on SIGTERM) |
| 08:25:56 | × | Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Quit: Bridge terminating on SIGTERM) |
| 08:25:56 | × | smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM) |
| 08:25:57 | × | fakehacker[m] quits (~fakehacke@2001:470:69fc:105::b5f0) (Quit: Bridge terminating on SIGTERM) |
| 08:25:57 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM) |
| 08:26:02 | Lord_of_Life_ | is now known as Lord_of_Life |
| 08:27:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 08:29:00 | → | thedward[m] joins (~thedwardm@2001:470:69fc:105::f79) |
| 08:29:26 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 08:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:30:23 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:30:35 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 08:32:46 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:37:45 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 08:37:45 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:37:45 | → | hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd) |
| 08:37:45 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 08:37:45 | → | fgaz joins (~fgaz@2001:470:69fc:105::842) |
| 08:37:45 | → | peddie joins (~peddie@2001:470:69fc:105::25d) |
| 08:37:45 | → | ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2) |
| 08:37:45 | → | cdsmith joins (~cdsmithma@2001:470:69fc:105::284) |
| 08:37:45 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 08:37:45 | → | bb010g joins (~bb010g@2001:470:69fc:105::9a5) |
| 08:37:45 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 08:37:45 | → | Artem[m] joins (~artemtype@2001:470:69fc:105::75b) |
| 08:37:45 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 08:37:45 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 08:37:45 | → | cdepillabout[m] joins (~cdepillab@2001:470:69fc:105::3d3) |
| 08:37:45 | → | amesgen[m] joins (~amesgenm]@2001:470:69fc:105::82b) |
| 08:37:45 | → | the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f) |
| 08:37:45 | → | vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe) |
| 08:37:45 | → | zfnmxt joins (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 08:37:45 | → | infinisil[m] joins (~infinisil@2001:470:69fc:105::ff8) |
| 08:37:45 | → | kadoban joins (~kadoban@user/kadoban) |
| 08:37:45 | → | ericson2314 joins (~ericson23@2001:470:69fc:105::70c) |
| 08:37:45 | → | jophish joins (~jophish@2001:470:69fc:105::670) |
| 08:37:46 | → | bitonic joins (~bitonic@2001:470:69fc:105::1812) |
| 08:37:46 | → | PotatoHatsue joins (~berberman@2001:470:69fc:105::b488) |
| 08:37:46 | → | carmysilna joins (~brightly-@2001:470:69fc:105::2190) |
| 08:37:46 | → | Deewiant joins (~deewiant@2001:470:69fc:105::2fd3) |
| 08:37:46 | → | siraben joins (~siraben@user/siraben) |
| 08:37:46 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 08:37:46 | → | bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5) |
| 08:37:46 | → | unrooted joins (~unrooted@2001:470:69fc:105::a4a) |
| 08:37:46 | → | Aleci[m] joins (~alecilibr@2001:470:69fc:105::32e7) |
| 08:37:46 | → | rednaZ[m] joins (~r3dnazmat@2001:470:69fc:105::ba70) |
| 08:37:46 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 08:37:46 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 08:37:46 | → | lwe[m] joins (~dendrumat@2001:470:69fc:105::2f9b) |
| 08:37:46 | → | inkbottle[m] joins (~inkbottle@2001:470:69fc:105::2ff5) |
| 08:37:46 | → | reza[m] joins (~rezaphone@2001:470:69fc:105::3eda) |
| 08:37:46 | → | gxt joins (~gxt@2001:470:69fc:105::3513) |
| 08:37:46 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 08:37:46 | → | boxscape joins (~boxscape@user/boxscape) |
| 08:37:46 | → | hsiktas[m] joins (~hsiktasma@2001:470:69fc:105::30d4) |
| 08:37:46 | → | ormaaj joins (~ormaaj@user/ormaaj) |
| 08:37:46 | → | Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56) |
| 08:37:46 | → | polykernel[m] joins (~polykerne@2001:470:69fc:105::ba04) |
| 08:37:46 | → | sridonhiatus[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 08:37:46 | → | smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32) |
| 08:37:57 | → | dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7) |
| 08:37:57 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 08:37:57 | → | kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d) |
| 08:37:57 | → | Ollie[m] joins (~ollieocha@2001:470:69fc:105::41a5) |
| 08:37:57 | → | adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d) |
| 08:37:57 | → | Soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 08:37:57 | → | Drezil joins (~drezilkif@2001:470:69fc:105::7f8) |
| 08:37:58 | → | fakehacker[m] joins (~fakehacke@2001:470:69fc:105::b5f0) |
| 08:37:58 | → | aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9) |
| 08:37:58 | → | ecameron[m] joins (~ecameronm@2001:470:69fc:105::35df) |
| 08:37:58 | → | RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc) |
| 08:37:58 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 08:37:58 | → | vbeatrice[m] joins (~vbeatrice@2001:470:69fc:105::3ebf) |
| 08:37:58 | → | jellz[m] joins (~jellzmatr@2001:470:69fc:105::2daa) |
| 08:37:59 | → | autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1) |
| 08:37:59 | → | Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0) |
| 08:37:59 | → | justosophy[m] joins (~justosoph@2001:470:69fc:105::572f) |
| 08:37:59 | → | octeep[m]1 joins (~octeepmoc@2001:470:69fc:105::695e) |
| 08:37:59 | → | yin[m] joins (~zwromatri@2001:470:69fc:105::1d4) |
| 08:37:59 | → | dminuoso[m] joins (~dminuosom@2001:470:69fc:105::33bb) |
| 08:37:59 | → | wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae) |
| 08:38:00 | → | ixlun joins (~ixlun@2001:470:69fc:105::41b3) |
| 08:38:00 | → | Sylveon joins (~sylveonma@2001:470:69fc:105::2d95) |
| 08:38:23 | Sylveon | is now known as Guest2833 |
| 08:38:26 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:41:22 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 246 seconds) |
| 08:42:59 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 08:43:10 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Client Quit) |
| 08:43:33 | → | oxide joins (~lambda@user/oxide) |
| 08:46:20 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:49:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 08:50:37 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 08:54:26 | × | turlando_ quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
| 08:58:57 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 09:05:41 | → | fendor joins (~fendor@91.141.51.136.wireless.dyn.drei.com) |
| 09:07:04 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 09:07:12 | → | cheater joins (~Username@user/cheater) |
| 09:07:35 | ← | safinaskar parts (~user@109.252.90.89) () |
| 09:08:13 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 09:09:22 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 09:09:41 | → | favonia joins (~favonia@user/favonia) |
| 09:09:52 | → | safinaskar joins (~user@109.252.90.89) |
| 09:10:09 | <safinaskar> | hi. i wrote library for reversible parsing: https://mail.haskell.org/pipermail/haskell-cafe/2021-July/134217.html |
| 09:12:10 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 09:12:56 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 09:12:56 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 09:12:56 | → | turlando joins (~turlando@user/turlando) |
| 09:13:27 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 09:13:41 | → | juhp joins (~juhp@128.106.188.66) |
| 09:14:55 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 09:17:54 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 09:18:38 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 09:19:43 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 09:19:58 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 09:20:40 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 09:22:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 09:23:30 | → | kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 09:23:48 | → | andrews joins (~andrews@user/andrews) |
| 09:24:02 | <andrews> | Hi, How do I install Haskell on Ubuntu |
| 09:28:20 | × | fendor quits (~fendor@91.141.51.136.wireless.dyn.drei.com) (Remote host closed the connection) |
| 09:29:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 09:29:48 | → | favonia joins (~favonia@user/favonia) |
| 09:29:56 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 09:30:25 | → | fendor joins (~fendor@91.141.51.136.wireless.dyn.drei.com) |
| 09:33:24 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 09:34:45 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 09:35:11 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 09:35:33 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 09:36:02 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 09:36:06 | <sm> | hi andrews, there are lots of ways, it depends a bit on your needs (alas) |
| 09:37:08 | <andrews> | I'm kind of a newbie to Haskell |
| 09:37:32 | <DigitalKiwi> | koz: (wrt twitter thread Hecate just rt) i put alias/function in my .bashrc for commands i can't ever remember either to do the command or echo it. i also have functions/alias to add functions/alias to my .bashrc >.> |
| 09:37:42 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 09:38:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 09:38:18 | <sm> | it depends a bit which of the two haskell build tools you'll want. In my case that would be stack, and I would probably do `apt install stack && stack upgrade` and add $HOME/.local/bin to my $PATH following its advice |
| 09:38:47 | <andrews> | I have absolutely no idea |
| 09:38:53 | <andrews> | what to install |
| 09:38:54 | → | favonia joins (~favonia@user/favonia) |
| 09:40:57 | <DigitalKiwi> | ex. function nixhs-tip-adhoc() { echo 'nix-shell -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [mtl pandoc])"'; } |
| 09:42:15 | <DigitalKiwi> | alias adal="cat >> /home/kiwi/.bashrc" alias adalvim="vim /home/kiwi/.bashrc" alias adalemacs="emacs /home/kiwi/.bashrc" |
| 09:43:05 | <DigitalKiwi> | alias build-kde-iso='nix-build -A config.system.build.isoImage -I nixos-config=modules/installer/cd-dvd/installation-cd-graphical-kde.nix default.nix' |
| 09:44:21 | <DigitalKiwi> | my .bashrc is 545 lines is that a lot |
| 09:46:12 | <DigitalKiwi> | alias nix-profile-info=$'paste <(nix profile list|cut -f 4 -d \' \') <(nix profile list|cut -f 1 -d \' \')|cut -f2- -d \'-\'|awk \'{print $2 " " $1}\'' |
| 09:47:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 09:48:15 | → | favonia joins (~favonia@user/favonia) |
| 09:48:28 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 09:49:41 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 09:49:58 | <DigitalKiwi> | sm: lol https://dpaste.com/9MEUXNAEY |
| 09:59:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 10:00:58 | × | aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 240 seconds) |
| 10:03:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 10:03:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 10:06:42 | <maerwald> | andrews: https://www.haskell.org/ghcup/ |
| 10:06:58 | <andrews> | I installed haskell-platform |
| 10:08:07 | <maerwald> | andrews: I think that has limited GHC support |
| 10:09:03 | <maerwald> | the latest recommended GHC version is 8.10.5, I don't see that in the ubuntu repos |
| 10:09:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 10:09:48 | → | favonia joins (~favonia@user/favonia) |
| 10:17:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 10:18:23 | → | favonia joins (~favonia@user/favonia) |
| 10:23:46 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 10:24:03 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 10:24:38 | → | y04nn joins (~y04nn@89.45.7.186) |
| 10:24:42 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 10:27:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 10:29:48 | <sm> | DigitalKiwi: what is happening |
| 10:29:49 | <sm> | that is much shell |
| 10:30:17 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:30:34 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 10:35:23 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 10:37:12 | × | y04nn quits (~y04nn@89.45.7.186) (Remote host closed the connection) |
| 10:37:24 | → | y04nn joins (~y04nn@89.45.7.186) |
| 10:38:43 | → | samebchase joins (~thelounge@51.15.68.182) |
| 10:39:22 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 10:39:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 10:40:40 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 10:41:01 | ← | andrews parts (~andrews@user/andrews) (Leaving) |
| 10:41:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 10:41:57 | → | Pickchea joins (~private@user/pickchea) |
| 10:42:29 | → | acidjnk joins (~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de) |
| 10:44:36 | × | y04nn quits (~y04nn@89.45.7.186) (Ping timeout: 272 seconds) |
| 10:45:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 10:52:42 | → | dajoer joins (~david@user/gvx) |
| 10:56:52 | × | kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Quit: Quitting IRC :() |
| 10:57:51 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 252 seconds) |
| 11:00:38 | → | jespada joins (~jespada@90.254.247.46) |
| 11:02:51 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 11:15:38 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 272 seconds) |
| 11:17:56 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 11:21:04 | × | xff0x quits (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) (Ping timeout: 246 seconds) |
| 11:21:22 | → | xff0x joins (~xff0x@185.65.135.235) |
| 11:22:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 11:24:33 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 11:26:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 11:28:48 | × | thyriaen quits (~thyriaen@45.178.73.238) (Ping timeout: 252 seconds) |
| 11:43:47 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 11:44:00 | → | juhp joins (~juhp@128.106.188.66) |
| 11:46:56 | × | xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 258 seconds) |
| 11:48:34 | → | xff0x joins (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) |
| 11:51:55 | × | darklamb1a quits (~whateverg@111.65.56.31) (Ping timeout: 258 seconds) |
| 11:52:14 | → | darklambda joins (~whateverg@122.11.240.98) |
| 11:53:11 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 11:54:07 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 11:54:20 | → | juhp joins (~juhp@128.106.188.66) |
| 11:56:33 | ← | safinaskar parts (~user@109.252.90.89) () |
| 11:59:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:09:46 | × | arahael quits (~arahael@118.211.182.212) (Ping timeout: 240 seconds) |
| 12:09:56 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 12:10:02 | × | kadobanana quits (~mud@user/kadoban) (Remote host closed the connection) |
| 12:10:27 | → | kadobanana joins (~mud@user/kadoban) |
| 12:10:38 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 12:10:53 | → | koz joins (~koz@2404:4408:4309:8800:f7ec:14dd:f995:fa8c) |
| 12:11:52 | → | arahael joins (~arahael@118.211.182.212) |
| 12:19:27 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 12:19:40 | → | juhp joins (~juhp@128.106.188.66) |
| 12:25:32 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 12:29:47 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 12:30:01 | → | juhp joins (~juhp@128.106.188.66) |
| 12:30:57 | → | Deide joins (~Deide@217.155.19.23) |
| 12:30:57 | × | Deide quits (~Deide@217.155.19.23) (Changing host) |
| 12:30:57 | → | Deide joins (~Deide@user/deide) |
| 12:32:36 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 12:32:55 | → | anandprabhu_ joins (~anandprab@94.202.243.198) |
| 12:33:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 12:37:48 | → | exile joins (~exile8338@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) |
| 12:38:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 12:38:39 | × | exile quits (~exile8338@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) (Client Quit) |
| 12:38:58 | → | exilepilot joins (~exilepilo@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) |
| 12:39:22 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 12:40:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 12:41:38 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:42:21 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 12:44:00 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 12:44:20 | → | kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 12:44:44 | → | xkuru joins (~xkuru@user/xkuru) |
| 12:44:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 12:48:08 | <maerwald> | > foldr (<> " " <>) "" ["no", "thanks"] |
| 12:48:10 | <lambdabot> | <hint>:1:17: error: parse error on input ‘)’ |
| 12:48:17 | <maerwald> | sad |
| 13:00:32 | <tomsmeding> | {-# LANGUAGE TernaryOperatorSections #-} |
| 13:01:10 | → | alx741 joins (~alx741@186.178.108.20) |
| 13:02:21 | <maerwald> | whaat |
| 13:13:25 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:13:33 | → | hexfive joins (~eric@50.35.83.177) |
| 13:13:34 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 13:14:19 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 13:17:03 | <tomsmeding> | /s :p |
| 13:17:19 | <tomsmeding> | would be nice though, I guess, for some rare cases |
| 13:17:34 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 13:20:00 | <Hecate> | > (<>) <$> pure "no " <*> pure "thanks" |
| 13:20:02 | <lambdabot> | error: |
| 13:20:02 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M120286296565... |
| 13:20:02 | <lambdabot> | prevents the constraint ‘(Show (f0 [Char]))’ from being solved. |
| 13:20:06 | <Hecate> | ah |
| 13:20:33 | <Hecate> | > (++) <$> pure "no " <*> pure "thanks" |
| 13:20:34 | <lambdabot> | error: |
| 13:20:34 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M686359443636... |
| 13:20:34 | <lambdabot> | prevents the constraint ‘(Show (f0 [Char]))’ from being solved. |
| 13:20:40 | <Hecate> | grrrr :< |
| 13:20:47 | <Hecate> | anyway, it works at home |
| 13:20:52 | × | anandprabhu_ quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 13:23:27 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 13:24:55 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 13:25:19 | <tomsmeding> | > ((++) <$> pure "no " <*> pure "thanks") :: [String] |
| 13:25:21 | <lambdabot> | ["no thanks"] |
| 13:25:48 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 13:26:25 | <tomsmeding> | > concat . intersperse " " ["no", "thanks"] |
| 13:26:26 | <lambdabot> | error: |
| 13:26:26 | <lambdabot> | • Couldn't match expected type ‘a -> t0 [a1]’ |
| 13:26:27 | <lambdabot> | with actual type ‘[[Char]]’ |
| 13:26:48 | <tomsmeding> | > concat . intersperse " " $ ["no", "thanks"] |
| 13:26:49 | <lambdabot> | "no thanks" |
| 13:27:01 | <tomsmeding> | maerwald: ^ |
| 13:27:35 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 13:27:43 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 13:27:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 13:28:22 | → | Pickchea joins (~private@user/pickchea) |
| 13:28:38 | → | zaquest joins (~notzaques@5.128.210.178) |
| 13:32:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 13:33:57 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 13:34:12 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 13:34:40 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 246 seconds) |
| 13:35:51 | → | favonia joins (~favonia@user/favonia) |
| 13:36:52 | → | oxide joins (~lambda@user/oxide) |
| 13:37:15 | <maerwald> | tomsmeding: ? |
| 13:38:15 | <tomsmeding> | maerwald: foldr (<> " " <>) "" == concat . intersperse " " |
| 13:38:29 | <tomsmeding> | but you already knew that probably :p |
| 13:38:32 | <maerwald> | I'm aware how to write this functionality |
| 13:38:35 | <tomsmeding> | :p |
| 13:39:05 | darklambda | is now known as wasm |
| 13:39:13 | <maerwald> | not sure if there's a good reason (<> b <>) doesn't work |
| 13:39:41 | wasm | is now known as darklambda |
| 13:39:42 | <tomsmeding> | perhaps just unimplemented |
| 13:39:50 | <tomsmeding> | you can even make the fixity work correctly |
| 13:40:50 | <tomsmeding> | ( (\x y -> (x <> " ") <> y) vs (\x y -> x <> (" " <> y)) ) |
| 13:41:21 | <tomsmeding> | though using a left-associative operator with such a binary section would be confusing when used in foldr |
| 13:41:35 | × | acidjnk quits (~acidjnk@p200300d0c72b9504d9f09758b46acc0d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 13:44:17 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 13:45:58 | → | qbt joins (~edun@user/edun) |
| 13:49:32 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 13:52:41 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 13:56:32 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 13:59:02 | × | darklambda quits (~whateverg@122.11.240.98) (Ping timeout: 272 seconds) |
| 13:59:16 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 14:00:17 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 14:02:41 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 14:09:33 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 14:13:07 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 14:13:48 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 14:13:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 14:14:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:14:35 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 14:16:04 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 14:17:01 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 14:17:59 | × | jonathanx quits (~jonathan@94.234.33.210) (Remote host closed the connection) |
| 14:18:16 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 14:20:38 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.2) |
| 14:27:54 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 240 seconds) |
| 14:28:55 | → | berberman joins (~berberman@user/berberman) |
| 14:29:12 | × | fendor quits (~fendor@91.141.51.136.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 14:29:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:30:02 | → | mikail_ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 14:32:22 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 14:34:17 | × | turlando quits (~turlando@user/turlando) (Remote host closed the connection) |
| 14:34:43 | → | Pickchea joins (~private@user/pickchea) |
| 14:35:47 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 14:35:47 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 14:35:47 | → | turlando joins (~turlando@user/turlando) |
| 14:37:03 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 14:38:52 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 14:46:19 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 14:50:14 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 14:51:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 14:51:09 | × | jonathanx quits (~jonathan@94.234.33.210) (Remote host closed the connection) |
| 14:51:26 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 14:55:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 14:55:24 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 14:57:48 | × | exilepilot quits (~exilepilo@2a00:23c4:ba88:fc01:68fe:19eb:6dd5:3e3e) (Quit: Leaving) |
| 14:57:49 | → | zebrag joins (~chris@user/zebrag) |
| 14:58:36 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 268 seconds) |
| 14:59:36 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 14:59:51 | × | [exa] quits (exa@user/exa/x-3587197) (Ping timeout: 272 seconds) |
| 15:01:47 | → | jess joins (~jess@libera/staff/jess) |
| 15:02:47 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 15:04:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 15:04:27 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 15:06:03 | × | sergal quits (~ezra@fsf/member/ezra) (Quit: bye bye) |
| 15:07:11 | → | sergal joins (~sergal@fsf/member/ezra) |
| 15:13:06 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 256 seconds) |
| 15:15:13 | → | oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 15:15:49 | → | Guest12 joins (~Guest12@187.83.249.216.dyn.smithville.net) |
| 15:17:10 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 15:20:07 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 15:21:15 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 15:25:40 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 15:26:25 | → | ahdyt joins (~ahdyt@36.80.188.104) |
| 15:27:04 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 15:29:25 | → | econo joins (uid147250@user/econo) |
| 15:32:34 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 15:33:38 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds) |
| 15:33:43 | → | kenran joins (~kenran@200116b82b619d0007bee3441e0dba70.dip.versatel-1u1.de) |
| 15:34:01 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 15:34:59 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 15:35:29 | <Athas> | What is the most convenient type to use when you just want a plain one-dimensional zero-offset O(1) indexed array? |
| 15:35:43 | <Athas> | I feel Data.Array has too much boilerplate, but I can't really put my finger on it. |
| 15:36:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 15:37:57 | <nshepperd2> | Data.Vector |
| 15:38:39 | <Athas> | I guess... I've used Vector a lot for things that had to be fast and complex, but I haven't considered them for simple things. |
| 15:39:07 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 15:41:04 | × | jonathanx quits (~jonathan@94.234.33.210) (Ping timeout: 252 seconds) |
| 15:42:20 | <albet70> | https://stackoverflow.com/questions/4020419/why-arent-python-nested-functions-called-closures |
| 15:42:43 | <albet70> | about closure, could haskell define functions inside function? |
| 15:43:35 | → | peterhil joins (~peterhil@mobile-access-5672d5-10.dhcp.inet.fi) |
| 15:43:48 | <Guest12> | you can compose and use lambdas and use where/let...and you can define functions which mutually reference each other |
| 15:43:55 | <albet70> | python and js use function define inside a function, that inner function visit enclosed variable and outer function return that inner function |
| 15:45:09 | <albet70> | but lambda couldn't change enclosed variable |
| 15:45:25 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 15:45:40 | <albet70> | and variable are constant in haskell |
| 15:48:53 | <albet70> | non-local variable they call it |
| 15:51:35 | <Guest12> | i don't think the concept/question makes sense in haskell, at least to me |
| 15:54:43 | <yin[m]> | how do i find a value from a map while getting it's key? something like findMap :: (a -> Bool) -> Map k a -> k |
| 15:55:41 | <Guest93> | should I use ByteString? I want to represent blobs of data (like contents of relatively small files) |
| 15:55:59 | <albet70> | but it may not be on k, how u handle that? |
| 15:56:15 | <albet70> | one k |
| 15:56:20 | <Guest93> | it seems to be a stand-alone package so I'm wondering if there is something more integrated with Haskell that I should be using |
| 15:56:45 | <yin[m]> | ... -> Maybe k |
| 15:56:49 | → | finsternis joins (~X@23.226.237.192) |
| 15:57:05 | <albet70> | [Maybe k] |
| 15:57:17 | <yin[m]> | that would work too |
| 15:57:29 | <dmj`> | Guest93: bytestring is a boot package, so its pretty well integrated |
| 15:57:36 | <geekosaur> | Guest93, Haskell doesn't do a monolithic base system, practically everything is an add-on package |
| 15:57:54 | <Guest93> | ok I will use bytestring |
| 15:58:10 | <Guest93> | [k] I think .. no need for Maybe when returning a list |
| 15:58:22 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 15:58:24 | <dmj`> | Guest93: you can use text too if your files are UTF8/16 encoded |
| 15:58:35 | <Guest93> | nah I don't want to assume that |
| 16:00:41 | <albet70> | yin[m] use snd to take out that value out of pair, then compare to get the key u want |
| 16:01:10 | → | Pickchea joins (~private@user/pickchea) |
| 16:01:25 | <dmj`> | :t \val xs -> fmap fst . listToMaybe . Data.Map.toList . Data.Map.filter (==val) |
| 16:01:26 | <lambdabot> | Eq b1 => b1 -> p -> M.Map b2 b1 -> Maybe b2 |
| 16:02:08 | <dmj`> | :t \val xs -> fmap fst . Data.Map.toList . Data.Map.filter (==val) |
| 16:02:09 | <lambdabot> | Eq b1 => b1 -> p -> M.Map b2 b1 -> [b2] |
| 16:02:29 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 16:03:05 | <yin[m]> | thqt seems terribly inefficient |
| 16:03:45 | <monochrom> | There is no log-time algorithm for your problem. |
| 16:04:06 | <s__> | yin[m] You need to maintain two maps |
| 16:04:12 | <albet70> | yes, inefficient, but it came first |
| 16:04:15 | <yin[m]> | isn't it? |
| 16:04:33 | <albet70> | dmj` is better |
| 16:05:50 | <monochrom> | But it is better to use list's filter (enjoys fusion) than Map's filter (compulsory intermediate binary search tree). |
| 16:06:15 | <dmj`> | has to be at least linear unless two maps are used, but two maps assumes a bijective relationship |
| 16:07:09 | <s__> | second map could be Map value (Set key) |
| 16:07:11 | <nshepperd2> | if you're just looking up a value (you don't need arbitrary a -> Bool) then a reverse lookup index will work |
| 16:07:46 | <monochrom> | a->Bool is very arbitrary |
| 16:07:57 | <monochrom> | Premature generalization is the root of premature optimization. |
| 16:09:30 | <albet70> | Eq a -> a? |
| 16:10:30 | <oso> | is there a way to force evaluation of a Data.Map at time of creation? I'm building a map to create search partitions and want the overhead of creation to be at time of definition and not during the first search |
| 16:10:51 | <oso> | I've tried Data.Map.Strict, BangPatterns, and DeepSeq to no avail |
| 16:11:35 | <EvanR> | Data.Map.Strict, then you need to make sure you evaluate the map itself to get the creation to happen |
| 16:12:15 | <EvanR> | like, you assign it to a strict field, or a bang patterned variable etc |
| 16:12:27 | <oso> | Okay I'll give it a shot, thanks! |
| 16:12:37 | → | [exa] joins (exa@user/exa/x-3587197) |
| 16:13:22 | <dmj`> | :t Control.Exception.evaluate . Control.DeepSeq.force . Data.Map.Strict.fromList |
| 16:13:24 | <lambdabot> | (Control.DeepSeq.NFData k, Control.DeepSeq.NFData a, Ord k) => [(k, a)] -> IO (M.Map k a) |
| 16:13:51 | <EvanR> | jeez |
| 16:13:59 | <monochrom> | But IO may not have been involved originally. |
| 16:14:06 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 16:14:08 | <Guest12> | I think it has to be |
| 16:14:15 | <Guest12> | there isn't really a concept of "order" outside IO |
| 16:14:33 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 16:14:33 | <monochrom> | You have the potential of creating an XY problem "now I need unsafePerformIO too". |
| 16:14:46 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 16:14:49 | <Guest12> | if you say "at creation", I don't know what that means outside IO |
| 16:15:32 | <oso> | the map lives inside a custom data type with other fields, when an instance is created is when I want the map constructed |
| 16:15:48 | → | hololeap joins (~hololeap@user/hololeap) |
| 16:15:54 | <EvanR> | yeah so a strict field |
| 16:16:10 | → | aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 16:16:27 | <monochrom> | Or the asker has the wrong mental model. |
| 16:16:54 | <EvanR> | Guest12 is still right that, 'when that instance is created' leads to another question |
| 16:17:17 | <Guest12> | if you want it evaluated the first time it's called, then i think you want a strict field. but this is still going to defer to the first time it's called |
| 16:17:48 | <monochrom> | Also, lazy evaluation has order and timeline too. |
| 16:17:50 | <Guest12> | if you want it pre-evaluated before it's called, I think you need to do that in IO |
| 16:18:02 | × | ahdyt quits (~ahdyt@36.80.188.104) (Quit: Client closed) |
| 16:18:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 240 seconds) |
| 16:19:22 | <monochrom> | One of {IO, threads, sparks} has to be involved before the question even matters. |
| 16:20:29 | <oso> | i suppose it really doesn't matter, the instance is meant to be used in batch processing so the cost is amortized over the size of the batch -- i just got frustrated having to run my tests twice to get the "actual" runtime cost of a search |
| 16:22:18 | <EvanR> | nah you should be able to compute the table ahead of time then use it |
| 16:22:38 | <EvanR> | just have to use the right shaped tool |
| 16:23:35 | <EvanR> | if you're in IO, use evaluate, for example |
| 16:24:32 | → | ahdyt joins (~ahdyt@36.80.188.104) |
| 16:25:10 | <ahdyt> | https://paste.tomsmeding.com/Q5GVfbeB |
| 16:25:11 | <ahdyt> | hi folks, is this what called cabal hell? |
| 16:26:17 | <sclv> | it was otherwise known as the "diamond dependency problem" like here https://stackoverflow.com/questions/25869041/whats-the-reason-behind-cabal-dependency-hell/25870174#25870174 |
| 16:26:44 | <sclv> | what you have is certainly some dependency problem, but its likely a much simpler and easier to resolve one |
| 16:26:50 | <davean> | ahdyt: no thats a direct conflict |
| 16:26:59 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:26:59 | <ahdyt> | okay? |
| 16:27:04 | <ahdyt> | how to fix that anyway? |
| 16:27:40 | <sclv> | in this case note the line: `(conflict: pkg-config package gobject-introspection-1.0>=1.32, not found in |
| 16:27:40 | <sclv> | the pkg-config database)` |
| 16:28:08 | <sclv> | that's nothing about haskell dependencies. that's about needing the system lib that provides that available |
| 16:28:22 | <sclv> | (and in particular, the -devel version of the lib with headers, etc) |
| 16:28:33 | <ahdyt> | ah okay so the c deps |
| 16:28:36 | <sclv> | you need to figure out what provides that and install it via apt-get or whatever your system package manager is |
| 16:31:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 16:32:42 | × | anandprabhu quits (~anandprab@94.202.243.198) (Remote host closed the connection) |
| 16:33:26 | → | __monty__ joins (~toonn@user/toonn) |
| 16:37:32 | × | jonathanx quits (~jonathan@94.234.33.210) (Ping timeout: 252 seconds) |
| 16:37:46 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 16:40:57 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 16:42:06 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 16:43:02 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 16:44:24 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 16:45:38 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 16:47:09 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 16:47:53 | → | Guest9 joins (~Guest9@103.250.145.129) |
| 16:48:25 | × | jonathanx quits (~jonathan@94.234.33.210) (Remote host closed the connection) |
| 16:48:42 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 16:50:11 | <hololeap> | i'm not sure what the name for it is, but there's a pattern where you make a type family in order to check a constraint over a type-level list |
| 16:50:27 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 16:50:34 | × | jonathanx quits (~jonathan@94.234.33.210) (Remote host closed the connection) |
| 16:50:44 | <hololeap> | is there a way to construct this so that the superclasses are inferred, because currently I have to list every single one when I use this |
| 16:51:36 | → | jonathanx joins (~jonathan@94.234.33.210) |
| 16:51:44 | × | jonathanx quits (~jonathan@94.234.33.210) (Client Quit) |
| 16:52:01 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 16:54:34 | × | ahdyt quits (~ahdyt@36.80.188.104) (Quit: Client closed) |
| 16:56:08 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:57:01 | <Guest12> | do you have a specific/minimal example of what you're trying to do? |
| 16:57:19 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:58:49 | <hololeap> | yeah |
| 16:59:09 | <hololeap> | http://sprunge.us/iEEXvk |
| 16:59:54 | → | ahdyt joins (~ahdyt@36.80.188.104) |
| 17:00:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:00:25 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 17:00:32 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 17:00:55 | <hololeap> | you can see that I have to explicitally that the Functor, Foldable, and Traversable constraints are satisfied in order to derive Traversable for ProductNF |
| 17:01:17 | <hololeap> | just stating that the Traversable constraint is satisfied doesn't imply the others here |
| 17:04:34 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 17:05:51 | × | Guest12 quits (~Guest12@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 17:07:14 | × | ahdyt quits (~ahdyt@36.80.188.104) (Quit: Client closed) |
| 17:07:57 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 17:08:35 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 17:09:45 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 17:10:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 17:10:55 | → | hiruji joins (~hiruji@user/hiruji) |
| 17:13:46 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 17:14:04 | → | hiruji joins (~hiruji@user/hiruji) |
| 17:17:05 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 17:17:53 | → | hiruji joins (~hiruji@user/hiruji) |
| 17:24:40 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 17:24:49 | → | hiruji` joins (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) |
| 17:25:05 | × | dyniec quits (~dyniec@mail.dybiec.info) (Quit: WeeChat 3.0) |
| 17:25:59 | × | hiruji` quits (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (Read error: Connection reset by peer) |
| 17:27:03 | → | hiruji joins (~hiruji@user/hiruji) |
| 17:32:59 | <dmj`> | hololeap: I don't think there's a way to derive all 3 in one go |
| 17:36:52 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 17:37:32 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 17:40:02 | <hololeap> | dmj`: do you know what limitation I'm running into here? GHC doesn't have a problem like this when things are derived normally |
| 17:40:22 | <hololeap> | oh, actually I think you misunderstand |
| 17:41:08 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 17:42:04 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 17:42:21 | <hololeap> | I was talking specifically about the the need for `(Constraints Functor (Bases ts), Constraints Foldable (Bases ts), ...) => Traversable (ProductNF ts)` |
| 17:42:26 | → | cheater joins (~Username@user/cheater) |
| 17:42:45 | <hololeap> | as opposed to just: `Constraints Traversable (Bases ts) => Traversable (ProductNF ts)` |
| 17:42:51 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 17:44:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:47:04 | <dmj`> | yea I'm not sure, I'd just use ConstraintKinds to combine them |
| 17:50:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 17:53:22 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 17:53:44 | × | peterhil quits (~peterhil@mobile-access-5672d5-10.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 17:56:14 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:58:54 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 18:07:12 | → | pavonia joins (~user@user/siracusa) |
| 18:07:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 18:09:18 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 18:09:41 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 18:12:10 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:13:08 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 18:16:16 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 18:17:26 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 18:24:38 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 18:25:40 | → | azeem joins (~azeem@176.200.251.23) |
| 18:26:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:26:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:27:27 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 18:28:16 | × | Guest9 quits (~Guest9@103.250.145.129) (Ping timeout: 268 seconds) |
| 18:29:03 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 18:30:00 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 18:30:59 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 18:33:48 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 18:37:17 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:39:39 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 18:40:12 | → | zmt00 joins (~zmt00@user/zmt00) |
| 18:42:46 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 18:43:54 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 18:46:25 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:46:42 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 18:46:59 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 18:50:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:51:46 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 18:55:33 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 18:58:21 | → | Pickchea joins (~private@user/pickchea) |
| 18:59:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 18:59:57 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 19:03:22 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 265 seconds) |
| 19:05:11 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection) |
| 19:06:06 | hiruji | is now known as armink |
| 19:07:00 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 19:10:29 | → | azeem joins (~azeem@176.200.251.23) |
| 19:12:16 | → | Guest77 joins (~Guest77@187.83.249.216.dyn.smithville.net) |
| 19:16:13 | × | nick8325 quits (~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Quit: Leaving.) |
| 19:16:26 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 19:17:13 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 19:20:53 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 19:22:40 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 19:24:19 | ← | smokey991 parts (sid369395@id-369395.brockwell.irccloud.com) () |
| 19:24:42 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 19:29:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 19:29:48 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 19:30:37 | × | Guest77 quits (~Guest77@187.83.249.216.dyn.smithville.net) (Ping timeout: 246 seconds) |
| 19:34:32 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 19:39:12 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 19:41:35 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds) |
| 19:45:29 | → | Guest3525 joins (~Guest35@187.83.249.216.dyn.smithville.net) |
| 19:47:33 | → | mthvedt joins (uid501949@id-501949.stonehaven.irccloud.com) |
| 19:47:53 | × | xff0x quits (~xff0x@2001:1a81:5298:1800:8236:5b72:ab69:e57) (Ping timeout: 255 seconds) |
| 19:48:00 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 272 seconds) |
| 19:48:48 | → | xff0x joins (~xff0x@2001:1a81:5298:1800:4b48:fc50:6a76:3d62) |
| 19:50:38 | → | azeem joins (~azeem@176.200.251.23) |
| 19:51:19 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 19:51:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 19:57:22 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 19:58:28 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 19:58:29 | → | Guest91 joins (~Guest91@pool-71-163-166-229.washdc.fios.verizon.net) |
| 19:59:05 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 19:59:33 | × | V quits (~v@anomalous.eu) (Ping timeout: 268 seconds) |
| 20:00:58 | → | azeem joins (~azeem@176.200.251.23) |
| 20:01:38 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 20:01:57 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 20:02:52 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 20:03:30 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 20:03:34 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 20:05:06 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 240 seconds) |
| 20:05:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 20:06:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:06:42 | → | juhp joins (~juhp@128.106.188.66) |
| 20:07:00 | <Guest3525> | so I have a bunch of monad transformers, each of which looks like data SomeMonadT m a = SomeMonadT { newthing :: SomeType, base :: m a }. I'm stacking a bunch of these and want to be able to reference each of their newthings without unpeeling |
| 20:07:19 | <Guest3525> | obviously I can do this with classes and all...but is there a library that lets me just not write out everything explicitly? |
| 20:12:04 | <davean> | Guest3525: Depends on what they are, because composition can be transformative. |
| 20:12:17 | <davean> | Guest3525: How much do these match 'mtl'> |
| 20:13:00 | <Guest3525> | bind literally just carries the newthings through, so the transformers should commute and all |
| 20:14:23 | <Clint> | so are they like ReaderT or StateT? |
| 20:14:38 | → | dyniec joins (~dyniec@mail.dybiec.info) |
| 20:15:39 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 20:15:45 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 20:15:55 | <davean> | Yah, if bind litterly carries them through then use which type class represents its semantics |
| 20:15:58 | <davean> | and you're done |
| 20:16:10 | <davean> | we have the type classes, and most of the liftings already |
| 20:16:27 | <davean> | though, in that case you should use the implimented ones and newtype it so you get the liftings, etc |
| 20:16:32 | <davean> | and then we ask why you even newtype it |
| 20:17:25 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 20:18:17 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 20:19:54 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 20:21:36 | × | Guest3525 quits (~Guest35@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 20:21:49 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 20:23:46 | chkno_ | is now known as chkno |
| 20:28:29 | → | acidjnk joins (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) |
| 20:30:46 | <sim590> | I have this simple example here: http://ix.io/3sHi (I have minimized as much as I could). I want to call function `someFunc2` which has three constraints on the monad. I manage to call `someFunc1` without issue. I can also call `someFunc3` since I removed the constraint on MonadState. But I can't call someFunc2. I don't know how. Any tips? |
| 20:32:14 | <sim590> | I'm getting these errors: http://ix.io/3sHk |
| 20:32:45 | armink | is now known as hiruji |
| 20:33:11 | <sim590> | There's something I don't understand well about transformers stack. I don't know what I should do here. |
| 20:35:17 | × | kenran quits (~kenran@200116b82b619d0007bee3441e0dba70.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 20:39:00 | × | martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 268 seconds) |
| 20:40:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 20:42:11 | <Guest93> | `genstr size nthf = (unfoldrN size (\a -> Just ((nthf a), (a + 1))) 0)` is this correct? is there a more idiomatic way to achieve this? |
| 20:47:16 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 20:50:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 20:51:47 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 20:55:38 | <monochrom> | sim590: Or perhaps it is simply $ being ineffective in saving parentheses, and if you wrote your own parentheses avoiding $, there would be no misunderstanding between you and the computer. |
| 20:56:05 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 20:56:19 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 20:57:46 | <sim590> | I'm not sure I understand where's the error. |
| 21:02:22 | <sim590> | I would expect this to work: http://ix.io/3sHt, but I get this: http://ix.io/3sHu. |
| 21:02:45 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:07:08 | × | xkuru quits (~xkuru@user/xkuru) (Remote host closed the connection) |
| 21:07:33 | → | xkuru joins (~xkuru@user/xkuru) |
| 21:08:38 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 21:08:45 | × | Guest91 quits (~Guest91@pool-71-163-166-229.washdc.fios.verizon.net) (Quit: Client closed) |
| 21:09:24 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 21:10:09 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 21:11:35 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 21:13:24 | <hololeap> | Guest93: you would know better than anyone if it's correct, because we don't know what you're trying to do. I assume it typechecks... |
| 21:14:34 | <monochrom> | Perhaps map nthf [0 .. n-1] |
| 21:14:40 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 21:14:46 | <hololeap> | yeah that seems more idiiomatic |
| 21:15:03 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 21:15:26 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 21:18:34 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 21:21:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:23:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 21:24:38 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 268 seconds) |
| 21:25:20 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 21:26:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 21:27:58 | → | hseg joins (~gesh@185.120.126.10) |
| 21:29:53 | <hseg> | am simulating sorted lists by a newtype on [] that checks (==) on the sorted version |
| 21:30:23 | <hseg> | but it appears that i can have x == y but HashSet.fromList x /= HashSet.fromList y this way |
| 21:31:23 | <monochrom> | That is fully expected of hash tables. |
| 21:31:32 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 21:31:32 | <Hecate> | yes |
| 21:31:34 | <hseg> | oh? |
| 21:32:03 | <hseg> | ah, because I didn't make sure to make them hash equally too? |
| 21:32:07 | <hseg> | oops |
| 21:32:31 | <hseg> | should've written the Hashable instance explicitly then |
| 21:32:58 | <monochrom> | No, because hash table "order" is expected to be full of flukes from artifacts of, e.g., history of insert and remove. |
| 21:34:40 | <hseg> | ok, sure, but I expect HashSet's Eq instance hides those artifacts? |
| 21:35:21 | <hseg> | docs explicitly state that while you may have x == y, their toList may differ by a permutation |
| 21:35:22 | <monochrom> | Err nevermind, misread. I was thinking toList. |
| 21:35:35 | <hseg> | yeah. i did a different dumb |
| 21:36:02 | <hseg> | of mixing self-defined and derived instances without checking inter-instance contracts |
| 21:37:37 | <hseg> | and yes, that fixed it |
| 21:38:09 | <monochrom> | :) |
| 21:38:38 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:38:47 | <hseg> | wish there was a way to reduce boilerplate on types ~ a / (a -> q) |
| 21:39:31 | <hseg> | basically, for every instance of a in negative position, map with the projection, then fall through to q's instance |
| 21:39:46 | <dexterfoo> | should the "stm-chans" package be used? is it still good? |
| 21:42:27 | <c_wraith> | it's a dependency of git-annex, so it's at least not causing problems for them |
| 21:43:38 | <hseg> | actually, guess you could do something like http://ix.io/3sHH and derive via Quotient s a for appropriate s |
| 21:44:07 | <hseg> | overengineered for my single use case, but a useful snippet |
| 21:47:48 | <hseg> | thanks! |
| 21:47:49 | × | hseg quits (~gesh@185.120.126.10) (Quit: WeeChat 3.2) |
| 21:50:05 | × | silverwhitefish quits (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 21:50:16 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 21:50:44 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 21:50:53 | silverwhitefish | is now known as Guest4772 |
| 21:53:52 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 21:53:52 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 21:54:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 21:54:47 | allbery_b | is now known as geekosaur |
| 22:02:15 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 252 seconds) |
| 22:05:29 | → | theproffesor joins (~theproffe@2601:282:847f:8010::3a29) |
| 22:08:54 | × | Guest4772 quits (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 22:11:21 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 22:13:50 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 22:16:50 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds) |
| 22:16:50 | <Atum_> | Hey, I'm trying to understand an example code from LYAH, it says that I can drop the xs parameter on: "sum' xs = foldl (\acc x -> acc + x) 0 xs" to be "sum' = foldl (\acc x -> acc + x)" |
| 22:17:14 | <geekosaur> | there should be a 0 at the end of that |
| 22:17:15 | <Atum_> | how does the xs parameter gets to the foldl, when I call "sum' [1,2,3]"? |
| 22:17:33 | <Atum_> | oh, yea, it was a typo |
| 22:17:34 | <geekosaur> | the xs is on the right of both sides so you can factor it out |
| 22:17:48 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 22:17:50 | <geekosaur> | haskell will still figure out it's needed |
| 22:17:56 | silverwhitefish | is now known as Guest1016 |
| 22:18:03 | <Atum_> | but wouldn't "sum' [1,2,3]" just ignore the parameter? |
| 22:18:07 | <dibblego> | I get this question a lot irl. I then defer to explaining that all functions in Haskell take exactly one argument, including foldl |
| 22:18:25 | <Atum_> | oh |
| 22:18:50 | <Atum_> | It would be something like this, in JS: "let a = () => arr => arr.reduce((acc, curr) => acc + curr, 0)" |
| 22:18:54 | <dibblego> | explaining that fact over IRC is a little more difficult |
| 22:19:02 | <Atum_> | so I would invoke it like a()([1, 2,3]) |
| 22:19:18 | ← | Guest1016 parts (~hidden@47.202.102.10) () |
| 22:19:19 | <dibblego> | here is the type of the only argument of foldl :: (b -> a -> a) |
| 22:19:30 | <dibblego> | here is its return type :: b -> [a] -> b |
| 22:20:11 | <Atum_> | hmm |
| 22:20:31 | <dibblego> | note that its return type is itself a function, and what do functions do? they take exactly one argument |
| 22:21:07 | <Atum_> | I see |
| 22:21:08 | <dibblego> | that function doesn't have a name |
| 22:21:24 | <dibblego> | but you could give it one if you applied foldl to an argument |
| 22:21:40 | <dibblego> | e.g. myfavouritename = foldl (\acc x -> acc + x) |
| 22:21:53 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 22:21:58 | <dibblego> | and follow that reasoning … I feel like I need a whiteboard at this point :) |
| 22:22:00 | <Atum_> | Got it, thanks dibblego :) |
| 22:22:13 | <Atum_> | Yea, makes sense what you said |
| 22:30:31 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 22:33:42 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 22:34:42 | × | theproffesor quits (~theproffe@2601:282:847f:8010::3a29) (Ping timeout: 240 seconds) |
| 22:36:11 | <koz> | If I want to generate a function definition like 'foo (A b c) = ... \n foo _ = ....' in TH, do I need to use FunD with two Clauses in the list, or two FunDs? |
| 22:36:50 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 22:37:44 | → | nchashch joins (~nchashch@37.204.243.148) |
| 22:38:03 | <janus> | aaah the \n is a newline. i thought it was a lambda and couldn't understand why you had two equals :P |
| 22:38:11 | <koz> | Yeah, my bad. |
| 22:38:28 | <koz> | I assume it's 'one FunD, two Clauses'. |
| 22:38:33 | <koz> | (immature giggle) |
| 22:39:52 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 22:40:51 | × | nchashch quits (~nchashch@37.204.243.148) (Client Quit) |
| 22:41:40 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 22:42:47 | <monochrom> | Yes one FunD. |
| 22:43:06 | <koz> | OK, that explains the weird errors I am getting. Thank you! |
| 22:43:55 | <monochrom> | Two FunDs would reproduce the classic beginner error of "at the REPL I entered f 0 = 0 then I entered f n = f (n-1)" |
| 22:44:44 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 22:49:20 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 22:51:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 22:51:53 | → | cheater joins (~Username@user/cheater) |
| 22:52:38 | → | hexfive joins (~eric@50.35.83.177) |
| 22:54:24 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 22:59:54 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 23:01:21 | → | retro_ joins (~retro@90.218.175.34) |
| 23:01:25 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 23:02:10 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 23:03:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 23:04:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 23:04:58 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 23:04:58 | × | retroid_ quits (~retro@90.218.175.34) (Ping timeout: 272 seconds) |
| 23:05:51 | → | retroid_ joins (~retro@90.218.175.34) |
| 23:06:14 | × | retro_ quits (~retro@90.218.175.34) (Ping timeout: 272 seconds) |
| 23:06:26 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 23:10:42 | × | retroid_ quits (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 23:11:08 | → | safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru) |
| 23:11:17 | ← | safinaskar parts (~user@109-252-90-89.nat.spd-mgts.ru) () |
| 23:12:14 | → | cjb joins (~cjb@user/cjb) |
| 23:12:43 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 23:12:44 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 23:15:20 | × | acidjnk quits (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 23:17:08 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 23:17:36 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 23:18:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:18:28 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 23:22:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:25:02 | ← | polykernel[m] parts (~polykerne@2001:470:69fc:105::ba04) () |
| 23:25:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:25:17 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 23:28:50 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 23:29:12 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 23:30:26 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 23:39:16 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 23:40:31 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 23:42:52 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 23:45:38 | → | infinisil joins (~infinisil@mail.infinisil.com) |
| 23:46:08 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 23:52:55 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:55:13 | × | mikail_ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 23:55:19 | × | infinisil quits (~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!) |
| 23:55:36 | → | mikail_ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 23:56:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 23:57:09 | → | infinisil joins (~infinisil@mail.infinisil.com) |
All times are in UTC on 2021-07-11.