Logs: freenode/#haskell
| 2021-04-19 21:57:39 | <sclv> | or rather with his group gone following his death |
| 2021-04-19 21:58:17 | <ski> | dmj` : "Note in particular that `makeStableName' may return a different `StableName' after an object is evaluated." <https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.15.0.0/System-Mem-StableName.html> |
| 2021-04-19 21:58:34 | <guy9> | you seem so knowledgeable on all of this |
| 2021-04-19 21:58:45 | <guy9> | I'm just some guy who picked up the book for the first time |
| 2021-04-19 21:59:32 | <ski> | (conceptually, you could think of this as `makeStableName' also reading and writing some other state (or, if you prefer, you can "explain it away" using indeterminacy) in the `IO', making it possibly give different results, when invoked (not called) on equal objects) |
| 2021-04-19 21:59:35 | <dmj`> | ski: that's super tricky |
| 2021-04-19 22:00:22 | <guy9> | what does your name mean, by the way, sclv |
| 2021-04-19 22:01:03 | dave_uy5 | is now known as dave_uy |
| 2021-04-19 22:01:24 | <ski> | i agree it's not really that easy to reason about the precise behaviour. however, at least it's possible to "explain away", like this (meaning it doesn't interfere, per se, with equational reasoning. it just makes it hard to get useful results when attempting to reason about it) |
| 2021-04-19 22:02:02 | <sclv> | its just a nick, means nothing |
| 2021-04-19 22:02:26 | × | malumore_ quits (~malumore@151.62.117.103) (Ping timeout: 240 seconds) |
| 2021-04-19 22:02:44 | ← | tatsumaru parts (~tatsumaru@85.196.189.103) () |
| 2021-04-19 22:03:02 | <guy9> | interesting |
| 2021-04-19 22:03:05 | <ski> | (in that, it's similar to e.g. `unsafeInterleaveIO' (as opposed to `unsafeInterleaveST',`unsafePerformIO',`reallyUnsafePtrEquality#')) |
| 2021-04-19 22:03:22 | <guy9> | the issue tracker is really helpful |
| 2021-04-19 22:05:03 | × | slack1256 quits (~slack1256@200-112-79-98.baf.movistar.cl) (Ping timeout: 268 seconds) |
| 2021-04-19 22:05:09 | ski | . o O ( PyCon Keynote by K. Lars Lohn in 2016 at <https://www.youtube.com/watch?v=bSfe5M_zG2s> ) |
| 2021-04-19 22:05:15 | <ski> | (apropos music and hackers) |
| 2021-04-19 22:06:48 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-19 22:07:46 | <guy9> | thanks ski ill watch that |
| 2021-04-19 22:10:32 | × | fiedlr quits (~fiedlr@83.148.33.254) (Read error: Connection reset by peer) |
| 2021-04-19 22:10:47 | <guy9> | I feel so much better after that, thank you sclv |
| 2021-04-19 22:11:04 | <guy9> | I feel like I know how to better troubleshoot now |
| 2021-04-19 22:11:13 | <dmj`> | ski: GHCJS implements makeStableName strictly |
| 2021-04-19 22:11:59 | × | st8less quits (~st8less@2603:a060:11fd:0:f652:5ff0:83f7:3be7) (Ping timeout: 260 seconds) |
| 2021-04-19 22:12:11 | ski | . o O ( specification indeterminacy ) |
| 2021-04-19 22:13:44 | <dmj`> | where's the GHC spec, couldn't find it :P |
| 2021-04-19 22:13:48 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-04-19 22:20:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-19 22:23:52 | × | LKoen quits (~LKoen@77.168.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-19 22:24:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-19 22:24:40 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-19 22:25:41 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-19 22:27:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-19 22:29:22 | × | s00pcan quits (~chris@107.181.165.217) (Read error: Connection reset by peer) |
| 2021-04-19 22:29:31 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-19 22:29:41 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-19 22:31:03 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-19 22:31:04 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-19 22:32:00 | → | elliott__ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-19 22:33:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-19 22:34:01 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-19 22:34:33 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-19 22:36:19 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-19 22:36:40 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-19 22:40:02 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
| 2021-04-19 22:40:29 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-19 22:40:33 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-19 22:46:29 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-19 22:50:06 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-19 22:50:30 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Quit: Leaving.) |
| 2021-04-19 22:54:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-19 22:56:11 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
| 2021-04-19 22:56:19 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-19 22:56:59 | <guy9> | I finally got what I needed up and running! Thank you everybody! Have a good day |
| 2021-04-19 23:00:18 | × | raichoo quits (~raichoo@dslb-178-009-065-077.178.009.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-19 23:00:19 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2021-04-19 23:01:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-19 23:03:31 | × | guy9 quits (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: Connection closed) |
| 2021-04-19 23:06:06 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-19 23:07:09 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-19 23:07:22 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-dagvmnchyestqbjc) |
| 2021-04-19 23:08:21 | × | zeenk quits (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!) |
| 2021-04-19 23:10:01 | → | chenin joins (bab7243e@186.183.36.62) |
| 2021-04-19 23:10:59 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-19 23:12:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-19 23:13:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-19 23:14:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-04-19 23:15:58 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 268 seconds) |
| 2021-04-19 23:16:10 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-19 23:18:24 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-19 23:18:42 | → | p0a joins (~user@unaffiliated/p0a) |
| 2021-04-19 23:19:21 | <p0a> | Hell does megaparsec look a bit like boost::spirit? I've never learned megaparsec but I'm currently learning the C++ library and I'm getting the feeling that they have a similar design |
| 2021-04-19 23:19:29 | <p0a> | Hello* |
| 2021-04-19 23:19:55 | <geekosaur> | parser combinator libraries will all look fairly similar |
| 2021-04-19 23:20:47 | <p0a> | alright, thanks. I thought that they had a similar approach to things, good to know it's called 'parser combinator'. There's also the type system involved |
| 2021-04-19 23:21:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-19 23:22:49 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-19 23:23:15 | × | sqrt2_ quits (~ben@unaffiliated/sqrt2) (Ping timeout: 265 seconds) |
| 2021-04-19 23:23:38 | → | jesystani joins (~thorn@2404:4404:17f1:4900:ec8c:5f5b:2c7a:5e7) |
| 2021-04-19 23:23:42 | <xsperry> | IIRC boost::spirit was inspired by original parsec. even some of the operators they use are the same, for example >> |
| 2021-04-19 23:24:22 | → | tatsumaru joins (~tatsumaru@85.196.189.103) |
| 2021-04-19 23:25:05 | <jesystani> | hello, i have a structure built up of lists, and im displaying a subset of those lists after transforming the larger structure. is there a way i can force evaluation of the entire structure? i believe my transformations are stacking up at the "edges" where im not printing |
| 2021-04-19 23:25:10 | <tatsumaru> | hey guys, what's the difference between ['h', 'e', 'l', 'l', 'o'] and ["h", "e", "l", "l", "o"] ? |
| 2021-04-19 23:25:10 | → | mason_ joins (~bc8134e3@217.29.117.252) |
| 2021-04-19 23:25:35 | <tatsumaru> | the first one evaluates as a string list and the second one as a collection of strings in a list |
| 2021-04-19 23:25:39 | <geekosaur> | the former is a list of Char, the latter a list of String (aka [Char]) |
| 2021-04-19 23:25:50 | <xsperry> | ['h', 'e', 'l', 'l', 'o'] is the same as "hello", ie, a list of chars, or String |
| 2021-04-19 23:26:15 | <p0a> | xsperry: oh! very interesting! I thought it went the other way around |
| 2021-04-19 23:26:19 | <geekosaur> | as it turns out Haskell's String type is just a list of Char, and the Show instance accordingly assumes any such list of Char is a String |
| 2021-04-19 23:26:23 | <mason_> | :t ['h', 'e', 'l', 'l', 'o'] |
| 2021-04-19 23:26:25 | <lambdabot> | [Char] |
| 2021-04-19 23:26:28 | <mason_> | :t ["h", "e", "l", "l", "o"] |
| 2021-04-19 23:26:29 | <lambdabot> | [[Char]] |
| 2021-04-19 23:26:59 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-19 23:27:49 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-19 23:28:03 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-19 23:28:22 | ← | chenin parts (bab7243e@186.183.36.62) () |
| 2021-04-19 23:28:34 | <tatsumaru> | so the first one is list of chars and the second one is a list of list of chars? |
| 2021-04-19 23:28:41 | <mason_> | yes |
All times are in UTC.