Logs: liberachat/#haskell
| 2021-07-29 13:36:11 | <lambdabot> | *Exception: Prelude.undefined |
| 2021-07-29 13:36:13 | <zzz> | > map fst $ zipLazy [0..7] undefined |
| 2021-07-29 13:36:15 | <lambdabot> | error: |
| 2021-07-29 13:36:15 | <lambdabot> | Variable not in scope: zipLazy :: [a0] -> t0 -> [(b, b0)] |
| 2021-07-29 13:36:20 | <zzz> | > map fst $ Util.zipLazy [0..7] undefined |
| 2021-07-29 13:36:21 | <lambdabot> | error: |
| 2021-07-29 13:36:21 | <lambdabot> | Not in scope: ‘Util.zipLazy’ |
| 2021-07-29 13:36:22 | <lambdabot> | No module named ‘Util’ is imported. |
| 2021-07-29 13:36:30 | <zzz> | how do i do this? |
| 2021-07-29 13:37:04 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-29 13:37:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-29 13:38:11 | <zzz> | % map fst $ Util.zipLazy [0..7] undefined |
| 2021-07-29 13:38:11 | <yahb> | zzz: ; <interactive>:27:11: error:; Not in scope: `Util.zipLazy'; No module named `Util' is imported. |
| 2021-07-29 13:38:19 | <zzz> | oh well |
| 2021-07-29 13:38:43 | × | qbt quits (~edun@user/edun) (Ping timeout: 258 seconds) |
| 2021-07-29 13:39:01 | <Drew[m]> | zzz: So I'm not sure I've ever encountered such a situation, but imagine a hypothetical situation where you have a list defined by a computation that must do a lot of work just to determine whether the list is empty or not, but for whatever reason you know ahead of time that not only will the list not be empty, it will be longer than the first list you give to `zipLazy`. Under this situation you could avoid having to do that work while still |
| 2021-07-29 13:39:02 | <Drew[m]> | being able to extract the fst values of the zipped list |
| 2021-07-29 13:39:54 | <zzz> | the point is zipLazy works here but I can't imagine a situation where that's useful |
| 2021-07-29 13:40:02 | <zzz> | Drew[m]: zip works fine for that |
| 2021-07-29 13:40:24 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-07-29 13:40:57 | <zzz> | oh i see now |
| 2021-07-29 13:41:05 | <Drew[m]> | You can't access any values of the zipped list with `zip` without first case matching both lists to make sure neither is empty though, right? |
| 2021-07-29 13:41:20 | <zzz> | yes i see what you mean |
| 2021-07-29 13:41:22 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-07-29 13:42:30 | <zzz> | that is a very weird hypothetical though. if the list is empty you'll end up with an error as soon as you try to evaluate it |
| 2021-07-29 13:43:00 | <zzz> | and why would you zip something you have no intention of evaluating? |
| 2021-07-29 13:43:24 | <zzz> | but i see now |
| 2021-07-29 13:43:30 | <Drew[m]> | I'd love to hear what the situation was that made someone put it in the `ghc` package |
| 2021-07-29 13:43:57 | <Drew[m]> | I guess that implies that it's used in GHC somewhere |
| 2021-07-29 13:44:46 | <zzz> | there's also a zipWithLazy |
| 2021-07-29 13:44:49 | <zzz> | which is scary |
| 2021-07-29 13:46:17 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-29 13:46:48 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-29 13:48:39 | <Toast52> | actually i got a question |
| 2021-07-29 13:48:57 | <Toast52> | often theres some helper function that I realise is in the GHC library |
| 2021-07-29 13:49:34 | <Toast52> | e.g. IIRC theres applyN and some others |
| 2021-07-29 13:49:45 | → | Brianmancer joins (~Neuromanc@user/briandamag) |
| 2021-07-29 13:50:24 | <Toast52> | if I import the GHC library does that inflate my binary with the entire size of GHC |
| 2021-07-29 13:50:30 | <geekosaur> | yes |
| 2021-07-29 13:55:42 | <Toast52> | right. I figured. thanks a lot! |
| 2021-07-29 13:56:18 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-29 13:57:16 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-29 13:58:49 | → | zelmac joins (~zelmac@host86-188-117-120.range86-188.btcentralplus.com) |
| 2021-07-29 14:00:33 | → | oni123 joins (~oni123@cpe-70-121-244-14.neb.res.rr.com) |
| 2021-07-29 14:03:24 | → | Obo joins (~roberto@94.191.137.235.mobile.tre.se) |
| 2021-07-29 14:03:38 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-29 14:05:55 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95075c335839612ea8d0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-07-29 14:06:31 | × | kuribas quits (~user@ptr-25vy0i6v77tuc30f7h8.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-29 14:10:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 14:10:24 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 14:10:40 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-29 14:11:17 | → | chomwitt joins (~chomwitt@athedsl-32041.home.otenet.gr) |
| 2021-07-29 14:11:52 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-29 14:12:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-29 14:13:49 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-29 14:14:01 | × | oni123 quits (~oni123@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed) |
| 2021-07-29 14:14:48 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-29 14:14:56 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-29 14:14:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 14:15:24 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 14:15:33 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-29 14:15:50 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-29 14:20:32 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-29 14:20:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 14:21:17 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 14:23:37 | → | jippiedoe joins (~david@84-84-122-154.fixed.kpn.net) |
| 2021-07-29 14:24:08 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-07-29 14:25:07 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-29 14:25:13 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-29 14:26:23 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-29 14:26:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-29 14:27:36 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-29 14:28:20 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-29 14:30:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 14:31:45 | → | motle joins (~motle@cpc103048-sgyl39-2-0-cust506.18-2.cable.virginm.net) |
| 2021-07-29 14:31:53 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 14:32:07 | <motle> | hi, im trying to get some graphics applications running in windows |
| 2021-07-29 14:32:35 | <motle> | iv been trying to build gtk or opengl (inc freeglut) |
| 2021-07-29 14:32:42 | × | jippiedoe quits (~david@84-84-122-154.fixed.kpn.net) (Remote host closed the connection) |
| 2021-07-29 14:32:49 | <motle> | using msys, or ubuntu on wsl |
| 2021-07-29 14:33:22 | <motle> | i found a common dependency with lesah, which wont build either for the same reason |
| 2021-07-29 14:33:40 | <motle> | it fails at; pacman -S mingw-w64-x86_64-webkitgtk3 |
| 2021-07-29 14:34:56 | <motle> | this apparently according to some thread i cant find anymore "no longer works, and has been depreciated" |
| 2021-07-29 14:35:13 | <motle> | this seems like it affects most of the haskell graphics ecosystem on windows |
| 2021-07-29 14:35:39 | <motle> | does anyone have a currently working windows setup for GUIs or graphics? |
| 2021-07-29 14:35:58 | <motle> | leksah* |
| 2021-07-29 14:36:45 | <motle> | anyway, that depreciated library is from msys - which was the windows way to build the graphics library dependencies like with unix |
| 2021-07-29 14:37:05 | <motle> | not sure whats up with wsl, couldnt fathom the x-forwarding i think... |
| 2021-07-29 14:37:32 | <motle> | i think this means cairo is broken on windows too, as well as gloss |
| 2021-07-29 14:37:40 | → | sedeki joins (~textual@user/sedeki) |
| 2021-07-29 14:38:02 | <motle> | though mostly this problem is encountered when trying to build gtk |
| 2021-07-29 14:38:06 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-29 14:38:06 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-29 14:38:16 | <motle> | which on windows i think is totally dead |
| 2021-07-29 14:39:22 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-29 14:39:30 | <motle> | cant get any of the solutions such as freeglut to work either - probably if anyone has up to date installation instructions for this it might work - considering building from source, but with just putting the dlls it seems to break |
| 2021-07-29 14:40:18 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-29 14:42:34 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-07-29 14:43:35 | <Toast52> | does msys link with window's opengl32.dll |
| 2021-07-29 14:43:53 | <Toast52> | or does it come with its own set of shared libs |
All times are in UTC.