| 2021-02-07 00:00:26 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:65b8:f8f6:1ab5:f657) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 00:00:57 +0100 | DataComputist | (~lumeng@50.43.26.251) (Ping timeout: 246 seconds) |
| 2021-02-07 00:02:10 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-02-07 00:03:16 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-02-07 00:04:56 +0100 | kupi | (uid212005@gateway/web/irccloud.com/x-lbjfgvhzpgnvgmcj) |
| 2021-02-07 00:05:17 +0100 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-02-07 00:05:33 +0100 | ADG1089__ | (~aditya@223.235.245.154) |
| 2021-02-07 00:05:34 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 2021-02-07 00:05:48 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-02-07 00:06:10 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 00:08:19 +0100 | ElkOwen | (~LKoen@252.248.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-02-07 00:08:21 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 264 seconds) |
| 2021-02-07 00:09:44 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 00:10:37 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 00:12:55 +0100 | usr25 | (~J@43.red-83-41-28.dynamicip.rima-tde.net) (Quit: Bye) |
| 2021-02-07 00:13:15 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-02-07 00:13:21 +0100 | ADG1089__ | (~aditya@223.235.245.154) (Remote host closed the connection) |
| 2021-02-07 00:14:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:9c1e:e551:3930:5e04) (Ping timeout: 264 seconds) |
| 2021-02-07 00:15:28 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-02-07 00:17:06 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2021-02-07 00:22:14 +0100 | earldouglas | (~james@unaffiliated/jamestastic) |
| 2021-02-07 00:23:16 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 00:23:36 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-02-07 00:23:54 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-02-07 00:23:57 +0100 | earldouglas | (~james@unaffiliated/jamestastic) (Client Quit) |
| 2021-02-07 00:24:29 +0100 | earldouglas | (~james@unaffiliated/jamestastic) |
| 2021-02-07 00:25:49 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-02-07 00:26:18 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-02-07 00:27:45 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 00:31:21 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e86a:eb9:e825:c074) |
| 2021-02-07 00:33:37 +0100 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!) |
| 2021-02-07 00:34:01 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 00:34:48 +0100 | zfnmxt | (~zfnmxt@unaffiliated/zfnmxt) |
| 2021-02-07 00:34:58 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) (Quit: bye) |
| 2021-02-07 00:36:45 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 00:38:11 +0100 | frankdmartinez_ | (~frankdmar@c-69-249-128-78.hsd1.pa.comcast.net) |
| 2021-02-07 00:38:11 +0100 | frankdmartinez_ | (~frankdmar@c-69-249-128-78.hsd1.pa.comcast.net) (Client Quit) |
| 2021-02-07 00:39:33 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) (Ping timeout: 264 seconds) |
| 2021-02-07 00:43:40 +0100 | darjeeling_ | (~darjeelin@122.245.216.78) (Ping timeout: 276 seconds) |
| 2021-02-07 00:44:06 +0100 | darjeeling_ | (~darjeelin@122.245.216.78) |
| 2021-02-07 00:45:02 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 00:45:55 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-02-07 00:47:03 +0100 | <koz_> | Are Hackage packages (Hackages?) no longer announced? |
| 2021-02-07 00:48:46 +0100 | <monochrom> | maybe the bot is just away for a bit |
| 2021-02-07 00:49:26 +0100 | <slack1256> | I will upload my package later then, I only do it for the announcement. |
| 2021-02-07 00:49:37 +0100 | <monochrom> | hahaha |
| 2021-02-07 00:50:02 +0100 | <zebrag> | There are only two possible solutions for `alpha :: Maybe a -> [a]`? |
| 2021-02-07 00:50:33 +0100 | <zebrag> | Would that be correct? |
| 2021-02-07 00:50:47 +0100 | <slack1256> | I can think of infinite implementations for that type signature. |
| 2021-02-07 00:51:03 +0100 | <ephemient> | @djinn Maybe a -> [a] |
| 2021-02-07 00:51:03 +0100 | <lambdabot> | Error: Undefined type [] |
| 2021-02-07 00:51:12 +0100 | <slack1256> | Depending on how many times I repeat the `a` on the list on the `Just` case. |
| 2021-02-07 00:51:18 +0100 | <ephemient> | oh right that's not one of the builtins it recognizes :-/ |
| 2021-02-07 00:51:18 +0100 | <zebrag> | (reading category theory for programmers, chapter on natural transformations) |
| 2021-02-07 00:51:33 +0100 | <ski> | koz_,slack1256 : last announcement was a little over five hours ago only |
| 2021-02-07 00:51:54 +0100 | <zebrag> | slack1256: right |
| 2021-02-07 00:51:55 +0100 | <koz_> | ski: Ah, maybe I just haven't waited long enough for the package index to update. |
| 2021-02-07 00:52:52 +0100 | <zebrag> | slack1256: that infinity would make all of them, right? |
| 2021-02-07 00:53:09 +0100 | <ski> | zebrag : however, `map f (alpha mx)' will be equal to `alpha (fmap f ma)', due to parametricity |
| 2021-02-07 00:53:30 +0100 | conal | (~conal@66.115.157.109) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-02-07 00:53:37 +0100 | <zebrag> | ski: yes, i'm only trying to count them |
| 2021-02-07 00:53:53 +0100 | <ski> | there's infinitely many, as mentioned |
| 2021-02-07 00:54:51 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 246 seconds) |
| 2021-02-07 00:55:16 +0100 | <slack1256> | zebrag: you can also produce a infinite list via the equation `Just a = repeat a`. But you also can repeat until certain length via `Just a = take n (repeat a)`. |
| 2021-02-07 00:56:03 +0100 | <slack1256> | Categorically, there are many "natural transformations" between `Maybe` and `[]`. |
| 2021-02-07 00:56:30 +0100 | <ski> | sounds like there'd be a bijection with the generic convergent sequence |
| 2021-02-07 00:57:33 +0100 | <zebrag> | slack1256, ski: thanks for the answer; I'll keep reading |
| 2021-02-07 00:58:00 +0100 | <ski> | slack1256 : aka `replicate' :) |
| 2021-02-07 00:58:41 +0100 | <ski> | at some point, people were playing around a little with the idea of a "natural transformation" type class |
| 2021-02-07 00:58:48 +0100 | conal | (~conal@66.115.157.112) |
| 2021-02-07 00:59:19 +0100 | <monochrom> | I can understand a natural transformation type, but not a type class. |
| 2021-02-07 00:59:32 +0100 | <monochrom> | type NT f g = forall a. f a -> g a |
| 2021-02-07 00:59:41 +0100 | <ski> | but then people realized that there'd probably not be much point to such a type class, since in general there's many natural transformations, with no obvious choice of a particular one that ought to be picked out and blessed by such a type class |
| 2021-02-07 00:59:42 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 00:59:46 +0100 | <monochrom> | or newtype if wanted |
| 2021-02-07 01:00:41 +0100 | <monochrom> | I think the flawed logic stemmed from mistaking Haskell classes for Java classes. |
| 2021-02-07 01:01:29 +0100 | <monochrom> | (And s/Java classes/Java interfaces/ doesn't save it.) |
| 2021-02-07 01:01:52 +0100 | <monochrom> | The fact remains that 99.9% of the time, Java classes/interfaces translate to Haskell types. |
| 2021-02-07 01:02:14 +0100 | <monochrom> | and likewise Java objects translate to Haskell terms. |
| 2021-02-07 01:03:45 +0100 | <shachaf> | What Java interfaces translate to Haskell types, rather than type classes? |
| 2021-02-07 01:03:46 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 01:04:50 +0100 | <shachaf> | Hmm, not every Haskell function of that type is a natural transformation. But that probably doesn't matter. |
| 2021-02-07 01:07:16 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-02-07 01:07:56 +0100 | <ski> | Java interfaces are object types. Java classes are Java interfaces, plus a particular implementation, plus the ability to have implementation inheritance and open recursion (and type-case) |
| 2021-02-07 01:08:00 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 01:08:00 +0100 | pera | (~pera@unaffiliated/pera) (Quit: leaving) |
| 2021-02-07 01:08:15 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-02-07 01:09:37 +0100 | <ski> | (in Haskell terms, the implementation would correspond to an operation that returns a record) |
| 2021-02-07 01:11:32 +0100 | fendor | (~fendor@91.141.3.239.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-02-07 01:11:51 +0100 | forgottenone | (~forgotten@176.42.26.20) (Quit: Konversation terminated!) |
| 2021-02-07 01:12:42 +0100 | <dolio> | Which functions don't qualify? seq stuff? |
| 2021-02-07 01:17:44 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 01:18:17 +0100 | charukiewicz | (~charukiew@irouteince04.i.subnet.rcn.com) |
| 2021-02-07 01:19:32 +0100 | carlomagno | (~cararell@148.87.23.12) (Quit: Leaving.) |
| 2021-02-07 01:23:33 +0100 | frozenErebus | (~frozenEre@94.128.81.133) (Ping timeout: 246 seconds) |
| 2021-02-07 01:23:46 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) |
| 2021-02-07 01:25:43 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-fliccswzueuhkous) (Quit: Connection closed for inactivity) |
| 2021-02-07 01:27:12 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:e86a:eb9:e825:c074) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 01:28:44 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-02-07 01:30:40 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 01:30:44 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 01:31:26 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-02-07 01:31:34 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-szibnrsmlohyyqpj) |
| 2021-02-07 01:33:46 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-02-07 01:35:05 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 01:38:10 +0100 | kadobanana | (~mud@unaffiliated/kadoban) (Read error: Connection reset by peer) |
| 2021-02-07 01:38:33 +0100 | mud | (~mud@unaffiliated/kadoban) |
| 2021-02-07 01:43:09 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) (Ping timeout: 272 seconds) |
| 2021-02-07 01:45:46 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-02-07 01:47:23 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 01:47:45 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 01:50:56 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-02-07 01:52:04 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-02-07 01:53:47 +0100 | zeta_0 | (~zeta@2601:8c0:1:2630:c461:cfc:d600:6aa3) |
| 2021-02-07 01:54:15 +0100 | CMCDragonkai1 | (~Thunderbi@120.18.104.119) |
| 2021-02-07 01:54:18 +0100 | <zeta_0> | what's the name of the ghc channel? I need some help with building ghc with nix. |
| 2021-02-07 01:54:36 +0100 | <maerwald> | #ghc |
| 2021-02-07 01:55:58 +0100 | <zeta_0> | thanks |
| 2021-02-07 01:57:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-02-07 02:00:10 +0100 | <zeta_0> | ok, I posted the issue in #ghc, I almost got it working, I think I just need to get past this 1 bash error. |
| 2021-02-07 02:00:13 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 02:01:01 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 02:02:43 +0100 | conal | (~conal@66.115.157.112) (Quit: Computer has gone to sleep.) |
| 2021-02-07 02:03:15 +0100 | <zeta_0> | my tooling setup (direnv+nix-direnv+emacs-direnv) is amazing for working in isolated environments, but ghc.nix(https://github.com/alpmestan/ghc.nix) does not like it for some reason. |
| 2021-02-07 02:03:24 +0100 | jamm__ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 02:03:26 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-02-07 02:04:44 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Ping timeout: 258 seconds) |
| 2021-02-07 02:05:51 +0100 | jedws | (~jedws@101.184.202.248) |
| 2021-02-07 02:06:01 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 02:08:33 +0100 | conal | (~conal@66.115.157.112) |
| 2021-02-07 02:10:00 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 02:10:03 +0100 | conal | (~conal@66.115.157.112) (Client Quit) |
| 2021-02-07 02:10:45 +0100 | jrp | (05501e8f@5.80.30.143) (Quit: Connection closed) |
| 2021-02-07 02:10:45 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-02-07 02:11:12 +0100 | alx741 | (~alx741@186.178.110.176) |
| 2021-02-07 02:11:30 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 2021-02-07 02:12:29 +0100 | jamm__ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-02-07 02:13:36 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-02-07 02:16:03 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 02:16:51 +0100 | mozzarella | (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
| 2021-02-07 02:17:15 +0100 | Tops2 | (~Tobias@dyndsl-095-033-091-182.ewe-ip-backbone.de) |
| 2021-02-07 02:19:09 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-02-07 02:27:49 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 02:28:25 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2021-02-07 02:28:45 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 02:32:40 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2021-02-07 02:34:06 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-02-07 02:35:00 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-02-07 02:36:07 +0100 | <zeta_0> | maerwald: do you know when's the best time to ask questions in #ghc? I don't want to be stuck waiting for hours to get a response. |
| 2021-02-07 02:36:15 +0100 | hiroaki | (~hiroaki@2a02:908:4b18:8c40::8d4b) (Ping timeout: 265 seconds) |
| 2021-02-07 02:36:53 +0100 | <maerwald> | zeta_0: I think European time zones |
| 2021-02-07 02:39:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 02:39:05 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 02:40:06 +0100 | <zeta_0> | maerwald: thanks |
| 2021-02-07 02:42:29 +0100 | shatriff_ | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-02-07 02:43:00 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 02:43:36 +0100 | <zeta_0> | that: `is a directory` error that bash is throwing is very vague. |
| 2021-02-07 02:43:45 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 02:43:48 +0100 | jedws | (~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 02:44:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-02-07 02:44:17 +0100 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-02-07 02:44:42 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 02:45:00 +0100 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-02-07 02:45:59 +0100 | lemmih | (~lemmih@2406:3003:2072:44:f7a7:6ac6:bdf9:4d40) |
| 2021-02-07 02:46:05 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 240 seconds) |
| 2021-02-07 02:47:05 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 02:49:53 +0100 | zeta_0 | (~zeta@2601:8c0:1:2630:c461:cfc:d600:6aa3) (Quit: rcirc on GNU Emacs 27.1) |
| 2021-02-07 02:50:06 +0100 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-02-07 02:51:26 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 2021-02-07 02:51:39 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds) |
| 2021-02-07 02:55:59 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 02:56:41 +0100 | locrian9_ | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
| 2021-02-07 02:56:43 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 02:56:53 +0100 | jedws | (~jedws@101.184.202.248) |
| 2021-02-07 02:57:42 +0100 | locrian9_ | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-02-07 02:57:48 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: No route to host) |
| 2021-02-07 02:59:42 +0100 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-02-07 03:00:41 +0100 | d3od | (~nickmeno3@93-137-138-55.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2021-02-07 03:00:50 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 2021-02-07 03:00:51 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-02-07 03:01:21 +0100 | jedws | (~jedws@101.184.202.248) (Client Quit) |
| 2021-02-07 03:02:32 +0100 | d3od | (~nickmeno3@78-1-65-250.adsl.net.t-com.hr) |
| 2021-02-07 03:04:17 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 03:11:49 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-02-07 03:12:35 +0100 | jedws | (~jedws@101.184.202.248) |
| 2021-02-07 03:12:59 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 03:14:12 +0100 | conal | (~conal@64.71.133.70) |
| 2021-02-07 03:17:22 +0100 | h2017 | (~h2017@bras-base-clbaon0201w-grc-32-142-114-145-140.dsl.bell.ca) |
| 2021-02-07 03:17:33 +0100 | <h2017> | hi |
| 2021-02-07 03:17:54 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 03:18:37 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 03:19:39 +0100 | <lemmih> | h2017: hi. |
| 2021-02-07 03:19:54 +0100 | <h2017> | hi lemmih |
| 2021-02-07 03:20:04 +0100 | <h2017> | does anyone know where i can see the implentation of liftIO? |
| 2021-02-07 03:21:18 +0100 | <lemmih> | h2017: For which monad? liftIO has many different implementations. Much like how 'show' has many different implementations. |
| 2021-02-07 03:21:50 +0100 | <h2017> | ok i'll find out |
| 2021-02-07 03:22:05 +0100 | <lemmih> | h2017: For the IO monad, liftIO = id. |
| 2021-02-07 03:22:11 +0100 | <h2017> | i made a monad transformer that will often have IO as the base monad |
| 2021-02-07 03:22:19 +0100 | <h2017> | it doesn't get liftIO for free? |
| 2021-02-07 03:22:49 +0100 | <lemmih> | h2017: Perhaps you can derive MonadIO. |
| 2021-02-07 03:23:07 +0100 | <h2017> | so I need to make it an instance of MonadIO? |
| 2021-02-07 03:23:35 +0100 | <lemmih> | Yes. liftIO is a member of MonadIO. In fact, it's the only member. |
| 2021-02-07 03:23:54 +0100 | <lemmih> | The documentation is here: https://hackage.haskell.org/package/transformers-0.3.0.0/docs/Control-Monad-IO-Class.html#t:MonadIO |
| 2021-02-07 03:24:08 +0100 | <h2017> | thanks. can i apply the same techniques to substittue IO for the writer monad? |
| 2021-02-07 03:25:09 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2021-02-07 03:25:22 +0100 | <lemmih> | Probably. Depends on your monad transformer. |
| 2021-02-07 03:25:36 +0100 | EtherealStreet | (68340092@104-52-0-146.lightspeed.sntcca.sbcglobal.net) |
| 2021-02-07 03:25:44 +0100 | <koz_> | Yeah, what's your transformer (stack?) look like? |
| 2021-02-07 03:26:06 +0100 | <h2017> | ok i see how it fits together now |
| 2021-02-07 03:26:30 +0100 | poscat1 | (~poscat@123.116.95.228) |
| 2021-02-07 03:26:31 +0100 | <h2017> | liftIO = lift . liftIO, so liftIO must be id for the IO monad |
| 2021-02-07 03:27:01 +0100 | xff0x_ | (~xff0x@2001:1a81:5242:aa00:b5d4:6c34:6b2e:660f) (Ping timeout: 272 seconds) |
| 2021-02-07 03:27:12 +0100 | Tops2 | (~Tobias@dyndsl-095-033-091-182.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-02-07 03:27:37 +0100 | <h2017> | limmih not specified yet. I made a monad transformer, and I'd like to use liftIO with it, and now I believe that I can, and it would be good it i could also use a writer (and it looks like i could do that too using the same tricks they use to implent liftIO) |
| 2021-02-07 03:27:45 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-02-07 03:27:45 +0100 | poscat | (~poscat@123.116.95.228) (Ping timeout: 272 seconds) |
| 2021-02-07 03:28:21 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 03:28:25 +0100 | xff0x_ | (~xff0x@2001:1a81:527b:1600:1b0d:c1af:bbb3:e575) |
| 2021-02-07 03:32:49 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-02-07 03:33:03 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 03:33:34 +0100 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 2021-02-07 03:33:49 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-02-07 03:35:25 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2021-02-07 03:35:51 +0100 | <h2017> | in a monad transformer i can make use of things like lifting, and liftIO is especially useful. For the Free monad, is there there a any kinf od FreeT transformer. (BTW I don't know how that work work, if it even makes sense) |
| 2021-02-07 03:36:05 +0100 | <h2017> | oh i see it in hoogle |
| 2021-02-07 03:36:13 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-02-07 03:38:40 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-02-07 03:41:00 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 03:43:08 +0100 | <h2017> | how often do people use free monads? it looks useful bit I don't think you can have things like guard and mzero, without building them into your language and interpreting them |
| 2021-02-07 03:43:40 +0100 | <h2017> | for that reason i think i think it preferable to not use the Free monad when you can use a straight up monad. |
| 2021-02-07 03:44:11 +0100 | <h2017> | a straight up monad that has those things already |
| 2021-02-07 03:45:25 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 03:45:32 +0100 | <koz_> | Basically, _start_ without free. |
| 2021-02-07 03:45:37 +0100 | <h2017> | even if you use liftIO output statements inside the free monad won't be that meaningful because all that's happening is a syntax tree is being built. |
| 2021-02-07 03:45:45 +0100 | <koz_> | It can be useful, but it has non-trivial tradeoffs which you probably don't need to make. |
| 2021-02-07 03:45:46 +0100 | <h2017> | freeT monad i mean |
| 2021-02-07 03:46:07 +0100 | <koz_> | And to even explain what these are is not particularly easy. |
| 2021-02-07 03:46:20 +0100 | <koz_> | If you're having to ask about liftIO, this is _definitely_ not somewhere you wanna delve. |
| 2021-02-07 03:48:49 +0100 | <h2017> | on the webpage https://stackoverflow.com/questions/4063592/how-can-i-write-a-state-monad-that-does-error-handling… |
| 2021-02-07 03:49:09 +0100 | <h2017> | the second answer has a monad that I am interested in |
| 2021-02-07 03:49:09 +0100 | <koz_> | StateT Either is a perfectly fine solution. |
| 2021-02-07 03:49:17 +0100 | <koz_> | So is ExceptT State. |
| 2021-02-07 03:49:21 +0100 | <koz_> | Depending on what you want. |
| 2021-02-07 03:49:23 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 03:49:32 +0100 | CMCDragonkai1 | (~Thunderbi@120.18.104.119) (Quit: CMCDragonkai1) |
| 2021-02-07 03:49:38 +0100 | EtherealStreet | (68340092@104-52-0-146.lightspeed.sntcca.sbcglobal.net) () |
| 2021-02-07 03:49:49 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4f6:e4b3:c49e:f3f) |
| 2021-02-07 03:50:12 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4f6:e4b3:c49e:f3f) (Client Quit) |
| 2021-02-07 03:50:15 +0100 | <h2017> | is the monad described in the first example of the second answer available in any library? |
| 2021-02-07 03:50:38 +0100 | Zialus | (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) (Quit: i'm out!) |
| 2021-02-07 03:50:43 +0100 | <h2017> | i'll paste it to pastebin so everyone knows which one i'm talking about |
| 2021-02-07 03:50:54 +0100 | Zialus | (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) |
| 2021-02-07 03:50:58 +0100 | <ski> | @where paste |
| 2021-02-07 03:50:58 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2021-02-07 03:52:06 +0100 | <h2017> | https://paste.tomsmeding.com/xU9gJXkg |
| 2021-02-07 03:52:27 +0100 | <koz_> | h2017: That's quite literally StateT s Either a |
| 2021-02-07 03:52:35 +0100 | <koz_> | You can build that out of transformers. |
| 2021-02-07 03:52:41 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 03:52:45 +0100 | <koz_> | StateT s (Either e) a, sorry. |
| 2021-02-07 03:53:19 +0100 | BrainZero | (~BrainZero@111.60.233.69) |
| 2021-02-07 03:54:56 +0100 | <ski> | (it also has redundant brackets. `(StateMonad p) >>= k = ...' could be `StateMonad p >>= k = ...', and `let (StateMonad q) = ...' could similarly be `let StateMonad q = ...') |
| 2021-02-07 03:55:28 +0100 | <ski> | ®unmtl StateT MyState (Either e) a |
| 2021-02-07 03:55:34 +0100 | <ski> | @unmtl StateT MyState (Either e) a |
| 2021-02-07 03:55:34 +0100 | <lambdabot> | MyState -> Either e (a, MyState) |
| 2021-02-07 03:57:27 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2021-02-07 03:57:56 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 03:59:28 +0100 | nolrai | (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) |
| 2021-02-07 04:00:12 +0100 | toorevitimirp | (~tooreviti@117.182.180.8) |
| 2021-02-07 04:00:35 +0100 | tb15 | (~textual@253.17.75.194.dyn.plus.net) (Read error: Connection reset by peer) |
| 2021-02-07 04:03:19 +0100 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-02-07 04:08:57 +0100 | theDon | (~td@94.134.91.40) (Ping timeout: 264 seconds) |
| 2021-02-07 04:09:17 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-02-07 04:10:18 +0100 | theDon | (~td@muedsl-82-207-238-114.citykom.de) |
| 2021-02-07 04:11:15 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 04:11:40 +0100 | nolrai | (4c1bcada@c-76-27-202-218.hsd1.or.comcast.net) (Quit: Connection closed) |
| 2021-02-07 04:13:00 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 04:13:34 +0100 | CMCDragonkai1 | (~Thunderbi@120.18.104.119) |
| 2021-02-07 04:13:56 +0100 | lordyod | (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-02-07 04:15:28 +0100 | lordyod | (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) |
| 2021-02-07 04:15:39 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 04:16:32 +0100 | catt | (~r@31.124.181.226) |
| 2021-02-07 04:17:26 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-02-07 04:17:48 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds) |
| 2021-02-07 04:22:48 +0100 | polyrain | (~polyrain@124.177.21.171) |
| 2021-02-07 04:25:00 +0100 | jchia1 | (~jchia@58.32.35.81) (Ping timeout: 265 seconds) |
| 2021-02-07 04:27:49 +0100 | CMCDragonkai1 | (~Thunderbi@120.18.104.119) (Quit: CMCDragonkai1) |
| 2021-02-07 04:28:27 +0100 | polyrain | (~polyrain@124.177.21.171) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 04:28:47 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 04:28:52 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 04:32:01 +0100 | polyrain | (~polyrain@2001:8003:e4d8:4101:795c:c8cd:2656:7ed2) |
| 2021-02-07 04:34:57 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2021-02-07 04:35:46 +0100 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-02-07 04:35:46 +0100 | finn_elija | Guest43559 |
| 2021-02-07 04:35:46 +0100 | FinnElija | finn_elija |
| 2021-02-07 04:35:55 +0100 | puke | (~vroom@217.138.252.199) (Quit: puke) |
| 2021-02-07 04:38:57 +0100 | m0rphism1 | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds) |
| 2021-02-07 04:39:50 +0100 | Guest43559 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-02-07 04:39:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 04:44:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 04:45:40 +0100 | darjeeling_ | (~darjeelin@122.245.216.78) (Ping timeout: 256 seconds) |
| 2021-02-07 04:46:04 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 04:48:51 +0100 | drbean | (~drbean@TC210-63-209-206.static.apol.com.tw) |
| 2021-02-07 04:49:12 +0100 | conal | (~conal@64.71.133.70) |
| 2021-02-07 04:50:45 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 04:52:57 +0100 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-02-07 04:54:07 +0100 | conal | (~conal@64.71.133.70) |
| 2021-02-07 04:55:41 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 04:58:15 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 04:59:21 +0100 | <guest7682358928> | Hello everyone. Is this a good place for asking newbie questions? |
| 2021-02-07 05:00:11 +0100 | <dsal> | guest7682358928: Generally want to start with the question you want to ask. :) |
| 2021-02-07 05:01:25 +0100 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-02-07 05:01:39 +0100 | <koz_> | Yeah, just ask. If we need to direct you somewhere else or whatnot, we can do that. |
| 2021-02-07 05:01:49 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 05:02:52 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 260 seconds) |
| 2021-02-07 05:03:48 +0100 | <guest7682358928> | thanks. I'm trying to wrap my head around types in aeson. Basically I just want to parse a json file of format {"images": [{"uri": "file1.txt"}, {"uri": "file2.txt"}], ...} to a list of strings. This is what I end up at the moment: |
| 2021-02-07 05:04:15 +0100 | <koz_> | @where paste |
| 2021-02-07 05:04:15 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2021-02-07 05:04:23 +0100 | <koz_> | In case you want to paste code. |
| 2021-02-07 05:05:03 +0100 | <dsal> | guest7682358928: What do you want your list of strings to look like? |
| 2021-02-07 05:05:31 +0100 | <guest7682358928> | https://paste.tomsmeding.com/FhjwWWOb#file-1 |
| 2021-02-07 05:06:01 +0100 | <guest7682358928> | dsal: I want a ```Just ["file1.txt", "file2.txt"]``` |
| 2021-02-07 05:06:10 +0100 | <guest7682358928> | i'm sorry not very familiar with irc |
| 2021-02-07 05:06:26 +0100 | <dsal> | It's alright. aeson-lens makes that pretty easy. |
| 2021-02-07 05:06:30 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 05:06:40 +0100 | <dsal> | Most of the time, when I'm doing stuff with aeson, I either have structures that represent what I want, or I use aeson-lens |
| 2021-02-07 05:06:54 +0100 | <dsal> | (er, lens-aeson) |
| 2021-02-07 05:07:42 +0100 | <dsal> | (my dev stuff is currently broken, so I've got to wait for stuff to build here) |
| 2021-02-07 05:08:22 +0100 | <glguy> | guest7682358928, Do you know how to do it and you're looking for a nice way, or you'd just like a way to do it at all? |
| 2021-02-07 05:09:59 +0100 | <guest7682358928> | dsal: I saw a handful of examples with lenses that make it look almost as short as typescript, but I'm afraid lenses are just too advanced feature for me yet. I have no idea what happens under the hood. |
| 2021-02-07 05:10:39 +0100 | blankhart | (~blankhart@pool-100-8-71-205.nwrknj.fios.verizon.net) (Quit: WeeChat 2.8) |
| 2021-02-07 05:10:57 +0100 | <guest7682358928> | glguy: I already did it as I shown in the paste above, but I don't like the fact it took 9 lines of code, I believe Haskell is about short and neat solutions. |
| 2021-02-07 05:11:05 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-02-07 05:11:09 +0100 | <glguy> | OK, let's clean it up just using aeson then |
| 2021-02-07 05:11:56 +0100 | perdent | (~perdent@101.175.174.67) (Excess Flood) |
| 2021-02-07 05:12:41 +0100 | conal | (~conal@66.115.157.58) |
| 2021-02-07 05:13:11 +0100 | <guest7682358928> | I saw functions like withObject and withArray that seem to help me, but they need "Parser a" as the last parameter and my type puzzle breaks apart |
| 2021-02-07 05:13:22 +0100 | jchia | (~jchia@218.80.114.20) |
| 2021-02-07 05:13:34 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection) |
| 2021-02-07 05:14:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-02-07 05:14:44 +0100 | <ski> | `sequence $ flip fmap xs $ \x -> ..x..' is `for xs $ \x -> ..x..' |
| 2021-02-07 05:15:02 +0100 | alx741 | (~alx741@186.178.110.176) (Quit: alx741) |
| 2021-02-07 05:16:10 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 05:16:21 +0100 | <dsal> | If you created a type with a String field named Uri, and another type with a field named Images with a list of those, aeson could mostly derive the parsers for you. |
| 2021-02-07 05:17:34 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 05:17:55 +0100 | <guest7682358928> | ski: that's useful, thank you |
| 2021-02-07 05:19:23 +0100 | <guest7682358928> | dsal: that would be even more code. two types with Generics machinery for such a simple thing. I think it's time to get familiar with lenses. |
| 2021-02-07 05:19:25 +0100 | slack1256 | (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 2021-02-07 05:20:06 +0100 | <glguy> | https://paste.tomsmeding.com/0FzOAGJd |
| 2021-02-07 05:20:15 +0100 | <glguy> | You get something like this doing the typeclass-driven approach |
| 2021-02-07 05:21:26 +0100 | <glguy> | *Help> decode "{\"images\": [{\"uri\": \"file1.txt\"}, {\"uri\": \"file2.txt\"}]}" :: Maybe Images |
| 2021-02-07 05:21:26 +0100 | <glguy> | Just (Images [Image "file1.txt",Image "file2.txt"]) |
| 2021-02-07 05:22:27 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 2021-02-07 05:23:22 +0100 | <dsal> | guest7682358928: It's not necessarily golf. Sometimes it's not writing code unnecessarily. |
| 2021-02-07 05:24:42 +0100 | conal | (~conal@66.115.157.58) (Ping timeout: 246 seconds) |
| 2021-02-07 05:25:00 +0100 | <dsal> | Lens is generally useful, but it's effectively another language. |
| 2021-02-07 05:25:18 +0100 | <glguy> | Prelude Data.Aeson.Lens Control.Lens> toListOf (key "images" . values . key "uri" . _String) "{\"images\": [{\"uri\": \"file1.txt\"}, {\"uri\": \"file2.txt\"}]}" |
| 2021-02-07 05:25:18 +0100 | <glguy> | ["file1.txt","file2.txt"] |
| 2021-02-07 05:25:52 +0100 | <dsal> | Oh man, mine had almost finished compiling… |
| 2021-02-07 05:27:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 05:27:52 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 05:28:18 +0100 | <guest7682358928> | dsal glguy ski: thank you for your help, I'll keep playing with this |
| 2021-02-07 05:29:11 +0100 | toorevitimirp | (~tooreviti@117.182.180.8) (Remote host closed the connection) |
| 2021-02-07 05:31:27 +0100 | cmcma20 | (~cmcma20@l37-192-2-125.novotelecom.ru) |
| 2021-02-07 05:32:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Ping timeout: 264 seconds) |
| 2021-02-07 05:32:36 +0100 | toorevitimirp | (~tooreviti@117.182.180.8) |
| 2021-02-07 05:33:19 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 05:35:32 +0100 | average | (uid473595@gateway/web/irccloud.com/x-lztdighqxgxenyad) (Quit: Connection closed for inactivity) |
| 2021-02-07 05:36:06 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 256 seconds) |
| 2021-02-07 05:36:48 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 05:38:06 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 05:39:05 +0100 | conal | (~conal@66.115.157.58) |
| 2021-02-07 05:40:27 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 05:44:57 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-02-07 05:45:49 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 272 seconds) |
| 2021-02-07 05:49:03 +0100 | perdent | (~perdent@101.175.174.67) |
| 2021-02-07 05:49:58 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 05:51:04 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 05:52:36 +0100 | <koz_> | Is there a reason why 'words' (from text) and 'split isSpace' (again from text) produce different results? |
| 2021-02-07 05:52:58 +0100 | <koz_> | (by which I mean 'philosophically' not 'implementationally' of course) |
| 2021-02-07 05:53:17 +0100 | <koz_> | (or rather, 'philosophical reason' not 'implementational reason') |
| 2021-02-07 05:53:31 +0100 | <glguy> | Is the difference that words will eat multiple spaces? |
| 2021-02-07 05:53:54 +0100 | <koz_> | glguy: Yes. |
| 2021-02-07 05:54:10 +0100 | <glguy> | then I'd say the difference is that words doesn't consider the empty string a word |
| 2021-02-07 05:54:27 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-02-07 05:54:32 +0100 | <glguy> | while split is about breaking up some text on an arbitrary delimiter |
| 2021-02-07 05:54:56 +0100 | <koz_> | However, split (== '\n') and lines _are_ equivalent. |
| 2021-02-07 05:55:12 +0100 | <glguy> | I'd be surprised if they were |
| 2021-02-07 05:55:26 +0100 | <koz_> | http://hackage.haskell.org/package/text-1.2.4.1/docs/src/Data.Text.html#lines |
| 2021-02-07 05:55:36 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 05:55:52 +0100 | <glguy> | lines should treat \n as a line TERMINATOR while split would treat as a separator |
| 2021-02-07 05:56:47 +0100 | <glguy> | Prelude Data.Text> Data.Text.lines "a\nb\n" |
| 2021-02-07 05:56:47 +0100 | <glguy> | ["a","b"] |
| 2021-02-07 05:56:47 +0100 | <glguy> | Prelude Data.Text> Data.Text.split ('\n'==) "a\nb\n" |
| 2021-02-07 05:56:47 +0100 | <glguy> | ["a","b",""] |
| 2021-02-07 05:56:56 +0100 | <koz_> | Interesting. |
| 2021-02-07 05:57:03 +0100 | <glguy> | of course an empty *line* makes plenty of sense |
| 2021-02-07 05:57:03 +0100 | <koz_> | Didn't think of the trailing newline. |
| 2021-02-07 05:57:13 +0100 | <glguy> | so lines returns those |
| 2021-02-07 05:57:49 +0100 | <glguy> | > words "prelude works the same way" |
| 2021-02-07 05:57:50 +0100 | <lambdabot> | ["prelude","works","the","same","way"] |
| 2021-02-07 05:57:59 +0100 | <glguy> | > lines "and\nhas\nterminators |
| 2021-02-07 05:58:01 +0100 | <lambdabot> | <hint>:1:29: error: |
| 2021-02-07 05:58:01 +0100 | <lambdabot> | <hint>:1:29: error: |
| 2021-02-07 05:58:01 +0100 | <lambdabot> | lexical error in string/character literal at end of input |
| 2021-02-07 05:58:02 +0100 | <glguy> | > lines "and\nhas\nterminators\n" |
| 2021-02-07 05:58:04 +0100 | <lambdabot> | ["and","has","terminators"] |
| 2021-02-07 05:58:24 +0100 | <koz_> | Ah, OK, makes sense. |
| 2021-02-07 05:58:27 +0100 | <koz_> | Thanks! |
| 2021-02-07 05:58:30 +0100 | <glguy> | ^_^ |
| 2021-02-07 05:59:35 +0100 | <koz_> | So does this mean that, in general, unlines . lines /= id, and unwords . words /= id? |
| 2021-02-07 06:00:04 +0100 | <glguy> | > (unlines . lines) "a\nb" |
| 2021-02-07 06:00:07 +0100 | <lambdabot> | "a\nb\n" |
| 2021-02-07 06:00:21 +0100 | <glguy> | > (unwords . words) "you're right" |
| 2021-02-07 06:00:22 +0100 | <lambdabot> | "you're right" |
| 2021-02-07 06:00:30 +0100 | <koz_> | OK, definitely good to know. Thanks! |
| 2021-02-07 06:00:45 +0100 | conal | (~conal@66.115.157.58) (Remote host closed the connection) |
| 2021-02-07 06:01:08 +0100 | <glguy> | there are enough broken text files in the wild that it would be annoying if lines fell over when the final terminator was missing |
| 2021-02-07 06:01:14 +0100 | conal | (~conal@66.115.157.58) |
| 2021-02-07 06:01:51 +0100 | ski | . o O ( s;/=;=/=; ) |
| 2021-02-07 06:02:08 +0100 | <koz_> | ski: Yes, I was being a bit abusive of notation there. |
| 2021-02-07 06:02:24 +0100 | <koz_> | Because technically functions don't have Eq instances. |
| 2021-02-07 06:02:32 +0100 | ski | nods and smiles |
| 2021-02-07 06:02:42 +0100 | <glguy> | ≠ ? |
| 2021-02-07 06:02:47 +0100 | <ski> | works for me |
| 2021-02-07 06:02:56 +0100 | <glguy> | Gives an excuse for me to use a digraph |
| 2021-02-07 06:03:17 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-02-07 06:03:25 +0100 | <ski> | (i'm also .. annoyed, by people who write `===', when `=' would work as well) |
| 2021-02-07 06:03:33 +0100 | <koz_> | ski: PHP lol. |
| 2021-02-07 06:03:44 +0100 | <ski> | no, i'm talking about Haskell docs, Haskell blags |
| 2021-02-07 06:04:15 +0100 | <glguy> | ski, I think if I was doing that it would be because I wanted to be clear I wasn't using the Haskell = at that point but it was a meta-level thing |
| 2021-02-07 06:05:36 +0100 | <ski> | oh, you mean, equal as expressions ? |
| 2021-02-07 06:05:48 +0100 | <ski> | like how `2 * 3' and `1 + 5' are not the same expression |
| 2021-02-07 06:05:56 +0100 | BrainZero | (~BrainZero@111.60.233.69) (Ping timeout: 240 seconds) |
| 2021-02-07 06:06:44 +0100 | <glguy> | yeah, probably that |
| 2021-02-07 06:06:45 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-sqldxvxwbirnrvhg) () |
| 2021-02-07 06:06:45 +0100 | <koz_> | Something something intro to Girard's book where he opines on 'but what does = _really_ mean?'. |
| 2021-02-07 06:06:54 +0100 | ski | grins |
| 2021-02-07 06:07:09 +0100 | guest7682358928 | (2de85cb9@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.185) (Ping timeout: 264 seconds) |
| 2021-02-07 06:08:05 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 06:09:15 +0100 | Wuzzy | (~Wuzzy@p57a2e44e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-02-07 06:12:45 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 06:14:08 +0100 | <monochrom> | === is more equal than == |
| 2021-02-07 06:14:12 +0100 | kupi | (uid212005@gateway/web/irccloud.com/x-lbjfgvhzpgnvgmcj) (Quit: Connection closed for inactivity) |
| 2021-02-07 06:14:33 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 06:14:51 +0100 | <glguy> | == is a question |
| 2021-02-07 06:14:55 +0100 | <glguy> | 1 == 2 |
| 2021-02-07 06:15:03 +0100 | <glguy> | Turns out that evaluates to False |
| 2021-02-07 06:16:11 +0100 | <koz_> | glguy: I would hope so. |
| 2021-02-07 06:16:47 +0100 | <monochrom> | I was joking. |
| 2021-02-07 06:17:09 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) |
| 2021-02-07 06:17:26 +0100 | <monochrom> | But I can argue "= is just as much a question as ==" another day. |
| 2021-02-07 06:17:41 +0100 | <ski> | a different type of question |
| 2021-02-07 06:18:12 +0100 | <ephemient> | ≟ |
| 2021-02-07 06:18:21 +0100 | <glguy> | but which one is a riddle? |
| 2021-02-07 06:18:28 +0100 | ixaxaar | (~ixaxaar@49.207.210.215) |
| 2021-02-07 06:18:41 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) |
| 2021-02-07 06:19:01 +0100 | <ski> | (one is suggesting "Calculemus !", the other is suggesting "scratch head, and think, and maybe get an answer in half an hour, or a year, or five hundred years") |
| 2021-02-07 06:19:18 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 06:20:05 +0100 | <ephemient> | ⯹ |
| 2021-02-07 06:20:19 +0100 | <ephemient> | (why does Unicode have these symbols) |
| 2021-02-07 06:20:21 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 06:20:43 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-02-07 06:20:50 +0100 | <monochrom> | It has emoji, it can have any symbol. |
| 2021-02-07 06:21:21 +0100 | <glguy> | I think they flip a coin each time they have an idea and this is how we have a partial superscript/supscript alphabet |
| 2021-02-07 06:22:38 +0100 | <frankdmartinez> | My apologies if this is the wrong forum. I am trying to build ghc-vis and I get a complaint about ghc-heap-view which says “This library cannot be built using profiling. Try invoking cabal with the --disable-library-profiling flag.” It seems, wherever I place that option, cabal gives the same complaint. Can anyone point me in the direction of information on how to build ghc-heap-view with this flag (or, preferablt, ghc-vis)? |
| 2021-02-07 06:22:56 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4f6:e4b3:c49e:f3f) |
| 2021-02-07 06:23:23 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 06:28:51 +0100 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 258 seconds) |
| 2021-02-07 06:29:07 +0100 | <glguy> | frankdmartinez, this is an OK place to ask, but I'm not sure if anyone knows off the top of their head, so you might have to give more detail about what commands you're trying and the actual output |
| 2021-02-07 06:29:57 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2021-02-07 06:30:34 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 06:31:08 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 06:31:25 +0100 | minoru_shiraeesh | (~shiraeesh@46.34.206.235) (Ping timeout: 240 seconds) |
| 2021-02-07 06:33:44 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 2021-02-07 06:34:36 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-02-07 06:35:56 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-02-07 06:36:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Ping timeout: 264 seconds) |
| 2021-02-07 06:37:04 +0100 | jedws | (~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 06:39:28 +0100 | <frankdmartinez> | glguy: Thanks, good point. Initial command tried: `cabal install ghc-vis --allow-newer`. The log from that attempt can be found at https://pastebin.com/a60pRq0Z. I have tried placing `--disable-library-profiling` after `cabal` as well as after each argument passed to it and, though the path to the temporary files mentioned changes each time, the error about trying to build using profiling remains the same. |
| 2021-02-07 06:40:30 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-02-07 06:40:53 +0100 | <glguy> | I'm not sure. It doesn't look like this package's dependencies are particularly maintained at the moment |
| 2021-02-07 06:41:09 +0100 | <glguy> | There was some recent commit activity I found on the ghc-vis github |
| 2021-02-07 06:42:13 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 06:43:07 +0100 | acidjnk_new | (~acidjnk@p200300d0c722c40898344eac4ba1ad37.dip0.t-ipconnect.de) |
| 2021-02-07 06:46:57 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 06:52:35 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 06:54:32 +0100 | sakirious | (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2021-02-07 06:54:52 +0100 | sakirious | (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) |
| 2021-02-07 06:57:20 +0100 | unlink_ | (~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-02-07 06:58:47 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 06:59:04 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-02-07 06:59:11 +0100 | unlink2 | (~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de) |
| 2021-02-07 06:59:14 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Remote host closed the connection) |
| 2021-02-07 06:59:31 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-02-07 06:59:38 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 06:59:50 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-zyykjymmarnaxvef) |
| 2021-02-07 07:00:24 +0100 | isBEKaml | (~isBEKaml@unaffiliated/isbekaml) |
| 2021-02-07 07:01:25 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 07:04:40 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 07:04:45 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2021-02-07 07:10:06 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) |
| 2021-02-07 07:10:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 07:13:51 +0100 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 272 seconds) |
| 2021-02-07 07:15:01 +0100 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
| 2021-02-07 07:15:15 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 07:15:32 +0100 | <frankdmartinez> | glguy: I think I got it. I had “library-profiling” set to “True” in the ~/.cabal/config file. I changed it to “False” and cabal is moving muuuuuuuch further along. |
| 2021-02-07 07:15:44 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 07:17:11 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 07:17:55 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 07:19:28 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-02-07 07:20:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Ping timeout: 264 seconds) |
| 2021-02-07 07:20:51 +0100 | raym | (~ray@45.64.220.139) (Quit: leaving) |
| 2021-02-07 07:21:04 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 07:21:05 +0100 | raym | (~ray@45.64.220.139) |
| 2021-02-07 07:22:11 +0100 | falsifian | (~falsifian@cpef81d0f9cb2f3-cmf81d0f9cb2f0.cpe.net.fido.ca) (Quit: leaving) |
| 2021-02-07 07:22:39 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 07:25:36 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 07:27:48 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 07:28:02 +0100 | jedws | (~jedws@101.184.202.248) |
| 2021-02-07 07:28:10 +0100 | da39a3ee5e6b4b0d | (~da39a3ee5@2403:6200:8876:77eb:51a:84a8:6067:5428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 07:29:06 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-02-07 07:29:38 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 07:29:54 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-02-07 07:32:51 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds) |
| 2021-02-07 07:36:11 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 07:36:14 +0100 | rople | (~rople@116.206.228.203) (Quit: rople) |
| 2021-02-07 07:36:35 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 07:39:06 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 07:40:51 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 07:44:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 07:45:35 +0100 | jedws | (~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 07:45:49 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-02-07 08:00:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Remote host closed the connection) |
| 2021-02-07 08:02:38 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.58.206) |
| 2021-02-07 08:02:57 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-02-07 08:04:02 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 08:04:44 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 08:05:24 +0100 | h2017 | (~h2017@bras-base-clbaon0201w-grc-32-142-114-145-140.dsl.bell.ca) (Quit: Leaving) |
| 2021-02-07 08:08:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-02-07 08:08:36 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 08:09:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-02-07 08:11:07 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 08:12:26 +0100 | XiaoZai | (3daa8e94@61.170.142.148) |
| 2021-02-07 08:15:16 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 2021-02-07 08:15:33 +0100 | XiaoZai | (3daa8e94@61.170.142.148) (Client Quit) |
| 2021-02-07 08:21:53 +0100 | jedws | (~jedws@101.184.202.248) |
| 2021-02-07 08:22:19 +0100 | dolio | (~dolio@haskell/developer/dolio) (Ping timeout: 258 seconds) |
| 2021-02-07 08:25:04 +0100 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-02-07 08:25:07 +0100 | dolio | (~dolio@haskell/developer/dolio) |
| 2021-02-07 08:26:20 +0100 | Guest_14 | (59d9a17f@adsl-89-217-161-127.adslplus.ch) |
| 2021-02-07 08:26:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 08:27:10 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 08:28:44 +0100 | Guest_14 | (59d9a17f@adsl-89-217-161-127.adslplus.ch) (Client Quit) |
| 2021-02-07 08:29:02 +0100 | average | (uid473595@gateway/web/irccloud.com/x-snybajxjtcrfigoq) |
| 2021-02-07 08:31:46 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-02-07 08:34:02 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-02-07 08:39:27 +0100 | RusAlex_ | (~Chel@APN-123-255-118-gprs.simobil.net) |
| 2021-02-07 08:41:45 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-02-07 08:42:40 +0100 | j2t_ | (~j2t@84.122.202.215.dyn.user.ono.com) |
| 2021-02-07 08:43:33 +0100 | <hololeap> | Elm is weird. it's like Diet Haskell |
| 2021-02-07 08:44:33 +0100 | <siraben> | ugh Elm recursion has to be bounded otherwise it blows the stack |
| 2021-02-07 08:44:57 +0100 | <siraben> | witness how they define foldr https://github.com/elm/core/blob/22eefd207e7a63daab215ae497f683ff2319c2ca/src/List.elm#L173 |
| 2021-02-07 08:45:05 +0100 | catt | (~r@31.124.181.226) (Ping timeout: 240 seconds) |
| 2021-02-07 08:46:21 +0100 | <hololeap> | that's ... strange |
| 2021-02-07 08:46:43 +0100 | <hololeap> | how am i supposed to write an 'until' loop? lol |
| 2021-02-07 08:47:15 +0100 | <c_wraith> | My experience with Elm and talking to other people who have used Elm leads me to believe that if you haven't used Haskell, you'll like it. |
| 2021-02-07 08:47:31 +0100 | <c_wraith> | If you have, you just wonder why everything is so hard |
| 2021-02-07 08:47:51 +0100 | <hololeap> | yeah, people on the elm reddit are like, how can you just magically make an enumeration over a sum type? |
| 2021-02-07 08:48:00 +0100 | <hololeap> | and i'm flipping tables |
| 2021-02-07 08:48:51 +0100 | <hololeap> | (╯° °）╯︵ ┻━┻ |
| 2021-02-07 08:49:04 +0100 | <siraben> | `derive Enum` |
| 2021-02-07 08:49:39 +0100 | <hololeap> | what do you mean i have to hard code the isomorphism to int?? |
| 2021-02-07 08:49:39 +0100 | <siraben> | also because of a lack of typeclasses there's a lot of passing around of dictionaries |
| 2021-02-07 08:50:18 +0100 | <hololeap> | yeah and no Ord so you get a handful of valid key types for dicts |
| 2021-02-07 08:51:00 +0100 | <siraben> | last time I used Elm for a work project perf was also a pain point, there's no good sequence library like in Haskell |
| 2021-02-07 08:51:39 +0100 | <siraben> | and if only we had laziness so we don't need to compute over tens of thousands of elements |
| 2021-02-07 08:52:50 +0100 | j2t_ | (~j2t@84.122.202.215.dyn.user.ono.com) (Quit: Leaving) |
| 2021-02-07 08:53:10 +0100 | j2t | (~j2t@84.122.202.215.dyn.user.ono.com) |
| 2021-02-07 08:53:51 +0100 | <hololeap> | luckily i found a good library for enums and dict that will take any type of key given a way to convert it to an int |
| 2021-02-07 08:56:56 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.58.206) (Ping timeout: 240 seconds) |
| 2021-02-07 09:00:21 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) |
| 2021-02-07 09:00:45 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 09:00:48 +0100 | <siraben> | hololeap: which library? |
| 2021-02-07 09:01:02 +0100 | <siraben> | also list fusion and deforestation are non-existent in Elm, IIRC |
| 2021-02-07 09:01:03 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-02-07 09:01:14 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) (Client Quit) |
| 2021-02-07 09:02:31 +0100 | <hololeap> | Herteby/enum and turboMaCk/any-dict |
| 2021-02-07 09:03:42 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-07 09:05:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Ping timeout: 264 seconds) |
| 2021-02-07 09:05:46 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-02-07 09:06:05 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-07 09:09:01 +0100 | raym | (~ray@45.64.220.139) (Quit: leaving) |
| 2021-02-07 09:09:16 +0100 | raym | (~ray@45.64.220.139) |
| 2021-02-07 09:10:05 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-02-07 09:10:08 +0100 | polyrain | (~polyrain@2001:8003:e4d8:4101:795c:c8cd:2656:7ed2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 09:10:36 +0100 | Varis | (~Tadas@unaffiliated/varis) (Max SendQ exceeded) |
| 2021-02-07 09:10:55 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-02-07 09:12:30 +0100 | <ski> | hm, reminds me of how i read in some old Prolog implementations, they commonly did iteration by binary recursion. the reason was that the stack depth was limited (and apparently there was no LCO) but if your call-tree was a binary tree, your depth would be logarithmic rather than linear |
| 2021-02-07 09:12:41 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-02-07 09:12:49 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-02-07 09:13:27 +0100 | <ij> | more data is disappearing from my POSet than there should be. I cannot replicate it with the same data in REPL. Where could the bug be? http://sprunge.us/eLgYzn |
| 2021-02-07 09:14:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 09:15:26 +0100 | polyrain | (~polyrain@2001:8003:e4d8:4101:795c:c8cd:2656:7ed2) |
| 2021-02-07 09:16:24 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 09:18:45 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 09:19:17 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 09:19:29 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 09:20:58 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-02-07 09:21:40 +0100 | jedws | (~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 09:22:24 +0100 | <ij> | in running the application the one cursor = (0,5) disappears, which you can verify by search-highlighting "(0,5)" |
| 2021-02-07 09:23:35 +0100 | <ij> | I guess I could isolate all the additions/deletions and see if I can produce the bug in REPL then |
| 2021-02-07 09:23:50 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:24:09 +0100 | <ski> | i guess `Show' isn't consisted with `toList' |
| 2021-02-07 09:24:19 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2021-02-07 09:24:23 +0100 | <ski> | s/consisted/consistent/ |
| 2021-02-07 09:24:58 +0100 | <ski> | (there's no `removeMin' ?) |
| 2021-02-07 09:25:24 +0100 | <ij> | well, you can only remove an unordered group, because it's a poset |
| 2021-02-07 09:25:29 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:25:33 +0100 | <ij> | smallest unordered group |
| 2021-02-07 09:26:08 +0100 | <ij> | POSet.toList says its order is unspecified |
| 2021-02-07 09:26:19 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:26:22 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 09:27:13 +0100 | <ski> | hm, ok |
| 2021-02-07 09:27:45 +0100 | <ski> | but calling `toList' clearly gives a different result than using `Show' |
| 2021-02-07 09:28:11 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:28:26 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:28:51 +0100 | <ski> | (and it looks like all your cursors in the list are distinct, wrt the given equality) |
| 2021-02-07 09:29:10 +0100 | <ij> | fmap cursor, just to make it easier for looking through and so I'd have to format less, but I have macros anyway, so: http://sprunge.us/WiZKEV |
| 2021-02-07 09:29:19 +0100 | <ski> | (or, i suppose s/cursors/continues/) |
| 2021-02-07 09:30:13 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:30:58 +0100 | <ski> | hm, so where does `continues' come from ? |
| 2021-02-07 09:30:58 +0100 | <ij> | the order is still off, but that could be because it was created differently in the program |
| 2021-02-07 09:31:05 +0100 | <ski> | probably, yea |
| 2021-02-07 09:31:14 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:32:12 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2021-02-07 09:32:18 +0100 | <ski> | could you try calling `fromList' from the snippet of code using `print' to check that you're getting the same items, there ? |
| 2021-02-07 09:32:31 +0100 | <ski> | er, sorry. calling `toList' |
| 2021-02-07 09:33:47 +0100 | <ij> | https://github.com/siers/ppmz/blob/master/solve.hs |
| 2021-02-07 09:34:06 +0100 | <ij> | addNextContinues/findContinue |
| 2021-02-07 09:34:18 +0100 | <ij> | I'll try that, one sec |
| 2021-02-07 09:35:55 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 09:36:41 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 09:37:22 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:37:27 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:37:35 +0100 | <ski> | (oh, and your `Show' instances really should be defining `showsPrec', not `show') |
| 2021-02-07 09:37:41 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:38:30 +0100 | <ij> | I don't think I understand what you're asking me – print where? did you notice the last URL? – I printed the unabbreviated versions. or would you like to see something else? |
| 2021-02-07 09:39:23 +0100 | <ski> | i guess around lines 426 through 428 |
| 2021-02-07 09:39:30 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:39:52 +0100 | <ski> | what if you also do |
| 2021-02-07 09:40:09 +0100 | <ski> | print ("continues",S.toList continues) |
| 2021-02-07 09:40:12 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:40:33 +0100 | <ski> | print ("continues",S.toList (S.delete (head (S.lookupMin continues)) continues)) |
| 2021-02-07 09:40:37 +0100 | <ij> | aha |
| 2021-02-07 09:40:39 +0100 | <ski> | around there ? |
| 2021-02-07 09:41:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 09:41:16 +0100 | <ij> | oh, you meant toList up there |
| 2021-02-07 09:41:17 +0100 | <ski> | to check whether `Show' and `toList' actually does display the same items present |
| 2021-02-07 09:41:22 +0100 | <ski> | yea |
| 2021-02-07 09:41:56 +0100 | drbean | (~drbean@TC210-63-209-206.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-02-07 09:42:18 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2021-02-07 09:42:45 +0100 | <ij> | http://sprunge.us/wl83Gq |
| 2021-02-07 09:42:53 +0100 | <ski> | btw, `foo <- pure bar' can be replaced by `let foo = bar' |
| 2021-02-07 09:43:16 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:43:33 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:43:35 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 258 seconds) |
| 2021-02-07 09:43:36 +0100 | <ij> | that's only for aesthetical syntactical homogeneity |
| 2021-02-07 09:43:39 +0100 | <ski> | ij : is that if you added `S.toList' to the existing lines ? |
| 2021-02-07 09:43:53 +0100 | <ij> | print ("continues", S.toList continues) AND print ("= ", S.toList (S.delete (head (S.lookupMin continues)) continues)) |
| 2021-02-07 09:44:12 +0100 | <ij> | right? |
| 2021-02-07 09:44:18 +0100 | raym | (~ray@45.64.220.139) (Quit: leaving) |
| 2021-02-07 09:44:22 +0100 | <ski> | yea .. i was really asking for that, in *addition* to the previous lines |
| 2021-02-07 09:44:30 +0100 | <ski> | (to more easily be able to compare) |
| 2021-02-07 09:44:37 +0100 | raym | (~ray@45.64.220.139) |
| 2021-02-07 09:44:53 +0100 | <ij> | more log from the application run? |
| 2021-02-07 09:45:00 +0100 | <ski> | however .. it looks like there's still one item missing |
| 2021-02-07 09:45:06 +0100 | <ski> | (log ?) |
| 2021-02-07 09:45:19 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:45:45 +0100 | mikolaj | (~mikon@duch.mimuw.edu.pl) |
| 2021-02-07 09:45:53 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 09:46:06 +0100 | <ij> | oh, from lines with the context, I guess? if so, then one sec |
| 2021-02-07 09:46:18 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:46:32 +0100 | <ski> | (i'm not sure what you're asking) |
| 2021-02-07 09:46:50 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:46:58 +0100 | <ij> | you wanted to switch between tabs and compare, so I think I understand what you're asking for |
| 2021-02-07 09:47:04 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:47:23 +0100 | <ski> | i dunno what either "tabs" or "compare" means |
| 2021-02-07 09:48:53 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 09:49:25 +0100 | <ij> | http://sprunge.us/So256p |
| 2021-02-07 09:49:55 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 09:50:05 +0100 | <ij> | this format is diffable with the previous post and you can see that S.toList produces the same output as Show POSet :) |
| 2021-02-07 09:50:13 +0100 | forgottenone | (~forgotten@176.42.26.20) |
| 2021-02-07 09:50:39 +0100 | <ski> | hm, ok |
| 2021-02-07 09:50:56 +0100 | <ij> | (I didn't just delete the `fromList's, I did indeed copy and reformat) |
| 2021-02-07 09:51:25 +0100 | <ski> | (although you didn't copy and reformat the lines with `S.toList') |
| 2021-02-07 09:52:03 +0100 | <ij> | the lines 426-428? |
| 2021-02-07 09:52:23 +0100 | <ski> | not those line numbers in the paste, but yea |
| 2021-02-07 09:52:30 +0100 | <ski> | (but it doesn't really matter much) |
| 2021-02-07 09:52:44 +0100 | <ij> | yes, this is the output after adding S.toList in the prints |
| 2021-02-07 09:53:48 +0100 | <ski> | i dunno how `POSet' works really. i suppose you're either failing some precondition of an operation in the lib .. or maybe hitting on a bug in it |
| 2021-02-07 09:54:12 +0100 | <ij> | scores aren't the same and it works as expected in isolation |
| 2021-02-07 09:54:35 +0100 | <ij> | I think it's a bug, but I cannot be sure until I have extracted a clean example |
| 2021-02-07 09:54:38 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds) |
| 2021-02-07 09:54:58 +0100 | <ij> | going to print all the modifications, try it out in ghci then |
| 2021-02-07 09:55:18 +0100 | <ski> | if you're able to figure out in which order the continues are actually added to the poset, you could then try to play around with a program containing just those insertions, and see if you could reduce the problem then |
| 2021-02-07 09:55:38 +0100 | <ij> | yup, that's what I was trying to say :) |
| 2021-02-07 09:55:51 +0100 | <ij> | shouldn't be too difficult |
| 2021-02-07 09:56:43 +0100 | <ski> | perhaps you could even use QuickCheck or SmallCheck or something like that, to generate lists of instructions to perform on a POSet, and get a (local) minimum example |
| 2021-02-07 09:57:48 +0100 | <ij> | given that I have a running example already, I think printing a ton of S.insert, S.deletes will be quite faster to get a quick "bug"/"no bug" in POSet answer |
| 2021-02-07 09:58:33 +0100 | <ij> | I could also accidentally lose the bug, if I change anything, so I may not be able to create an example |
| 2021-02-07 09:59:48 +0100 | mikolaj | (~mikon@duch.mimuw.edu.pl) (Quit: Lost terminal) |
| 2021-02-07 09:59:54 +0100 | <ij> | when I knew I'll have to use another set library, I had a hunch it likely won't go smoothly |
| 2021-02-07 10:00:01 +0100 | <ij> | it never does 😅 |
| 2021-02-07 10:00:03 +0100 | peterstorm[m] | (peterstorm@gateway/shell/matrix.org/x-euvywjqfzhcglbjd) (Quit: Idle for 30+ days) |
| 2021-02-07 10:00:27 +0100 | zyeri- | (zyeri@gateway/shell/tilde.team/x-xvdpvpjsanrpyrhi) (Ping timeout: 258 seconds) |
| 2021-02-07 10:02:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) |
| 2021-02-07 10:03:02 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 10:03:36 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-02-07 10:06:03 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds) |
| 2021-02-07 10:06:58 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:e07b:e25d:926:c2e3) (Ping timeout: 258 seconds) |
| 2021-02-07 10:07:31 +0100 | kir | (~kir@s91904426.blix.com) (Remote host closed the connection) |
| 2021-02-07 10:09:39 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-02-07 10:11:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-02-07 10:12:57 +0100 | LKoen | (~LKoen@252.248.88.92.rev.sfr.net) |
| 2021-02-07 10:13:59 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) |
| 2021-02-07 10:14:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 10:15:20 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f4f6:e4b3:c49e:f3f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 10:15:29 +0100 | darkcodi[m] | (darkcodima@gateway/shell/matrix.org/x-bidbqzmubwdqapiu) |
| 2021-02-07 10:17:19 +0100 | zyeri | (zyeri@gateway/shell/tilde.team/x-rjdyrjazritiuhtb) |
| 2021-02-07 10:17:19 +0100 | zyeri | (zyeri@gateway/shell/tilde.team/x-rjdyrjazritiuhtb) (Changing host) |
| 2021-02-07 10:17:19 +0100 | zyeri | (zyeri@tilde.team/users/zyeri) |
| 2021-02-07 10:21:33 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-02-07 10:23:42 +0100 | jchia1 | (~jchia@58.32.32.232) |
| 2021-02-07 10:24:30 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 10:25:03 +0100 | jchia | (~jchia@218.80.114.20) (Ping timeout: 256 seconds) |
| 2021-02-07 10:26:08 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-02-07 10:27:27 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-02-07 10:29:05 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 10:30:26 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 10:35:31 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2021-02-07 10:39:51 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-02-07 10:40:45 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 10:44:41 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) (Quit: frankdmartinez) |
| 2021-02-07 10:45:18 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-02-07 10:47:25 +0100 | <ij> | ski, vote bug! http://sprunge.us/UmyV79 |
| 2021-02-07 10:50:30 +0100 | <ij> | context for anyone reading: Continue { cursor = (0,5), score = 15 } is never deleted, but it goes missing after adding Continue { cursor = (2,2), score = 14 } though the partial order doesn't consider them the same |
| 2021-02-07 10:53:01 +0100 | charukiewicz | (~charukiew@irouteince04.i.subnet.rcn.com) (Quit: charukiewicz) |
| 2021-02-07 10:54:31 +0100 | DataComputist | (~lumeng@50.43.26.251) (Ping timeout: 256 seconds) |
| 2021-02-07 10:55:09 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-02-07 10:57:37 +0100 | shatriff_ | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 2021-02-07 10:57:51 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
| 2021-02-07 11:00:05 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 11:01:08 +0100 | perdent | (~perdent@101.175.174.67) (Ping timeout: 265 seconds) |
| 2021-02-07 11:03:10 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) |
| 2021-02-07 11:04:45 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 11:05:27 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-tannjxvhvijjixbp) (Quit: Connection closed for inactivity) |
| 2021-02-07 11:07:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) (Ping timeout: 258 seconds) |
| 2021-02-07 11:09:07 +0100 | polyrain | (~polyrain@2001:8003:e4d8:4101:795c:c8cd:2656:7ed2) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-02-07 11:09:25 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 11:11:10 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 11:14:57 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-02-07 11:15:23 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 11:16:55 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) (Quit: Leaving) |
| 2021-02-07 11:18:53 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-02-07 11:19:47 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 11:20:17 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 260 seconds) |
| 2021-02-07 11:22:51 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-02-07 11:28:53 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 11:29:58 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-02-07 11:32:57 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds) |
| 2021-02-07 11:33:01 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-02-07 11:33:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-02-07 11:35:25 +0100 | j2t | (~j2t@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds) |
| 2021-02-07 11:35:40 +0100 | fendor | (~fendor@91.141.3.239.wireless.dyn.drei.com) |
| 2021-02-07 11:35:58 +0100 | bitmagie | (~Thunderbi@200116b806b35100a92d8e55454b8ad9.dip.versatel-1u1.de) |
| 2021-02-07 11:37:22 +0100 | <ij> | here's a shorter example with (0,5) disappearing http://sprunge.us/lxrnaj |
| 2021-02-07 11:37:23 +0100 | DataComputist | (~lumeng@50.43.26.251) (Ping timeout: 265 seconds) |
| 2021-02-07 11:38:34 +0100 | <ij> | can someone verify that the XY (0,5) 15 shouldn't disappear? |
| 2021-02-07 11:39:26 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-02-07 11:43:12 +0100 | jollygood2 | (~bc8134e3@217.29.117.252) |
| 2021-02-07 11:45:43 +0100 | RusAlex_ | (~Chel@APN-123-255-118-gprs.simobil.net) (Read error: Connection reset by peer) |
| 2021-02-07 11:46:46 +0100 | RusAlex_ | (~Chel@APN-123-255-118-gprs.simobil.net) |
| 2021-02-07 11:48:18 +0100 | f-a | (~f-a@151.38.55.146) |
| 2021-02-07 11:48:20 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
| 2021-02-07 11:48:24 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 11:48:35 +0100 | <f-a> | hello. On which repo can I report a suggestion/bug about the windows installer (chocolatey)? |
| 2021-02-07 11:51:56 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-02-07 11:53:55 +0100 | frozenErebus | (~frozenEre@94.128.81.133) |
| 2021-02-07 11:53:56 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 240 seconds) |
| 2021-02-07 11:54:15 +0100 | <Uniaika> | f-a: you should contact the chocolatey maintainer directly, you'll have more success |
| 2021-02-07 11:56:47 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-02-07 11:57:22 +0100 | fendor_ | (~fendor@77.119.128.41.wireless.dyn.drei.com) |
| 2021-02-07 11:57:23 +0100 | <f-a> | thanks Uniaika, I should have been clearer |
| 2021-02-07 11:57:30 +0100 | NGravity | (csp@gateway/shell/xshellz/x-shswcsdvnxabefik) |
| 2021-02-07 11:57:40 +0100 | <ij> | ski, mind taking a look? |
| 2021-02-07 11:57:48 +0100 | <f-a> | numerous windows users I know (well, few windows users I know) do not like chocolatey and are wary of installing it |
| 2021-02-07 11:58:16 +0100 | <f-a> | I wanted to relay their feedback |
| 2021-02-07 11:58:45 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 240 seconds) |
| 2021-02-07 11:58:54 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2021-02-07 11:59:12 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-02-07 11:59:14 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-02-07 11:59:18 +0100 | <Uniaika> | f-a: that's unfortunately in direct opposition with the fact that we don't have enough people that are knowledgeable enough to produce MSI packages (or whatever is the format nowadays) |
| 2021-02-07 11:59:57 +0100 | fendor | (~fendor@91.141.3.239.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-02-07 12:00:43 +0100 | <f-a> | Uniaika: feedback I got said «My specific issue would be, what chocolatey did didn't seem to complicated. I would have done it myself if there were download links alongside the chocolatey version.» |
| 2021-02-07 12:01:27 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 12:02:14 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-02-07 12:03:53 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) |
| 2021-02-07 12:03:58 +0100 | jetpack_joe | (sid146137@gateway/web/irccloud.com/x-barhrktjbbtarmrh) (Quit: Connection closed for inactivity) |
| 2021-02-07 12:05:01 +0100 | isBEKaml | (~isBEKaml@unaffiliated/isbekaml) (Quit: leaving) |
| 2021-02-07 12:08:13 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-zyykjymmarnaxvef) (Quit: Connection closed for inactivity) |
| 2021-02-07 12:08:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) (Ping timeout: 264 seconds) |
| 2021-02-07 12:08:26 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 12:08:44 +0100 | <Uniaika> | f-a: I hear you, but you will make things change for the better if you directly contact the Chocolatey maintainer |
| 2021-02-07 12:08:48 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Ping timeout: 265 seconds) |
| 2021-02-07 12:11:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 12:17:40 +0100 | drbean | (~drbean@TC210-63-209-173.static.apol.com.tw) |
| 2021-02-07 12:18:01 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-02-07 12:20:09 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-02-07 12:20:45 +0100 | <tomsmeding> | ij: is that library on hackage? |
| 2021-02-07 12:24:25 +0100 | f-a | (~f-a@151.38.55.146) (Ping timeout: 240 seconds) |
| 2021-02-07 12:25:05 +0100 | f-a | (~f-a@mi-18-14-238.service.infuturo.it) |
| 2021-02-07 12:25:30 +0100 | <tomsmeding> | oh I see, it's pomaps |
| 2021-02-07 12:26:19 +0100 | nfip^ | (nfip@ip98-184-89-2.mc.at.cox.net) () |
| 2021-02-07 12:32:49 +0100 | <ij> | yup |
| 2021-02-07 12:36:56 +0100 | frozenErebus | (~frozenEre@94.128.81.133) (Ping timeout: 240 seconds) |
| 2021-02-07 12:37:37 +0100 | acidjnk_new | (~acidjnk@p200300d0c722c40898344eac4ba1ad37.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-02-07 12:39:27 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-02-07 12:41:15 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 12:41:28 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-02-07 12:51:05 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-02-07 12:54:08 +0100 | j2t | (~j2t@84.122.202.215.dyn.user.ono.com) |
| 2021-02-07 12:59:59 +0100 | sfvm | (~sfvm@37.228.215.77) |
| 2021-02-07 13:00:16 +0100 | catalin | (~catalin@82.77.237.60) |
| 2021-02-07 13:00:50 +0100 | sfvm | (~sfvm@37.228.215.77) (Remote host closed the connection) |
| 2021-02-07 13:01:49 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection) |
| 2021-02-07 13:04:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) |
| 2021-02-07 13:06:33 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 264 seconds) |
| 2021-02-07 13:07:07 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 13:08:43 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.0) |
| 2021-02-07 13:09:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) (Ping timeout: 264 seconds) |
| 2021-02-07 13:09:13 +0100 | hiroaki | (~hiroaki@2a02:908:4b18:8c40::8d83) |
| 2021-02-07 13:11:26 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-02-07 13:13:38 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) |
| 2021-02-07 13:14:05 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 13:14:22 +0100 | <jollygood2> | how do I convert char ** to [String]? do I have to loop over char ** and peekArray every char *? |
| 2021-02-07 13:18:45 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 13:19:15 +0100 | frozenErebus | (~frozenEre@94.128.81.133) |
| 2021-02-07 13:19:16 +0100 | <merijn> | jollygood2: Yes |
| 2021-02-07 13:19:38 +0100 | <merijn> | Why are you getting a char** to begin with, though? |
| 2021-02-07 13:20:03 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-02-07 13:20:56 +0100 | <jollygood2> | it's what the C function returns |
| 2021-02-07 13:21:29 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-02-07 13:22:10 +0100 | <merijn> | Ideally you'd want the C function to return something else, but if that's all you got, then yeah "loop over each element and convert the char*" is the best you can do |
| 2021-02-07 13:22:20 +0100 | thunderrd | (~thunderrd@183.182.115.7) (*.net *.split) |
| 2021-02-07 13:22:25 +0100 | darjeeling_ | (~darjeelin@122.245.216.78) |
| 2021-02-07 13:22:29 +0100 | <merijn> | Although you probably want one of the C string function, rather than peekArray |
| 2021-02-07 13:22:46 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-02-07 13:23:03 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:2650:6cc9:39f1:f264) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-02-07 13:23:19 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-02-07 13:23:29 +0100 | <merijn> | There's peekCString for example, for NUL terminated strings |
| 2021-02-07 13:23:49 +0100 | Athas | (~athas@2a01:7c8:aaac:1cf:5661:9ebf:32e3:d99f) |
| 2021-02-07 13:23:51 +0100 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-02-07 13:24:24 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-02-07 13:24:45 +0100 | <jollygood2> | yeah you're right, I wanted peekCString |
| 2021-02-07 13:24:56 +0100 | thunderrd | (~thunderrd@183.182.115.7) |
| 2021-02-07 13:26:07 +0100 | zaquest | (~notzaques@5.128.210.178) |
| 2021-02-07 13:27:27 +0100 | <jollygood2> | it worked. peekArray to convert char * to [char *], then mapM peekCString to get [String] |
| 2021-02-07 13:28:01 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-02-07 13:28:11 +0100 | <jollygood2> | to convert char ** to [char *], even |
| 2021-02-07 13:30:44 +0100 | <merijn> | Yeah, that sounds about right |
| 2021-02-07 13:35:24 +0100 | Tops2 | (~Tobias@dyndsl-095-033-027-032.ewe-ip-backbone.de) |
| 2021-02-07 13:37:30 +0100 | aveltras | (uid364989@gateway/web/irccloud.com/x-yvpfkhesmkalxnwm) |
| 2021-02-07 13:38:35 +0100 | <aveltras> | how would one use a function like https://hackage.haskell.org/package/typerep-map-0.3.3.0/docs/Data-TypeRepMap.html#v:keys ? I can't figure it out since you don't recover any type info |
| 2021-02-07 13:39:09 +0100 | <merijn> | aveltras: When you pattern match on SomeTypeRep you bring the type info in scope |
| 2021-02-07 13:39:14 +0100 | f-a | (~f-a@mi-18-14-238.service.infuturo.it) () |
| 2021-02-07 13:39:20 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 13:40:00 +0100 | <merijn> | aveltras: That applies to hiding type information with any existential |
| 2021-02-07 13:41:37 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 13:42:15 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-02-07 13:42:16 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 240 seconds) |
| 2021-02-07 13:43:00 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) |
| 2021-02-07 13:43:57 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-02-07 13:45:31 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-wrrlvklxxelvmqxz) |
| 2021-02-07 13:47:26 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 13:47:44 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 13:51:06 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 13:51:08 +0100 | geekosaur | (ac3a8c42@172.58.140.66) |
| 2021-02-07 13:52:49 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 13:54:23 +0100 | <tomsmeding> | aveltras: related topic: GADTs |
| 2021-02-07 13:54:45 +0100 | frozenErebus | (~frozenEre@94.128.81.133) (Ping timeout: 272 seconds) |
| 2021-02-07 13:55:03 +0100 | <merijn> | tomsmeding: That's just because GADTs implicitly include existentials :) |
| 2021-02-07 13:55:08 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 13:55:15 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 13:55:53 +0100 | <tomsmeding> | certainly :) |
| 2021-02-07 13:56:15 +0100 | <merijn> | I personally prefer just writing my existentials as GADTs anyway, more readable that way |
| 2021-02-07 13:56:35 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 13:56:43 +0100 | <merijn> | aww |
| 2021-02-07 13:56:53 +0100 | <merijn> | GHC 9.0 doesn't have -XNoFieldSelectors yet? |
| 2021-02-07 14:02:06 +0100 | <aveltras> | with the following |
| 2021-02-07 14:02:10 +0100 | <aveltras> | https://www.irccloud.com/pastebin/JBELuISb/ |
| 2021-02-07 14:02:30 +0100 | <aveltras> | is there a way to make the pattern match work to extract valid content from the map ? |
| 2021-02-07 14:02:34 +0100 | <aveltras> | i may be missing something here |
| 2021-02-07 14:02:44 +0100 | <aveltras> | the second branch of the match is redundant |
| 2021-02-07 14:02:55 +0100 | midnightmagic | (~midnightm@185.204.1.185) |
| 2021-02-07 14:03:46 +0100 | frozenErebus | (~frozenEre@94.128.81.133) |
| 2021-02-07 14:04:46 +0100 | <tomsmeding> | ij: in your second example ( http://sprunge.us/lxrnaj ), the deletion of XY (1,2) 13 already takes XY (1,3) 14 with it, which is incorrect as far as I can see |
| 2021-02-07 14:05:19 +0100 | <merijn> | aveltras: The type annotation on line 13 doesn't make sense |
| 2021-02-07 14:05:19 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) |
| 2021-02-07 14:05:33 +0100 | <merijn> | aveltras: You don't get to pick the type of the typerep |
| 2021-02-07 14:05:46 +0100 | <merijn> | aveltras: You get "whatever happens to be in there" |
| 2021-02-07 14:07:08 +0100 | <merijn> | aveltras: You probably wanna use == to compare that unknown typerep to whatever you want and then do something |
| 2021-02-07 14:08:37 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-02-07 14:09:05 +0100 | Athas | (~athas@2a01:7c8:aaac:1cf:5661:9ebf:32e3:d99f) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-02-07 14:09:15 +0100 | Athas | (athas@sigkill.dk) |
| 2021-02-07 14:09:22 +0100 | <merijn> | tbh, my initial response to this test code is "have you considered scrapping all this and *not* doing that?" :p |
| 2021-02-07 14:10:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) (Ping timeout: 264 seconds) |
| 2021-02-07 14:10:29 +0100 | <aveltras> | im already scraping something that's much more complicated :p |
| 2021-02-07 14:11:35 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 2021-02-07 14:11:41 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 14:15:08 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-02-07 14:15:37 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 14:17:39 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds) |
| 2021-02-07 14:17:52 +0100 | catalin | (~catalin@82.77.237.60) (Remote host closed the connection) |
| 2021-02-07 14:18:19 +0100 | catalin | (~catalin@82.77.237.60) |
| 2021-02-07 14:18:19 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-07 14:18:50 +0100 | <zebrag> | When one say that applicatives are amenable to static analysis. Does that mean that the compiler can help us there? Or does that mean we can do it with pen and paper? |
| 2021-02-07 14:19:16 +0100 | d3od | (~nickmeno3@78-1-65-250.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2021-02-07 14:19:48 +0100 | <zebrag> | (in my case that would be in relation with parsers) |
| 2021-02-07 14:21:35 +0100 | <merijn> | zebrag: What people mean is this: |
| 2021-02-07 14:21:38 +0100 | <merijn> | :t (<*>) |
| 2021-02-07 14:21:39 +0100 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 2021-02-07 14:21:46 +0100 | fendor_ | fendor |
| 2021-02-07 14:21:56 +0100 | <merijn> | zebrag: Note how *both* the lest *and* right side of <*> are values of type 'f' |
| 2021-02-07 14:22:30 +0100 | <merijn> | zebrag: If we consider the type 'f' "a description" of the side effects, this means that we know the exact effects of the left and right hand side of <*> without running anything |
| 2021-02-07 14:22:31 +0100 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-02-07 14:22:38 +0100 | <merijn> | zebrag: Now consider: |
| 2021-02-07 14:22:42 +0100 | <merijn> | :t (>>=) |
| 2021-02-07 14:22:44 +0100 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 2021-02-07 14:23:00 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-pxyeupqbquuvaqlz) |
| 2021-02-07 14:23:08 +0100 | <merijn> | zebrag: Note how the right hand side is a function, which can use arbitrarily complex logic to decide what 'm b' to return |
| 2021-02-07 14:23:27 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-02-07 14:23:47 +0100 | <zebrag> | (I'm here) |
| 2021-02-07 14:23:47 +0100 | <merijn> | zebrag: This means that we can't "inspect" the effects of the right hand side without first evaluating that function |
| 2021-02-07 14:24:20 +0100 | <merijn> | zebrag: But to evaluate that function, we need to *first* get an 'a' to give to it, which we can only obtain by "executing" the effects on the left hand side-first |
| 2021-02-07 14:24:36 +0100 | <maerwald> | zebrag: this may also be interesing: https://neilmitchell.blogspot.com/2019/10/monads-as-graphs.html |
| 2021-02-07 14:25:14 +0100 | zzxxhhqq | (722b75b6@114-43-117-182.dynamic-ip.hinet.net) |
| 2021-02-07 14:25:24 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-02-07 14:25:35 +0100 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 14:25:45 +0100 | <merijn> | zebrag: So, (depending on the actual applicative) <*> can (hypothetically) inspect and combine effects of both the left and right hand side in some meaningful way (like, running things concurrently in IO), which you cannot do with >>= |
| 2021-02-07 14:26:06 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-02-07 14:27:03 +0100 | <merijn> | zebrag: This actually highlight the difference in "power" of Monad and Applicative, with the 'a -> m b' of Monad we can have the exact effect we perform *depend* on the results of previous ones (the 'a'), with Applicative the *effects* are never conditional, only the result value is |
| 2021-02-07 14:27:14 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 265 seconds) |
| 2021-02-07 14:28:18 +0100 | <zebrag> | merijn: okay, yes, I understand |
| 2021-02-07 14:28:24 +0100 | <tomsmeding> | you can produce an AST of an entire applicative computation without any functions, whereas an AST of a monadic computation necessarily hides part of the structure behind a lambda |
| 2021-02-07 14:28:33 +0100 | <zebrag> | maerwald: I'll look into it |
| 2021-02-07 14:28:36 +0100 | <tomsmeding> | hence monadic computations aren't as amenable to static analysis :) |
| 2021-02-07 14:29:06 +0100 | <merijn> | zebrag: So the "static analysis" people refer to is the part where you can write an <*> that optimises things using knowledge about effects from "both sides" |
| 2021-02-07 14:29:31 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 14:30:01 +0100 | <merijn> | Which naturally leads us to Selective Functors ;) |
| 2021-02-07 14:30:38 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-02-07 14:31:34 +0100 | <merijn> | zebrag: The Selective Functors paper from 2019 discusses the "static analysis" power of Applicative and Monad (and how this leads to the idea of Selective functors), it's an interesting read: https://eprints.ncl.ac.uk/file_store/production/258640/4FF2555F-0AEC-4876-9701-C83A3E5FFF52.pdf |
| 2021-02-07 14:34:17 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 2021-02-07 14:35:00 +0100 | <zebrag> | There are very interesting quotes there, by the way: "Free Applicative Functors" https://arxiv.org/pdf/1403.0749.pdf, like this one "an applicative functor is just a functor that knows how to lift functions of arbitrary arities." |
| 2021-02-07 14:36:23 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 14:39:57 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-02-07 14:41:34 +0100 | frozenErebus | (~frozenEre@94.128.81.133) (Quit: leaving) |
| 2021-02-07 14:43:54 +0100 | HenryCH | (~henry@2001:8e0:2003:e600:c06f:2e7d:9fd5:c220) |
| 2021-02-07 14:44:04 +0100 | catalin | (~catalin@82.77.237.60) (Quit: Leaving) |
| 2021-02-07 14:45:50 +0100 | pako8128 | (~pako@dynamic-077-011-087-191.77.11.pool.telefonica.de) |
| 2021-02-07 14:47:09 +0100 | tomsmeding | realises that you can replace <*> with 'liftedProduct :: f a -> f b -> f (a, b)' without any consequences |
| 2021-02-07 14:47:25 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 14:47:35 +0100 | <merijn> | define "any" and "consequences" :p |
| 2021-02-07 14:47:46 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) |
| 2021-02-07 14:47:47 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 14:48:02 +0100 | pako | (~pako@dynamic-078-054-103-037.78.54.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2021-02-07 14:48:59 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-02-07 14:49:27 +0100 | djellemah | (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 2021-02-07 14:50:26 +0100 | <tomsmeding> | you can define <*> in terms of liftedProduct and vice-versa |
| 2021-02-07 14:50:42 +0100 | <tomsmeding> | not talking about the lowly concerns of having to rewrite instances :p |
| 2021-02-07 14:51:00 +0100 | drbean | (~drbean@TC210-63-209-173.static.apol.com.tw) (Ping timeout: 246 seconds) |
| 2021-02-07 14:51:19 +0100 | <merijn> | tomsmeding: Performance will probably change too :p |
| 2021-02-07 14:51:20 +0100 | <tomsmeding> | and this equivalence between <*> and liftedProduct is precisely currying, in zebrag's quote that applicative functors can lift functions of arbitrary arities |
| 2021-02-07 14:51:29 +0100 | <tomsmeding> | true :p |
| 2021-02-07 14:51:46 +0100 | <tomsmeding> | well if you immediately apply (uncurry f), then it'll probably be optimised away |
| 2021-02-07 14:51:48 +0100 | f-a | (~f-a@mi-18-14-238.service.infuturo.it) |
| 2021-02-07 14:51:59 +0100 | <tomsmeding> | analogously to always using <*> in the form f<$>x<*>y |
| 2021-02-07 14:52:39 +0100 | nhs | (~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds) |
| 2021-02-07 14:55:57 +0100 | jil | (~user@45.86.162.6) |
| 2021-02-07 14:56:00 +0100 | carlomagno | (~cararell@148.87.23.10) |
| 2021-02-07 14:56:05 +0100 | <jil> | hello |
| 2021-02-07 14:59:01 +0100 | <jil> | I'm rying to load function stored in different files in ghci. but what I tried up to now throughs an error module 'mail:Main' is defined in multiple files. |
| 2021-02-07 14:59:48 +0100 | <jil> | I tried, :load file1.hs file2.hs and :load file1.hs :add file2.hs |
| 2021-02-07 14:59:49 +0100 | <merijn> | jil: Are you loading a file and then loading it again? |
| 2021-02-07 15:00:07 +0100 | <merijn> | ah, wait, you're loading two files |
| 2021-02-07 15:00:22 +0100 | f-a | (~f-a@mi-18-14-238.service.infuturo.it) () |
| 2021-02-07 15:00:28 +0100 | <merijn> | jil: If you don't have an explicit module name at the top, the compiler assumes/infers "module Main(main)" |
| 2021-02-07 15:00:35 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 260 seconds) |
| 2021-02-07 15:00:44 +0100 | <jil> | ok |
| 2021-02-07 15:00:49 +0100 | <merijn> | jil: So if neither of your files have a module name it's assuming both are Main and then complains :) |
| 2021-02-07 15:02:04 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 15:02:05 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-02-07 15:02:37 +0100 | <swarmcollective> | Is it possible to `import qualified` in ghci? |
| 2021-02-07 15:03:11 +0100 | <geekosaur> | yes |
| 2021-02-07 15:03:21 +0100 | <geekosaur> | but the semantics are different from :load |
| 2021-02-07 15:04:59 +0100 | <swarmcollective> | The docs say "To make life slightly easier, the GHCi prompt also behaves as if there is an implicit import qualified declaration for every module in every package, and every module currently loaded into GHCi. This behaviour can be disabled with the -fno-implicit-import-qualified flag." However, that is somewhat confusing. |
| 2021-02-07 15:05:53 +0100 | <swarmcollective> | The next section clarifies: https://downloads.haskell.org/~ghc/8.0.2/docs/html/users_guide/ghci.html#module-and-load |
| 2021-02-07 15:06:07 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) |
| 2021-02-07 15:06:52 +0100 | catalin | (~catalin@82.77.237.60) |
| 2021-02-07 15:06:57 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 272 seconds) |
| 2021-02-07 15:07:41 +0100 | <catalin> | Hello! I have problems installing hlint via cabal |
| 2021-02-07 15:07:52 +0100 | <catalin> | I did `cabal install hlint` |
| 2021-02-07 15:08:11 +0100 | <catalin> | I have a bunch of `/usr/bin/ld.bfd: cannot find -lHSexceptions` |
| 2021-02-07 15:08:26 +0100 | <merijn> | Which OS? |
| 2021-02-07 15:08:32 +0100 | <catalin> | Solus Linux |
| 2021-02-07 15:09:04 +0100 | <merijn> | Never heard of it, do you have any haskell packages installed via the system package manager? |
| 2021-02-07 15:09:23 +0100 | <catalin> | yes, a lot actually |
| 2021-02-07 15:09:40 +0100 | <merijn> | oof |
| 2021-02-07 15:09:41 +0100 | <catalin> | I have cabal, stack, ghc and many others |
| 2021-02-07 15:10:08 +0100 | <merijn> | Sounds like your package manager has broken your package database |
| 2021-02-07 15:10:24 +0100 | <merijn> | Leading cabal to think exceptions is installed, but the actual library being missing |
| 2021-02-07 15:10:45 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 15:10:49 +0100 | <catalin> | oh :( no idea how to regenerate it |
| 2021-02-07 15:10:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:a5c0:4a76:91ea:a0d6) (Ping timeout: 264 seconds) |
| 2021-02-07 15:11:37 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-02-07 15:15:07 +0100 | <jollygood2> | with parsec, how would I grab all the characters until the last character C in the input? |
| 2021-02-07 15:15:48 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-02-07 15:18:26 +0100 | <merijn> | manyTill or something like that |
| 2021-02-07 15:18:54 +0100 | drdee | (~drdee@93-33-15-26.ip42.fastwebnet.it) |
| 2021-02-07 15:19:18 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-02-07 15:19:19 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 15:19:23 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 2021-02-07 15:20:08 +0100 | <jil> | merijn: I'm not sure on how to declare a module. is it `module Main where ...` |
| 2021-02-07 15:21:07 +0100 | <geekosaur> | module MyModule [(optionally exports here, otherwise everything is exported)] where |
| 2021-02-07 15:21:28 +0100 | <geekosaur> | and "MyModule" must match the filename, including case, and start with initial uppercase |
| 2021-02-07 15:24:34 +0100 | Codaraxis | (Codaraxis@gateway/vpn/mullvad/codaraxis) (Read error: Connection reset by peer) |
| 2021-02-07 15:24:36 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.0) |
| 2021-02-07 15:25:23 +0100 | seveg | (~gabriel@188-167-252-202.dynamic.chello.sk) |
| 2021-02-07 15:27:25 +0100 | alx741 | (~alx741@186.178.110.176) |
| 2021-02-07 15:27:44 +0100 | <tomsmeding> | jollygood2: until the _last_ character C? That's annoying |
| 2021-02-07 15:27:51 +0100 | <tomsmeding> | What's your purpose? |
| 2021-02-07 15:28:06 +0100 | <jollygood2> | I'm rethinking the problem, I can probably do it a different way |
| 2021-02-07 15:28:21 +0100 | alx741 | (~alx741@186.178.110.176) (Client Quit) |
| 2021-02-07 15:29:01 +0100 | kuribas | (~user@ptr-25vy0i7o843onuw1s23.18120a2.ip6.access.telenet.be) |
| 2021-02-07 15:29:20 +0100 | obihann | (~jhann@142.177.168.17) |
| 2021-02-07 15:29:24 +0100 | <jollygood2> | I'm trying to pass code to my program as an argument, so I'm manually parsing the argument string, instead of using getArgs, so that I don't have to escape " characters |
| 2021-02-07 15:30:11 +0100 | bitmagie | (~Thunderbi@200116b806b35100a92d8e55454b8ad9.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-02-07 15:30:26 +0100 | <tomsmeding> | jollygood2: you can't see the difference between me invoking your program as ./prog "a" or as ./prog a |
| 2021-02-07 15:30:34 +0100 | <tomsmeding> | So that won't work I think |
| 2021-02-07 15:31:00 +0100 | <jollygood2> | this is on windows, using powershell, so it adds several layers of mind fuck :) |
| 2021-02-07 15:31:20 +0100 | <jollygood2> | good thing is, though, I can get unparsed string passed to my program, with all the quotes |
| 2021-02-07 15:31:22 +0100 | <tomsmeding> | Ah I see |
| 2021-02-07 15:32:20 +0100 | obihann | (~jhann@142.177.168.17) (Client Quit) |
| 2021-02-07 15:32:41 +0100 | <jollygood2> | is there a way to get that in *nix? if possible, I'd like to make my program work there as well |
| 2021-02-07 15:33:04 +0100 | <tomsmeding> | In general, no, you can't get the command line as entered by the user on a unix-like system |
| 2021-02-07 15:33:38 +0100 | <geekosaur> | the shell mangles it long before your program gets it |
| 2021-02-07 15:33:40 +0100 | <tomsmeding> | The shell does lots of stuff, like evaluating command splices (e.g. ./prog $(echo hi)) |
| 2021-02-07 15:33:42 +0100 | obihann | (~jhann@142.177.168.17) |
| 2021-02-07 15:34:34 +0100 | obihann | (~jhann@142.177.168.17) (Remote host closed the connection) |
| 2021-02-07 15:37:23 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) |
| 2021-02-07 15:37:35 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 15:38:16 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 2021-02-07 15:40:40 +0100 | Codaraxis | (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-02-07 15:41:27 +0100 | <merijn> | Yes, I'll take "cursed question for 500, Alex" |
| 2021-02-07 15:41:35 +0100 | obihann | (~jhann@142.177.168.17) |
| 2021-02-07 15:42:39 +0100 | m0rphism1 | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-02-07 15:43:04 +0100 | obihann | (~jhann@142.177.168.17) (Client Quit) |
| 2021-02-07 15:44:59 +0100 | drdee | (~drdee@93-33-15-26.ip42.fastwebnet.it) (Quit: Leaving) |
| 2021-02-07 15:46:09 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-02-07 15:46:44 +0100 | <merijn> | I propose the much better solution of "not doing that" >.> |
| 2021-02-07 15:47:01 +0100 | <merijn> | If you wanna communicate code/whatever, you're better off doing it via stdin and/or a file anyway |
| 2021-02-07 15:47:24 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-02-07 15:47:25 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 15:47:46 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-02-07 15:47:49 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 15:47:58 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection) |
| 2021-02-07 15:50:03 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 15:50:48 +0100 | <jollygood2> | I was just thinking that myself a couple of minutes ago, maybe I should just pipe stdin to my program. as a bonus, it would double as a repl |
| 2021-02-07 15:51:16 +0100 | <merijn> | jollygood2: tbh, for a REPL you probably wanna use something like haskeline so you get proper line-editing |
| 2021-02-07 15:52:08 +0100 | futty | (~futhark@c83-252-75-55.bredband.comhem.se) |
| 2021-02-07 15:53:38 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 15:53:59 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-02-07 15:55:14 +0100 | <futty> | I have been trying to implement a Huffman tree with the help of several modules and I'm a bit overwhelmed by this. I would be grateful if anyone could advice me how to proceed. https://repl.it/join/bwnnsmwu-futhark14 |
| 2021-02-07 15:55:38 +0100 | <ephemient> | rlwrap is a cheap way to turn something accepting input on stdin into a repl |
| 2021-02-07 15:55:52 +0100 | <ephemient> | you can get better results by integrating haskeline but it's more work |
| 2021-02-07 15:56:42 +0100 | perdent | (~perdent@101.175.174.67) |
| 2021-02-07 15:56:42 +0100 | geekosaur | (ac3a8c42@172.58.140.66) (Ping timeout: 240 seconds) |
| 2021-02-07 15:57:57 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 260 seconds) |
| 2021-02-07 15:59:03 +0100 | <merijn> | ephemient: I switched to using haskeline for my input and it's pretty great, tbh :) |
| 2021-02-07 16:00:54 +0100 | j3r3my | (~j3r3my@68-73-116-155.lightspeed.rlghnc.sbcglobal.net) |
| 2021-02-07 16:02:29 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds) |
| 2021-02-07 16:02:52 +0100 | zzxxhhqq | (722b75b6@114-43-117-182.dynamic-ip.hinet.net) (Quit: Connection closed) |
| 2021-02-07 16:03:40 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-02-07 16:05:51 +0100 | geekosaur | (ac3a8c42@172.58.140.66) |
| 2021-02-07 16:06:01 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-02-07 16:06:48 +0100 | jchia1 | (~jchia@58.32.32.232) (Ping timeout: 256 seconds) |
| 2021-02-07 16:06:53 +0100 | jchia | (~jchia@218.80.72.201) |
| 2021-02-07 16:06:56 +0100 | conal | (~conal@66.115.157.58) (Ping timeout: 240 seconds) |
| 2021-02-07 16:07:08 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 16:07:23 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-02-07 16:09:42 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 16:11:31 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 258 seconds) |
| 2021-02-07 16:13:09 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 2021-02-07 16:13:10 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-02-07 16:14:38 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
| 2021-02-07 16:14:53 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-02-07 16:18:53 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 16:19:08 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 268 seconds) |
| 2021-02-07 16:21:02 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 16:21:08 +0100 | ClaudiusMaximus | (~claude@191.123.199.146.dyn.plus.net) |
| 2021-02-07 16:21:08 +0100 | ClaudiusMaximus | (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-02-07 16:21:08 +0100 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-02-07 16:21:09 +0100 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-02-07 16:21:24 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-02-07 16:21:48 +0100 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-02-07 16:24:00 +0100 | conal | (~conal@66.115.157.58) |
| 2021-02-07 16:24:21 +0100 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-02-07 16:24:36 +0100 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Client Quit) |
| 2021-02-07 16:25:07 +0100 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-02-07 16:25:27 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2021-02-07 16:28:24 +0100 | zzz | dsfdskljflaskdfj |
| 2021-02-07 16:28:47 +0100 | dsfdskljflaskdfj | zzz |
| 2021-02-07 16:29:07 +0100 | conal | (~conal@66.115.157.58) (Quit: Computer has gone to sleep.) |
| 2021-02-07 16:34:55 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) (Quit: frankdmartinez) |
| 2021-02-07 16:35:52 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:590a:2ec1:bea5:f083) |
| 2021-02-07 16:36:04 +0100 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-02-07 16:37:05 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-02-07 16:37:05 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-02-07 16:37:05 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-02-07 16:37:25 +0100 | hiroaki | (~hiroaki@2a02:908:4b18:8c40::8d83) (Ping timeout: 272 seconds) |
| 2021-02-07 16:39:15 +0100 | hyperisco | (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 2021-02-07 16:43:21 +0100 | conal_ | (~conal@209.58.135.97) |
| 2021-02-07 16:44:05 +0100 | futty | (~futhark@c83-252-75-55.bredband.comhem.se) (Quit: Leaving) |
| 2021-02-07 16:48:05 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) |
| 2021-02-07 16:48:24 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-nvhytycrddduwvdg) |
| 2021-02-07 16:49:40 +0100 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-02-07 16:50:19 +0100 | juuandyy | (~juuandyy@90.106.228.121) (Client Quit) |
| 2021-02-07 16:50:35 +0100 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-02-07 16:51:39 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.58.206) |
| 2021-02-07 16:53:44 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-02-07 16:53:53 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) (Remote host closed the connection) |
| 2021-02-07 16:54:34 +0100 | <j2t> | Hi, why does a list have data constructors and a vector doesn't? |
| 2021-02-07 16:54:52 +0100 | <merijn> | j2t: Vector has data constructors, they're just not publically exported |
| 2021-02-07 16:55:03 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-wrrlvklxxelvmqxz) (Quit: Connection closed for inactivity) |
| 2021-02-07 16:55:14 +0100 | <merijn> | j2t: All datatypes have constructors, but not every package *exports* those constructors |
| 2021-02-07 16:55:25 +0100 | alx741 | (~alx741@186.178.110.176) |
| 2021-02-07 16:55:28 +0100 | <merijn> | Usually to stop users from touching stuff they shouldn't and breaking things |
| 2021-02-07 16:56:37 +0100 | esph | (~weechat@unaffiliated/esph) (Ping timeout: 256 seconds) |
| 2021-02-07 16:56:52 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-02-07 16:57:13 +0100 | esph | (~weechat@unaffiliated/esph) |
| 2021-02-07 16:58:17 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-02-07 16:58:20 +0100 | <j2t> | merijn, thank, i see here `data Vector a = Vector {-# UNPACK #-} !Int` part of vector's data type definition. What is the unpack part? |
| 2021-02-07 16:58:37 +0100 | <jollygood2> | main works fine, but why is main2 throwing that exception, and how would you prevent it if interact didn't exist? https://pastebin.com/jJBc8vuJ |
| 2021-02-07 16:58:53 +0100 | hyperisco | (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 256 seconds) |
| 2021-02-07 16:58:57 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-02-07 16:59:25 +0100 | <geekosaur> | a pragma telling ghc not to put the following field in a box. (the field must be strict, hence the ! on it). this is invoking an internal optimization directly |
| 2021-02-07 16:59:25 +0100 | <ij> | tomsmeding, yup, later noticed it and already added to the bug report |
| 2021-02-07 16:59:27 +0100 | Feuermagier | (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 2021-02-07 17:00:15 +0100 | <merijn> | j2t: Most data fields are boxed in GHC (that is, pointer indirection to the actual data), unpack makes GHC skip the indirection (which means it can't be lazy) |
| 2021-02-07 17:02:53 +0100 | <tdammers> | merijn: what about Data.Void.Void? |
| 2021-02-07 17:03:33 +0100 | <merijn> | tdammers: What about it? |
| 2021-02-07 17:04:38 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-02-07 17:04:58 +0100 | toorevitimirp | (~tooreviti@117.182.180.8) (Remote host closed the connection) |
| 2021-02-07 17:05:51 +0100 | <j2t> | I hoogle list constructor `:` operator but search results don't show it. |
| 2021-02-07 17:06:03 +0100 | j3r3my | (~j3r3my@68-73-116-155.lightspeed.rlghnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-02-07 17:06:26 +0100 | <fendor> | j2t, you have to put it in parathensis |
| 2021-02-07 17:06:29 +0100 | <fendor> | @hoogle (:) |
| 2021-02-07 17:06:29 +0100 | <lambdabot> | Data.Complex (:+) :: a -> a -> Complex a |
| 2021-02-07 17:06:29 +0100 | <lambdabot> | Data.List.NonEmpty (:|) :: a -> [a] -> NonEmpty a |
| 2021-02-07 17:06:29 +0100 | <lambdabot> | Data.Type.Equality data a :~: b |
| 2021-02-07 17:06:37 +0100 | <geekosaur> | also it's wired into the compiler |
| 2021-02-07 17:06:48 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-02-07 17:06:57 +0100 | <merijn> | j2t: That's because it's built into the compiler |
| 2021-02-07 17:07:02 +0100 | <geekosaur> | because list has to be special syntax for the [a,b,c] form |
| 2021-02-07 17:07:05 +0100 | <j2t> | thanks |
| 2021-02-07 17:07:14 +0100 | aveltras | (uid364989@gateway/web/irccloud.com/x-yvpfkhesmkalxnwm) (Quit: Connection closed for inactivity) |
| 2021-02-07 17:07:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 17:08:10 +0100 | <xsperry> | :t (:) |
| 2021-02-07 17:08:11 +0100 | <lambdabot> | a -> [a] -> [a] |
| 2021-02-07 17:08:14 +0100 | <xsperry> | :i (:) |
| 2021-02-07 17:08:31 +0100 | <xsperry> | (works in ghc) |
| 2021-02-07 17:08:34 +0100 | <xsperry> | ghci* |
| 2021-02-07 17:09:16 +0100 | <geekosaur> | there's a dummy definition somewhere that exists only to provide an info table, as with other compiler built-ins |
| 2021-02-07 17:10:59 +0100 | <geekosaur> | hoogle doesn't index the primitives/info table definitions, iirc, because its output would be too noisy with odd compiler built-ins with weird types/kinds |
| 2021-02-07 17:11:55 +0100 | <tdammers> | merijn: you said every datatype has constructors, but Void doesn't |
| 2021-02-07 17:11:59 +0100 | <catalin> | what is the difference between `doubleMe :: Num a => a -> a` and `doubleMe x = x + x` ? |
| 2021-02-07 17:12:04 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 240 seconds) |
| 2021-02-07 17:12:11 +0100 | <catalin> | Beside the writing of it? |
| 2021-02-07 17:12:19 +0100 | <merijn> | tdammers: That's recent, it used to have one in the past :p |
| 2021-02-07 17:12:24 +0100 | <catalin> | the first is the signature? |
| 2021-02-07 17:12:24 +0100 | <merijn> | tdammers: Also, educational lies :p |
| 2021-02-07 17:12:40 +0100 | <tdammers> | merijn: well, it does have a type constructor |
| 2021-02-07 17:12:46 +0100 | <merijn> | catalin: The first is the type signature, the second is the implementation |
| 2021-02-07 17:13:00 +0100 | <catalin> | merijn: thank you |
| 2021-02-07 17:17:50 +0100 | guest7682358928 | (2de85cb9@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.185) |
| 2021-02-07 17:28:35 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:590a:2ec1:bea5:f083) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 17:28:43 +0100 | geekosaur | (ac3a8c42@172.58.140.66) (Quit: Connection closed) |
| 2021-02-07 17:29:20 +0100 | earldouglas | (~james@unaffiliated/jamestastic) (Quit: Lost terminal) |
| 2021-02-07 17:30:24 +0100 | earldouglas | (~james@unaffiliated/jamestastic) |
| 2021-02-07 17:31:40 +0100 | juuandyy | (~juuandyy@90.106.228.121) (Ping timeout: 265 seconds) |
| 2021-02-07 17:31:48 +0100 | archaephyrryx | (~archaephy@straasha.imrryr.org) |
| 2021-02-07 17:32:07 +0100 | <swarmcollective> | So far, I've used Web.Scotty for web api, but only for small projects (https://github.com/calledtoconstruct/kata-checkout-order-total/blob/master/haskell/item-api/Main.hs) Are there newer / better libraries? |
| 2021-02-07 17:37:25 +0100 | catalin | (~catalin@82.77.237.60) (Ping timeout: 256 seconds) |
| 2021-02-07 17:39:16 +0100 | <swarmcollective> | (better is too subjective, but I'm interested in suggestions) |
| 2021-02-07 17:39:40 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-02-07 17:43:37 +0100 | <ph88^> | does anyone know how to debug root cause of hGetChar: end of file ? i already tried to do a profiling build with exceptions turned on https://bpa.st/XZ7YS |
| 2021-02-07 17:44:16 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 17:45:42 +0100 | <kuribas> | ph88^: is this hie? |
| 2021-02-07 17:46:18 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-02-07 17:46:29 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:590a:2ec1:bea5:f083) |
| 2021-02-07 17:46:37 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-02-07 17:46:45 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 17:46:48 +0100 | catalin | (~catalin@82.77.237.60) |
| 2021-02-07 17:47:38 +0100 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-02-07 17:48:17 +0100 | jrqc | (~rofl@96.78.87.197) (Read error: Connection reset by peer) |
| 2021-02-07 17:48:38 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-02-07 17:50:21 +0100 | rndmprsn | (~rndmprsn@c-69-139-47-227.hsd1.fl.comcast.net) |
| 2021-02-07 17:51:05 +0100 | <jollygood2> | <jollygood2> main works fine, but why is main2 throwing that exception, and how would you prevent it if interact didn't exist? https://pastebin.com/jJBc8vuJ |
| 2021-02-07 17:53:51 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 17:54:23 +0100 | <merijn> | jollygood2: When you close stdin reads from stdin hit "end of file" |
| 2021-02-07 17:54:55 +0100 | <merijn> | jollygood2: When you try and get a line from a file that has no more lines, what else can getLine do? |
| 2021-02-07 17:54:59 +0100 | earldouglas | (~james@unaffiliated/jamestastic) (Quit: leaving) |
| 2021-02-07 17:55:16 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 17:55:44 +0100 | <merijn> | jollygood2: You'll want to use try or catch from Control.Exception to catch the IOError and use https://hackage.haskell.org/package/base-4.14.1.0/docs/System-IO-Error.html#v:isEOFError to check for EOF |
| 2021-02-07 17:56:14 +0100 | <merijn> | jollygood2: Alternatively, you can check for EOF before every read |
| 2021-02-07 17:56:26 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 17:56:57 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-02-07 17:57:03 +0100 | earldouglas | (~james@unaffiliated/jamestastic) |
| 2021-02-07 17:58:49 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-szibnrsmlohyyqpj) (Quit: Connection closed for inactivity) |
| 2021-02-07 17:59:43 +0100 | Franciman | (~francesco@host-95-235-155-82.retail.telecomitalia.it) |
| 2021-02-07 18:00:46 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 18:01:31 +0100 | <rndmprsn> | Anyone know any good URL/URI parsing libraries? I'm looking to parse something like ftp://username:password@example.com/home/foo into (Ftp Username Password Host Path) or similar |
| 2021-02-07 18:01:57 +0100 | <rndmprsn> | I can always write my own but I'm wondering if there's an existing tool |
| 2021-02-07 18:02:27 +0100 | <merijn> | Wasn't there one split of from network? |
| 2021-02-07 18:02:53 +0100 | <merijn> | @hackage network-uri |
| 2021-02-07 18:02:53 +0100 | <lambdabot> | https://hackage.haskell.org/package/network-uri |
| 2021-02-07 18:04:57 +0100 | <rndmprsn> | Oh, yeah there's parseURI then (uriScheme, uriAuthority, uriPath), ty |
| 2021-02-07 18:06:08 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-02-07 18:07:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-02-07 18:08:07 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-07 18:08:11 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-02-07 18:08:20 +0100 | <ph88^> | kuribas, what do you mean hie ? |
| 2021-02-07 18:08:22 +0100 | ahri | (~ahri@178.209.40.84) |
| 2021-02-07 18:08:40 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 18:10:13 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-02-07 18:10:17 +0100 | juuandyy | (~juuandyy@90.106.228.121) (Ping timeout: 256 seconds) |
| 2021-02-07 18:11:28 +0100 | <swarmcollective> | Haskell IDE Engine (HIE) and it's newer sibling Haskell Language Server (HLS) assist the IDE with syntax highlighting, etc... |
| 2021-02-07 18:11:36 +0100 | revprez_stg | (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: Lost terminal) |
| 2021-02-07 18:13:01 +0100 | revprez_stg | (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2021-02-07 18:13:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 258 seconds) |
| 2021-02-07 18:15:25 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 18:16:18 +0100 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Read error: Connection reset by peer) |
| 2021-02-07 18:16:45 +0100 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-02-07 18:17:02 +0100 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Remote host closed the connection) |
| 2021-02-07 18:17:31 +0100 | <ph88^> | kuribas, swarmcollective it's this program https://github.com/wz1000/HieDb |
| 2021-02-07 18:18:27 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-02-07 18:19:15 +0100 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-02-07 18:19:17 +0100 | <swarmcollective> | ph88^ thank you. |
| 2021-02-07 18:19:56 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-02-07 18:20:29 +0100 | <ph88^> | don't think me, it's wz1000 :P |
| 2021-02-07 18:20:32 +0100 | <ph88^> | thank * |
| 2021-02-07 18:22:18 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 18:30:27 +0100 | jrqc | (~rofl@96.78.87.197) (Read error: Connection reset by peer) |
| 2021-02-07 18:30:48 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-02-07 18:32:36 +0100 | hiroaki | (~hiroaki@2a02:908:4b18:8c40::b730) |
| 2021-02-07 18:34:44 +0100 | <shapr> | swarmcollective: we use servant at work for a 300,000 line codebase that's a bunch of different webapps |
| 2021-02-07 18:35:00 +0100 | <shapr> | I use scotty for my small personal projects, but I'll likely switch to servant |
| 2021-02-07 18:35:23 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-02-07 18:37:41 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 18:38:05 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 18:38:18 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) |
| 2021-02-07 18:38:33 +0100 | rndmprsn | (~rndmprsn@c-69-139-47-227.hsd1.fl.comcast.net) (Quit: WeeChat 3.0) |
| 2021-02-07 18:39:16 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 240 seconds) |
| 2021-02-07 18:39:47 +0100 | earldouglas | (~james@unaffiliated/jamestastic) (Quit: leaving) |
| 2021-02-07 18:40:08 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection) |
| 2021-02-07 18:40:48 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 18:45:22 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 260 seconds) |
| 2021-02-07 18:47:24 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-07 18:47:47 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) |
| 2021-02-07 18:52:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-02-07 18:52:34 +0100 | midnightmagic | (~midnightm@185.204.1.185) (Disconnected by services) |
| 2021-02-07 18:53:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 18:56:37 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-02-07 18:58:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 18:59:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 19:00:44 +0100 | dnlkrgr | (~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de) |
| 2021-02-07 19:00:55 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-02-07 19:01:36 +0100 | conal_ | (~conal@209.58.135.97) (Ping timeout: 246 seconds) |
| 2021-02-07 19:02:32 +0100 | Guest12658 | (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-02-07 19:02:48 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-02-07 19:03:14 +0100 | j2t | (~j2t@84.122.202.215.dyn.user.ono.com) (Remote host closed the connection) |
| 2021-02-07 19:03:19 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-02-07 19:03:37 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-02-07 19:03:40 +0100 | j2t | (~j2t@84.122.202.215.dyn.user.ono.com) |
| 2021-02-07 19:03:52 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-kqbirvayummddixr) |
| 2021-02-07 19:04:01 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Client Quit) |
| 2021-02-07 19:04:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-02-07 19:05:23 +0100 | <ij> | can I fold/ tuples? |
| 2021-02-07 19:05:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 19:05:41 +0100 | <ij> | or iterate over them |
| 2021-02-07 19:06:49 +0100 | <c_wraith> | what would the type of that be? |
| 2021-02-07 19:07:26 +0100 | <monochrom> | How big is your tuple such that you have to ask? |
| 2021-02-07 19:07:51 +0100 | <ij> | c_wraith, in this case, (a,a,a,a). monochrom, not big, fair enough. :) |
| 2021-02-07 19:08:01 +0100 | <ij> | I just thought maybe it exists already |
| 2021-02-07 19:08:23 +0100 | <c_wraith> | that's not the type of any iteration |
| 2021-02-07 19:09:06 +0100 | <monochrom> | You can write your own fold, whatever it means. |
| 2021-02-07 19:09:09 +0100 | <ij> | sorry, (a -> a) -> (a,a,a,a) -> a. I was trying to say it would only work for the same typed elements |
| 2021-02-07 19:09:13 +0100 | <ij> | monochrom, guess so |
| 2021-02-07 19:09:23 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 19:10:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 19:10:31 +0100 | <swarmcollective> | shapr, thank you. I will look at servant. Much appreciated. |
| 2021-02-07 19:10:51 +0100 | jungnam | (~jungnam@s91904426.blix.com) |
| 2021-02-07 19:11:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 19:11:30 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 19:13:18 +0100 | <c_wraith> | > foldl1Of' each (+) (1,2,3,4) -- ij, as always, lens can do if only you pay a couple points of sanity |
| 2021-02-07 19:13:20 +0100 | <lambdabot> | 10 |
| 2021-02-07 19:13:57 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 260 seconds) |
| 2021-02-07 19:14:15 +0100 | <ij> | I remember seeing something like it in lens, but I think it was called "for" previously or I'm misremembering |
| 2021-02-07 19:14:42 +0100 | catalin | (~catalin@82.77.237.60) (Remote host closed the connection) |
| 2021-02-07 19:14:55 +0100 | <hololeap> | there was a package that converted to/from (for instance) (a,a,a,a) <-> Finite 4 a (or something like that) |
| 2021-02-07 19:15:04 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-02-07 19:15:45 +0100 | <hololeap> | not Finite, but some sort of list with a size tag at the type level... |
| 2021-02-07 19:17:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Reconnecting) |
| 2021-02-07 19:17:29 +0100 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 19:17:56 +0100 | <hololeap> | @hackage indexed-list-literals |
| 2021-02-07 19:17:56 +0100 | <lambdabot> | https://hackage.haskell.org/package/indexed-list-literals |
| 2021-02-07 19:18:52 +0100 | <hololeap> | not quite how i described it, but close enough |
| 2021-02-07 19:20:31 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 19:22:19 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-nvhytycrddduwvdg) (Quit: Connection closed for inactivity) |
| 2021-02-07 19:22:19 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 19:22:55 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 19:23:00 +0100 | HenryCH | (~henry@2001:8e0:2003:e600:c06f:2e7d:9fd5:c220) () |
| 2021-02-07 19:24:16 +0100 | ahri | (~ahri@178.209.40.84) (Quit: The Lounge - https://thelounge.chat) |
| 2021-02-07 19:24:37 +0100 | zmagii | (~zmagii@unaffiliated/zmagii) ("ERC (IRC client for Emacs 26.3)") |
| 2021-02-07 19:25:04 +0100 | ahri | (~ahri@178.209.40.84) |
| 2021-02-07 19:27:38 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds) |
| 2021-02-07 19:29:30 +0100 | dolio | (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 19:29:35 +0100 | fweht | (uid404746@gateway/web/irccloud.com/x-wkjpjnsyrlwutlcg) |
| 2021-02-07 19:31:26 +0100 | <fweht> | can someone explain to me the wildcard(?) notation in the type signatures from the ramda (js framework) documentation? |
| 2021-02-07 19:31:36 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 19:31:41 +0100 | <monochrom> | Wrong channel? |
| 2021-02-07 19:31:52 +0100 | <fweht> | whats the difference between a → (* → a) (alawys in ramda) and a -> b -> a (const in haskell)? |
| 2021-02-07 19:32:19 +0100 | <comerijn> | That sounds like a question for people involved in that framework? |
| 2021-02-07 19:32:19 +0100 | <c_wraith> | who knows? this isn't a ramda channel |
| 2021-02-07 19:32:38 +0100 | <fweht> | sorry |
| 2021-02-07 19:33:38 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-02-07 19:33:47 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 19:34:18 +0100 | thunderrd | (~thunderrd@183.182.115.7) (Remote host closed the connection) |
| 2021-02-07 19:34:19 +0100 | Alleria | (~textual@2603-7000-3040-0000-8d65-d0da-7585-2394.res6.spectrum.com) |
| 2021-02-07 19:34:21 +0100 | raym | (~ray@45.64.220.139) (Quit: leaving) |
| 2021-02-07 19:34:37 +0100 | raym | (~ray@45.64.220.139) |
| 2021-02-07 19:34:42 +0100 | Alleria | Guest79099 |
| 2021-02-07 19:35:27 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) |
| 2021-02-07 19:36:04 +0100 | <ij> | if I pass a value from an unboxed array to another function it will get boxed (if so, always)? what if I INLINE that function? or is that not easily answerable? |
| 2021-02-07 19:36:15 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-02-07 19:37:00 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection) |
| 2021-02-07 19:37:39 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 19:37:53 +0100 | <monochrom> | I think you should invest in learning core, cmm, and asm. |
| 2021-02-07 19:38:18 +0100 | Heffalump | (~ganesh@urchin.earth.li) (Remote host closed the connection) |
| 2021-02-07 19:38:27 +0100 | <monochrom> | Because -ddump-prep -ddump-opt-cmm -ddump-asm will answer all your questions. |
| 2021-02-07 19:38:38 +0100 | <ij> | I know what cmm refers to and I know asm, but not in-depth. What's core? |
| 2021-02-07 19:38:58 +0100 | <ij> | I was wondering whether there's some intermediate format I could take a look at. |
| 2021-02-07 19:39:08 +0100 | <comerijn> | ij: Core :p |
| 2021-02-07 19:39:26 +0100 | <ij> | ok, found it |
| 2021-02-07 19:39:43 +0100 | ahri | (~ahri@178.209.40.84) (Quit: The Lounge - https://thelounge.chat) |
| 2021-02-07 19:39:57 +0100 | <monochrom> | https://youtu.be/uR_VzYxvbxg is a good start. (But only a start.) |
| 2021-02-07 19:40:29 +0100 | <ij> | sounds interesting, I hope I find the time for it |
| 2021-02-07 19:40:45 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-02-07 19:40:46 +0100 | ahri | (~ahri@178.209.40.84) |
| 2021-02-07 19:40:49 +0100 | <ij> | thank you |
| 2021-02-07 19:41:09 +0100 | frankdmartinez | (~frankdmar@138.199.52.84) (Quit: frankdmartinez) |
| 2021-02-07 19:42:32 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 260 seconds) |
| 2021-02-07 19:43:27 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-07 19:46:40 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-02-07 19:48:15 +0100 | LKoen | (~LKoen@252.248.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-02-07 19:48:40 +0100 | <ij> | > let deleteGet = alterF (\a -> (a, Nothing)) () in deleteGet (M.fromList [((), 1)]) |
| 2021-02-07 19:48:41 +0100 | <lambdabot> | error: |
| 2021-02-07 19:48:41 +0100 | <lambdabot> | • Variable not in scope: |
| 2021-02-07 19:48:41 +0100 | <lambdabot> | alterF :: (a1 -> (a1, Maybe a2)) -> () -> t1 |
| 2021-02-07 19:48:46 +0100 | <ij> | > let deleteGet = M.alterF (\a -> (a, Nothing)) () in deleteGet (M.fromList [((), 1)]) |
| 2021-02-07 19:48:48 +0100 | <lambdabot> | (Just 1,fromList []) |
| 2021-02-07 19:49:40 +0100 | Guest79099 | (~textual@2603-7000-3040-0000-8d65-d0da-7585-2394.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-02-07 19:53:09 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-02-07 19:53:25 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-02-07 19:54:25 +0100 | alx741 | (~alx741@186.178.110.176) (Ping timeout: 240 seconds) |
| 2021-02-07 19:54:43 +0100 | tsrt^ | (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 2021-02-07 19:57:32 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:590a:2ec1:bea5:f083) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-07 19:58:57 +0100 | conal | (~conal@64.71.133.70) |
| 2021-02-07 19:59:04 +0100 | <ij> | :t let deleteGetInt = M.alterF (\a -> (fold $ Sum <$> a, Nothing)); sumKeys = foldMap' deleteGetInt in sumKeys -- what a nice function |
| 2021-02-07 19:59:06 +0100 | <lambdabot> | (Foldable t, Num a, Ord k) => t k -> M.Map k a -> (Sum a, M.Map k a) |
| 2021-02-07 20:00:47 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-02-07 20:03:28 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-02-07 20:03:38 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-02-07 20:03:41 +0100 | <shapr> | Anyone using Haskell to talk to serial ports? I'm curious if serialport is as cross-platform as it claims? |
| 2021-02-07 20:08:36 +0100 | alx741 | (~alx741@181.196.69.34) |
| 2021-02-07 20:09:25 +0100 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-02-07 20:10:07 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 20:10:58 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 20:11:23 +0100 | <ephemient> | not using it, but looking at the source, it supports POSIX (using tty_ioctl) and Windows (GetCommState etc.) |
| 2021-02-07 20:11:44 +0100 | <ephemient> | anything else you're concerned about being portable to? |
| 2021-02-07 20:14:25 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-02-07 20:14:26 +0100 | <shapr> | ephemient: I only need it on Linux and Mac |
| 2021-02-07 20:14:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 260 seconds) |
| 2021-02-07 20:14:45 +0100 | <shapr> | Hopefully POSIX means it'll work on both of those. |
| 2021-02-07 20:14:49 +0100 | <shapr> | time to find out! |
| 2021-02-07 20:16:41 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 20:17:59 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 20:18:40 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 20:19:47 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 20:22:48 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-02-07 20:22:57 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-02-07 20:24:00 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-02-07 20:24:38 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds) |
| 2021-02-07 20:26:04 +0100 | acidjnk_new | (~acidjnk@p200300d0c722c40898344eac4ba1ad37.dip0.t-ipconnect.de) |
| 2021-02-07 20:27:17 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-02-07 20:31:28 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 265 seconds) |
| 2021-02-07 20:32:16 +0100 | <comerijn> | Or it doesn't work on either, but in slightly different ways! :p |
| 2021-02-07 20:32:29 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2021-02-07 20:33:54 +0100 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-02-07 20:34:28 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-02-07 20:36:24 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
| 2021-02-07 20:39:02 +0100 | <shapr> | I love the new feature in haskell-language-server where it creates a skeleton Show instances for a type, then one more click creates a pattern match for the constructors. |
| 2021-02-07 20:39:07 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-02-07 20:39:30 +0100 | <Uniaika> | shapr: I would love to be able to trigger that from neovim ;_; |
| 2021-02-07 20:39:49 +0100 | <shapr> | I think the same features work from some flavor of vim? |
| 2021-02-07 20:40:01 +0100 | <shapr> | I'm not a vim user, I can't help with that :-( |
| 2021-02-07 20:40:17 +0100 | <Uniaika> | :) |
| 2021-02-07 20:40:19 +0100 | <shapr> | but I know some of my coworkers do use haskell-language-server inside some flavor of vim. |
| 2021-02-07 20:41:21 +0100 | RusAlex_ | (~Chel@APN-123-255-118-gprs.simobil.net) (Ping timeout: 246 seconds) |
| 2021-02-07 20:45:19 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 2021-02-07 20:46:05 +0100 | albert_99 | (~Albert@2a02:8108:1100:16d8:3dd1:7e49:5b8f:1c8d) |
| 2021-02-07 20:46:56 +0100 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-02-07 20:47:25 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-02-07 20:49:17 +0100 | dolio | (~dolio@haskell/developer/dolio) |
| 2021-02-07 20:49:58 +0100 | <ph88^> | is there any way to see what is new in a new stackage LTS release ? |
| 2021-02-07 20:50:38 +0100 | dolio | (~dolio@haskell/developer/dolio) (Client Quit) |
| 2021-02-07 20:51:24 +0100 | dolio | (~dolio@haskell/developer/dolio) |
| 2021-02-07 20:51:45 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 20:52:15 +0100 | cheater | (~user@unaffiliated/cheater) |
| 2021-02-07 20:53:56 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-02-07 20:54:13 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-07 20:55:05 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-02-07 20:55:35 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection) |
| 2021-02-07 20:58:00 +0100 | <koz_> | maerwald: I had 'ghcup compile ghc -v 8.10.4 -b 8.10.3' blow up on me due to a problem with autoreconf. |
| 2021-02-07 20:58:17 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 20:58:17 +0100 | <koz_> | Do you want anything besides the ghcup log? |
| 2021-02-07 21:04:00 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 21:06:21 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:07:50 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) |
| 2021-02-07 21:10:45 +0100 | ixaxaar | (~ixaxaar@49.207.210.215) (Ping timeout: 246 seconds) |
| 2021-02-07 21:10:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 21:13:44 +0100 | <ij> | ski, tomsmeding, it was indeed a bug in pomaps |
| 2021-02-07 21:15:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 264 seconds) |
| 2021-02-07 21:16:01 +0100 | <tomsmeding> | Fortunately :) |
| 2021-02-07 21:16:10 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 21:16:25 +0100 | <ij> | https://github.com/sgraf812/pomaps/issues/3 |
| 2021-02-07 21:19:22 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-02-07 21:21:04 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
| 2021-02-07 21:22:31 +0100 | j2t | (~j2t@84.122.202.215.dyn.user.ono.com) (Ping timeout: 272 seconds) |
| 2021-02-07 21:23:31 +0100 | Guest_36 | (5f5d26f2@a95-93-38-242.cpe.netcabo.pt) |
| 2021-02-07 21:25:51 +0100 | Guest_36 | (5f5d26f2@a95-93-38-242.cpe.netcabo.pt) (Client Quit) |
| 2021-02-07 21:26:19 +0100 | <tomsmeding> | where is the hackagebot announcement :p |
| 2021-02-07 21:26:50 +0100 | <sm[m]> | ph88^: isn't there a diff link somewhere on stackage.org ? |
| 2021-02-07 21:27:04 +0100 | <ij> | tomsmeding, I haven't seen any today |
| 2021-02-07 21:27:27 +0100 | <sm[m]> | it announces when it's in the mood |
| 2021-02-07 21:27:52 +0100 | <tomsmeding> | earlier it was quite punctual, but as ij said it's been quiet today |
| 2021-02-07 21:28:07 +0100 | <ph88^> | sm[m], eh ye i guess it would be possible to find a diff somewhere .. though not the same as a proper changelog :P |
| 2021-02-07 21:29:11 +0100 | hexagenic | (~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815) |
| 2021-02-07 21:29:15 +0100 | <sm[m]> | I don't mean literally a diff, I seem to remember some kind of web page |
| 2021-02-07 21:29:56 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-02-07 21:30:39 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 21:30:55 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Remote host closed the connection) |
| 2021-02-07 21:31:19 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 2021-02-07 21:32:27 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Remote host closed the connection) |
| 2021-02-07 21:33:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-02-07 21:33:28 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 21:34:33 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:34:34 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-02-07 21:37:44 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 240 seconds) |
| 2021-02-07 21:37:48 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-02-07 21:38:06 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-02-07 21:39:24 +0100 | hidedagger | (~nate@unaffiliated/hidedagger) |
| 2021-02-07 21:40:55 +0100 | francesco_ | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-02-07 21:41:31 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 21:41:54 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:41:54 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Excess Flood) |
| 2021-02-07 21:42:05 +0100 | albert_99 | (~Albert@2a02:8108:1100:16d8:3dd1:7e49:5b8f:1c8d) (Ping timeout: 246 seconds) |
| 2021-02-07 21:42:37 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:43:09 +0100 | Franciman | (~francesco@host-95-235-155-82.retail.telecomitalia.it) (Ping timeout: 264 seconds) |
| 2021-02-07 21:44:55 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Excess Flood) |
| 2021-02-07 21:45:43 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:45:43 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Excess Flood) |
| 2021-02-07 21:47:43 +0100 | francesco_ | Franciman |
| 2021-02-07 21:47:43 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:47:43 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Excess Flood) |
| 2021-02-07 21:49:22 +0100 | albert_99 | (~Albert@2a02:8108:1100:16d8:3dd1:7e49:5b8f:1c8d) |
| 2021-02-07 21:49:41 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Ping timeout (120 seconds)) |
| 2021-02-07 21:49:44 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-02-07 21:49:45 +0100 | Anandamide | (49a90352@c-73-169-3-82.hsd1.co.comcast.net) (Quit: Ping timeout (120 seconds)) |
| 2021-02-07 21:49:57 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-02-07 21:51:34 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 21:52:29 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 21:53:59 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 21:53:59 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Excess Flood) |
| 2021-02-07 21:54:55 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 21:56:59 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 21:58:55 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-02-07 21:59:26 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 264 seconds) |
| 2021-02-07 21:59:45 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-02-07 21:59:58 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 22:05:10 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Excess Flood) |
| 2021-02-07 22:06:02 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 264 seconds) |
| 2021-02-07 22:07:37 +0100 | mrArkwright | (~mrArkwrig@2001:9e8:6068:7900:47d:3ad4:5aa0:1333) |
| 2021-02-07 22:07:59 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-pxyeupqbquuvaqlz) () |
| 2021-02-07 22:08:24 +0100 | acidjnk_new | (~acidjnk@p200300d0c722c40898344eac4ba1ad37.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-02-07 22:09:11 +0100 | mrArkwright | (~mrArkwrig@2001:9e8:6068:7900:47d:3ad4:5aa0:1333) (Client Quit) |
| 2021-02-07 22:10:13 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 22:10:31 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-02-07 22:11:05 +0100 | mrArkwright | (~mrArkwrig@2001:9e8:6068:7900:47d:3ad4:5aa0:1333) |
| 2021-02-07 22:11:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 22:12:24 +0100 | mrArkwright | (~mrArkwrig@2001:9e8:6068:7900:47d:3ad4:5aa0:1333) (Client Quit) |
| 2021-02-07 22:12:41 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2021-02-07 22:13:09 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-02-07 22:15:05 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-02-07 22:15:37 +0100 | <ij> | any theoretical gains I get with POSet (because element deletion works unlike in Set) are negated by the performance of POSet :) well, it was worth a shot |
| 2021-02-07 22:15:46 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-07 22:15:50 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-02-07 22:16:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) (Ping timeout: 264 seconds) |
| 2021-02-07 22:17:07 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 22:18:14 +0100 | tachylyte | (~tachylyte@host86-132-250-227.range86-132.btcentralplus.com) |
| 2021-02-07 22:19:11 +0100 | omnitrogen | (~omnitroge@vps-c9700282.vps.ovh.net) (Read error: Connection reset by peer) |
| 2021-02-07 22:19:47 +0100 | jneira | (501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) |
| 2021-02-07 22:20:26 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-02-07 22:20:26 +0100 | omnitrogen | (~omnitroge@vps-c9700282.vps.ovh.net) |
| 2021-02-07 22:21:16 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-02-07 22:21:56 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-02-07 22:22:48 +0100 | kuribas | (~user@ptr-25vy0i7o843onuw1s23.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-02-07 22:23:36 +0100 | alx741 | (~alx741@181.196.69.34) (Quit: alx741) |
| 2021-02-07 22:23:58 +0100 | j3r3my | (~j3r3my@68-73-116-155.lightspeed.rlghnc.sbcglobal.net) |
| 2021-02-07 22:25:32 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-02-07 22:26:33 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-02-07 22:28:42 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-02-07 22:28:58 +0100 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-02-07 22:30:38 +0100 | <shapr> | ephemient: I got it working https://github.com/shapr/bloohm |
| 2021-02-07 22:31:59 +0100 | <ephemient> | 👍 |
| 2021-02-07 22:32:48 +0100 | <ephemient> | I guess you have to use different device nodes on Linux vs macos (/dev/ttyUSB0 vs /dev/uc.usbserial or something), but that's outside of your program so it's all good :) |
| 2021-02-07 22:33:24 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) |
| 2021-02-07 22:33:28 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 272 seconds) |
| 2021-02-07 22:33:34 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection) |
| 2021-02-07 22:35:56 +0100 | <maerwald> | koz_: lemme try |
| 2021-02-07 22:36:13 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-02-07 22:36:58 +0100 | <shapr> | ephemient: yeah, I'll try this on my work mac tomorrow, see how it goes. |
| 2021-02-07 22:37:20 +0100 | <shapr> | The library says the handle interface is experimental, I may need to switch to the stable interface. |
| 2021-02-07 22:38:36 +0100 | <maerwald> | koz_: It's at ghc-make stage |
| 2021-02-07 22:38:41 +0100 | nineonine | (~nineonine@2604:3d08:7785:9600:b847:1240:2a37:515e) (Ping timeout: 258 seconds) |
| 2021-02-07 22:38:42 +0100 | <maerwald> | so I'm suspecting autoconft succeeded? |
| 2021-02-07 22:39:53 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 22:40:43 +0100 | <koz_> | maerwald: https://paste.tomsmeding.com/BpTZCJpJ <-- short part |
| 2021-02-07 22:40:48 +0100 | <koz_> | I'll beam you the whole log momentarily. |
| 2021-02-07 22:42:35 +0100 | <koz_> | What's a good way to get you the whole ghc-make.log? |
| 2021-02-07 22:42:38 +0100 | <koz_> | It's too big for a paste. |
| 2021-02-07 22:43:09 +0100 | <Uniaika> | koz_: gist it? |
| 2021-02-07 22:43:17 +0100 | <Uniaika> | you can upload a file directly |
| 2021-02-07 22:43:53 +0100 | <koz_> | maerwald: https://gist.github.com/kozross/9b5dd81a461ab5cae818b83e4853c14c |
| 2021-02-07 22:44:15 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 22:44:28 +0100 | conal | (~conal@64.71.133.70) |
| 2021-02-07 22:46:33 +0100 | <tomsmeding> | koz_: sorry for the paste limit lol the VPS has a small disk |
| 2021-02-07 22:46:50 +0100 | <koz_> | tomsmeding: No need to apologize. |
| 2021-02-07 22:47:10 +0100 | <koz_> | I understand that there's no cloud, only other people's computers, and someone's gotta pay for them. |
| 2021-02-07 22:47:46 +0100 | <tomsmeding> | <3 |
| 2021-02-07 22:49:10 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Remote host closed the connection) |
| 2021-02-07 22:49:28 +0100 | kam1 | (~kam1@5.126.18.81) |
| 2021-02-07 22:50:57 +0100 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-02-07 22:51:15 +0100 | coot | (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-02-07 22:53:28 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 22:54:34 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-02-07 22:56:06 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-02-07 22:57:09 +0100 | dolio | (~dolio@haskell/developer/dolio) (Ping timeout: 246 seconds) |
| 2021-02-07 22:57:30 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds) |
| 2021-02-07 22:58:58 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-02-07 22:59:38 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Remote host closed the connection) |
| 2021-02-07 22:59:54 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:28ef:874a:4030:fb98) |
| 2021-02-07 23:01:09 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-02-07 23:01:24 +0100 | L1Cafe | (~L1Cafe@kydara.com) |
| 2021-02-07 23:01:56 +0100 | dolio | (~dolio@haskell/developer/dolio) |
| 2021-02-07 23:02:13 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d1:9147:9730:b8de) |
| 2021-02-07 23:05:12 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-02-07 23:05:14 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-02-07 23:05:48 +0100 | jollygood2 | (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-02-07 23:05:51 +0100 | albert_99 | (~Albert@2a02:8108:1100:16d8:3dd1:7e49:5b8f:1c8d) (Quit: WeeChat 3.0) |
| 2021-02-07 23:09:21 +0100 | fweht | (uid404746@gateway/web/irccloud.com/x-wkjpjnsyrlwutlcg) (Quit: Connection closed for inactivity) |
| 2021-02-07 23:09:38 +0100 | hexagenic | (~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815) (Quit: WeeChat 1.9.1) |
| 2021-02-07 23:10:36 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-02-07 23:10:38 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 23:11:42 +0100 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-02-07 23:13:00 +0100 | L1Cafe | (~L1Cafe@kydara.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-02-07 23:14:06 +0100 | j3r3my | (~j3r3my@68-73-116-155.lightspeed.rlghnc.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-02-07 23:15:47 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-02-07 23:16:57 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-02-07 23:17:39 +0100 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.0) |
| 2021-02-07 23:17:44 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-02-07 23:20:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-07 23:20:23 +0100 | <justsomeguy> | Sometime I see the phrase "algebra" used to describe typeclasses, and I'm a little confused by it. Does an algebra mean a single operation and the set it operates on, or a collection of operations and the set they operate on? Also, do algebras need to conform to laws (or properties), or is that not a requirement to call something an algebra? |
| 2021-02-07 23:20:56 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-02-07 23:21:34 +0100 | justsomeguy | tried reading about it on wikipedia but the math jargon only confused him more. |
| 2021-02-07 23:22:07 +0100 | mirrorbird | (~psutcliff@2a00:801:2d5:848b:590:cf4f:5eeb:b49d) (Ping timeout: 272 seconds) |
| 2021-02-07 23:23:08 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-02-07 23:23:31 +0100 | <pjb> | justsomeguy: https://en.wikipedia.org/wiki/Algebra_(disambiguation)#Mathematical_structures |
| 2021-02-07 23:23:45 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection) |
| 2021-02-07 23:24:19 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-02-07 23:24:35 +0100 | ph88 | (~ph88@2a02:8109:9e00:7e5c:4da6:ad42:6417:64a1) |
| 2021-02-07 23:24:44 +0100 | <pjb> | justsomeguy: the number of operation will depend on the type of algebra on you type of values. |
| 2021-02-07 23:25:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-02-07 23:25:59 +0100 | <pjb> | justsomeguy: of course, you're not limitd to the structure that have been defined so far by mathematicians. Basically any set of operation on your types can be defined as AN algebra… |
| 2021-02-07 23:27:05 +0100 | ph88^ | (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-02-07 23:27:50 +0100 | andrybak | (andrybak@gateway/vpn/privateinternetaccess/andrybak) |
| 2021-02-07 23:32:21 +0100 | minoru_shiraeesh | (~shiraeesh@109.166.58.206) (Ping timeout: 264 seconds) |
| 2021-02-07 23:34:44 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:28ef:874a:4030:fb98) () |
| 2021-02-07 23:38:05 +0100 | irchaxwell | (~IRC@2a00:23a8:4382:a900:f9c3:321f:529e:146d) |
| 2021-02-07 23:38:38 +0100 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-02-07 23:38:42 +0100 | <justsomeguy> | I guess I became confused when reading that there are multiple instances of Semigroup for the Sum and Product operations. |
| 2021-02-07 23:42:18 +0100 | livvy | (~livvy@88.97.23.37) |
| 2021-02-07 23:42:29 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-02-07 23:42:56 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer) |
| 2021-02-07 23:44:18 +0100 | elliott_ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-02-07 23:44:26 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-02-07 23:44:32 +0100 | ezrakilty | (~ezrakilty@75-172-120-225.tukw.qwest.net) |
| 2021-02-07 23:50:28 +0100 | livvy | (~livvy@88.97.23.37) (Quit: leaving) |
| 2021-02-07 23:50:47 +0100 | irchaxwell | (~IRC@2a00:23a8:4382:a900:f9c3:321f:529e:146d) (Quit: Leaving) |
| 2021-02-07 23:50:50 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) |
| 2021-02-07 23:52:16 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) (Remote host closed the connection) |
| 2021-02-07 23:52:44 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) |
| 2021-02-07 23:52:46 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) (Remote host closed the connection) |
| 2021-02-07 23:55:24 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) |
| 2021-02-07 23:55:46 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) (Remote host closed the connection) |
| 2021-02-07 23:56:16 +0100 | ArsenArsen | (~Arsen@fsf/member/ArsenArsen) |
| 2021-02-07 23:58:32 +0100 | <polyphem> | justsomeguy: There are multiple possibilities to define Semigroup over Ints so there is Sum and Product to capture these. |
| 2021-02-07 23:59:44 +0100 | livvy | (~livvy@88.97.23.37) |