| 2021-12-04 00:01:01 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-12-04 00:02:20 +0000 | zebrag | (~chris@user/zebrag) (Client Quit) |
| 2021-12-04 00:07:20 +0000 | xff0x | (~xff0x@2001:1a81:5394:4100:8386:5ae4:51fd:795) (Ping timeout: 252 seconds) |
| 2021-12-04 00:07:20 +0000 | tito | (tito@tilde.team) (Ping timeout: 252 seconds) |
| 2021-12-04 00:07:33 +0000 | seanparsons | (~seanparso@cpc158525-gill21-2-0-cust151.20-1.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-12-04 00:07:50 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-12-04 00:08:51 +0000 | tito | (tito@tilde.team) |
| 2021-12-04 00:12:21 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 00:12:50 +0000 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 2021-12-04 00:14:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2021-12-04 00:16:55 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2021-12-04 00:18:41 +0000 | OscarZ | (~oscarz@95.175.104.170) (Quit: Leaving) |
| 2021-12-04 00:19:45 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 00:20:16 +0000 | xff0x | (~xff0x@2001:1a81:53c9:fe00:390a:f606:2045:4876) |
| 2021-12-04 00:22:46 +0000 | pfurla | (~pfurla@2804:14d:5c81:4104:5084:9b62:332c:deab) |
| 2021-12-04 00:25:29 +0000 | tito | (tito@tilde.team) (Ping timeout: 252 seconds) |
| 2021-12-04 00:26:10 +0000 | tito | (tito@tilde.team) |
| 2021-12-04 00:28:28 +0000 | <yin> | what is this error: https://paste.jrvieira.com/1638577678818 ? |
| 2021-12-04 00:29:32 +0000 | <mrianbloom> | Random question: does anyone know how to create a top level FFI declaration using ghc-source-gen, I just spent an hour looking through the docs and I can't figure it out. |
| 2021-12-04 00:30:30 +0000 | <boxscape_> | yin you've enabled OverloadedLists and it doesn't know what kind of list it's supposed to be using |
| 2021-12-04 00:30:38 +0000 | <boxscape_> | one solution is to add a type signature |
| 2021-12-04 00:30:50 +0000 | <dsal> | Oh, OverloadedLists occasionally makes something better. |
| 2021-12-04 00:30:58 +0000 | <dsal> | It often makes things worse. |
| 2021-12-04 00:31:19 +0000 | <yin> | add a type signature to what? |
| 2021-12-04 00:31:23 +0000 | <yin> | :t '0' |
| 2021-12-04 00:31:24 +0000 | <lambdabot> | Char |
| 2021-12-04 00:31:38 +0000 | <dsal> | What's the [] part? |
| 2021-12-04 00:31:46 +0000 | <dsal> | That's what it's complaining about. |
| 2021-12-04 00:31:57 +0000 | <boxscape_> | to the list, so (∈ (['0','1'] :: [Char])) or similar |
| 2021-12-04 00:32:02 +0000 | <yin> | ah! i forgot i was using OverloadedLists |
| 2021-12-04 00:32:08 +0000 | yin | facepalms |
| 2021-12-04 00:32:24 +0000 | <dsal> | % :t ['x'] |
| 2021-12-04 00:32:25 +0000 | <yahb> | dsal: (IsList l, Item l ~ Char) => l |
| 2021-12-04 00:32:25 +0000 | <boxscape_> | yin if you're using a plain old list you can also write "01" instead of ['0', '1'] |
| 2021-12-04 00:33:46 +0000 | <dsal> | % [1, 2, 2, 3, 4, 5, 6,7,7] :: S.Set |
| 2021-12-04 00:33:47 +0000 | <yahb> | dsal: ; <interactive>:6:30: error:; * Expecting one more argument to `S.Set'; Expected a type, but `S.Set' has kind `* -> *'; * In an expression type signature: S.Set; In the expression: [1, 2, 2, 3, ....] :: S.Set; In an equation for `it': it = [1, 2, 2, ....] :: S.Set |
| 2021-12-04 00:33:51 +0000 | <dsal> | % [1, 2, 2, 3, 4, 5, 6,7,7] :: S.Set Int |
| 2021-12-04 00:33:51 +0000 | <yahb> | dsal: fromList [1,2,3,4,5,6,7] |
| 2021-12-04 00:34:04 +0000 | <dsal> | Rarely worth it for me. |
| 2021-12-04 00:35:11 +0000 | <boxscape_> | I imagine it's especially annoying that you can't do something like `traverse_ print [1,2,3]` anymore |
| 2021-12-04 00:38:28 +0000 | <yin> | boxscape_: i'm als using OverloadedStrings :D |
| 2021-12-04 00:38:46 +0000 | <boxscape_> | yin that on the other hand is quite useful imo |
| 2021-12-04 00:38:54 +0000 | <yin> | yes |
| 2021-12-04 00:39:03 +0000 | <geekosaur> | but OverloadedStrings won't cause a problem there I think |
| 2021-12-04 00:39:13 +0000 | <geekosaur> | because only one type will make sense |
| 2021-12-04 00:39:27 +0000 | <boxscape_> | hmm i'm not sure |
| 2021-12-04 00:39:35 +0000 | <dsal> | If you didn't have overloaded strings, the "01" thing would be unambiguous. |
| 2021-12-04 00:40:00 +0000 | <boxscape_> | geekosaur I think it just knows that it must be a Foldable Stringy type |
| 2021-12-04 00:40:34 +0000 | <boxscape_> | there could be more than one type fulfilling that |
| 2021-12-04 00:41:18 +0000 | <geekosaur> | mm, but won't Foldable default to [], thus forcing String? |
| 2021-12-04 00:41:25 +0000 | <geekosaur> | hm, only in ghci I guess |
| 2021-12-04 00:41:28 +0000 | <boxscape_> | yeah |
| 2021-12-04 00:41:45 +0000 | <boxscape_> | and the instance is defined as `a ~ Char => IsString [a]`, so it can't infer from Char either |
| 2021-12-04 00:42:25 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-12-04 00:47:16 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) |
| 2021-12-04 00:47:48 +0000 | bbear72 | (~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) (Quit: Client closed) |
| 2021-12-04 00:51:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-12-04 00:51:54 +0000 | <yin> | sorry i had to get away for a bit. i actually previously had "01" and it was ambiguous, it told me something alnog the lines of "there are 3 possible candidates: String and two other types that are out of scope" |
| 2021-12-04 00:52:35 +0000 | <yin> | i know Text but what's the other? |
| 2021-12-04 00:53:32 +0000 | <geekosaur> | there's still a bad ByteString instance iirc |
| 2021-12-04 00:54:11 +0000 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) |
| 2021-12-04 00:54:18 +0000 | <yin> | a *bad* ByteString? |
| 2021-12-04 00:54:19 +0000 | <geekosaur> | (bad because it only works for a tiny subset of Chars, it loses data otherwise) |
| 2021-12-04 00:54:43 +0000 | <yin> | ah |
| 2021-12-04 00:55:00 +0000 | <yin> | i'm guessing "01" |
| 2021-12-04 00:55:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-12-04 00:55:08 +0000 | <geekosaur> | that one would be fine |
| 2021-12-04 00:55:30 +0000 | <geekosaur> | any Char > \255 it would truncate |
| 2021-12-04 00:55:53 +0000 | <yin> | h right, ByteStrings are 8bit |
| 2021-12-04 00:55:55 +0000 | tito | (tito@tilde.team) (Ping timeout: 268 seconds) |
| 2021-12-04 00:56:25 +0000 | tito | (tito@tilde.team) |
| 2021-12-04 00:56:55 +0000 | <yin> | i feel it shouldn't be this much of a pain to work with binary in haskell |
| 2021-12-04 00:57:42 +0000 | nvmd | (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-12-04 00:57:49 +0000 | <yin> | where's BitString? |
| 2021-12-04 00:58:13 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 00:58:19 +0000 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 2021-12-04 00:58:35 +0000 | <hpc> | it should really be Word8String |
| 2021-12-04 00:58:37 +0000 | pfurla_ | (~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da) |
| 2021-12-04 00:59:12 +0000 | <hpc> | (also yeah, is that Char truncate behavior ever useful?) |
| 2021-12-04 00:59:34 +0000 | <geekosaur> | there's some BitVector types out there |
| 2021-12-04 00:59:51 +0000 | <geekosaur> | I continue to be surprised vector doesn't provide a packed Bool Vector type |
| 2021-12-04 01:00:21 +0000 | <yin> | why packed, say I? |
| 2021-12-04 01:00:27 +0000 | <yin> | >:) |
| 2021-12-04 01:00:33 +0000 | <geekosaur> | becuase that'd beyour bitstring |
| 2021-12-04 01:00:54 +0000 | <geekosaur> | recall that an unpacked Bool is 64 bits |
| 2021-12-04 01:01:09 +0000 | <geekosaur> | of which 1 is used |
| 2021-12-04 01:01:14 +0000 | <yin> | well yeah, in _practice_ |
| 2021-12-04 01:01:24 +0000 | <yin> | noone cares about practice |
| 2021-12-04 01:02:03 +0000 | <geekosaur> | and I think even in 9.2's new sized stuff it's still 8 bits |
| 2021-12-04 01:02:20 +0000 | pfurla | (~pfurla@2804:14d:5c81:4104:5084:9b62:332c:deab) (Ping timeout: 252 seconds) |
| 2021-12-04 01:02:47 +0000 | <yin> | what changed in 9.2? |
| 2021-12-04 01:02:49 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-04 01:02:52 +0000 | <yin> | i'm out of the loop |
| 2021-12-04 01:04:30 +0000 | <kennyd> | @pl (\x -> printf "%2d. %s\n" x (fizzbuzz x)) |
| 2021-12-04 01:04:30 +0000 | <lambdabot> | ap (printf "%2d. %s\n") fizzbuzz |
| 2021-12-04 01:04:33 +0000 | <kennyd> | how does that shit work? |
| 2021-12-04 01:04:52 +0000 | <geekosaur> | instead of always using a machine word (64 bits) it now uses an appropriate size for the type |
| 2021-12-04 01:05:28 +0000 | <yin> | oh nice! finally |
| 2021-12-04 01:05:36 +0000 | <geekosaur> | so Char uses 32 bits since it's a Unicode codepoint, Bool uses 8 bits as the smallest memory value available, Int32 is actually 32 bits, etc. |
| 2021-12-04 01:05:41 +0000 | <yin> | i still want 1bit bits :p |
| 2021-12-04 01:06:22 +0000 | <geekosaur> | someone bring back KL10s :þ |
| 2021-12-04 01:06:58 +0000 | <geekosaur> | although that still wouldn't work because I think the smallest it got was 3 bits |
| 2021-12-04 01:07:38 +0000 | <yin> | kennyd: |
| 2021-12-04 01:07:41 +0000 | <yin> | :t ap |
| 2021-12-04 01:07:42 +0000 | <lambdabot> | Monad m => m (a -> b) -> m a -> m b |
| 2021-12-04 01:07:45 +0000 | <geekosaur> | and that onlyt for registers; memory was 36 bits |
| 2021-12-04 01:08:33 +0000 | geekosaur | wonders if that translation would actualy work given that printf is rather "special" |
| 2021-12-04 01:08:54 +0000 | <geekosaur> | and @pl has no clue about PrintfType |
| 2021-12-04 01:09:46 +0000 | <geekosaur> | also @pl is out of date |
| 2021-12-04 01:09:52 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-12-04 01:09:52 +0000 | <geekosaur> | :t (<*>) |
| 2021-12-04 01:09:53 +0000 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 2021-12-04 01:10:56 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-12-04 01:17:03 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-12-04 01:17:24 +0000 | res0nat0r8 | (~Fletch@dia.whatbox.ca) |
| 2021-12-04 01:18:18 +0000 | <monochrom> | Yeah, @pl was written way before Applicative existed. |
| 2021-12-04 01:18:51 +0000 | <monochrom> | Plus other minor issues such as it doesn't check types. |
| 2021-12-04 01:19:08 +0000 | <monochrom> | @pl \x -> x x |
| 2021-12-04 01:19:09 +0000 | <lambdabot> | join id |
| 2021-12-04 01:19:11 +0000 | <monochrom> | :) |
| 2021-12-04 01:20:09 +0000 | <monochrom> | "wont fix" :) |
| 2021-12-04 01:20:11 +0000 | <boxscape_> | :t join id |
| 2021-12-04 01:20:12 +0000 | <lambdabot> | error: |
| 2021-12-04 01:20:12 +0000 | <lambdabot> | • Occurs check: cannot construct the infinite type: m ~ (->) (m a) |
| 2021-12-04 01:20:12 +0000 | <lambdabot> | Expected type: m (m a) |
| 2021-12-04 01:20:57 +0000 | <int-e> | @pl (\x -> x x) (\x -> x x) |
| 2021-12-04 01:21:00 +0000 | <lambdabot> | ap id id (ap id id) |
| 2021-12-04 01:21:00 +0000 | <lambdabot> | optimization suspended, use @pl-resume to continue. |
| 2021-12-04 01:25:00 +0000 | burnside_ | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 01:25:00 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-12-04 01:26:31 +0000 | <yin> | @pl-resume |
| 2021-12-04 01:26:33 +0000 | <yin> | ;D |
| 2021-12-04 01:26:38 +0000 | <lambdabot> | ap id id (ap id id) |
| 2021-12-04 01:26:38 +0000 | <lambdabot> | optimization suspended, use @pl-resume to continue. |
| 2021-12-04 01:27:19 +0000 | <monochrom> | It is true to the nature of (\x -> x x) (\x -> x x). |
| 2021-12-04 01:33:50 +0000 | namkeleser | (~namkelese@101.175.102.188) (Quit: Client closed) |
| 2021-12-04 01:36:36 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2021-12-04 01:37:14 +0000 | acidjnk_new | (~acidjnk@p200300d0c7271e92d1e9828b51aa3006.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-12-04 01:49:51 +0000 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::48) |
| 2021-12-04 01:50:05 +0000 | <d34df00d> | Hi folks! |
| 2021-12-04 01:50:39 +0000 | <d34df00d> | I've read a post recently with a mention of a (de)serialization library that's more efficient than both cereal and binary, but I can't remember its name. Does anything come to your (hive)mind? |
| 2021-12-04 01:51:01 +0000 | <d34df00d> | Here, "its name" is "the library name", not "the post name". |
| 2021-12-04 01:58:06 +0000 | <d34df00d> | Ah, right, that's fpco's store. |
| 2021-12-04 01:58:06 +0000 | <d34df00d> | Thanks! |
| 2021-12-04 02:01:16 +0000 | burnside_ | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-04 02:02:49 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-12-04 02:09:13 +0000 | pfurla_ | (~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da) (Quit: gone to sleep. ZZZzzz…) |
| 2021-12-04 02:09:53 +0000 | pfurla | (~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da) |
| 2021-12-04 02:13:08 +0000 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-12-04 02:15:52 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 02:17:41 +0000 | mmhat | (~mmh@55d45bca.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2021-12-04 02:19:10 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-12-04 02:26:29 +0000 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2021-12-04 02:29:47 +0000 | mmhat | (~mmh@55d45ca5.access.ecotel.net) |
| 2021-12-04 02:32:07 +0000 | xff0x | (~xff0x@2001:1a81:53c9:fe00:390a:f606:2045:4876) (Ping timeout: 268 seconds) |
| 2021-12-04 02:33:28 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:b7b4:37a0:2750:d862) |
| 2021-12-04 02:33:29 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-12-04 02:37:42 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) (Remote host closed the connection) |
| 2021-12-04 02:41:25 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2021-12-04 02:41:59 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-04 02:42:51 +0000 | <iqubic> | I'm looking to do some ascii art animations for some of my Haskell AoC solutions. What libraries should I look into to do that? |
| 2021-12-04 02:44:58 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-04 02:46:22 +0000 | <jackdk> | emit \e[2J a lot? |
| 2021-12-04 02:47:45 +0000 | mvk | (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 2021-12-04 02:49:55 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 02:54:37 +0000 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-04 02:56:39 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 2021-12-04 02:57:03 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-12-04 02:59:37 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-12-04 02:59:45 +0000 | <dsal> | That's basically what I did. |
| 2021-12-04 02:59:53 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 03:00:00 +0000 | machinedgod | (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2021-12-04 03:00:15 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-04 03:01:03 +0000 | <dsal> | It looks like I've used this before: https://hackage.haskell.org/package/ansi-terminal |
| 2021-12-04 03:04:26 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 03:10:57 +0000 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-12-04 03:12:02 +0000 | mmhat | (~mmh@55d45ca5.access.ecotel.net) (Quit: WeeChat 3.3) |
| 2021-12-04 03:14:33 +0000 | <yin> | iqubic: JuicyPixels is pretty good for the most basic stuff |
| 2021-12-04 03:14:43 +0000 | <iqubic> | That's also good. |
| 2021-12-04 03:15:27 +0000 | <yin> | curses at least |
| 2021-12-04 03:15:48 +0000 | <yin> | there's a decent vector animation library but i cant remember its name |
| 2021-12-04 03:16:23 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 03:16:23 +0000 | <yin> | why is GeneralizedNewtypeDeriving not allowed in Safe Haskell? |
| 2021-12-04 03:16:47 +0000 | <boxscape> | jle`: we talked the other day about having a function that can convert any data instance to a String - I have this now, and it works pretty well https://paste.tomsmeding.com/wO8wDWza |
| 2021-12-04 03:17:10 +0000 | <boxscape> | of course you'd have to special case other primitive types if they're used |
| 2021-12-04 03:17:28 +0000 | <boxscape> | s/data/Data |
| 2021-12-04 03:19:19 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) |
| 2021-12-04 03:21:05 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-04 03:22:12 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 03:22:12 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-04 03:22:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-04 03:22:13 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-12-04 03:26:59 +0000 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-04 03:36:57 +0000 | td_ | (~td@94.134.91.231) (Ping timeout: 256 seconds) |
| 2021-12-04 03:38:29 +0000 | td_ | (~td@muedsl-82-207-238-245.citykom.de) |
| 2021-12-04 03:40:00 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) (Quit: Leaving) |
| 2021-12-04 03:40:01 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2021-12-04 03:43:29 +0000 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-12-04 03:45:22 +0000 | <hololeap> | is there a way to hook up pretty-show to Debug.Trace |
| 2021-12-04 03:45:34 +0000 | <hololeap> | with color support |
| 2021-12-04 03:45:40 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-12-04 03:46:03 +0000 | <dmj`> | hololeap: now that's a good idae |
| 2021-12-04 03:46:05 +0000 | <dmj`> | idea |
| 2021-12-04 03:46:39 +0000 | <dmj`> | traceSolarized |
| 2021-12-04 03:48:52 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2021-12-04 03:49:34 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 03:49:38 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 03:51:03 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
| 2021-12-04 03:51:58 +0000 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) |
| 2021-12-04 03:52:37 +0000 | <dmj`> | hololeap: if you copy Debug.Trace into its own lib, and sprinkle in System.Console.Rainbow I bet it would work |
| 2021-12-04 03:53:20 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-04 03:53:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-04 03:53:20 +0000 | finn_elija | FinnElija |
| 2021-12-04 03:53:36 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-12-04 03:53:57 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 03:53:57 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
| 2021-12-04 03:54:52 +0000 | <hololeap> | oh it actually works already! |
| 2021-12-04 03:55:02 +0000 | <hololeap> | trace (T.unpack $ pShow r) r |
| 2021-12-04 03:55:08 +0000 | <hololeap> | I actually meant pretty-simple |
| 2021-12-04 03:55:32 +0000 | <hololeap> | and if anyone wants to try that be aware it's Data.Text.Lazy |
| 2021-12-04 03:56:23 +0000 | <sm> | hololeap: the utilities in https://hackage.haskell.org/package/hledger-lib-1.24/docs/Hledger-Utils-Debug.html do that |
| 2021-12-04 03:57:25 +0000 | <hololeap> | the devs might be willing to add it to pretty-simple |
| 2021-12-04 03:58:00 +0000 | <sm> | I don't think debugging helpers really belong in pretty-simple, also I'm not married to that lib (it has a few issues) |
| 2021-12-04 03:58:37 +0000 | <sm> | I think they'd be great added to Debug.Trace! but not sure how hard that would be |
| 2021-12-04 04:00:49 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 04:05:07 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 04:11:22 +0000 | <jle`> | boxscape: ah nice :O i think you can do it for anything that resolves down to an ADT, and special casing on string works well too |
| 2021-12-04 04:11:34 +0000 | <boxscape_> | yeah, that makes sense |
| 2021-12-04 04:14:45 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 04:19:31 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2021-12-04 04:31:42 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:ed9e:6da6:fee6:2db6) |
| 2021-12-04 04:31:53 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 04:34:05 +0000 | sprout_ | (~quassel@2a02:a467:ccd6:1:654a:7e1b:4ab5:b4bb) (Ping timeout: 252 seconds) |
| 2021-12-04 04:39:24 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 04:41:14 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 04:45:58 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 04:46:29 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 04:51:11 +0000 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-12-04 04:55:36 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) |
| 2021-12-04 05:01:13 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds) |
| 2021-12-04 05:02:13 +0000 | yauhsien | (~yauhsien@101.12.103.143) |
| 2021-12-04 05:05:22 +0000 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: WeeChat 3.3) |
| 2021-12-04 05:10:14 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 05:14:59 +0000 | yauhsien | (~yauhsien@101.12.103.143) (Ping timeout: 256 seconds) |
| 2021-12-04 05:20:39 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-04 05:23:29 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) (Ping timeout: 256 seconds) |
| 2021-12-04 05:33:24 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:b7b4:37a0:2750:d862) (Remote host closed the connection) |
| 2021-12-04 05:33:41 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:ed50:8b1e:4614:201b) |
| 2021-12-04 05:33:51 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-12-04 05:33:58 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-12-04 05:37:16 +0000 | mbuf | (~Shakthi@171.61.205.226) |
| 2021-12-04 05:47:03 +0000 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 252 seconds) |
| 2021-12-04 05:50:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 05:50:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-04 05:50:05 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-04 05:55:13 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-04 05:57:32 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-12-04 05:59:03 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-04 06:00:53 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 06:00:57 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2021-12-04 06:01:36 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 06:06:03 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-04 06:06:35 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 06:07:39 +0000 | sheltheconquerer | (~ret@109-110-184-193-dynamic.shabdiznet.com) |
| 2021-12-04 06:07:42 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-04 06:24:42 +0000 | kennyd | (~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2021-12-04 06:25:33 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-12-04 06:27:03 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-12-04 06:30:50 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-12-04 06:30:55 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-12-04 06:34:08 +0000 | evan | (~evan@2600:1700:ba69:10:81bb:b5c:744b:f329) |
| 2021-12-04 06:34:14 +0000 | evan | Guest4250 |
| 2021-12-04 06:35:39 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 06:36:40 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-12-04 06:38:51 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-12-04 06:39:06 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-12-04 06:40:13 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 06:42:27 +0000 | <sheltheconquerer> | :q |
| 2021-12-04 06:42:29 +0000 | <sheltheconquerer> | clear |
| 2021-12-04 06:42:31 +0000 | <sheltheconquerer> | quit |
| 2021-12-04 06:42:32 +0000 | sheltheconquerer | (~ret@109-110-184-193-dynamic.shabdiznet.com) (Quit: WeeChat 3.3) |
| 2021-12-04 06:44:01 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-12-04 06:49:58 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-12-04 06:53:03 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:dcf1:6c47:4df:1ed1) (Remote host closed the connection) |
| 2021-12-04 06:55:39 +0000 | max22- | (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) |
| 2021-12-04 07:09:55 +0000 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-12-04 07:13:22 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 07:14:19 +0000 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 252 seconds) |
| 2021-12-04 07:15:12 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Read error: Connection reset by peer) |
| 2021-12-04 07:15:35 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 07:17:13 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 07:18:01 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-04 07:18:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 07:18:16 +0000 | pfurla | (~pfurla@2804:14d:5c81:4104:d5f9:5bb:9da8:43da) (Quit: gone to sleep. ZZZzzz…) |
| 2021-12-04 07:22:33 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-04 07:24:35 +0000 | Guest4250 | (~evan@2600:1700:ba69:10:81bb:b5c:744b:f329) (Ping timeout: 252 seconds) |
| 2021-12-04 07:25:42 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-04 07:27:09 +0000 | img | (~img@user/img) |
| 2021-12-04 07:30:59 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2021-12-04 07:33:15 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
| 2021-12-04 07:36:56 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) |
| 2021-12-04 07:40:36 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-12-04 07:46:55 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 07:50:59 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 07:50:59 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-04 07:50:59 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-04 07:51:23 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 07:52:31 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2021-12-04 07:53:26 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) |
| 2021-12-04 07:54:51 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 07:55:23 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-12-04 07:58:41 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Ping timeout: 252 seconds) |
| 2021-12-04 08:02:00 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 08:06:41 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-04 08:14:09 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2021-12-04 08:15:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 08:16:42 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 08:18:52 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 08:24:03 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) |
| 2021-12-04 08:27:33 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-12-04 08:31:25 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 08:36:05 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-12-04 08:37:35 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-12-04 08:42:10 +0000 | chomwitt | (~chomwitt@ppp-94-67-1-114.home.otenet.gr) |
| 2021-12-04 08:44:09 +0000 | fabfianda | (~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) (Ping timeout: 252 seconds) |
| 2021-12-04 08:44:55 +0000 | fabfianda | (~fabfianda@mob-5-90-243-224.net.vodafone.it) |
| 2021-12-04 08:46:01 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-12-04 08:49:47 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-12-04 08:50:32 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-12-04 08:56:14 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
| 2021-12-04 08:58:13 +0000 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-12-04 09:01:39 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-04 09:01:55 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-04 09:02:51 +0000 | ishutin | (~ishutin@87-97-82-128.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2021-12-04 09:02:51 +0000 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 252 seconds) |
| 2021-12-04 09:04:34 +0000 | ishutin | (~ishutin@178-164-208-88.pool.digikabel.hu) |
| 2021-12-04 09:04:41 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2021-12-04 09:07:19 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 09:13:05 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2021-12-04 09:14:36 +0000 | fabfianda | (~fabfianda@mob-5-90-243-224.net.vodafone.it) (Read error: Connection reset by peer) |
| 2021-12-04 09:14:44 +0000 | fabfianda | (~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) |
| 2021-12-04 09:16:28 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 09:17:36 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-12-04 09:17:36 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-12-04 09:17:38 +0000 | iqubic` | (~user@c-67-171-37-233.hsd1.wa.comcast.net) |
| 2021-12-04 09:17:39 +0000 | allbery_b | geekosaur |
| 2021-12-04 09:17:59 +0000 | iqubic` | (~user@c-67-171-37-233.hsd1.wa.comcast.net) (Client Quit) |
| 2021-12-04 09:19:21 +0000 | iqubic | (~user@2601:602:9502:c70:f6f0:c69f:f066:4465) (Ping timeout: 252 seconds) |
| 2021-12-04 09:20:24 +0000 | iqubic | (~user@c-67-171-37-233.hsd1.wa.comcast.net) |
| 2021-12-04 09:21:37 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-12-04 09:22:20 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
| 2021-12-04 09:25:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 09:28:15 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-04 09:38:54 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-04 09:39:53 +0000 | acidjnk_new | (~acidjnk@p200300d0c7271e92fcd25810b1025e43.dip0.t-ipconnect.de) |
| 2021-12-04 09:42:35 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2021-12-04 09:46:19 +0000 | img | (~img@user/img) |
| 2021-12-04 09:52:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-12-04 09:53:59 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2021-12-04 09:54:32 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-12-04 09:55:37 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-12-04 09:56:01 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2021-12-04 10:04:02 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-12-04 10:04:03 +0000 | mbuf | (~Shakthi@171.61.205.226) (Quit: Leaving) |
| 2021-12-04 10:06:26 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-12-04 10:07:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-12-04 10:07:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-12-04 10:10:31 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-12-04 10:21:14 +0000 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) |
| 2021-12-04 10:23:52 +0000 | cosimone\ | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 2021-12-04 10:30:17 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-04 10:32:27 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-04 10:33:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-04 10:33:57 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-12-04 10:35:54 +0000 | fabfianda | (~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2021-12-04 10:36:09 +0000 | fabfianda | (~fabfianda@mob-5-90-243-224.net.vodafone.it) |
| 2021-12-04 10:38:11 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-12-04 10:38:28 +0000 | kmein | (~weechat@user/kmein) |
| 2021-12-04 10:42:28 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-12-04 10:46:29 +0000 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 256 seconds) |
| 2021-12-04 10:46:31 +0000 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-12-04 10:48:15 +0000 | halides | (halides@imases.biss.ee) |
| 2021-12-04 10:48:22 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2021-12-04 10:49:11 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 10:49:39 +0000 | <halides> | hi all, doing the mooc at https://haskell.mooc.fi/ and figured i'd join here to ask some noob questions :-) |
| 2021-12-04 10:49:57 +0000 | <halides> | i guess this is the biggest channel for that? |
| 2021-12-04 10:50:09 +0000 | <halides> | opqdonut: hi ;-) |
| 2021-12-04 10:50:16 +0000 | FragByte | (~christian@user/fragbyte) |
| 2021-12-04 10:51:01 +0000 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 252 seconds) |
| 2021-12-04 10:52:45 +0000 | <Rembane> | halides: Do it! :) |
| 2021-12-04 10:56:33 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:ed50:8b1e:4614:201b) (Ping timeout: 268 seconds) |
| 2021-12-04 10:56:55 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:7792:97a8:546b:8af7) |
| 2021-12-04 10:57:24 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-04 10:58:36 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-12-04 10:58:55 +0000 | <halides> | thanks Rembane :-) |
| 2021-12-04 11:03:06 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 11:10:11 +0000 | simendsjo | (~user@84.211.91.241) |
| 2021-12-04 11:20:23 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-12-04 11:22:25 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 11:25:22 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-12-04 11:25:32 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-12-04 11:25:32 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3) |
| 2021-12-04 11:26:46 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:7792:97a8:546b:8af7) (Ping timeout: 268 seconds) |
| 2021-12-04 11:27:07 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:9294:809b:2f89:3306) |
| 2021-12-04 11:28:25 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-12-04 11:36:24 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 11:40:53 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-12-04 11:42:23 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2021-12-04 11:43:46 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-12-04 11:46:42 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-12-04 11:48:01 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-12-04 11:48:10 +0000 | <nerdypepper> | is there a "replace range" method on String or Text anywhere? or would such a method be unsound? |
| 2021-12-04 11:49:31 +0000 | mmhat | (~mmh@55d45ca5.access.ecotel.net) |
| 2021-12-04 11:49:40 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2021-12-04 11:50:46 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-04 11:51:58 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-04 11:52:33 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 11:54:58 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) |
| 2021-12-04 11:55:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 11:57:01 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 11:57:23 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-12-04 11:58:31 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 11:59:35 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-12-04 12:01:42 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-04 12:02:33 +0000 | waleee | (~waleee@h-82-196-111-63.na.cust.bahnhof.se) |
| 2021-12-04 12:02:41 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-12-04 12:03:41 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) |
| 2021-12-04 12:03:44 +0000 | <geekosaur> | actual "replace" would violate purity, but producing a modified String/Text would be fine |
| 2021-12-04 12:04:08 +0000 | <geekosaur> | for String it'd just perform poorly because String is [Char] and lists kinda suck |
| 2021-12-04 12:05:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2021-12-04 12:06:20 +0000 | <geekosaur> | https://hackage.haskell.org/package/text-1.2.5.0/docs/Data-Text.html#v:replace |
| 2021-12-04 12:07:28 +0000 | vgtw | (~vgtw@c-6a60205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 268 seconds) |
| 2021-12-04 12:08:36 +0000 | cosimone` | (~user@93-47-228-147.ip115.fastwebnet.it) |
| 2021-12-04 12:09:39 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 12:10:02 +0000 | cosimone\ | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 252 seconds) |
| 2021-12-04 12:11:39 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-04 12:11:50 +0000 | nrl^ | (~nrl@68.101.58.90) |
| 2021-12-04 12:12:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-04 12:13:53 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-12-04 12:14:32 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-04 12:17:57 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 12:26:13 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-12-04 12:33:37 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 12:34:48 +0000 | stevenxl | (~stevenlei@174.128.182.51) |
| 2021-12-04 12:38:05 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-12-04 12:39:11 +0000 | stevenxl | (~stevenlei@174.128.182.51) (Ping timeout: 252 seconds) |
| 2021-12-04 12:41:01 +0000 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-04 12:42:18 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2021-12-04 12:47:26 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2021-12-04 12:49:35 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 12:54:06 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2021-12-04 12:54:23 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-12-04 12:54:39 +0000 | pta2002 | (~pta2002@161.230.90.170) |
| 2021-12-04 12:55:13 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-12-04 12:55:50 +0000 | <pta2002> | Hi, quick question. I have a function a -> Either b a, and I want to make [a] -> Either b [a] from that function, that will return the left side if any of the applications of the first function error out |
| 2021-12-04 12:56:08 +0000 | <pta2002> | I am sure there's some obvious way to do this, but I can't remember how >< |
| 2021-12-04 12:57:50 +0000 | <pta2002> | I mean, I can easily do this the long way, just wanted to know if there is some simple function that I can just apply to it |
| 2021-12-04 13:00:13 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2021-12-04 13:00:45 +0000 | <pta2002> | Basically I want (a -> Either b a) -> [a] -> Either b [a], but hoogle finds nothing :( |
| 2021-12-04 13:01:13 +0000 | <Taneb> | :t traverse |
| 2021-12-04 13:01:14 +0000 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2021-12-04 13:01:24 +0000 | <pta2002> | hm let me try that |
| 2021-12-04 13:01:25 +0000 | <Taneb> | :t traverse @[] @(Either _) |
| 2021-12-04 13:01:26 +0000 | <lambdabot> | error: |
| 2021-12-04 13:01:26 +0000 | <lambdabot> | Pattern syntax in expression context: traverse@[] |
| 2021-12-04 13:01:27 +0000 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2021-12-04 13:01:34 +0000 | <geekosaur> | gotta use yahb |
| 2021-12-04 13:01:45 +0000 | <Taneb> | I can't remember how to invoke yahb :( |
| 2021-12-04 13:01:56 +0000 | <geekosaur> | % :t traverse @[] @(Either _) |
| 2021-12-04 13:01:57 +0000 | <yahb> | geekosaur: (a -> Either w b) -> [a] -> Either w [b] |
| 2021-12-04 13:02:02 +0000 | <Taneb> | Thanks |
| 2021-12-04 13:02:57 +0000 | AlexNoo | (~AlexNoo@178.34.151.83) (Quit: Leaving) |
| 2021-12-04 13:03:03 +0000 | Alex_test | (~al_test@178.34.151.83) (Quit: ;-) |
| 2021-12-04 13:03:07 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-12-04 13:03:11 +0000 | AlexZenon | (~alzenon@178.34.151.83) (Quit: ;-) |
| 2021-12-04 13:03:24 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2021-12-04 13:03:30 +0000 | <pta2002> | hm now it's not working even though by that description it should |
| 2021-12-04 13:03:37 +0000 | cosimone` | (~user@93-47-228-147.ip115.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2021-12-04 13:03:55 +0000 | <pta2002> | hang on i'll figure this out |
| 2021-12-04 13:04:04 +0000 | cosimone` | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2021-12-04 13:04:29 +0000 | <pta2002> | I have now figured this out, I was missing an argument |
| 2021-12-04 13:04:34 +0000 | <pta2002> | thanks! |
| 2021-12-04 13:04:58 +0000 | <Taneb> | Happy to help! |
| 2021-12-04 13:05:01 +0000 | <pta2002> | also, that :t traverse @[] @(Either _) thing, is that possible to run in GHCi? gives me an error when I try |
| 2021-12-04 13:05:21 +0000 | <Taneb> | Run ":set -XTypeApplications" in GHCi |
| 2021-12-04 13:05:41 +0000 | <pta2002> | ah got it |
| 2021-12-04 13:05:56 +0000 | <geekosaur> | yahb is ghci, it just has a bunch of extensions enabled and is a fairly recent version of ghc |
| 2021-12-04 13:06:17 +0000 | <geekosaur> | but TypeApplications goes back a bit so version shouldn't matter |
| 2021-12-04 13:09:59 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds) |
| 2021-12-04 13:12:50 +0000 | cosimone` | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 268 seconds) |
| 2021-12-04 13:13:27 +0000 | Techcable | (~Techcable@168.235.93.147) |
| 2021-12-04 13:15:27 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 13:19:53 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds) |
| 2021-12-04 13:22:38 +0000 | AlexZenon | (~alzenon@178.34.151.83) |
| 2021-12-04 13:22:42 +0000 | AlexNoo | (~AlexNoo@178.34.151.83) |
| 2021-12-04 13:24:24 +0000 | Alex_test | (~al_test@178.34.151.83) |
| 2021-12-04 13:34:58 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-04 13:35:45 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 13:41:01 +0000 | waleee | (~waleee@h-82-196-111-63.na.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2021-12-04 13:42:58 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-12-04 13:52:29 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 13:56:23 +0000 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-12-04 13:59:11 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) |
| 2021-12-04 14:03:31 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Ping timeout: 252 seconds) |
| 2021-12-04 14:06:53 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 14:08:46 +0000 | jstolarek | (~jstolarek@137.220.120.162) |
| 2021-12-04 14:18:30 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2021-12-04 14:19:33 +0000 | pfurla | (~pfurla@2804:14d:5c81:4104:9dad:b7eb:58e3:98e6) |
| 2021-12-04 14:21:21 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-12-04 14:23:26 +0000 | mmhat | (~mmh@55d45ca5.access.ecotel.net) (Quit: WeeChat 3.3) |
| 2021-12-04 14:26:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 14:29:40 +0000 | stevenxl | (~stevenlei@174.128.182.67) |
| 2021-12-04 14:32:04 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 14:34:41 +0000 | acidjnk_new | (~acidjnk@p200300d0c7271e92fcd25810b1025e43.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-04 14:36:31 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-12-04 14:37:41 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 256 seconds) |
| 2021-12-04 14:40:56 +0000 | zincy_ | (~zincy@host86-181-60-139.range86-181.btcentralplus.com) |
| 2021-12-04 14:41:21 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2021-12-04 14:42:37 +0000 | chenqisu1 | (~chenqisu1@183.217.200.156) (Quit: Leaving) |
| 2021-12-04 14:43:34 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-04 14:43:39 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 14:44:08 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 14:47:19 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 14:48:05 +0000 | stevenxl | (~stevenlei@174.128.182.67) (Quit: leaving) |
| 2021-12-04 14:48:14 +0000 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2021-12-04 14:48:27 +0000 | juhp | (~juhp@128.106.188.82) |
| 2021-12-04 14:48:37 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 14:53:33 +0000 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2021-12-04 14:53:49 +0000 | juhp | (~juhp@128.106.188.82) |
| 2021-12-04 14:54:35 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
| 2021-12-04 14:55:23 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-12-04 14:56:23 +0000 | Megant | (megant@user/megant) (Ping timeout: 256 seconds) |
| 2021-12-04 14:58:06 +0000 | Megant | (megant@user/megant) |
| 2021-12-04 14:58:14 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 15:00:30 +0000 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) |
| 2021-12-04 15:09:28 +0000 | MoC | (~moc@user/moc) |
| 2021-12-04 15:11:52 +0000 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) (Ping timeout: 265 seconds) |
| 2021-12-04 15:13:57 +0000 | elvishjerricco | (sid237756@id-237756.helmsley.irccloud.com) |
| 2021-12-04 15:14:57 +0000 | zincy_ | (~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection) |
| 2021-12-04 15:17:55 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 15:18:44 +0000 | renzhi | (~xp@2607:fa49:6500:b100::5cef) |
| 2021-12-04 15:20:31 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) |
| 2021-12-04 15:24:06 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-04 15:31:12 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-12-04 15:31:36 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-04 15:32:35 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-12-04 15:36:37 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-12-04 15:38:55 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2021-12-04 15:43:59 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds) |
| 2021-12-04 15:44:23 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 15:49:01 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-04 15:49:05 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 15:52:52 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 15:52:52 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-04 15:52:52 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-04 15:53:40 +0000 | <__monty__> | I'm having a bit of trouble with ghcid. `cabal v2-repl GiantSquid` fails to load because of errors but `ghcid -c cabal v2-repl GiantSquid` reports "All good." |
| 2021-12-04 15:55:15 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-12-04 15:58:06 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-12-04 15:59:50 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-12-04 16:00:06 +0000 | Drew[m] | (~drewefenw@2001:470:69fc:105::c8c4) (Quit: You have been kicked for being idle) |
| 2021-12-04 16:00:11 +0000 | anotherbruce[m] | (~anotherbr@2001:470:69fc:105::1:2548) (Quit: You have been kicked for being idle) |
| 2021-12-04 16:03:38 +0000 | <albet70> | I tried to install scotty on my vps, but my vps only has 1GB RAM, to installl scotty with cabal failed because of compiling is out-of-memory, how to solve that? |
| 2021-12-04 16:04:11 +0000 | <sclv> | you can give it a ton of virtual memory but it'll crawl |
| 2021-12-04 16:04:27 +0000 | <sclv> | best to build the binary on a system with the same os and config but with more ram, then copy it over |
| 2021-12-04 16:05:17 +0000 | <albet70> | that's a vps, how I can give it more virtual memory? |
| 2021-12-04 16:05:48 +0000 | <albet70> | I don't think I can change the swap partition |
| 2021-12-04 16:06:31 +0000 | <albet70> | does cabal or other tools provide binary package? |
| 2021-12-04 16:06:31 +0000 | <int-e> | Compile with -j1, lower optimization level... but you probably don't want the latter and at 1GB the former is not certain to be enough. |
| 2021-12-04 16:06:36 +0000 | <albet70> | or stack? |
| 2021-12-04 16:06:44 +0000 | <int-e> | Compiling elsewhere is the sane approach really. |
| 2021-12-04 16:07:47 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 260 seconds) |
| 2021-12-04 16:08:15 +0000 | <int-e> | This is one reason why people use containers. But you can do things like installing to a custom prefix (/usr/local or /opt) and copying that around? |
| 2021-12-04 16:08:18 +0000 | <albet70> | but I'm afraid the the package which compiled on other machines is too big to transfer |
| 2021-12-04 16:08:42 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 16:09:06 +0000 | <albet70> | I see there's a haskell docker container, but no scotty in it |
| 2021-12-04 16:09:17 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-12-04 16:09:38 +0000 | <shachaf> | I wonder, is producing statically-linked binaries practical with GHC yet? |
| 2021-12-04 16:10:01 +0000 | <shachaf> | I remember GMP was one reason that couldn't be done, but I heard people were working on alternatives. |
| 2021-12-04 16:10:22 +0000 | <int-e> | ? |
| 2021-12-04 16:10:41 +0000 | <int-e> | You /can/ link GMP statically. You just can't distribute the resulting binary. |
| 2021-12-04 16:11:09 +0000 | <shachaf> | Right, fair enough. I guess I should say "one reason that wasn't done". |
| 2021-12-04 16:12:51 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 16:12:55 +0000 | <shachaf> | But I wonder whether producing a completely statically-linked Linux binary is practical, with no libc or anything. |
| 2021-12-04 16:14:35 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 16:14:53 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 16:16:33 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 16:16:50 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 16:17:14 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 268 seconds) |
| 2021-12-04 16:18:38 +0000 | johnjay | (~pi@192.142.100.50) |
| 2021-12-04 16:18:46 +0000 | <johnjay> | is there any way to run and compile haskell on a tablet? |
| 2021-12-04 16:18:51 +0000 | <johnjay> | or should I use replit or some similar site? |
| 2021-12-04 16:19:33 +0000 | hook54321 | (sid149355@user/hook54321) |
| 2021-12-04 16:19:51 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 16:20:07 +0000 | cosimone | (~user@93-47-228-147.ip115.fastwebnet.it) |
| 2021-12-04 16:20:09 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 16:21:37 +0000 | <albet70> | "johnjay :is there any way to run and compile haskell on a tablet?", a x86 tablet is possible |
| 2021-12-04 16:21:51 +0000 | <johnjay> | sure. but i think we both know i'm using an android. XD |
| 2021-12-04 16:22:02 +0000 | <albet70> | if it's x86-android, u can use chroot |
| 2021-12-04 16:22:03 +0000 | <johnjay> | i guess ipads still exist. you can draw on them apparently |
| 2021-12-04 16:22:53 +0000 | <albet70> | "johnjay :sure. but i think we both know i'm using an android. XD", oh I forgot, there's a ghc package for arm64 |
| 2021-12-04 16:23:25 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 16:23:35 +0000 | <johnjay> | i see. i think i tried compiling something on my imac and i had problems cause of that |
| 2021-12-04 16:23:53 +0000 | <johnjay> | i don't fully understand how the built in rosetta emulation works either |
| 2021-12-04 16:23:56 +0000 | <albet70> | u need install a debian rootfs on android, then install that ghc arm64 package |
| 2021-12-04 16:24:00 +0000 | <johnjay> | it sort of runs x86 stuff... idk |
| 2021-12-04 16:24:16 +0000 | <johnjay> | is that like rooting the device? idk the lingo |
| 2021-12-04 16:24:28 +0000 | <albet70> | "johnjay :is that like rooting the device? idk the lingo", no need to root |
| 2021-12-04 16:24:47 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
| 2021-12-04 16:24:55 +0000 | <albet70> | use linuxdepoly some kind of android app to create a chroot environment |
| 2021-12-04 16:24:59 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-04 16:25:06 +0000 | <albet70> | or termux |
| 2021-12-04 16:25:56 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 16:25:56 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-04 16:25:56 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-04 16:26:51 +0000 | <johnjay> | i know about termux. i thought about trying run haskell from there |
| 2021-12-04 16:27:00 +0000 | <johnjay> | apparently the termux in the app store is old and not supported due to google changes |
| 2021-12-04 16:28:13 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2021-12-04 16:28:15 +0000 | hiruji | aeka |
| 2021-12-04 16:29:37 +0000 | <albet70> | then download termux from f-droid, remember u need termux-proot to get a linux environment, then download ghc-8.10.5-aarch64-deb10-linux.tar.xz from downloads.haskell.org, and compile it on that termux-proot |
| 2021-12-04 16:30:31 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-04 16:31:12 +0000 | <johnjay> | ahh ok. thanks i will |
| 2021-12-04 16:31:41 +0000 | <albet70> | my android phone has 6GB RAM, my computer has 4GB, and my vps has 1GB, how ironic |
| 2021-12-04 16:32:35 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
| 2021-12-04 16:32:45 +0000 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-04 16:33:50 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2021-12-04 16:35:14 +0000 | neurocyte0132889 | (~neurocyte@IP-213188116193.dynamic.medianet-world.de) |
| 2021-12-04 16:35:14 +0000 | neurocyte0132889 | (~neurocyte@IP-213188116193.dynamic.medianet-world.de) (Changing host) |
| 2021-12-04 16:35:14 +0000 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-12-04 16:35:53 +0000 | pfurla | (~pfurla@2804:14d:5c81:4104:9dad:b7eb:58e3:98e6) (Quit: gone to sleep. ZZZzzz…) |
| 2021-12-04 16:37:04 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 16:37:18 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 16:37:18 +0000 | axeman | (~AdminUser@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) |
| 2021-12-04 16:37:30 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) (Remote host closed the connection) |
| 2021-12-04 16:37:36 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 16:39:16 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 16:39:57 +0000 | zincy_ | (~zincy@host86-181-60-139.range86-181.btcentralplus.com) |
| 2021-12-04 16:41:50 +0000 | <tomsmeding> | albet70: I have termux, not termux-proot. I've tried to use an aarch64 distribution of ghc before but it didn't work because some libraries were missing. Have you had more luck? |
| 2021-12-04 16:42:07 +0000 | <tomsmeding> | "install a debian rootfs" ah there you go |
| 2021-12-04 16:42:26 +0000 | <tomsmeding> | thanks all clear :) |
| 2021-12-04 16:44:37 +0000 | Guest4250 | (~evan@2600:1700:ba69:10:81bb:b5c:744b:f329) |
| 2021-12-04 16:45:44 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 16:50:02 +0000 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-12-04 16:52:54 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2021-12-04 16:55:25 +0000 | axeman | (~AdminUser@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-12-04 16:55:53 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) |
| 2021-12-04 16:56:44 +0000 | Guest4250 | (~evan@2600:1700:ba69:10:81bb:b5c:744b:f329) (Quit: WeeChat 3.3) |
| 2021-12-04 16:57:12 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) (Client Quit) |
| 2021-12-04 16:57:32 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) |
| 2021-12-04 16:57:41 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-04 17:04:02 +0000 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-12-04 17:06:26 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-12-04 17:12:11 +0000 | <albet70> | tomsmeding: u need libnuma-dev, build-essential and libc-dev |
| 2021-12-04 17:12:24 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2021-12-04 17:12:26 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 17:12:54 +0000 | <albet70> | and also termux-proot is a linux environment to run ghc, and it's part of termux |
| 2021-12-04 17:14:03 +0000 | <albet70> | and I do have a ghc-deb10-arm64.deb if u need, I can share it |
| 2021-12-04 17:16:38 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 17:16:56 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 17:18:16 +0000 | tv | (~tv@user/tv) (Ping timeout: 268 seconds) |
| 2021-12-04 17:22:58 +0000 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-04 17:24:57 +0000 | briandaed | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 2021-12-04 17:28:26 +0000 | _xor | (~xor@72.49.199.147) (Read error: Connection reset by peer) |
| 2021-12-04 17:28:51 +0000 | _xor | (~xor@72.49.199.147) |
| 2021-12-04 17:30:09 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.3) |
| 2021-12-04 17:31:02 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-04 17:32:42 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 17:32:59 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 17:33:26 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:9294:809b:2f89:3306) (Ping timeout: 252 seconds) |
| 2021-12-04 17:34:12 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 17:34:19 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:798e:f8b0:91f3:38f8) |
| 2021-12-04 17:34:29 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 17:35:05 +0000 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 252 seconds) |
| 2021-12-04 17:36:11 +0000 | chomwitt | (~chomwitt@ppp-94-67-1-114.home.otenet.gr) (Ping timeout: 256 seconds) |
| 2021-12-04 17:38:25 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 17:39:21 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2021-12-04 17:39:29 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:6a3a:b25d:23ad:1cf9) (Ping timeout: 252 seconds) |
| 2021-12-04 17:41:18 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) |
| 2021-12-04 17:46:43 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 17:46:45 +0000 | chomwitt | (~chomwitt@ppp-94-67-1-114.home.otenet.gr) |
| 2021-12-04 17:47:53 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:fbae:9981:ef06:fecb) |
| 2021-12-04 17:49:13 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-04 17:50:55 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
| 2021-12-04 17:51:27 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 17:53:27 +0000 | pta2002 | (~pta2002@161.230.90.170) (Quit: leaving) |
| 2021-12-04 17:54:21 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 17:58:19 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-12-04 17:58:54 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 18:00:45 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 252 seconds) |
| 2021-12-04 18:02:44 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-04 18:03:23 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-04 18:03:40 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 18:07:29 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 18:07:47 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 18:08:29 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Remote host closed the connection) |
| 2021-12-04 18:11:51 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 18:12:09 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 18:12:19 +0000 | nickdaly | (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 2021-12-04 18:12:28 +0000 | nickdaly | (45ce440a48@2604:bf00:561:2000::e2) |
| 2021-12-04 18:14:43 +0000 | tv | (~tv@user/tv) |
| 2021-12-04 18:18:30 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.3) |
| 2021-12-04 18:19:26 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2021-12-04 18:19:49 +0000 | econo | (uid147250@user/econo) |
| 2021-12-04 18:23:48 +0000 | Guest42 | (~Guest42@cpc159864-nmal26-2-0-cust352.19-2.cable.virginm.net) |
| 2021-12-04 18:23:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) |
| 2021-12-04 18:24:26 +0000 | Guest42 | (~Guest42@cpc159864-nmal26-2-0-cust352.19-2.cable.virginm.net) (Client Quit) |
| 2021-12-04 18:26:16 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2021-12-04 18:31:12 +0000 | <hololeap> | anyone know of a mnemonic for remembering what some and many do? |
| 2021-12-04 18:33:22 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-04 18:33:42 +0000 | <hololeap> | I guess s/o/me -- one or more; |
| 2021-12-04 18:34:07 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 18:35:41 +0000 | jstolarek | (~jstolarek@137.220.120.162) |
| 2021-12-04 18:36:37 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 18:36:40 +0000 | <c_wraith> | I still find it weird that those are even part of Alternative, given that they don't do anything useful for a lot of instances |
| 2021-12-04 18:37:35 +0000 | <c_wraith> | > many [1,2,3] |
| 2021-12-04 18:37:37 +0000 | <lambdabot> | *Exception: <<loop>> |
| 2021-12-04 18:38:03 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 18:38:33 +0000 | <geekosaur> | some implies at least one to me |
| 2021-12-04 18:39:14 +0000 | <hololeap> | I guess you're right, but I don't usually think of "many" as including the possibility of zero |
| 2021-12-04 18:39:15 +0000 | <geekosaur> | many's a bit weird though namewise since to me it implies a lot |
| 2021-12-04 18:40:04 +0000 | <hololeap> | I have many achievements |
| 2021-12-04 18:40:30 +0000 | <tomsmeding> | "I have many friends" |
| 2021-12-04 18:41:08 +0000 | <c_wraith> | "A friend of the devil is a friend of mine". wait, wrong direction |
| 2021-12-04 18:41:21 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 2021-12-04 18:41:22 +0000 | <lyxia> | yeah I remember many as the one that's not some |
| 2021-12-04 18:41:25 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-04 18:41:49 +0000 | tomsmeding | remembers many as the combinator that's regex' *, and some is "the other one" |
| 2021-12-04 18:42:15 +0000 | <c_wraith> | I just... remember them. My capacity for trivia is vast. |
| 2021-12-04 18:42:23 +0000 | <geekosaur> | that's more orloess the rest of how I remember them, some is + so many must be * |
| 2021-12-04 18:42:37 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 18:42:46 +0000 | <geekosaur> | it's still weird though |
| 2021-12-04 18:43:19 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 18:45:48 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 18:46:06 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 18:47:01 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
| 2021-12-04 18:50:24 +0000 | <hololeap> | is there a way to prove that you have a Show instance for (f a) if you have a Show1 instance for f? |
| 2021-12-04 18:51:18 +0000 | <tomsmeding> | and Show a, presumably |
| 2021-12-04 18:51:31 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-131-169.cust.tzulo.com) |
| 2021-12-04 18:51:37 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-12-04 18:51:41 +0000 | <tomsmeding> | you _don't_ necessarily have a Show instance for (f a) though; however, that information is sufficient to _make_ one |
| 2021-12-04 18:51:47 +0000 | cheater | (~Username@user/cheater) |
| 2021-12-04 18:51:59 +0000 | <geekosaur> | ^ |
| 2021-12-04 18:52:24 +0000 | <geekosaur> | Show1 f is only enough to say that, *if* you have an a with Show, you can make Show (f a) |
| 2021-12-04 18:52:43 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 18:52:55 +0000 | <tomsmeding> | and if so, showsPrec = liftShowsPrec showsPrec showList |
| 2021-12-04 18:53:01 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 18:53:03 +0000 | <dsal> | hololeap: how many of these do you have? |
| 2021-12-04 18:53:04 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-04 18:53:41 +0000 | <hololeap> | how many of what do I have? |
| 2021-12-04 18:53:49 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 18:54:13 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Read error: Connection reset by peer) |
| 2021-12-04 18:54:31 +0000 | <dsal> | How many intuitive mnemonics have you collected? |
| 2021-12-04 18:55:07 +0000 | <hololeap> | I have no idea |
| 2021-12-04 18:55:36 +0000 | <hololeap> | should I be counting them as I go? :3 |
| 2021-12-04 18:56:36 +0000 | <hpc> | if only there was a way to remember lots of things at once, to make it easier to keep track of |
| 2021-12-04 18:57:00 +0000 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 2021-12-04 18:57:13 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
| 2021-12-04 18:58:01 +0000 | <dsal> | hololeap: if the answer is zero, that's ok, because when I ask you how many of something you have, you can have none, but if you have some, then you must have at least one. |
| 2021-12-04 18:58:22 +0000 | <hololeap> | "many" ;) |
| 2021-12-04 18:59:22 +0000 | Lycurgus | (~juan@98.4.112.204) |
| 2021-12-04 18:59:29 +0000 | fabfianda | (~fabfianda@mob-5-90-243-224.net.vodafone.it) (Ping timeout: 256 seconds) |
| 2021-12-04 18:59:42 +0000 | <dsal> | Good, then hopefully you see that I've answered your question several times. :) |
| 2021-12-04 18:59:52 +0000 | fabfianda | (~fabfianda@net-2-32-227-53.cust.dsl.teletu.it) |
| 2021-12-04 19:00:03 +0000 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 256 seconds) |
| 2021-12-04 19:01:41 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-12-04 19:01:48 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-04 19:01:56 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-12-04 19:01:59 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:fbae:9981:ef06:fecb) (Ping timeout: 252 seconds) |
| 2021-12-04 19:02:46 +0000 | <hololeap> | oh, I get it |
| 2021-12-04 19:03:30 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-131-169.cust.tzulo.com) (Quit: Leaving) |
| 2021-12-04 19:06:17 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-12-04 19:06:25 +0000 | cheater | (~Username@user/cheater) |
| 2021-12-04 19:06:51 +0000 | fabfianda | (~fabfianda@net-2-32-227-53.cust.dsl.teletu.it) (Ping timeout: 256 seconds) |
| 2021-12-04 19:07:45 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 2021-12-04 19:08:00 +0000 | fabfianda | (~fabfianda@mob-5-90-252-134.net.vodafone.it) |
| 2021-12-04 19:08:45 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 19:08:45 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-04 19:08:45 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-04 19:11:55 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 19:11:59 +0000 | <energizer> | `let {x = 2 + x} in x` what do the curly braces mean? |
| 2021-12-04 19:12:19 +0000 | <geekosaur> | they can replace layout |
| 2021-12-04 19:12:58 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 19:13:04 +0000 | <energizer> | oh |
| 2021-12-04 19:13:22 +0000 | <geekosaur> | so there, they're not doing much |
| 2021-12-04 19:13:22 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 19:14:40 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 19:14:58 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2021-12-04 19:18:16 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-04 19:18:55 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Remote host closed the connection) |
| 2021-12-04 19:19:19 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-12-04 19:19:49 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 19:20:35 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 19:22:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-04 19:22:47 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 19:24:00 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
| 2021-12-04 19:24:29 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-04 19:27:50 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-04 19:27:53 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-04 19:29:25 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) |
| 2021-12-04 19:29:39 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 19:31:05 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 19:31:22 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 19:32:00 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-12-04 19:33:18 +0000 | <juri_> | hmm. is anyone else using stan to lint check their code for totality? I'm wondering what to do with functions like sum, minimum, and maximum. |
| 2021-12-04 19:34:04 +0000 | <maerwald> | I don't think stan can check your code for totality |
| 2021-12-04 19:34:28 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-12-04 19:34:49 +0000 | nitrix | (~nitrix@user/nitrix) (Leaving) |
| 2021-12-04 19:35:26 +0000 | <Lycurgus> | i looked at it a while back, didn seem to be worth the effort |
| 2021-12-04 19:35:35 +0000 | <eyJhb> | Reading this piece of Haskell sourcecode https://termbin.com/2rtf and I am unsure what `s'` and `s''`means? I have tried searching for it, but can't really find an anwser. |
| 2021-12-04 19:35:37 +0000 | <eyJhb> | answer* |
| 2021-12-04 19:35:45 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
| 2021-12-04 19:36:05 +0000 | cosimone | (~user@93-47-228-147.ip115.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2021-12-04 19:38:42 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:38:57 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
| 2021-12-04 19:39:46 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 19:40:43 +0000 | <juri_> | Stan has done my code a lot of good. mostly making me add calls to error when conditions are out of the norm. |
| 2021-12-04 19:41:57 +0000 | <juri_> | I just got done with eliminating head, tail, init, last, etc from Data.List, but eliminating sum, minimum, and maximum is a bit more problematic. they require noninfinite lists. |
| 2021-12-04 19:42:04 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-12-04 19:42:09 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:90ba:bdb8:fd93:c610) |
| 2021-12-04 19:42:20 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:42:25 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 19:42:28 +0000 | <dsal> | > sum [] |
| 2021-12-04 19:42:30 +0000 | <lambdabot> | 0 |
| 2021-12-04 19:42:42 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 19:43:26 +0000 | <dsal> | I tried stan in the past and it mostly just made noise. |
| 2021-12-04 19:43:54 +0000 | <dsal> | I don't generally use a lot of partial functions, though. |
| 2021-12-04 19:43:54 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:44:12 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-04 19:44:20 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:44:38 +0000 | <dsal> | I'm pretty convinced anyone who says not to use `sum` should probably offer a lot of qualifiers, though. |
| 2021-12-04 19:45:02 +0000 | <Profpatsch> | How about when I have a “lens” that will use an IO action to view/set the lens? Is that possible? |
| 2021-12-04 19:45:24 +0000 | <energizer> | https://en.wikibooks.org/wiki/Haskell/Fix_and_recursion says `fix` "finds the least-defined fixed point of a function" and "In any type, ⊥ is the least-defined value". So why isn't the least-defined fixed point of a function /always/ ⊥? |
| 2021-12-04 19:45:26 +0000 | <geekosaur> | eyJhb, they're just new identifiers. haskell allows you to add ticks (primes in math parlance) to variable names to make new ones, usually meaning they're related in sonme way to the unticked one |
| 2021-12-04 19:45:47 +0000 | <geekosaur> | > fix (const 2) |
| 2021-12-04 19:45:49 +0000 | <lambdabot> | 2 |
| 2021-12-04 19:45:55 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:46:02 +0000 | <energizer> | geekosaur: bottom is less defined than 2, right? |
| 2021-12-04 19:46:10 +0000 | <Lycurgus> | or the one less ticked |
| 2021-12-04 19:46:18 +0000 | <geekosaur> | right, but const 2 <anything> is always 2 |
| 2021-12-04 19:46:21 +0000 | <Lycurgus> | *ones |
| 2021-12-04 19:46:21 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:46:54 +0000 | <geekosaur> | so 2 is the least defined fixed point of (const 2) |
| 2021-12-04 19:47:13 +0000 | <geekosaur> | > const 2 undefined |
| 2021-12-04 19:47:15 +0000 | <lambdabot> | 2 |
| 2021-12-04 19:47:29 +0000 | <energizer> | geekosaur: because it's impossible to get undefined out of `const 2 _` |
| 2021-12-04 19:47:44 +0000 | <energizer> | ok |
| 2021-12-04 19:47:55 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:47:58 +0000 | <monochrom> | ⊥ is less defined than 0:0:0... That doesn't mean ⊥ satisfies the equation x = 0:x. 0:0:0:... does. |
| 2021-12-04 19:48:17 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-04 19:48:20 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:48:24 +0000 | <eyJhb> | Thanks geekosaur :) |
| 2021-12-04 19:48:29 +0000 | <geekosaur> | > let s' = 5 in s' -- s' is just another name |
| 2021-12-04 19:48:31 +0000 | <lambdabot> | 5 |
| 2021-12-04 19:48:33 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-12-04 19:48:59 +0000 | pfurla | (~pfurla@201.17.118.230) |
| 2021-12-04 19:49:12 +0000 | <Lycurgus> | as far as stan, statements vs more stuff;peoples want like quickcheck but for real not just tests rather than like a deep lint |
| 2021-12-04 19:49:51 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:50:23 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:51:41 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-12-04 19:51:44 +0000 | cheater1__ | (~Username@user/cheater) |
| 2021-12-04 19:51:48 +0000 | cheater1__ | cheater |
| 2021-12-04 19:51:55 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:52:34 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:53:05 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 19:54:06 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:54:44 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:55:31 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-12-04 19:55:57 +0000 | <juri_> | Lycurgus: I have property tests, unit tests and integration tests. i think testing is a separate subject. |
| 2021-12-04 19:56:17 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:56:53 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:57:07 +0000 | <geekosaur> | > let foo'bar = 6 in foo'bar |
| 2021-12-04 19:57:08 +0000 | <lambdabot> | 6 |
| 2021-12-04 19:57:18 +0000 | <Lycurgus> | will (programmer coded) tests go away when programs can be automatically proven correct? |
| 2021-12-04 19:57:50 +0000 | <juri_> | no, because correct programs don't necessarilly do what the programmer intended. |
| 2021-12-04 19:58:04 +0000 | <geekosaur> | you can prove a program fits its specification. you can't prove the spec is correct |
| 2021-12-04 19:58:28 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 19:58:41 +0000 | <monochrom> | "prove correct" is only relative to a specification. Now you have to test your specification. |
| 2021-12-04 19:58:47 +0000 | <Lycurgus> | so i was actually looking forward to a system that synthesized hs from English |
| 2021-12-04 19:59:06 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 19:59:06 +0000 | <geekosaur> | english is *way* too multivalued |
| 2021-12-04 19:59:18 +0000 | <geekosaur> | to work as either a programming language or a specification language |
| 2021-12-04 20:00:17 +0000 | <geekosaur> | not to mention things like, the common use of "sort" is not the programming one |
| 2021-12-04 20:00:19 +0000 | <Lycurgus> | well controlled english ofc |
| 2021-12-04 20:00:23 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2021-12-04 20:00:39 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:00:51 +0000 | <Lycurgus> | for which there's already a well worked hs system |
| 2021-12-04 20:01:03 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 2021-12-04 20:01:15 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:02:48 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:03:27 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:04:56 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-12-04 20:05:01 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:05:14 +0000 | juhp | (~juhp@128.106.188.82) (Ping timeout: 252 seconds) |
| 2021-12-04 20:05:40 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:06:45 +0000 | juhp | (~juhp@128.106.188.82) |
| 2021-12-04 20:07:13 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:07:23 +0000 | <maerwald> | I'm in love with windows paths |
| 2021-12-04 20:07:45 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:07:53 +0000 | <juri_> | maerwald: CON |
| 2021-12-04 20:08:00 +0000 | <maerwald> | `\\?\GLOBALROOT\GLOBAL??\UNC\localhost\c$\foo\bar` -> `C:\foo\bar` |
| 2021-12-04 20:08:22 +0000 | <geekosaur> | gesundheit |
| 2021-12-04 20:08:36 +0000 | <maerwald> | well, most of our libraries choke on it :p |
| 2021-12-04 20:08:45 +0000 | <maerwald> | but it's valid |
| 2021-12-04 20:08:54 +0000 | <geekosaur> | I don't blame them :þ |
| 2021-12-04 20:09:08 +0000 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2021-12-04 20:09:12 +0000 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
| 2021-12-04 20:09:17 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:09:40 +0000 | <maerwald> | makes you appreciate how well posix is actually designed |
| 2021-12-04 20:09:46 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 20:09:49 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:10:04 +0000 | <maerwald> | windows specification was created by an intern |
| 2021-12-04 20:10:18 +0000 | <juri_> | ... who was drunk. |
| 2021-12-04 20:11:20 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:11:30 +0000 | <energizer> | wiki gives exercise to write nonrecursive version of `filter` using `fix`. i'm stuck. can someone show the answer for another function like map or takeWhile |
| 2021-12-04 20:11:31 +0000 | <yushyin> | but only to reach ballmer peak |
| 2021-12-04 20:11:54 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:12:17 +0000 | <maerwald> | I reach that every day. |
| 2021-12-04 20:12:27 +0000 | <geekosaur> | and then blow past it? |
| 2021-12-04 20:12:45 +0000 | <maerwald> | without being actually drunk |
| 2021-12-04 20:13:24 +0000 | <maerwald> | I mean... if you read through windows documentation more than half an hour, you'll get there |
| 2021-12-04 20:13:27 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:14:06 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:14:06 +0000 | <maerwald> | it's a stream of WTF moments that doesn't end |
| 2021-12-04 20:14:26 +0000 | <tomsmeding> | energizer: 'fix' has type '(a -> a) -> a'. What if you set 'a ~ s -> t'? |
| 2021-12-04 20:14:37 +0000 | <geekosaur> | I was amazed at how much of basic win32 looked like "let's just flip the meaning of this flag so we're not a clone of os/2 1.x" |
| 2021-12-04 20:15:41 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:16:02 +0000 | <geekosaur> | regardless of how rational flipping that flag was |
| 2021-12-04 20:16:05 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-12-04 20:16:13 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:17:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f5ec:bb0e:161e:528b) (Remote host closed the connection) |
| 2021-12-04 20:17:45 +0000 | <EvanR> | BeOS supremity |
| 2021-12-04 20:17:46 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:18:12 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-12-04 20:18:22 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:19:52 +0000 | hololeap_ | hololeap |
| 2021-12-04 20:19:56 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-12-04 20:20:22 +0000 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-12-04 20:25:37 +0000 | <leah2> | is there a haskell library ala Shake.Command that supports creating pipes? |
| 2021-12-04 20:27:25 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-12-04 20:27:41 +0000 | chomwitt | (~chomwitt@ppp-94-67-1-114.home.otenet.gr) (Quit: Leaving) |
| 2021-12-04 20:29:21 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 20:29:37 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-04 20:29:39 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 20:29:52 +0000 | <geekosaur> | Turtle or shelly? |
| 2021-12-04 20:29:59 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 20:30:05 +0000 | <maerwald> | pipes? |
| 2021-12-04 20:30:13 +0000 | <maerwald> | what do you mean with pipes |
| 2021-12-04 20:30:34 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 20:31:28 +0000 | <geekosaur> | System.Process in base can create pipes also but you'll have to do a bit more work. And in any case beware of the open3 problem: you can't sensibly read from and write to an external command at the same time, unlessa multithreaded |
| 2021-12-04 20:32:22 +0000 | <geekosaur> | (as "open3" should suggest, this is a very general problem not at all limited to haskell) |
| 2021-12-04 20:34:17 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Client Quit) |
| 2021-12-04 20:35:57 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 20:35:57 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 20:36:14 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 20:38:11 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 20:38:28 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 20:38:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-12-04 20:39:20 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) |
| 2021-12-04 20:40:07 +0000 | <tomsmeding> | geekosaur: why, because writing and/or reading may block and thus prevent you from doing the other thing? Does select(2) (and friends) fix this in C? |
| 2021-12-04 20:41:13 +0000 | <geekosaur> | you expect tp write to the program, then read the result. program streams its output. program's output pipe blocks because you're not reading. program stops reading. you block on full pipe |
| 2021-12-04 20:41:19 +0000 | <geekosaur> | classic deadlock |
| 2021-12-04 20:41:32 +0000 | <tomsmeding> | oh right, if you don't anticipate this scenario |
| 2021-12-04 20:41:45 +0000 | <geekosaur> | select() only goes so far, you still have to be prepared to read output *while* writing |
| 2021-12-04 20:41:54 +0000 | <tomsmeding> | like, you can fix this as host program, but you need to be aware that it needs fixing |
| 2021-12-04 20:42:08 +0000 | jinsun__ | (~quassel@user/jinsun) |
| 2021-12-04 20:42:21 +0000 | <leah2> | geekosaur: i'll look at these, thx |
| 2021-12-04 20:42:22 +0000 | <tomsmeding> | easy trap though :) |
| 2021-12-04 20:42:34 +0000 | <geekosaur> | and very common one |
| 2021-12-04 20:42:53 +0000 | awschnap | (~lavaman@98.38.249.169) |
| 2021-12-04 20:43:07 +0000 | <geekosaur> | lots of people get this wrong because they assume the OS being concurrent means it can't happen, when *their program* must be concurrent in some sense to prevent it |
| 2021-12-04 20:43:27 +0000 | <tomsmeding> | which can be within one thread if you program carefully |
| 2021-12-04 20:43:55 +0000 | yauhsien | (~yauhsien@61-231-22-20.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 20:44:11 +0000 | <tomsmeding> | good advice though |
| 2021-12-04 20:44:24 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 20:44:40 +0000 | pgib | (~textual@173.38.117.87) (Ping timeout: 256 seconds) |
| 2021-12-04 20:44:40 +0000 | <monochrom> | Oh, I know of an even more fantastic fantasy of automatic concurrency. |
| 2021-12-04 20:44:53 +0000 | kmein | (~weechat@user/kmein) (Ping timeout: 256 seconds) |
| 2021-12-04 20:44:53 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
| 2021-12-04 20:44:53 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 256 seconds) |
| 2021-12-04 20:45:17 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2021-12-04 20:45:27 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2021-12-04 20:45:27 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-04 20:45:27 +0000 | fabfianda | (~fabfianda@mob-5-90-252-134.net.vodafone.it) (Ping timeout: 256 seconds) |
| 2021-12-04 20:45:27 +0000 | jinsun | (~quassel@user/jinsun) (Ping timeout: 256 seconds) |
| 2021-12-04 20:45:27 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2021-12-04 20:45:28 +0000 | kmein | (~weechat@user/kmein) |
| 2021-12-04 20:45:39 +0000 | <monochrom> | I had a student who thought that just because you have called "listen(10)", it means when you call "accept(s)" it can talk to 10 clients concurrently. |
| 2021-12-04 20:45:44 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) |
| 2021-12-04 20:45:46 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2021-12-04 20:46:05 +0000 | <tomsmeding> | as if by magic ✨ |
| 2021-12-04 20:46:16 +0000 | <tomsmeding> | mutable state doesn't exist |
| 2021-12-04 20:47:53 +0000 | AlexNoo | (~AlexNoo@178.34.151.83) (Read error: Connection reset by peer) |
| 2021-12-04 20:48:19 +0000 | AlexNoo | (~AlexNoo@178.34.151.83) |
| 2021-12-04 20:50:03 +0000 | deadmarshal | (~deadmarsh@95.38.116.22) (Ping timeout: 256 seconds) |
| 2021-12-04 20:51:59 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 20:52:16 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 20:53:20 +0000 | <zincy_> | monochrom: What so opening a concurrent connection means everything automatically works concurrently? |
| 2021-12-04 20:54:49 +0000 | <EvanR> | if I just have a haskell file and no project, can I possibly use vector without dealing with a "system package" |
| 2021-12-04 20:55:03 +0000 | <monochrom> | You write an accept-interact-close loop. You find that after the 1st client has connected, your loop is unresponsive to future clients. |
| 2021-12-04 20:55:14 +0000 | <monochrom> | You think that listen(big number) solves that. |
| 2021-12-04 20:56:05 +0000 | <monochrom> | Or rather, s/you/my student/ |
| 2021-12-04 20:56:10 +0000 | <tomsmeding> | cabal repl -b vector --repl-options=yourfile.hs, but make sure that it has a module header otherwise it won't work |
| 2021-12-04 20:56:18 +0000 | <dsal> | EvanR: I'm afraid you're going to need to install NixOS and start using stack. |
| 2021-12-04 20:56:25 +0000 | <zincy_> | I am your student just not on your course |
| 2021-12-04 20:56:37 +0000 | <geekosaur> | cabal has scripts, they're just poorly documented |
| 2021-12-04 20:57:29 +0000 | <dsal> | Data.Map.Strict.partition is ~10x slower than Data.Map.Strict.filter when I end up matching slightly less than one item on average. |
| 2021-12-04 20:57:31 +0000 | acidjnk_new | (~acidjnk@p200300d0c7271e5135c37e9089e8a354.dip0.t-ipconnect.de) |
| 2021-12-04 20:58:17 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 20:59:05 +0000 | <EvanR> | dsal, lol |
| 2021-12-04 21:00:15 +0000 | <EvanR> | tomsmeding, k that's something |
| 2021-12-04 21:00:44 +0000 | <sm> | EvanR: certainly, use a stack script |
| 2021-12-04 21:00:52 +0000 | <EvanR> | :| |
| 2021-12-04 21:01:07 +0000 | <EvanR> | I might as well just create a cabal project |
| 2021-12-04 21:01:09 +0000 | <sm> | or a cabal script if you don't like stack, it's just not quite as good |
| 2021-12-04 21:01:21 +0000 | <sm> | you asked for no project |
| 2021-12-04 21:01:30 +0000 | jinsun__ | jinsun |
| 2021-12-04 21:01:30 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 21:01:34 +0000 | <tomsmeding> | but yeah also cabal script https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=script#cabal-v2-run |
| 2021-12-04 21:01:37 +0000 | <EvanR> | a stack script is less? |
| 2021-12-04 21:01:56 +0000 | <EvanR> | I haven't had to install stack this go around with haskell |
| 2021-12-04 21:02:05 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 2021-12-04 21:02:10 +0000 | <sm> | a stack/cabal script is less than a project, yes (but still reproducible) |
| 2021-12-04 21:02:28 +0000 | <sm> | they're great |
| 2021-12-04 21:03:10 +0000 | <EvanR> | cool |
| 2021-12-04 21:03:25 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2021-12-04 21:04:57 +0000 | <EvanR> | so a cabal script is a script that cabal runs... and the language is haskell? |
| 2021-12-04 21:05:19 +0000 | <sm> | yes |
| 2021-12-04 21:05:20 +0000 | hgolden | (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (Remote host closed the connection) |
| 2021-12-04 21:05:37 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2021-12-04 21:06:36 +0000 | <sm> | https://docs.haskellstack.org/en/stable/GUIDE/#script-interpreter |
| 2021-12-04 21:06:59 +0000 | <EvanR> | that's awesome |
| 2021-12-04 21:07:28 +0000 | coolnickname | (~coolnickn@73.194.7.51.dyn.plus.net) |
| 2021-12-04 21:07:47 +0000 | <EvanR> | does it cache the compiled exe |
| 2021-12-04 21:08:04 +0000 | <sm> | stack does, cabal doesn't |
| 2021-12-04 21:09:01 +0000 | trillp | (~user@69.233.98.238) |
| 2021-12-04 21:10:27 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-12-04 21:13:31 +0000 | <fgaz> | EvanR: you could also use cabal-env to create an enviroment with the packages you need then use ghc directly |
| 2021-12-04 21:13:56 +0000 | <EvanR> | and that's different from just creating a cabal project? xD |
| 2021-12-04 21:16:24 +0000 | <fgaz> | it's... less declarative |
| 2021-12-04 21:17:08 +0000 | <fgaz> | it works great for quick experiments for example |
| 2021-12-04 21:17:26 +0000 | <fgaz> | long term i'd definitely create a project though |
| 2021-12-04 21:19:06 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:19:24 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:21:04 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:21:23 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:23:03 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:23:21 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:23:45 +0000 | <EvanR> | cool, the cabal script works and runs |
| 2021-12-04 21:23:56 +0000 | <EvanR> | and using vector instead of list is much faster |
| 2021-12-04 21:24:19 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 21:24:21 +0000 | <EvanR> | and running the script itself now has high latency due to compilation I guess xD |
| 2021-12-04 21:24:53 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-04 21:25:02 +0000 | <sm> | yes, cabal compiles it every time |
| 2021-12-04 21:25:13 +0000 | <sm> | nullifying the advantage a bit |
| 2021-12-04 21:25:30 +0000 | <EvanR> | some unfortunate infrastructure overhead just to use arrays hehe |
| 2021-12-04 21:27:35 +0000 | yauhsien | (~yauhsien@61-231-32-247.dynamic-ip.hinet.net) |
| 2021-12-04 21:29:09 +0000 | geekosaur | wonders if there's some way to abuse ccache into being hcache |
| 2021-12-04 21:32:08 +0000 | yauhsien | (~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 21:32:23 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:90ba:bdb8:fd93:c610) (Quit: No Ping reply in 180 seconds.) |
| 2021-12-04 21:33:38 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:814a:ccac:5077:2ffa) |
| 2021-12-04 21:36:28 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:36:47 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:38:34 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:38:51 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:40:31 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:40:49 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:42:29 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:42:47 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:42:51 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-04 21:47:47 +0000 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-04 21:48:30 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-12-04 21:50:41 +0000 | zincy_ | (~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection) |
| 2021-12-04 21:51:57 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) |
| 2021-12-04 21:53:50 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:54:07 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:55:47 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 21:56:05 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 21:57:00 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:798e:f8b0:91f3:38f8) (Ping timeout: 268 seconds) |
| 2021-12-04 21:57:26 +0000 | jstolarek | (~jstolarek@137.220.120.162) |
| 2021-12-04 21:57:35 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:ae6c:946a:bfb4:e41d) |
| 2021-12-04 21:58:32 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-04 21:59:45 +0000 | <EvanR> | Vector.modify is documented as doing in-place update if possible other makes a copy. Is this real? I.e. does it ever not just make a copy |
| 2021-12-04 22:00:21 +0000 | briandaed | (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal) |
| 2021-12-04 22:00:39 +0000 | <EvanR> | otherwise* |
| 2021-12-04 22:02:00 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-12-04 22:02:12 +0000 | <int-e> | EvanR: I'd take this as code-speak for fusion, so if you modify a freshly created vector it'll just create one |
| 2021-12-04 22:03:15 +0000 | <int-e> | let's see if I understand the code well enough to figure out whether there's more to it |
| 2021-12-04 22:03:22 +0000 | <EvanR> | haha yeah I tried |
| 2021-12-04 22:04:04 +0000 | <EvanR> | clone creates a New wrapper, so maybe the optimizer can recognize that and avoid a copy |
| 2021-12-04 22:04:56 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) |
| 2021-12-04 22:06:41 +0000 | <int-e> | e.g. there's a rule like this, `"clone/new [Vector]" forall p. clone (new p) = p` and `modify` is implemented as `modify p = new . New.modify p . clone` |
| 2021-12-04 22:07:20 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-12-04 22:07:33 +0000 | <EvanR> | so clone and new cancel |
| 2021-12-04 22:07:47 +0000 | <EvanR> | if you chain modifies, it only creates 1 new |
| 2021-12-04 22:07:55 +0000 | <int-e> | where `clone :: Vector v a => v a -> New v a` and `new :: Vector v a => New v a -> v a` switch between vector and vector-being-initialized (really a wrapper around ST) |
| 2021-12-04 22:08:37 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2021-12-04 22:08:40 +0000 | <int-e> | so yeah it still looks like code-speak for fusion :) |
| 2021-12-04 22:09:05 +0000 | <EvanR> | that's pretty slick |
| 2021-12-04 22:09:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-04 22:09:27 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) (Client Quit) |
| 2021-12-04 22:09:41 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) |
| 2021-12-04 22:10:46 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:ae6c:946a:bfb4:e41d) (Ping timeout: 245 seconds) |
| 2021-12-04 22:11:48 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:da53:be98:ac38:235d) |
| 2021-12-04 22:13:49 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:14:07 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:14:36 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-12-04 22:14:41 +0000 | nrl^ | (~nrl@68.101.58.90) (Remote host closed the connection) |
| 2021-12-04 22:17:13 +0000 | awschnap | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-12-04 22:17:23 +0000 | zincy_ | (~zincy@2a00:23c8:970c:4801:f9b9:ddeb:6361:fc1a) (Remote host closed the connection) |
| 2021-12-04 22:19:47 +0000 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Read error: Connection reset by peer) |
| 2021-12-04 22:20:55 +0000 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-12-04 22:21:04 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 22:22:55 +0000 | jassob1 | jassob |
| 2021-12-04 22:24:56 +0000 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 252 seconds) |
| 2021-12-04 22:25:29 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-12-04 22:26:15 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) |
| 2021-12-04 22:29:07 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:29:25 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:31:05 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:31:23 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:31:55 +0000 | dsrt^ | (~dsrt@68.101.58.90) |
| 2021-12-04 22:33:11 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2021-12-04 22:35:21 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:35:40 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:36:22 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-12-04 22:36:22 +0000 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-12-04 22:37:51 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) |
| 2021-12-04 22:43:51 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:44:10 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:46:27 +0000 | fabfianda | (~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) |
| 2021-12-04 22:46:36 +0000 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-12-04 22:50:05 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:50:24 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:52:04 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:52:22 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:53:28 +0000 | rusty | (~rustyboy@2a02:2f0e:5610:ab00:b16b:f583:26df:4061) |
| 2021-12-04 22:54:12 +0000 | max22- | (~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2021-12-04 22:56:19 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 22:56:38 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 22:57:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-12-04 22:58:16 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:814a:ccac:5077:2ffa) (Ping timeout: 245 seconds) |
| 2021-12-04 22:59:24 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-12-04 22:59:45 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-12-04 23:00:32 +0000 | <juri_> | grr. infinite type error. oh, fun. |
| 2021-12-04 23:02:21 +0000 | fabfianda | (~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2021-12-04 23:03:39 +0000 | fabfianda | (~fabfianda@net-109-115-246-237.cust.vodafonedsl.it) |
| 2021-12-04 23:04:16 +0000 | debdut | (~debdut@115.187.40.134) |
| 2021-12-04 23:04:52 +0000 | <juri_> | oh. remove the definitions, and it's all happy. |
| 2021-12-04 23:04:55 +0000 | <juri_> | crud. |
| 2021-12-04 23:06:16 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-04 23:07:24 +0000 | debdut | (~debdut@115.187.40.134) (Client Quit) |
| 2021-12-04 23:08:12 +0000 | debdut | (~debdut@115.187.40.134) |
| 2021-12-04 23:08:34 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2021-12-04 23:11:05 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-04 23:12:32 +0000 | <EvanR> | an infinite error you say |
| 2021-12-04 23:12:36 +0000 | <EvanR> | > fix error |
| 2021-12-04 23:12:37 +0000 | <lambdabot> | "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... |
| 2021-12-04 23:12:57 +0000 | debdut | (~debdut@115.187.40.134) (Client Quit) |
| 2021-12-04 23:14:05 +0000 | yauhsien | (~yauhsien@61-231-32-247.dynamic-ip.hinet.net) |
| 2021-12-04 23:14:15 +0000 | CiaoSen | (~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-04 23:14:25 +0000 | pavonia | (~user@user/siracusa) |
| 2021-12-04 23:16:12 +0000 | debdut | (~debdut@115.187.40.134) |
| 2021-12-04 23:16:17 +0000 | rusty | (~rustyboy@2a02:2f0e:5610:ab00:b16b:f583:26df:4061) (Remote host closed the connection) |
| 2021-12-04 23:16:32 +0000 | <hololeap> | there's a potential semigroup on (Bool, a) where it stops at (True, a) and ignores any farther arguments. is there a name for this? |
| 2021-12-04 23:17:24 +0000 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
| 2021-12-04 23:18:27 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-12-04 23:18:39 +0000 | yauhsien | (~yauhsien@61-231-32-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-12-04 23:19:23 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:da53:be98:ac38:235d) (Ping timeout: 252 seconds) |
| 2021-12-04 23:20:01 +0000 | xff0x | (~xff0x@2001:1a81:53e7:c700:4988:289c:a66b:6fe) |
| 2021-12-04 23:20:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-04 23:22:07 +0000 | <hololeap> | kind of a hybrid between First and Any |
| 2021-12-04 23:23:04 +0000 | <EvanR> | by just mapping to First you don't need to answer this xD |
| 2021-12-04 23:26:04 +0000 | <EvanR> | is there a way to "stick an a" on any semigroup like that and have it make sense... I guess not |
| 2021-12-04 23:26:36 +0000 | <EvanR> | there's Tagged but that's a phantom |
| 2021-12-04 23:28:03 +0000 | <hololeap> | that's true, I could foldMap (f :: a -> First a) |
| 2021-12-04 23:29:45 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 23:30:04 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 23:30:24 +0000 | <EvanR> | was thinking (Bool,a) -> First a |
| 2021-12-04 23:30:38 +0000 | <EvanR> | oh, tuple foldable |
| 2021-12-04 23:30:49 +0000 | <maerwald> | "lol" </> "/bar" -> "/bar" -- another bug on windows :p |
| 2021-12-04 23:31:37 +0000 | <EvanR> | no laughing on windows 👔 |
| 2021-12-04 23:32:06 +0000 | <maerwald> | "/bar" on windows is equivalent to "bar", so the result should be "lol\\bar" |
| 2021-12-04 23:32:43 +0000 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-12-04 23:36:19 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-12-04 23:36:48 +0000 | debdut | (~debdut@115.187.40.134) (Quit: debdut) |
| 2021-12-04 23:38:28 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 23:38:46 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 23:39:08 +0000 | <juri_> | windows. nevermore. |
| 2021-12-04 23:40:20 +0000 | <sm> | listening to a recent SPJ podcast interview, I was reminded that in a sense, it's Windows users that have paid for Haskell |
| 2021-12-04 23:41:42 +0000 | <juri_> | good. getting something good from evil does not mean you owe fealty to evil. you should congratulate those who held the line against evil, and move on. |
| 2021-12-04 23:41:45 +0000 | <maerwald> | they never paid me any money |
| 2021-12-04 23:42:12 +0000 | <sm> | microsoft paid SPJ (at least) to do whatever he wanted (GHC maintenance) for years |
| 2021-12-04 23:42:20 +0000 | <EvanR> | surprised to see accursedUnutterablePerformIO in latest bytestring code xD |
| 2021-12-04 23:42:29 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2021-12-04 23:42:31 +0000 | <EvanR> | thought that was censored a while back |
| 2021-12-04 23:42:38 +0000 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 2021-12-04 23:42:45 +0000 | <sm> | microsoft's money came from Windows users. Therefore, we should kind of thank windows users once in a while |
| 2021-12-04 23:43:06 +0000 | <EvanR> | anyway, is there a sane way to fold over 2 bytes at a time |
| 2021-12-04 23:43:46 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) (Quit: ZNC - https://znc.in) |
| 2021-12-04 23:45:37 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 23:45:54 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 23:46:38 +0000 | <juri_> | sm: windows users don't donate to microsoft. they pay, or they can't use their computers. thanking someone for being a victim is not healthy. |
| 2021-12-04 23:47:32 +0000 | cowgirl | (~coderobe@archlinux/trusteduser/coderobe) |
| 2021-12-04 23:47:36 +0000 | cowgirl | (~coderobe@archlinux/trusteduser/coderobe) (Killed (K-Lined)) |
| 2021-12-04 23:48:32 +0000 | <EvanR> | I'm a windows user and I didn't pay |
| 2021-12-04 23:48:46 +0000 | <EvanR> | only occasionally I can't read whatever is behind the watermark |
| 2021-12-04 23:49:13 +0000 | <EvanR> | ghcup on windows works great thanks for that |
| 2021-12-04 23:49:36 +0000 | vgtw | (~vgtw@c-2359205c.07-348-756d651.bbcust.telenor.se) |
| 2021-12-04 23:49:41 +0000 | alx741 | (~alx741@186.178.108.253) (Ping timeout: 256 seconds) |
| 2021-12-04 23:49:45 +0000 | axeman | (~quassel@2a02:8109:a3c0:b10:7b24:ebdc:13ed:79b5) |
| 2021-12-04 23:50:02 +0000 | <maerwald[m]> | EvanR: I accept bitcoin |
| 2021-12-04 23:50:51 +0000 | <maerwald[m]> | ADA is too low right now :p |
| 2021-12-04 23:52:40 +0000 | <geekosaur> | microsoft's money didn't come from windows users. it came from *office* users |
| 2021-12-04 23:53:08 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-04 23:54:53 +0000 | namkeleser | (~namkelese@101.175.128.51) |
| 2021-12-04 23:54:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-04 23:56:39 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
| 2021-12-04 23:56:56 +0000 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
| 2021-12-04 23:57:05 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: No route to host) |
| 2021-12-04 23:57:35 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |