Logs: liberachat/#haskell
| 2021-07-02 13:21:32 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-02 13:25:47 | × | emergence quits (~emergence@vm0.max-p.me) (Quit: Ping timeout (120 seconds)) |
| 2021-07-02 13:25:58 | → | emergence joins (~emergence@vm0.max-p.me) |
| 2021-07-02 13:26:31 | <ph88_> | how can i run stack in a windows based container image so i can build windows binaries ? I saw microsoft released "nano server" very compact docker image |
| 2021-07-02 13:26:51 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 2021-07-02 13:30:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-02 13:34:18 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-02 13:34:55 | × | dunkeln quits (~dunkeln@188.70.10.165) (Ping timeout: 258 seconds) |
| 2021-07-02 13:39:31 | × | azeem quits (~azeem@176.201.7.53) (Ping timeout: 258 seconds) |
| 2021-07-02 13:40:45 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-07-02 13:41:24 | × | kuribas quits (~user@ptr-25vy0i8i8tlkx2f5u74.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-02 13:42:07 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 246 seconds) |
| 2021-07-02 13:42:58 | → | azeem joins (~azeem@176.201.38.107) |
| 2021-07-02 13:43:27 | <sshine> | ph88_, sounds like you could extend that docker image in a Dockerfile using 'FROM windows/nanoserver'? https://hub.docker.com/_/microsoft-windows-nanoserver |
| 2021-07-02 13:44:22 | <sshine> | ph88_, I don't know how you'd install things in nanoserver; presumably you might COPY in a stack executable. |
| 2021-07-02 13:45:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-02 13:47:56 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-02 13:48:28 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 13:49:27 | <ph88_> | sshine, thanks, ye could be as simple as that .. Just like to know if someone has already done it before and has a template/Dockerfile example |
| 2021-07-02 13:49:38 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-02 13:49:58 | → | dunkeln joins (~dunkeln@188.70.10.165) |
| 2021-07-02 13:51:35 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-02 13:52:40 | phma_ | is now known as phma |
| 2021-07-02 13:52:42 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-07-02 13:53:22 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 13:57:55 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-07-02 13:58:49 | <gentauro> | sshine: do you know if you need a licenses for the win-nanoserver? |
| 2021-07-02 13:59:07 | <gentauro> | btw, det er begyndt at regne igen igen :( |
| 2021-07-02 14:02:25 | <shapr> | ÄR DU INTE FÖRVÅNAD? |
| 2021-07-02 14:04:50 | <shapr> | it's been raining for two days here |
| 2021-07-02 14:05:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-02 14:05:30 | → | mpt joins (~tom@p57a56d37.dip0.t-ipconnect.de) |
| 2021-07-02 14:08:25 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-07-02 14:11:18 | → | stevenxl_ joins (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
| 2021-07-02 14:11:33 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) |
| 2021-07-02 14:12:03 | × | stevenxl quits (~stevenlei@68.235.43.101) (Read error: Connection reset by peer) |
| 2021-07-02 14:12:11 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-02 14:12:14 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-02 14:12:16 | <shapr> | hej hopp gentauro |
| 2021-07-02 14:12:19 | → | fendor_ joins (~fendor@77.119.220.92.wireless.dyn.drei.com) |
| 2021-07-02 14:12:26 | → | slack1256 joins (~slack1256@181.203.95.42) |
| 2021-07-02 14:12:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-02 14:12:45 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-02 14:13:38 | <slack1256> | exit |
| 2021-07-02 14:13:50 | <shapr> | slack1256: bye! |
| 2021-07-02 14:13:55 | <shapr> | we'll miss you! |
| 2021-07-02 14:13:56 | <slack1256> | sorry lol |
| 2021-07-02 14:14:03 | × | slack1256 quits (~slack1256@181.203.95.42) (Remote host closed the connection) |
| 2021-07-02 14:14:37 | × | fendor quits (~fendor@77.119.218.107.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2021-07-02 14:14:58 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2021-07-02 14:15:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Ping timeout: 240 seconds) |
| 2021-07-02 14:15:56 | × | stevenxl_ quits (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-02 14:16:13 | → | stevenxl joins (~stevenlei@68.235.43.101) |
| 2021-07-02 14:16:44 | → | egoist joins (~egoist@186.235.80.194) |
| 2021-07-02 14:17:39 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-02 14:18:58 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-02 14:20:02 | × | mpt quits (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-07-02 14:21:41 | → | mpt joins (~tom@p57a56d37.dip0.t-ipconnect.de) |
| 2021-07-02 14:24:04 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-02 14:25:06 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9504558b1d2f6b7134fe.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-07-02 14:25:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2021-07-02 14:29:51 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-02 14:30:48 | × | azeem quits (~azeem@176.201.38.107) (Ping timeout: 272 seconds) |
| 2021-07-02 14:31:27 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 14:31:31 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-02 14:32:32 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-02 14:35:35 | × | np quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-07-02 14:36:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-02 14:36:30 | × | mpt quits (~tom@p57a56d37.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-07-02 14:36:51 | → | berberman_t joins (~berberman@2001:470:69fc:105::b488) |
| 2021-07-02 14:37:46 | → | azeem joins (~azeem@176.201.38.107) |
| 2021-07-02 14:38:30 | × | berberman_t quits (~berberman@2001:470:69fc:105::b488) (Client Quit) |
| 2021-07-02 14:39:28 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-02 14:41:52 | <boxscape> | If I have a data type with two constructors that share some record fields, is ghc smart enough to not check which constructor it is when I access one of those fields? |
| 2021-07-02 14:43:21 | → | zyklotomic joins (~ethan@2604:a880:800:10::79f:8001) |
| 2021-07-02 14:44:24 | <zyklotomic> | question of "what GHC extension am I looking for" |
| 2021-07-02 14:44:44 | <zyklotomic> | what if I want to apply a typeclas constraint to a data variable |
| 2021-07-02 14:45:11 | <zyklotomic> | like data Thing (Show a => a) = _ |
| 2021-07-02 14:45:30 | × | tose quits (~tose@ip-85-160-2-70.eurotel.cz) (Ping timeout: 252 seconds) |
| 2021-07-02 14:45:31 | <zyklotomic> | so we can only have Thing a's where a is of Show |
| 2021-07-02 14:46:58 | <geekosaur> | doesn't that need GADTs? (there's DataTypeContexts but that applies only when creating values and doesn't bring the constraint into scope later) |
| 2021-07-02 14:48:07 | <zyklotomic> | i think so, but that's the hard thing with extensions for me |
| 2021-07-02 14:48:16 | <zyklotomic> | the idea is usually abstract and hard to just look for online |
| 2021-07-02 14:48:51 | <SoF> | hi! I wanted to ask if Haskell can memoize function calls? so if I call <pure expensive function> a bunch of times with the same argument, under which circumstances does it memoize? |
| 2021-07-02 14:49:07 | <SoF> | as an example, in list comprehensions with the expensive function call as the 2nd generator it doesn't seem to memoize |
| 2021-07-02 14:49:40 | <SoF> | "genQueens k = [q:qs | qs <- genQueens (k-1), q <- [1..n] , test q qs]" - if I put genQueens as the rightmost generator instead, it takes a lot longer to compute |
| 2021-07-02 14:50:47 | <zyklotomic> | like there are a few ways |
| 2021-07-02 14:51:04 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-02 14:51:10 | <zyklotomic> | and one is to counter-intuitively *not* memoize, and rewrite to take advantage of lazy evaluation |
| 2021-07-02 14:51:20 | <zyklotomic> | kinda a weird answer i know |
| 2021-07-02 14:51:51 | <zyklotomic> | but since they are pure, you could also use the hack that is unsafePerformIO to store results I think, but i feel bad for suggesting that |
| 2021-07-02 14:51:52 | <SoF> | hmm |
| 2021-07-02 14:51:55 | <NinjaTrappeur> | https://wiki.haskell.org/Memoization |
| 2021-07-02 14:52:28 | <SoF> | NinjaTrappeur: sorry I'm talking about what GHC does, not what I can do myself |
| 2021-07-02 14:52:51 | <NinjaTrappeur> | ah ok. Not that I'm aware of. |
| 2021-07-02 14:53:04 | <zyklotomic> | or just manually memoize yourself with a Map like you would in other languages i guess |
| 2021-07-02 14:53:13 | <zyklotomic> | oh i think i might have misunderstood too then |
| 2021-07-02 14:53:45 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-55.prtc.net) |
| 2021-07-02 14:55:01 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-07-02 14:55:22 | <SoF> | it seems to me in the loop body of "q <- [1..n]" the genQueens call should be able to be memoized by GHC across loop iterations, but I want to find out why it doesn't do that |
All times are in UTC.