Logs: liberachat/#haskell
| 2021-06-05 15:41:39 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-05 15:42:51 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 245 seconds) |
| 2021-06-05 15:43:01 | <ski> | (i wonder if there'd be any "interesting" interactions with nonstrictness) |
| 2021-06-05 15:43:06 | → | ddellacosta joins (~ddellacos@89.46.62.123) |
| 2021-06-05 15:43:30 | → | ddellaco_ joins (~ddellacos@86.106.143.144) |
| 2021-06-05 15:44:01 | → | bin_ joins (~bin@user/bin/x-1583188) |
| 2021-06-05 15:44:46 | × | _bin quits (~bin@user/bin/x-1583188) (Ping timeout: 268 seconds) |
| 2021-06-05 15:45:26 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-05 15:45:58 | × | henninb quits (~henninb@63-226-165-91.mpls.qwest.net) (Remote host closed the connection) |
| 2021-06-05 15:46:18 | → | junkicide joins (~user@2a01:e0a:195:20c0:a95e:73ee:468d:e1b6) |
| 2021-06-05 15:46:49 | <junkicide> | is there some value x in haskell such that x:l == l for any list l? |
| 2021-06-05 15:47:12 | <geekosaur> | no |
| 2021-06-05 15:47:30 | <ski> | a list could always be empty |
| 2021-06-05 15:47:51 | × | ddellacosta quits (~ddellacos@89.46.62.123) (Ping timeout: 268 seconds) |
| 2021-06-05 15:48:05 | <janus> | sounds like a homework question ;) |
| 2021-06-05 15:48:07 | <ski> | (and `x:l' is never empty) |
| 2021-06-05 15:48:18 | × | ddellaco_ quits (~ddellacos@86.106.143.144) (Ping timeout: 264 seconds) |
| 2021-06-05 15:49:09 | <monochrom> | I don't know whether you mean "(there is x such that ...) for any l" or "there is x such that (... for any l)". |
| 2021-06-05 15:49:40 | <junkicide> | lol janus it's not a homework question, i thought something like that could be useful for a program i'm trying to write |
| 2021-06-05 15:50:01 | <boxscape> | ski: or is it :P https://gitlab.haskell.org/ghc/ghc/-/issues/19917 |
| 2021-06-05 15:50:17 | <boxscape> | ski to be fair that's an optimization that makes it appear empty, it's not actually |
| 2021-06-05 15:50:50 | <monochrom> | An error message that says "OK" :) |
| 2021-06-05 15:51:11 | <monochrom> | A fire situation that says "this is fine" :) |
| 2021-06-05 15:51:16 | <boxscape> | hah |
| 2021-06-05 15:51:20 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-06-05 15:51:35 | × | pe200012 quits (~pe200012@120.236.162.25) (Ping timeout: 265 seconds) |
| 2021-06-05 15:51:45 | <[exa]> | one loud way to report success. :D |
| 2021-06-05 15:52:16 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-05 15:53:59 | → | mpt joins (~tom@p57a566f5.dip0.t-ipconnect.de) |
| 2021-06-05 15:55:39 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 2021-06-05 15:58:50 | × | mpt quits (~tom@p57a566f5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2021-06-05 16:01:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 16:03:02 | <janus> | junkicide: but if you know that List defines its own Eq instance and that (:) is the list constructor, then it can't be true... i just thought knowing that is very basic |
| 2021-06-05 16:03:18 | <janus> | maybe i am missing some subtlety of your question |
| 2021-06-05 16:04:43 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-05 16:15:07 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-05 16:15:12 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-05 16:15:36 | × | AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 268 seconds) |
| 2021-06-05 16:16:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-05 16:16:32 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 2021-06-05 16:17:18 | → | ddellacosta joins (~ddellacos@89.46.62.157) |
| 2021-06-05 16:20:02 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 252 seconds) |
| 2021-06-05 16:21:41 | × | ddellacosta quits (~ddellacos@89.46.62.157) (Ping timeout: 252 seconds) |
| 2021-06-05 16:22:42 | → | danidiaz joins (~ESDPC@137.101.155.105) |
| 2021-06-05 16:26:31 | → | eggplant_ joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 16:27:01 | × | maerwald quits (~maerwald@user/maerwald) (Ping timeout: 272 seconds) |
| 2021-06-05 16:29:14 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:a54f:2e66:1417:26d8) (Ping timeout: 244 seconds) |
| 2021-06-05 16:32:10 | × | leungbk quits (~user@2603-8000-1201-2dd2-dec4-9dba-549e-1771.res6.spectrum.com) (Remote host closed the connection) |
| 2021-06-05 16:32:45 | → | leungbk joins (~user@cpe-142-129-149-172.socal.res.rr.com) |
| 2021-06-05 16:35:02 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-05 16:35:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-05 16:35:45 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 2021-06-05 16:36:53 | → | monochrom joins (~trebla@216.138.220.146) |
| 2021-06-05 16:37:59 | → | arjun joins (~user@user/arjun) |
| 2021-06-05 16:38:17 | <arjun> | am i missing something with documentation of hackage packages ? : P |
| 2021-06-05 16:38:36 | <arjun> | by missing i mean, i really can't find any documentation : P |
| 2021-06-05 16:39:20 | <c_wraith> | what package? |
| 2021-06-05 16:39:29 | <geekosaur> | anything dependent on a C library only has documentation if it's been uploaded, for one |
| 2021-06-05 16:39:30 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-05 16:41:01 | <arjun> | https://hackage.haskell.org/package/filepath ? |
| 2021-06-05 16:41:52 | <c_wraith> | Docs look pretty good to me |
| 2021-06-05 16:42:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-05 16:42:16 | <c_wraith> | The primary entry point to the documentation is the "Modules" section |
| 2021-06-05 16:42:27 | <geekosaur> | looks documented to me, with the caveat that the top level module just reexports the platform version and therefore just has an indirection |
| 2021-06-05 16:43:13 | <c_wraith> | and even that re-export behavior is documented on the top-level page |
| 2021-06-05 16:44:48 | ← | enzotib parts (~enzotib@user/enzotib) () |
| 2021-06-05 16:45:25 | <arjun> | c_wraith: do i click the index button there? |
| 2021-06-05 16:45:50 | <arjun> | i am mostly looking for what types it has, what functions it has and how do i use those functions? |
| 2021-06-05 16:45:53 | <c_wraith> | that will give you the index. that's great for finding stuff, but not the primary docs |
| 2021-06-05 16:45:58 | <c_wraith> | click on a module name |
| 2021-06-05 16:46:33 | <arjun> | https://hackage.haskell.org/package/filepath-1.4.2.1/docs/System-FilePath.html |
| 2021-06-05 16:46:49 | <arjun> | looks like a re-export. so i clicked again |
| 2021-06-05 16:47:01 | <arjun> | got me here:- https://hackage.haskell.org/package/filepath-1.4.2.1/docs/System-FilePath-Posix.html |
| 2021-06-05 16:47:04 | <c_wraith> | the second sentence on that page is "Both System.FilePath.Posix and System.FilePath.Windows provide the same interface. See either for examples and a list of the available functions" |
| 2021-06-05 16:47:25 | <c_wraith> | Like, as far as documentation goes, I'd say that's really important information |
| 2021-06-05 16:47:25 | <arjun> | c_wraith: yea, i caught that |
| 2021-06-05 16:47:27 | × | maerwald quits (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-06-05 16:47:28 | → | maerwald joins (~maerwald@user/maerwald) |
| 2021-06-05 16:48:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-05 16:49:30 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-05 16:49:42 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-05 16:50:18 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-05 16:50:28 | → | ddellacosta joins (~ddellacos@86.106.143.53) |
| 2021-06-05 16:53:19 | <Hanicef> | is it common to use `do` a lot when writing IO-heavy code? |
| 2021-06-05 16:53:27 | <c_wraith> | yes |
| 2021-06-05 16:53:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-05 16:53:46 | <Hanicef> | ok, that's reassuring to hear |
| 2021-06-05 16:54:30 | × | ddellacosta quits (~ddellacos@86.106.143.53) (Ping timeout: 245 seconds) |
| 2021-06-05 16:54:43 | → | samhh joins (~samhh@90.252.97.14) |
| 2021-06-05 16:54:54 | <maerwald> | I >>= only >>= use >>= monad >>= bind |
| 2021-06-05 16:55:03 | <maerwald> | because >>= it's >>= more >>= readable |
| 2021-06-05 16:55:06 | <yushyin> | the alternative would be to use a lot of >>= and hardly anyone wants to do that, right? |
| 2021-06-05 16:55:14 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 252 seconds) |
| 2021-06-05 16:55:15 | <yushyin> | ok maerwald wants to :D |
| 2021-06-05 16:55:35 | <maerwald> | yushyin: I have key macros for >>= and =<< :p |
| 2021-06-05 16:55:39 | <maerwald> | so I don't mind |
| 2021-06-05 16:56:03 | <Hanicef> | yushyin: yeah, that's what i was worried about; it's useful at times, but when there are +8 functions chained together and not always taking the result as the last argument, it becomes kinda messy and not very readable |
| 2021-06-05 16:57:43 | → | motte joins (~weechat@82.131.67.98.cable.starman.ee) |
| 2021-06-05 16:59:43 | × | hexo quits (~hexo@user/hexo) (Ping timeout: 244 seconds) |
| 2021-06-05 16:59:44 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 265 seconds) |
All times are in UTC.