Logs on 2021-12-12 (liberachat/#haskell)
| 00:00:22 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 00:01:35 | × | max22- quits (~maxime@2a01cb08833598004fea75dc1e636bbe.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:03:33 | → | Techcable joins (~Techcable@168.235.93.147) |
| 00:03:47 | → | timCF joins (~timCF@m91-129-100-224.cust.tele2.ee) |
| 00:06:25 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 00:14:16 | <glguy> | data UArray i e = UArray !i !i !Int ByteArray# |
| 00:14:31 | <glguy> | how you interpret those raw bytes very much depends on which Unbox instance you use |
| 00:14:55 | <glguy> | err, which IArray instance |
| 00:15:09 | → | pfurla joins (~pfurla@2804:18:5852:47ba:2501:c89:1de2:4d52) |
| 00:15:42 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 00:17:36 | <d34df00d> | glguy: yep, and I'm writing my own newtype wrapper around some base type (Word32 in this case), and I want to use its Unbox instance. |
| 00:17:57 | <d34df00d> | Sure, I could decorate all the reads/writes with the newtype constructor/accessor names, but that seems ugly and exposes implementation details to the client code. |
| 00:18:07 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 00:18:17 | <d34df00d> | I'd much rather have the unbox instance in my module that the rest of the world can use not caring about how my thing actually gets stored. |
| 00:19:00 | × | namkeleser quits (~namkelese@101.179.128.103) (Quit: Client closed) |
| 00:21:38 | × | timCF quits (~timCF@m91-129-100-224.cust.tele2.ee) (Quit: leaving) |
| 00:22:20 | <geekosaur> | d34df00d, I think the ticket it was pointing to was https://gitlab.haskell.org/ghc/ghc/-/issues/9220 ? |
| 00:22:38 | <d34df00d> | Somehow that ticket evaded me. Thanks! |
| 00:23:23 | <d34df00d> | Yeah, I agree they shouldn't be phantom, but not so sure about nominal vs representational. |
| 00:23:41 | <d34df00d> | > I think they should all be nominal, since a newtype of an existing type could have a totally unrelated MArray or Storable instance. |
| 00:23:42 | <d34df00d> | dunno |
| 00:23:42 | <lambdabot> | <hint>:1:35: error: parse error on input ‘,’ |
| 00:24:40 | <d34df00d> | If you have a newtype with a different instance, just parametrize it with a dummy nominal type variable, I think? |
| 00:24:55 | <d34df00d> | I have to read through comments carefully though. geekosaur thanks again for the link! |
| 00:28:09 | → | namkeleser joins (~namkelese@101.179.128.103) |
| 00:34:43 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 00:35:30 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 00:35:37 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit) |
| 00:36:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 00:36:26 | <hololeap> | awpr: this actually compiles. thanks for the advice: http://sprunge.us/BeUDUJ |
| 00:37:29 | → | slice joins (~slice@user/slice) |
| 00:38:01 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 00:42:17 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 00:47:27 | <mjrosenb> | cabal: Cannot open a repl for the executable 'app' because it is marked as buildable: False' within the 'MatchRex.cabal' file (at least for the current... |
| 00:47:35 | <mjrosenb> | so, I'm confused about why I'm getting this |
| 00:47:51 | × | jespada quits (~jespada@87.74.33.157) (Ping timeout: 268 seconds) |
| 00:47:51 | <mjrosenb> | I don't have buildable: False in the config for `app` |
| 00:47:58 | <mjrosenb> | and I don't have a file MatchRex.cabal |
| 00:48:04 | <mjrosenb> | the file is match-rex.cabal. |
| 00:48:09 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:49:37 | → | jespada joins (~jespada@87.74.33.157) |
| 00:52:15 | × | son0p quits (~ff@2800:484:1d81:b700::4) (Remote host closed the connection) |
| 00:55:47 | <mjrosenb> | ahh, the cabal-install I'm using is *ancient* |
| 00:56:05 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 01:00:30 | × | Jing quits (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
| 01:04:35 | → | Jing joins (~hedgehog@2604:a840:3::1001) |
| 01:11:40 | <sm> | what vintage ? |
| 01:13:24 | → | sszark joins (~sszark@h-155-4-130-230.NA.cust.bahnhof.se) |
| 01:17:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:17:45 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 01:17:46 | → | pfurla_ joins (~pfurla@177.25.188.35) |
| 01:18:11 | <mjrosenb> | 2.4 |
| 01:18:43 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 01:21:09 | × | pfurla quits (~pfurla@2804:18:5852:47ba:2501:c89:1de2:4d52) (Ping timeout: 250 seconds) |
| 01:24:46 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 01:29:32 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 01:29:42 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 01:30:21 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 01:32:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 01:35:39 | × | DNH quits (~DNH@2a02:8108:1100:16d8:11c1:36c3:fe48:2c6f) (Quit: Textual IRC Client: www.textualapp.com) |
| 01:39:55 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 01:41:05 | <hololeap> | anyone know how you're "supposed to" access the underlying Representable when using Control.Comonad.Representable.Store |
| 01:41:23 | <sm> | a classic year |
| 01:41:35 | × | bollu quits (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:41:56 | <hololeap> | when I'm done using the comonad interface I want to get my Representable full of values |
| 01:43:49 | hololeap | waits for a 2001 ASO joke |
| 01:49:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
| 01:51:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 01:53:02 | <hololeap> | I guess (tabulate . flip peek) works |
| 01:57:19 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 02:02:41 | × | sszark quits (~sszark@h-155-4-130-230.NA.cust.bahnhof.se) (Quit: WeeChat 3.3) |
| 02:04:32 | × | AndrewYu quits (~andrew@user/andrewyu) (Remote host closed the connection) |
| 02:06:28 | <hololeap> | well, this disproves that you cannot use vector-sized for vectors parsed at runtime |
| 02:06:50 | <hololeap> | you just gotta get existential... |
| 02:09:07 | × | earendel quits (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
| 02:09:33 | × | xff0x quits (~xff0x@port-92-193-224-19.dynamic.as20676.net) (Ping timeout: 252 seconds) |
| 02:11:27 | → | xff0x joins (~xff0x@2001:1a81:5203:4200:a63b:498f:dba9:bef9) |
| 02:15:01 | <EvanR> | that's pretty cool |
| 02:21:39 | × | Jing quits (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
| 02:24:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
| 02:24:50 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 02:25:19 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 02:25:28 | → | Jing joins (~hedgehog@2604:a840:3::1001) |
| 02:30:51 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 02:31:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:36:19 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 02:39:38 | × | darkstarx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 02:44:32 | × | mmhat quits (~mmh@55d45c6c.access.ecotel.net) (Ping timeout: 240 seconds) |
| 02:45:30 | → | earendel joins (uid498179@user/earendel) |
| 02:53:32 | × | abrantesasf quits (~abrantesa@187.36.170.211) (Read error: Connection reset by peer) |
| 02:53:46 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 02:56:16 | → | abrantesasf joins (~abrantesa@187.36.170.211) |
| 02:57:59 | → | mmhat joins (~mmh@55d44624.access.ecotel.net) |
| 02:58:16 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 03:00:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 03:00:55 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:01:22 | × | madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 03:05:12 | → | zebrag joins (~chris@user/zebrag) |
| 03:06:23 | × | johnjay quits (~pi@154.6.152.74) (Ping timeout: 252 seconds) |
| 03:07:38 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 03:08:12 | → | johnjay joins (~pi@154.6.152.74) |
| 03:08:40 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 03:10:27 | <dsal> | I tried to rewrite last night's AoC thing with ST Arrays. It's a little faster. A lot more code and the type system freaks out in ways I don't fully understand when I make small changes. |
| 03:10:45 | <slowButPresent> | ~888888888888888„„„„„„„„„„„„„„ |
| 03:10:58 | <dsal> | Exactly. |
| 03:11:18 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:11:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:11:18 | finn_elija | is now known as FinnElija |
| 03:11:41 | <c_wraith> | I just used UArray and bulk updates. That's fast enough for everything that matters. |
| 03:12:55 | <int-e> | Data.Map is generally fast enough for AoC. |
| 03:12:59 | <c_wraith> | also much harder to get wrong |
| 03:13:03 | <dsal> | I used a map and that's fine. I thought MArray would be much faster. But it's just a little faster. Entirely too much code. |
| 03:13:27 | <c_wraith> | I think array as a package is very underrated. |
| 03:13:29 | × | abrantesasf quits (~abrantesa@187.36.170.211) (Remote host closed the connection) |
| 03:13:41 | <dsal> | It's pretty weird. Especially as it intersects with ST. |
| 03:14:03 | <c_wraith> | the mutable stuff is not as good as the immutable stuff |
| 03:15:14 | <dsal> | There's really not much there. I'm kind of surprised most of the mutation stuff requires me to do another read when I'm done. Like... you had the value, just give it to me. |
| 03:15:20 | <int-e> | Ix is pretty bad though; it's insane how much performancy one can often gain by using unsafeWrite/unsafeRead instead |
| 03:15:37 | <dsal> | I think ix is pretty great. |
| 03:15:42 | <dsal> | Though it's differently weird. |
| 03:15:43 | <c_wraith> | Ix is the best part |
| 03:15:46 | <int-e> | it's *slow* |
| 03:15:54 | <dsal> | What part of Ix is slow? |
| 03:16:18 | <int-e> | mostly the part where you do bounds checking on accessing two-dimensional arrays |
| 03:16:27 | <int-e> | (1D is usually okay-ish) |
| 03:16:50 | → | pzanco joins (~Android@2804:14c:3bc3:466:a4b2:cfe3:46ff:192a) |
| 03:17:23 | <int-e> | it's sad, because as an abstraction it's rather neat |
| 03:17:31 | × | pzanco quits (~Android@2804:14c:3bc3:466:a4b2:cfe3:46ff:192a) (Client Quit) |
| 03:18:02 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 03:19:01 | × | darkstardevx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 03:19:26 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 03:19:52 | <c_wraith> | Ix gives me trivially-easy edge clamping behavior, as I can just re-use inRange. That's incredibly nice. |
| 03:20:06 | × | darkstardevx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 03:20:29 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 03:20:47 | × | x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 03:24:07 | × | darkstardevx quits (~darkstard@50.39.115.145) (Read error: Connection reset by peer) |
| 03:26:09 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 03:27:44 | × | td_ quits (~td@94.134.91.156) (Ping timeout: 256 seconds) |
| 03:27:59 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 03:28:52 | × | darkstardevx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 03:29:16 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 03:29:27 | → | td_ joins (~td@muedsl-82-207-238-103.citykom.de) |
| 03:30:39 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 03:33:29 | <EvanR> | I've been pretending those grids are infinite and using an appropriate value past the edge |
| 03:35:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:38:08 | <int-e> | . o O ( invisible octopodes have -inf energy ) |
| 03:39:20 | <c_wraith> | did anyone do any research into worst-case inputs for part 2? |
| 03:45:14 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 03:45:52 | <int-e> | c_wraith: it can loop without synchronizing |
| 03:46:34 | <int-e> | e.g. http://paste.debian.net/1223090/ |
| 03:48:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:48:14 | <int-e> | (Good, now I can stop wondering how to prove that :-P) |
| 03:48:30 | <EvanR> | not -infinity didn't cause a problem with octupuses |
| 03:49:00 | <EvanR> | but I did try to put -200 at first before coming to my senses |
| 03:49:11 | → | paraseba joins (~paraseba@187.121.45.193) |
| 03:50:28 | <int-e> | c_wraith: Of course that doesn't invalidate your question... you can still restrict to patterns that do synchronize and ask about the worst case for those. |
| 03:50:41 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 03:51:38 | <int-e> | There's only 10^100 states, Google should be able to solve this. |
| 03:51:51 | × | mmhat quits (~mmh@55d44624.access.ecotel.net) (Quit: WeeChat 3.3) |
| 03:52:26 | <int-e> | (a joke based on https://en.wikipedia.org/wiki/Googol) |
| 03:52:39 | <c_wraith> | don't worry, I got it! :P |
| 03:53:16 | <EvanR> | oof |
| 03:53:37 | <paraseba> | How would I implement ( zip :: [a] -> [b] -> [(a,b)] ) using lens package? transposeOf comes close, but it replaces the tuple with a list of size 2 |
| 03:55:30 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds) |
| 03:56:04 | <glguy> | paraseba: zip isn't really too closely related to lenses |
| 03:56:25 | <c_wraith> | well, there's https://r6research.livejournal.com/28050.html |
| 03:56:41 | <c_wraith> | but... that isn't in lens |
| 03:57:25 | <paraseba> | oh, very interesting .... |
| 03:59:19 | <c_wraith> | Still, the nice thing about lens is that the internals are all open. You could just write that part yourself and it would mostly integrate with the rest of the library |
| 03:59:42 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 04:02:23 | <paraseba> | zip is one of the things I miss when I try to use lens as a prelude. I wonder if that practice is relatively common... |
| 04:03:00 | <paraseba> | particularly because zip is so commonly needed across different types of containers |
| 04:05:15 | <dsal> | @src zip |
| 04:05:15 | <lambdabot> | zip (a:as) (b:bs) = (a,b) : zip as bs |
| 04:05:15 | <lambdabot> | zip _ _ = [] |
| 04:06:04 | <EvanR> | > repeat (,) <*> [0..] <*> ['a','b'..] |
| 04:06:05 | <lambdabot> | [(0,'a'),(0,'b'),(0,'c'),(0,'d'),(0,'e'),(0,'f'),(0,'g'),(0,'h'),(0,'i'),(0,... |
| 04:06:08 | <EvanR> | cool |
| 04:06:18 | <EvanR> | who needs zip |
| 04:06:26 | <c_wraith> | that's... not a zip. :P |
| 04:06:31 | <EvanR> | oops |
| 04:06:39 | <paraseba> | you'd need ZipList |
| 04:07:15 | <dsal> | > ['a'..] |
| 04:07:17 | <lambdabot> | "abcdefghijklmnopqrstuvwxyz{|}~\DEL\128\129\130\131\132\133\134\135\136\137\... |
| 04:07:37 | <EvanR> | > ['b','a'...] |
| 04:07:39 | <lambdabot> | error: |
| 04:07:39 | <lambdabot> | A section must be enclosed in parentheses thus: ('a' ...) |
| 04:07:47 | <EvanR> | > ['b','a'..] |
| 04:07:48 | <lambdabot> | "ba`_^]\\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#\"! \US\RS... |
| 04:08:10 | <EvanR> | iicsa |
| 04:08:19 | <dsal> | heh |
| 04:22:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 04:23:52 | → | mbuf joins (~Shakthi@122.174.253.173) |
| 04:26:01 | <xerox> | `_^ |
| 04:29:00 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3) |
| 04:30:58 | × | nfd quits (~nfd@user/nfd) (Ping timeout: 260 seconds) |
| 04:31:43 | <int-e> | c_wraith: I wonder how lucky I got with this (I'm generating random starting positions): https://paste.debian.net/1223091/ |
| 04:32:22 | <c_wraith> | how many steps did that take? |
| 04:32:30 | <int-e> | try it :) |
| 04:32:32 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 04:32:55 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 04:32:58 | <c_wraith> | I'm nowhere near a computer! (uh.... well. sort of.) |
| 04:33:08 | <int-e> | almost 30k |
| 04:36:47 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:36:52 | → | Hawker joins (~pi@drmons0544w-47-55-147-54.dhcp-dynamic.fibreop.ns.bellaliant.net) |
| 04:36:52 | × | Hawker quits (~pi@drmons0544w-47-55-147-54.dhcp-dynamic.fibreop.ns.bellaliant.net) (Changing host) |
| 04:36:52 | → | Hawker joins (~pi@user/hawker) |
| 04:39:28 | → | deadmarshal joins (~deadmarsh@95.38.114.98) |
| 04:39:35 | <int-e> | I suspect that was very lucky; with a different seed I'm only up to 2.4k after twice as much time |
| 04:42:03 | <int-e> | code in the forbidden language: https://paste.debian.net/1223092/ |
| 04:42:43 | <glguy> | Your Haskell has so many language extensions! |
| 04:42:58 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 04:43:33 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 04:44:39 | × | Hawker quits (~pi@user/hawker) (Quit: leaving) |
| 04:44:50 | <int-e> | Eh, it's number crunching code; the logic is dead simple but optimizing the tight loops matters... ghc/Haskell is a bad fit for that type of thing. |
| 04:44:55 | → | Hawker joins (~pi@user/hawker) |
| 04:46:08 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 04:46:58 | → | bollu joins (uid233390@id-233390.helmsley.irccloud.com) |
| 04:47:32 | <int-e> | (I bet the step function is far from optimal; doing several linear scans until things stabilize has a very good chance of being faster) |
| 04:54:34 | × | Hawker quits (~pi@user/hawker) (Quit: Lost terminal) |
| 04:56:01 | → | Akiva joins (~Akiva@user/Akiva) |
| 04:56:26 | → | Hawker joins (~pi@user/hawker) |
| 04:57:30 | → | the_last_immorta joins (~thelastim@2001:470:69fc:105::1:4d57) |
| 04:58:37 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:00:32 | × | sprout quits (~quassel@2a02:a467:ccd6:1:719f:b1db:e5b1:8e4a) (Ping timeout: 240 seconds) |
| 05:00:38 | the_last_immorta | uploaded a video: (44467KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/ijbzjuLcVlWzvYcuxmYznkId/yt5s.com-Simon%20Peyton%20Jones%20-%20Haskell%20is%20useless-(480p).mp4 > |
| 05:02:21 | <the_last_immorta> | quickSort [] = [] |
| 05:02:21 | <the_last_immorta> | quickSort (x:xs) = quickSort [a | a <- xs, a < x] |
| 05:02:21 | <the_last_immorta> | ++ [x] ++ quickSort [a | a <- xs, a >= x] |
| 05:02:28 | <the_last_immorta> | im interested |
| 05:03:09 | <the_last_immorta> | can i ........am currently experimenting....can i add conditional statetements, but still apart of the object? |
| 05:03:38 | × | Hawker quits (~pi@user/hawker) (Quit: leaving) |
| 05:03:47 | × | InternetCitizen quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 268 seconds) |
| 05:04:01 | → | Hawker joins (~pi@user/hawker) |
| 05:14:04 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 05:16:38 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 05:16:48 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 05:17:34 | <pavonia> | What is the object to you? |
| 05:17:49 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 05:18:43 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 05:19:03 | → | curiousgay_ joins (~curiousga@77-120-141-90.kha.volia.net) |
| 05:19:12 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
| 05:20:35 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 05:20:35 | × | curiousgay_ quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 05:29:54 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 05:34:27 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
| 05:38:56 | → | deadmarshal_ joins (~deadmarsh@95.38.230.202) |
| 05:39:32 | × | deadmarshal quits (~deadmarsh@95.38.114.98) (Ping timeout: 268 seconds) |
| 05:45:03 | × | pfurla_ quits (~pfurla@177.25.188.35) (Ping timeout: 250 seconds) |
| 05:45:38 | <monochrom> | Also, no "statement". Only expressions. |
| 05:45:58 | <monochrom> | Conditional expressions exist, but they are not conditional statements. |
| 05:50:52 | × | darkstardevx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 05:52:40 | → | pfurla joins (~pfurla@177.25.188.35) |
| 05:59:37 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 06:00:52 | × | darkstardevx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 06:01:04 | <xerox> | int-e: \o/ |
| 06:01:17 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 06:03:21 | <int-e> | xerox: you're not safe yet though :P |
| 06:03:32 | <xerox> | darn |
| 06:03:54 | <xerox> | oh him again! :) |
| 06:04:05 | <int-e> | 2 people in fact |
| 06:04:27 | <xerox> | who's the other |
| 06:04:31 | × | darkstardevx quits (~darkstard@50.39.115.145) (Read error: Connection reset by peer) |
| 06:05:04 | <int-e> | > 3917 + 380 - 2*11 - 4 |
| 06:05:06 | <lambdabot> | 4271 |
| 06:05:18 | <int-e> | > 3917 + 380 - 2*11 - 4 > 4241 |
| 06:05:19 | <lambdabot> | True |
| 06:05:48 | <xerox> | gotcha |
| 06:06:17 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 06:06:30 | <int-e> | I lost so much time by violating the KISS principle :-/ |
| 06:06:46 | <xerox> | what did you not keep simple |
| 06:07:22 | <int-e> | I wrote code to eliminate UPPER CASE nodes from the graph. |
| 06:07:26 | × | darkstardevx quits (~darkstard@50.39.115.145) (Remote host closed the connection) |
| 06:07:51 | → | darkstardevx joins (~darkstard@50.39.115.145) |
| 06:08:23 | <xerox> | I see |
| 06:10:07 | <xerox> | I went for brute code duplication which is kind of a way to keep it simple |
| 06:10:14 | <xerox> | time to smoothen it out |
| 06:10:48 | <int-e> | Of course. I do duplicate all the code (I copy the file). |
| 06:13:02 | <int-e> | Adding insult to the injury, I wrote that code and missed a subtlety regarding the start node and ended up not even using it. |
| 06:15:15 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 06:15:15 | × | tubogram quits (~tubogram@user/tubogram) (*.net *.split) |
| 06:15:24 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 06:15:36 | → | tubogram joins (~tubogram@user/tubogram) |
| 06:18:02 | <xerox> | yesterday I learned about ghcid --test=:main which was quite helpful, I kept getting the paths printed on save, instanteously looking at their features: at some point a bunch of "start"s started popping up in the middle! |
| 06:18:27 | × | mikoto-chan quits (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
| 06:18:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:22:27 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 06:24:08 | <int-e> | Don't get me wrong, this /does/ help performance. But the naive version runs in less than a second compiled (~860ms for me), so improving that by a factor of 100 (~7 milliseconds), while impressive, really doesn't matter. |
| 06:25:23 | → | pfurla_ joins (~pfurla@172.58.160.227) |
| 06:26:48 | × | pfurla quits (~pfurla@177.25.188.35) (Ping timeout: 256 seconds) |
| 06:28:34 | → | mikoto-chan joins (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 06:29:57 | <EvanR> | that's funny you got starts in the middle somehow... |
| 06:30:08 | <EvanR> | I didn't and forgot to even think about it |
| 06:30:47 | <int-e> | ...startling behavior... |
| 06:31:57 | → | arjun joins (~user@user/arjun) |
| 06:33:33 | <EvanR> | i feel like haskell is making some of these puzzles really easy... then I assume other people with ridiculous scores are not using haskell, and being flabbergasted |
| 06:33:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:33:52 | <EvanR> | what magic languages are out there xD |
| 06:34:31 | × | Guest75 quits (~Guest75@c-73-51-111-196.hsd1.il.comcast.net) (Quit: Client closed) |
| 06:38:19 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 06:38:25 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:38:25 | <Taneb> | int-e: thanks from stopping me from thinking too hard about it :D |
| 06:40:38 | × | paraseba quits (~paraseba@187.121.45.193) (Quit: Client closed) |
| 06:42:08 | × | mikoto-chan quits (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
| 06:43:14 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 06:47:07 | × | pfurla_ quits (~pfurla@172.58.160.227) (Read error: Connection reset by peer) |
| 06:47:20 | → | pfurla joins (~pfurla@172.58.160.227) |
| 06:50:28 | × | pfurla quits (~pfurla@172.58.160.227) (Read error: Connection reset by peer) |
| 06:50:35 | → | pfurla_ joins (~pfurla@172.58.160.227) |
| 06:51:35 | × | bollu quits (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:52:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 06:53:34 | → | mei joins (~mei@user/mei) |
| 06:58:36 | → | bollu joins (uid233390@id-233390.helmsley.irccloud.com) |
| 06:59:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:59:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 06:59:58 | → | wroathe joins (~wroathe@user/wroathe) |
| 07:00:24 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 07:05:54 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 07:09:52 | × | pfurla_ quits (~pfurla@172.58.160.227) (Ping timeout: 256 seconds) |
| 07:11:15 | → | pfurla joins (~pfurla@172.58.27.177) |
| 07:11:40 | × | namkeleser quits (~namkelese@101.179.128.103) (Quit: Client closed) |
| 07:26:44 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 07:27:36 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 07:28:05 | → | namkeleser joins (~namkelese@101.179.128.103) |
| 07:33:44 | → | fr33domlover joins (~fr33@2.55.43.13) |
| 07:34:14 | × | pfurla quits (~pfurla@172.58.27.177) (Ping timeout: 256 seconds) |
| 07:34:52 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:35:39 | → | pfurla_ joins (~pfurla@172.58.107.238) |
| 07:37:16 | → | max22- joins (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 07:39:05 | × | pfurla_ quits (~pfurla@172.58.107.238) (Client Quit) |
| 07:39:07 | × | earendel quits (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
| 07:40:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
| 07:41:42 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 07:41:54 | → | pfurla joins (~pfurla@177.25.188.35) |
| 07:42:16 | <int-e> | c_wraith: darn you, now I have to resist the temptation to implement day 11 with SSE3 operations |
| 07:42:29 | <c_wraith> | hah |
| 07:46:32 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 240 seconds) |
| 07:57:26 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 07:59:43 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 07:59:49 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 08:00:18 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 08:00:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:03:07 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:04:32 | × | Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 08:05:04 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
| 08:05:52 | → | Techcable joins (~Techcable@168.235.93.147) |
| 08:07:09 | → | nfd joins (~nfd@user/nfd) |
| 08:10:40 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:11:01 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 08:12:13 | × | pfurla quits (~pfurla@177.25.188.35) (Quit: gone to sleep. ZZZzzz…) |
| 08:13:16 | AlexNoo_ | is now known as AlexNoo |
| 08:14:47 | → | pfurla joins (~pfurla@2804:18:5806:fc4e:c13f:1c3c:ec1b:26a7) |
| 08:15:09 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 08:16:54 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 08:21:21 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 252 seconds) |
| 08:31:41 | × | max22- quits (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
| 08:33:28 | → | pfurla_ joins (~pfurla@177.25.183.253) |
| 08:34:02 | × | pfurla quits (~pfurla@2804:18:5806:fc4e:c13f:1c3c:ec1b:26a7) (Ping timeout: 240 seconds) |
| 08:35:11 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 08:36:10 | → | pfurla joins (~pfurla@172.58.142.250) |
| 08:38:46 | × | pfurla_ quits (~pfurla@177.25.183.253) (Ping timeout: 260 seconds) |
| 08:39:29 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
| 08:40:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
| 08:45:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Ping timeout: 252 seconds) |
| 08:45:29 | × | pfurla quits (~pfurla@172.58.142.250) (Quit: gone to sleep. ZZZzzz…) |
| 08:46:08 | → | thevishy joins (~Nishant@2405:201:f005:c007:81f3:ee3c:76f0:8869) |
| 08:46:12 | × | deadmarshal_ quits (~deadmarsh@95.38.230.202) (Ping timeout: 256 seconds) |
| 08:56:52 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 09:00:08 | × | lambdandy[m] quits (~lambdandy@2001:470:69fc:105::1:3045) (Quit: You have been kicked for being idle) |
| 09:00:27 | → | coot_ joins (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
| 09:00:38 | × | coot_ quits (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection) |
| 09:01:49 | → | coot joins (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) |
| 09:04:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 09:08:41 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 09:08:42 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 09:13:55 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
| 09:15:05 | → | deadmarshal joins (~deadmarsh@95.38.230.202) |
| 09:15:28 | astra` | is now known as astra |
| 09:19:46 | → | max22- joins (~maxime@2a01cb0883359800c0740bac5cfe1b89.ipv6.abo.wanadoo.fr) |
| 09:22:28 | → | PVPANTHONY joins (~The_viole@203.77.49.232) |
| 09:26:06 | × | PVPANTHONY quits (~The_viole@203.77.49.232) (Client Quit) |
| 09:26:10 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 09:26:59 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 09:31:02 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 260 seconds) |
| 09:31:38 | → | PVPANTHONY joins (~The_viole@203.77.49.232) |
| 09:32:07 | × | PVPANTHONY quits (~The_viole@203.77.49.232) (Client Quit) |
| 09:32:25 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 09:33:12 | × | SummerSonw quits (~The_viole@203.77.49.232) (Client Quit) |
| 09:33:29 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 09:36:00 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:39:27 | × | deadmarshal quits (~deadmarsh@95.38.230.202) (Ping timeout: 252 seconds) |
| 09:41:21 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 09:45:30 | → | zer0bitz joins (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) |
| 09:50:14 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 256 seconds) |
| 09:55:54 | × | fr33domlover quits (~fr33@2.55.43.13) (Ping timeout: 256 seconds) |
| 09:56:33 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 10:00:02 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 10:00:07 | × | justSleigh quits (~justache@user/justache) (Remote host closed the connection) |
| 10:00:08 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 10:00:37 | → | Vajb joins (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) |
| 10:01:05 | → | justSleigh joins (~justache@user/justache) |
| 10:04:51 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 250 seconds) |
| 10:05:26 | <int-e> | c_wraith: I lost :-/ https://paste.debian.net/1223102/ (it is noticably faster though!) |
| 10:05:51 | <int-e> | also unreadable, as usual |
| 10:06:30 | <c_wraith> | only the SSE ops are unreadable! |
| 10:06:47 | <int-e> | yeah that's what I meant |
| 10:06:52 | × | mbuf quits (~Shakthi@122.174.253.173) (Quit: Leaving) |
| 10:12:14 | → | cosimone joins (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 10:13:02 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:13:30 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 10:15:52 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:17:18 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 10:24:55 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 252 seconds) |
| 10:28:03 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 10:28:03 | → | curiousgay_ joins (~curiousga@77-120-141-90.kha.volia.net) |
| 10:29:40 | × | curiousgay_ quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 10:29:40 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 10:30:49 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 10:30:57 | → | jgeerds joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 10:31:08 | → | curiousgay_ joins (~curiousga@77-120-141-90.kha.volia.net) |
| 10:31:33 | × | curiousgay_ quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 10:31:33 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 10:31:56 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 10:32:36 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 10:35:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:37:42 | <xerox> | how can I know if a rewrite rule is taking effect? |
| 10:38:00 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
| 10:39:02 | → | chomwitt joins (~chomwitt@2a02:587:dc0d:3700:12c3:7bff:fe6d:d374) |
| 10:39:44 | <c_wraith> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/debugging.html#ghc-flag--ddump-rule-firings |
| 10:40:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 10:40:08 | <c_wraith> | Or the flag below that one, for more details. It says. |
| 10:44:38 | × | Jing quits (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
| 10:45:13 | → | Jing joins (~hedgehog@103.121.208.36) |
| 10:46:07 | × | Jing quits (~hedgehog@103.121.208.36) (Remote host closed the connection) |
| 10:46:38 | → | Jing joins (~hedgehog@2604:a840:3::1001) |
| 10:47:37 | × | cosimone quits (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Quit: ERC (IRC client for Emacs 27.1)) |
| 10:48:17 | → | cosimone joins (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 10:51:31 | → | fr33domlover joins (~fr33@2.55.25.254) |
| 10:56:11 | → | earendel joins (uid498179@user/earendel) |
| 10:56:26 | × | Vajb quits (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Ping timeout: 260 seconds) |
| 11:00:31 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 250 seconds) |
| 11:00:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:05:39 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 11:07:05 | → | Vajb joins (~Vajb@85-76-39-222-nat.elisa-mobile.fi) |
| 11:08:00 | <xerox> | sweet |
| 11:10:45 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 252 seconds) |
| 11:15:48 | → | retroid_ joins (~retro@05412d78.skybroadband.com) |
| 11:16:22 | × | Vajb quits (~Vajb@85-76-39-222-nat.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 11:17:26 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 11:17:28 | × | retro_ quits (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
| 11:18:36 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 11:21:33 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:23:02 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds) |
| 11:23:38 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 11:26:17 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 11:28:10 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 260 seconds) |
| 11:29:23 | → | xkuru joins (~xkuru@user/xkuru) |
| 11:35:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 11:35:38 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 11:35:54 | → | DNH joins (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
| 11:38:28 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 11:42:04 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 11:43:13 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 11:44:59 | × | gustik quits (~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353) (Quit: Leaving) |
| 11:45:04 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 11:45:45 | × | DNH quits (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:46:35 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 11:52:53 | → | DNH joins (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
| 11:56:13 | × | max22- quits (~maxime@2a01cb0883359800c0740bac5cfe1b89.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
| 12:01:39 | → | __monty__ joins (~toonn@user/toonn) |
| 12:05:25 | → | mmhat joins (~mmh@55d44624.access.ecotel.net) |
| 12:05:44 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 12:12:09 | × | zaquest quits (~notzaques@5.130.79.72) (Quit: Leaving) |
| 12:13:18 | → | zaquest joins (~notzaques@5.130.79.72) |
| 12:15:55 | <Arsen> | hey, I asked a while ago in #haskell-stack, but it appears to be more inactive, so I'm reposting here, if that's alright: can stack fetch deps? building pandoc on CI isn't great |
| 12:18:13 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 252 seconds) |
| 12:20:40 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 12:25:42 | → | InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 12:29:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:30:21 | × | nattiestnate quits (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
| 12:30:23 | × | arjun quits (~user@user/arjun) (Remote host closed the connection) |
| 12:30:44 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 12:31:00 | → | PVPANTHONY joins (~The_viole@203.77.49.232) |
| 12:32:02 | × | PVPANTHONY quits (~The_viole@203.77.49.232) (Client Quit) |
| 12:32:29 | → | PVPANTHONY joins (~The_viole@203.77.49.232) |
| 12:32:37 | × | PVPANTHONY quits (~The_viole@203.77.49.232) (Client Quit) |
| 12:34:43 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 252 seconds) |
| 12:37:20 | → | neurocyte0132889 joins (~neurocyte@45.128.180.15) |
| 12:37:20 | × | neurocyte0132889 quits (~neurocyte@45.128.180.15) (Changing host) |
| 12:37:20 | → | neurocyte0132889 joins (~neurocyte@user/neurocyte) |
| 12:50:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:53:43 | × | Jing quits (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
| 12:54:27 | → | Jing joins (~hedgehog@125.106.89.1) |
| 13:01:30 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 260 seconds) |
| 13:02:44 | × | Alex_test quits (~al_test@178.34.163.33) (Quit: ;-) |
| 13:02:47 | × | AlexZenon quits (~alzenon@178.34.163.33) (Quit: ;-) |
| 13:02:59 | × | AlexNoo quits (~AlexNoo@178.34.163.33) (Quit: Leaving) |
| 13:10:07 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:11:48 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 13:14:06 | <geekosaur> | can and does. that's kinda the point, in fact |
| 13:14:38 | <geekosaur> | both stack and modern cabal manage the dependencies for you |
| 13:14:53 | → | Guest|87 joins (~Guest|87@46.32.66.42) |
| 13:15:04 | × | Guest|87 quits (~Guest|87@46.32.66.42) (Client Quit) |
| 13:15:38 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 13:16:10 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 13:16:33 | × | DNH quits (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:17:38 | → | DNH joins (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
| 13:19:35 | → | timCF joins (~timCF@m91-129-100-224.cust.tele2.ee) |
| 13:21:31 | × | phma quits (~phma@host-67-44-209-24.hnremote.net) (Read error: Connection reset by peer) |
| 13:22:25 | → | phma joins (phma@2001:5b0:212a:ba68:a7e4:c90f:fe43:cf4b) |
| 13:22:40 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 268 seconds) |
| 13:23:24 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 13:23:35 | <timCF> | Hello! I did already asked yesterday question about dealing with such issue, and as I understood there is the way how I can write Eq instance manually, but I didn't understood how to do that exactly https://gist.github.com/21it/5e6f822ee61408e98818b94f51dde4da |
| 13:23:54 | × | jgeerds quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 260 seconds) |
| 13:24:22 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 13:24:49 | → | AlexZenon joins (~alzenon@178.34.163.33) |
| 13:25:03 | → | AlexNoo joins (~AlexNoo@178.34.163.33) |
| 13:27:10 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 13:28:10 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 13:28:10 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 13:28:13 | allbery_b | is now known as geekosaur |
| 13:29:31 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:31:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:34:38 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds) |
| 13:41:34 | → | Alex_test joins (~al_test@178.34.163.33) |
| 13:42:44 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 13:44:00 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 13:44:14 | → | tomku joins (~tomku@user/tomku) |
| 13:45:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
| 13:45:47 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 13:46:42 | → | alx741 joins (~alx741@157.100.93.160) |
| 13:49:33 | × | DNH quits (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:49:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Ping timeout: 252 seconds) |
| 13:50:08 | × | namkeleser quits (~namkelese@101.179.128.103) (Quit: Client closed) |
| 13:51:26 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 260 seconds) |
| 13:53:30 | × | tom__ quits (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 13:53:47 | → | tom__ joins (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 13:54:03 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:57:09 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:58:25 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 14:02:15 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:02:21 | × | nattiestnate quits (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
| 14:02:35 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 14:03:01 | × | nattiestnate quits (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Client Quit) |
| 14:03:13 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 14:04:19 | → | TranquilEcho joins (~grom@user/tranquilecho) |
| 14:05:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 14:06:13 | × | boxscape_ quits (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:07:14 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 14:07:31 | <iphy> | is there a "m [f a] -> m (f [a])"? |
| 14:07:39 | <iphy> | I can't find one on hoogle |
| 14:08:59 | <iphy> | or: [a] -> (a -> m (f a)) -> m (f [a]) |
| 14:09:04 | <xerox> | shouldn't be that far from traverse |
| 14:09:17 | <iphy> | hmm, hoogle says sequenceA <$> traverse |
| 14:09:46 | <iphy> | yep, that's it |
| 14:10:30 | <iphy> | sequenceA <$> traverse f xs |
| 14:12:01 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 14:12:11 | → | alx741 joins (~alx741@157.100.93.160) |
| 14:15:30 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 14:16:31 | → | DNH joins (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) |
| 14:21:18 | × | DNH quits (~DNH@2a02:8108:1100:16d8:7dd2:f910:5284:d6e9) (Ping timeout: 260 seconds) |
| 14:26:46 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 14:28:48 | → | noex joins (~null@2600:8804:1280:aa0:5857:94a:25de:c513) |
| 14:30:36 | <Arsen> | geekosaur: fetch built deps* |
| 14:30:47 | <Arsen> | since the point is reproducible builds, I'd expect it to be possible |
| 14:33:16 | → | CiaoSen joins (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 14:33:22 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer) |
| 14:33:29 | × | Morrow quits (~quassel@bzq-110-168-31-106.red.bezeqint.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 14:34:29 | <geekosaur> | on CI you'd want to save the .stack-work dir so the deps are already available |
| 14:34:46 | <geekosaur> | I believe there are CI tools which do this for you |
| 14:37:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 14:38:02 | <Arsen> | hm, okay |
| 14:38:05 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 14:38:09 | <Arsen> | surely, GitHub actions have a way to do this |
| 14:38:46 | <Arsen> | that'd still take about an hour on first build, though, hmm |
| 14:38:46 | × | nattiestnate quits (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.3) |
| 14:39:08 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 268 seconds) |
| 14:41:28 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:41:30 | <geekosaur> | https://github.com/freckle/stack-cache-action ? |
| 14:42:00 | <geekosaur> | also I though there was a standardized haskell ci template or something that included stack caching |
| 14:42:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 14:42:44 | <geekosaur> | stack doesn't cache built objects upstream, because they depend too much on precise compile options and the like |
| 14:48:54 | <geekosaur> | mrr, found haskell-ci but it's cabal, not stack |
| 14:49:17 | <geekosaur> | does cache .cabal/store (rough equivalent of .stack-work) |
| 14:51:27 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
| 14:53:30 | × | fr33domlover quits (~fr33@2.55.25.254) (Ping timeout: 260 seconds) |
| 14:53:30 | → | waleee joins (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) |
| 14:53:55 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 14:56:01 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 14:58:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 15:01:16 | <geekosaur> | only haskell-ci configs I can find are for cabal 2+. looked for stack but found only travis-ci configs |
| 15:01:24 | <smichel17[m]> | There's also a `-outputdir` ghc option. Not sure if that helps in this case (doesn't speed up the initial build), and I'm not sure how it relates to .stack-work |
| 15:03:43 | <smichel17[m]> | (If anybody knows whether/how it relates to `.stack-work`, I'd much appreciate an explanation!) |
| 15:04:31 | <geekosaur> | it doesn't. stack saves packages, not individual files |
| 15:04:40 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:05:15 | <geekosaur> | it's more closely related to using ghc-pkg to register a new package |
| 15:10:13 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:13:07 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 15:14:39 | × | mmhat quits (~mmh@55d44624.access.ecotel.net) (Quit: WeeChat 3.3) |
| 15:16:07 | × | sprout quits (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) (Ping timeout: 268 seconds) |
| 15:16:51 | → | sprout joins (~quassel@2a02:a467:ccd6:1:558b:2015:9c55:ace3) |
| 15:20:31 | → | Morrow joins (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
| 15:22:45 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:24:44 | → | max22- joins (~maxime@2a01cb0883359800f7f7f5ad28cfd1e2.ipv6.abo.wanadoo.fr) |
| 15:30:09 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 15:35:14 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 15:35:48 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:38:48 | × | Jing quits (~hedgehog@125.106.89.1) (Read error: Connection reset by peer) |
| 15:39:31 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 15:40:42 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:41:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:41:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 15:41:27 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:43:16 | × | mei quits (~mei@user/mei) (Ping timeout: 268 seconds) |
| 15:44:43 | → | Jing joins (~hedgehog@2604:a840:3::1001) |
| 15:45:46 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 15:50:05 | → | lupulo joins (~lupulo_@128.red-83-35-42.dynamicip.rima-tde.net) |
| 15:50:05 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:54:33 | × | xff0x quits (~xff0x@2001:1a81:5203:4200:a63b:498f:dba9:bef9) (Ping timeout: 250 seconds) |
| 15:55:39 | → | xff0x joins (~xff0x@2001:1a81:5203:4200:6ffd:4190:bd29:3532) |
| 15:58:06 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:00:06 | × | iammrinal0[m] quits (~iammrinal@2001:470:69fc:105::1:2248) (Quit: You have been kicked for being idle) |
| 16:01:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:03:49 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 16:03:52 | → | altern joins (~Sergii@altern.corbina.com.ua) |
| 16:04:24 | <altern> | /msg NickServ IDENTIFY altern ehgdae |
| 16:08:08 | <altern> | Hi! I am having a weird problem with running cmd command 'git pull --tags --dry-run' when calling the function from servant API endpoint. More details here: https://stackoverflow.com/questions/70324007/why-does-a-command-line-call-behaves-not-as-expected-when-i-am-doing-that-in-has Would be grateful if somebody could help |
| 16:08:14 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:10:14 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 16:11:54 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds) |
| 16:12:58 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 16:13:28 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 16:17:23 | <robbert-vdh> | Is there some convenient way to include internal developer-oriented documentation to in Haddock docstrings other than just splitting the comment into two and restarting the second comment with just `-- `? For things like todo comments and notes about the implementation that aren't relevant to consumers of the library. |
| 16:18:24 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 16:20:34 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 16:22:01 | × | cosimone quits (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Remote host closed the connection) |
| 16:22:27 | → | cosimone joins (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 16:23:04 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:24:53 | ← | cfebs parts (~cfebs@user/cfebs) () |
| 16:26:07 | → | DNH joins (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) |
| 16:26:18 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
| 16:26:25 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 16:33:07 | × | xff0x quits (~xff0x@2001:1a81:5203:4200:6ffd:4190:bd29:3532) (Ping timeout: 250 seconds) |
| 16:33:52 | → | xff0x joins (~xff0x@2001:1a81:5203:4200:40b7:e822:93c8:fd81) |
| 16:35:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 16:39:38 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:44:00 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:45:10 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 16:49:52 | <EvanR> | lol altern you might want to change your nickserv password |
| 16:50:10 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 16:51:25 | <altern> | changed |
| 16:52:52 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 16:58:30 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:03:19 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 17:03:51 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 17:10:23 | × | altern quits (~Sergii@altern.corbina.com.ua) (Ping timeout: 250 seconds) |
| 17:13:42 | × | sebeko quits (uid530526@id-530526.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:13:57 | → | ph88 joins (~ph88@2a02:8109:9e00:71d0:943d:5b05:e9f7:79b5) |
| 17:15:11 | <ph88> | when i have a piece of data that is part of several lists and other data structures, would it be ok to make it mutable so that i can just update it and don't have to go around finding and updating in several places? or is that too heretic ? |
| 17:15:20 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 17:16:45 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 17:16:51 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 17:17:21 | <EvanR> | then you'd have to make what is in those lists merely a reference to the mutable object instead of the object itself |
| 17:17:42 | <EvanR> | e.g. an IORef or Int key into a mutable store, or something |
| 17:19:09 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 17:19:20 | <EvanR> | then you can't access the data without IO |
| 17:21:03 | → | alx741 joins (~alx741@181.199.42.79) |
| 17:21:40 | <ph88> | yes, just that i never done it like that |
| 17:21:51 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 17:22:41 | <EvanR> | probably for the best xD |
| 17:23:35 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 17:24:27 | <EvanR> | you could also keep your "pieces" in an IntMap, and speak of their Int key elsewhere |
| 17:24:48 | <EvanR> | but don't mix up the keys |
| 17:25:29 | <EvanR> | you can add some type safety with a dependent map and typed keys |
| 17:27:25 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 17:28:42 | × | CiaoSen quits (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 17:33:20 | × | alx741 quits (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 17:36:29 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 17:38:43 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 17:49:36 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 17:50:25 | → | alx741 joins (~alx741@157.100.93.160) |
| 17:53:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:53:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 17:53:07 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:54:16 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 17:57:23 | × | gdd quits (~gdd@129.199.146.230) (Ping timeout: 252 seconds) |
| 17:57:41 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 17:57:50 | → | jgeerds joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 17:59:05 | <ph88> | thanks EvanR |
| 17:59:42 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 17:59:53 | → | CiaoSen joins (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 18:00:56 | → | gdd joins (~gdd@129.199.146.230) |
| 18:02:40 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:03:41 | <ph88> | is there an out of the box function that works on list that either inserts a new item or updates an existing item based on a comparison predicate ? |
| 18:04:34 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 18:04:53 | <monochrom> | No, but there are some for Data.Map. |
| 18:05:00 | <monochrom> | or Data.Set |
| 18:07:44 | <ph88> | this ? https://hackage.haskell.org/package/containers-0.6.5.1/docs/Data-Set.html#v:alterF |
| 18:07:49 | <EvanR> | List turns out to be a bad container usually |
| 18:08:12 | <EvanR> | maybe they didn't want to encourage it xD |
| 18:08:17 | → | slice joins (~slice@user/slice) |
| 18:10:11 | <ph88> | actually i'm implementing in purescript, but looking at haskell for inspiration |
| 18:11:28 | → | emf joins (~emf@cpe-174-109-36-85.nc.res.rr.com) |
| 18:12:07 | × | waleee quits (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 18:12:32 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 18:12:50 | × | emf quits (~emf@cpe-174-109-36-85.nc.res.rr.com) (Client Quit) |
| 18:14:44 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 18:15:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:18:30 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:19:30 | <sm> | python wrestles with the upper bounds issue: https://news.ycombinator.com/item?id=29507681 |
| 18:20:54 | → | alx741 joins (~alx741@181.199.42.79) |
| 18:21:51 | → | namkeleser joins (~namkelese@101.179.128.103) |
| 18:22:45 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 18:23:58 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 18:24:02 | → | pfurla[m] joins (uid345156@id-345156.tinside.irccloud.com) |
| 18:26:34 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 18:27:09 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 18:29:09 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
| 18:30:02 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 18:32:13 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 18:32:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:33:07 | × | alx741 quits (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 18:35:46 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 18:37:32 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:37:42 | → | emresaurus joins (~emresauru@78.173.60.185) |
| 18:38:21 | → | jkaye joins (~jkaye@pool-96-234-204-169.bltmmd.fios.verizon.net) |
| 18:40:15 | × | jgeerds quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 268 seconds) |
| 18:40:49 | × | emresaurus quits (~emresauru@78.173.60.185) (Client Quit) |
| 18:41:42 | × | coot quits (~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot) |
| 18:42:28 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 18:42:51 | × | jkaye quits (~jkaye@pool-96-234-204-169.bltmmd.fios.verizon.net) (Ping timeout: 252 seconds) |
| 18:45:47 | × | zer0bitz quits (~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 18:49:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
| 18:50:15 | → | alx741 joins (~alx741@157.100.93.160) |
| 18:52:08 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:55:11 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 18:58:52 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 18:59:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) |
| 19:01:07 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:02:01 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 19:03:29 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 19:06:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 19:08:00 | × | max22- quits (~maxime@2a01cb0883359800f7f7f5ad28cfd1e2.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 19:08:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:09:50 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 19:12:58 | → | ees joins (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 19:15:37 | → | pfurla joins (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) |
| 19:16:00 | → | jgeerds joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 19:17:41 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 252 seconds) |
| 19:18:28 | → | alx741 joins (~alx741@181.199.42.79) |
| 19:19:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 19:19:41 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:28:00 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3) |
| 19:30:34 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 19:31:13 | × | neurocyte0132889 quits (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 19:31:51 | × | nickdaly quits (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 19:31:59 | × | alx741 quits (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 19:34:24 | → | max22- joins (~maxime@2a01cb0883359800ce4fb8a82cc4438c.ipv6.abo.wanadoo.fr) |
| 19:35:30 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 19:35:36 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 19:36:10 | × | namkeleser quits (~namkelese@101.179.128.103) (Quit: Client closed) |
| 19:39:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 19:41:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:42:47 | → | fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2) |
| 19:43:18 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 19:45:00 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:48:44 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:55:27 | × | ees quits (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 20:00:20 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:02:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3170:52ba:4037:d1) (Remote host closed the connection) |
| 20:02:16 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 20:05:10 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
| 20:05:27 | × | juhp quits (~juhp@128.106.188.82) (Ping timeout: 250 seconds) |
| 20:05:42 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 20:06:43 | → | juhp joins (~juhp@128.106.188.82) |
| 20:07:11 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 20:11:18 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 20:12:11 | → | econo joins (uid147250@user/econo) |
| 20:12:33 | → | gustik joins (~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353) |
| 20:15:58 | nfir | is now known as nf |
| 20:16:10 | → | cjb joins (~cjb@user/cjb) |
| 20:16:52 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:17:23 | → | madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net) |
| 20:18:19 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:18:52 | × | sagax quits (~sagax_nb@user/sagax) (Excess Flood) |
| 20:19:55 | × | DNH quits (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:20:53 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:22:53 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:24:43 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 20:25:20 | → | Akiva joins (~Akiva@user/Akiva) |
| 20:25:23 | → | bbear58 joins (~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) |
| 20:26:05 | → | ees joins (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 20:26:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:26:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 20:26:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:28:27 | × | jespada quits (~jespada@87.74.33.157) (Ping timeout: 252 seconds) |
| 20:29:03 | × | pfurla quits (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) (Quit: gone to sleep. ZZZzzz…) |
| 20:29:33 | → | jespada joins (~jespada@87.74.33.157) |
| 20:29:39 | → | deadmarshal joins (~deadmarsh@95.38.116.191) |
| 20:29:49 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::9788) |
| 20:31:15 | → | neurocyte0132889 joins (~neurocyte@94.46.81.14) |
| 20:31:16 | × | neurocyte0132889 quits (~neurocyte@94.46.81.14) (Changing host) |
| 20:31:16 | → | neurocyte0132889 joins (~neurocyte@user/neurocyte) |
| 20:31:33 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
| 20:32:44 | → | DNH joins (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) |
| 20:33:58 | × | deadmarshal quits (~deadmarsh@95.38.116.191) (Ping timeout: 256 seconds) |
| 20:33:59 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 20:34:58 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 20:34:58 | → | pfurla joins (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) |
| 20:35:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 20:35:33 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 20:36:47 | × | neurocyte0132889 quits (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
| 20:39:15 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 20:40:51 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:41:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f458:37c0:1547:7436) |
| 20:42:18 | → | mikoto-chan joins (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
| 20:44:38 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 20:46:16 | × | bbear58 quits (~bbear@2a01:e34:ec2b:d430:e0dd:e718:df68:1877) (Quit: Client closed) |
| 20:50:29 | → | Pickchea joins (~private@user/pickchea) |
| 20:51:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:51:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 20:51:34 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:51:55 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 20:53:06 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:54:15 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 20:54:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 20:55:51 | → | acidjnk joins (~acidjnk@p200300d0c7271e62c4e0968b1a8deb03.dip0.t-ipconnect.de) |
| 20:56:19 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 20:56:57 | <dmj`> | Is it a bug that the Haskell2010 report didn't include "qtycls" in the lexical spec. ? It's mentioned in BNF, but technically not a lexeme |
| 21:00:19 | <dmj`> | GHC's parser doesn't include it as an identifier either https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser.y#L691 |
| 21:00:29 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:00:59 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:01:44 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:02:30 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
| 21:02:49 | × | smartin quits (~Thunderbi@88.135.18.171) (Remote host closed the connection) |
| 21:03:07 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 21:03:07 | → | smartin joins (~Thunderbi@88.135.18.171) |
| 21:03:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:04:09 | <Pickchea> | Why can't GHC type «let g = \x -> x in \f -> (f 0, f True)»? I thought that's what the let rule in the Hindley-Milner type system was for and it's called let-polymorphism. |
| 21:04:54 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 21:05:19 | <lyxia> | dmj`: I think it's intentional. Section 2.4 explicitly mentions "two namespaces" vs "six different kinds of names", although the exact meaning of this distinction remains vague. |
| 21:05:30 | <glguy> | Pickchea: did you mean to use g? |
| 21:05:32 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 21:07:21 | <Pickchea> | glguy, sorry, I meant: let g = (\x -> x) in (\f -> (f 0, f True)) g |
| 21:07:46 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 21:07:58 | <glguy> | Pickchea: the f in \f-> has to have one (unquantified) type |
| 21:08:11 | <glguy> | it doesn't have to do with let polymorphism |
| 21:08:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:08:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 21:08:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:08:21 | <glguy> | (\f -> (f 0, f True)) id |
| 21:08:23 | <glguy> | same thing |
| 21:09:05 | <hololeap> | so I can right click on a unexported function name and click on "quick fix" from the LSP menu. what does it do? 1. adds {-# OPTIONS_GHC -Wno-unused-top-binds #-} 2. adds the function name to the module exports 3. deletes the function entirely |
| 21:09:27 | <hololeap> | answer: all of the above XD |
| 21:10:21 | × | dolio quits (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:10:31 | <Pickchea> | glguy, I know that that doesn't work but I thought the let would permit polymorphic types that way. |
| 21:10:42 | <glguy> | it does: |
| 21:10:42 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 21:10:43 | <glguy> | :t let g = \x -> x in (g 0, g True) |
| 21:10:44 | <lambdabot> | Num a => (a, Bool) |
| 21:11:07 | <c_wraith> | as long as you actually use the *name* bound in the let |
| 21:11:19 | <c_wraith> | it's syntactic |
| 21:11:59 | <glguy> | This lambda just can't be typed: (\f -> (f (0::Int), f True)) |
| 21:12:48 | <glguy> | With RankNTypes you can do: (\(f :: forall a. a -> a) -> (f 'a', f True)) |
| 21:12:59 | <glguy> | but it's up to you to annotate the polymorphism |
| 21:13:08 | <Pickchea> | glguy, ah I see. Yes, have tried RankNTypes already, crazy stuff. |
| 21:13:20 | <Square> | Whats going on in this exotic signature : f' :: RecordField from a -> ([] `Compose` (,) [Text] `Compose` (->) Value `Compose` (Except D)) ... (taken from https://hackage.haskell.org/package/schemas-0.3.0.2/docs/src/Schemas.Internal.html#local-6989586621679105056 )local-6989586621679105820 |
| 21:13:59 | <Square> | I guess i mean ... whats the `Compose` thing? |
| 21:15:05 | <EvanR> | it composes two type constructors |
| 21:15:29 | <EvanR> | like type level . |
| 21:15:41 | → | dolio joins (~dolio@130.44.130.54) |
| 21:17:47 | <Square> | ah ok. Is that part of an extension or basic functionality? |
| 21:17:56 | <Square> | ghc extension that is |
| 21:17:57 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:18:20 | → | mmhat joins (~mmh@55d44624.access.ecotel.net) |
| 21:21:21 | × | pfurla[m] quits (uid345156@id-345156.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:22:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:23:10 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 260 seconds) |
| 21:26:42 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.16.0.0/Data-Functor-Compose.html |
| 21:27:27 | <dmj`> | I still chuckle at this "Enable MultiParamTypeClasses to allow no-parameter classes" |
| 21:28:01 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 21:30:38 | <hpc> | in english, zero is plural |
| 21:33:48 | <Square> | geekosaur, thanks |
| 21:35:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:37:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 21:37:24 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 21:38:42 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:40:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 21:40:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:42:36 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 21:43:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 21:45:09 | → | kranius joins (~kranius@222.186.245.213.rev.sfr.net) |
| 21:52:53 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 21:53:30 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::9788) (Ping timeout: 260 seconds) |
| 21:55:15 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:55:21 | × | kranius quits (~kranius@222.186.245.213.rev.sfr.net) (Changing host) |
| 21:55:21 | → | kranius joins (~kranius@user/kranius) |
| 21:56:17 | <dmj`> | lyxia: yea, a simple translation of the 2010 spec gives ~80 reduce/reduce conflicts in happy |
| 21:56:18 | × | ees quits (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 21:57:45 | × | slowtyper quits (~slowtyper@user/slowtyper) (Remote host closed the connection) |
| 21:58:01 | → | slowtyper joins (~slowtyper@user/slowtyper) |
| 21:59:01 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 21:59:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:59:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 21:59:35 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:00:32 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 22:01:30 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:02:54 | × | kranius quits (~kranius@user/kranius) (Ping timeout: 265 seconds) |
| 22:03:09 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::9788) |
| 22:04:31 | → | husixu joins (~husixu@137.132.119.2) |
| 22:04:42 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 22:05:47 | × | husixu quits (~husixu@137.132.119.2) (Remote host closed the connection) |
| 22:07:24 | → | husixu joins (~husixu@137.132.119.2) |
| 22:09:05 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 22:09:08 | → | pfurla_ joins (~pfurla@2804:18:5820:1d6d:1c52:bbfc:4fcf:e916) |
| 22:11:19 | × | pfurla quits (~pfurla@2804:18:5820:1d6d:8d43:ba5d:8061:64f4) (Ping timeout: 250 seconds) |
| 22:13:32 | × | mimmy quits (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 22:14:14 | × | pfurla_ quits (~pfurla@2804:18:5820:1d6d:1c52:bbfc:4fcf:e916) (Ping timeout: 268 seconds) |
| 22:14:52 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
| 22:15:12 | → | pfurla joins (~pfurla@2804:18:5820:1d6d:95e6:204:998d:de68) |
| 22:16:21 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 22:18:48 | × | madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 22:19:30 | → | pavonia joins (~user@user/siracusa) |
| 22:19:51 | → | alx741 joins (~alx741@157.100.93.160) |
| 22:19:51 | → | lavaman joins (~lavaman@98.38.249.169) |
| 22:24:19 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 22:24:20 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 22:25:32 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 22:31:13 | × | Jing quits (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
| 22:31:37 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:33:54 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:34:04 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:35:45 | → | ees joins (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 22:36:09 | → | Jing joins (~hedgehog@2604:a840:3::1001) |
| 22:36:22 | × | ees quits (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 22:37:16 | → | ees joins (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
| 22:38:10 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 22:40:48 | → | mimmy joins (~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) |
| 22:41:06 | × | TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 22:44:07 | <hololeap> | Square: it's mostly used to extend typeclass instances to composed type constructors, e.g. instance (Applicative f, Applicative g) => Applicative (Compose f g) |
| 22:44:33 | <hololeap> | so you could get the combined Applicative for e.g. [Maybe a] |
| 22:45:40 | <Square> | hololeap, oh right. And thats no possible wo that trick? |
| 22:46:53 | <hololeap> | it's possible. you could make a newtype wrapping [Maybe a] and then just define your own Applicative instance, but you'd most likely just be recreating the Applicative for (Compose [] Maybe) |
| 22:47:50 | → | alx741 joins (~alx741@181.199.42.79) |
| 22:49:04 | <hololeap> | likewise, they could have wrapped [([Text], Value -> Except D a)] in a newtype, but they chose to leverage all the instances that you get by using Compose |
| 22:49:30 | <hololeap> | (at least I assume that's why they did that) |
| 22:50:30 | <hololeap> | personally, I like to use Compose with the DerivingVia extension, that way you don't have to have a bunch of Compose constructors that you will eventually have to deal with |
| 22:51:57 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:52:12 | <hololeap> | newtype MyThing a = MyThing (Either String [Maybe a]) ; deriving Applicative via Compose (Either String) (Compose [] Maybe) |
| 22:52:20 | <hololeap> | hope that makes sense |
| 22:57:18 | × | alx741 quits (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 22:59:26 | × | husixu quits (~husixu@137.132.119.2) (Quit: Leaving) |
| 23:00:15 | → | mud joins (~mud@user/kadoban) |
| 23:00:33 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:00:47 | × | cosimone quits (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Remote host closed the connection) |
| 23:02:54 | → | Axman6 joins (~Axman6@user/axman6) |
| 23:05:14 | → | cosimone joins (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 23:05:25 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 23:06:26 | × | cosimone quits (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Client Quit) |
| 23:07:02 | → | cosimone joins (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 23:13:36 | × | ph88 quits (~ph88@2a02:8109:9e00:71d0:943d:5b05:e9f7:79b5) (Quit: Leaving) |
| 23:14:14 | → | alx741 joins (~alx741@181.199.42.79) |
| 23:16:07 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f458:37c0:1547:7436) (Remote host closed the connection) |
| 23:19:13 | × | alx741 quits (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 23:21:19 | × | earendel quits (uid498179@user/earendel) (Quit: Connection closed for inactivity) |
| 23:22:40 | × | chomwitt quits (~chomwitt@2a02:587:dc0d:3700:12c3:7bff:fe6d:d374) (Ping timeout: 268 seconds) |
| 23:25:02 | × | mmhat quits (~mmh@55d44624.access.ecotel.net) (Quit: WeeChat 3.3) |
| 23:25:05 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 23:26:39 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 23:32:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:33:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:34:18 | × | cosimone quits (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 260 seconds) |
| 23:34:46 | <smichel17[m]> | Does anyone know how to get GHC to spit out all of the options it's being called with? I'm using stack, but would like to know what the actual ghc command that runs in the end is. |
| 23:35:42 | <hololeap> | that sounds like it should be a debug option for stack (I'm not a stack user) |
| 23:35:44 | <geekosaur> | shouldn't stack -v show you that? |
| 23:36:32 | → | alx741 joins (~alx741@157.100.93.160) |
| 23:36:34 | <smichel17[m]> | Ah, maybe. `stack -v` spits out *a lot*, so I was hoping there was a quicker way to get to the point, but I'll take a look |
| 23:37:05 | <geekosaur> | usually there isn't, it's up to the invoker to show how it's invoking |
| 23:39:53 | <sm> | verbosity control is not great with stack/cabal/ghc |
| 23:40:22 | <sm> | you get too much, or too little |
| 23:40:36 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 23:42:32 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 23:47:01 | × | Jing quits (~hedgehog@2604:a840:3::1001) (Remote host closed the connection) |
| 23:47:24 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 23:47:55 | → | Jing joins (~hedgehog@2604:a840:3::1001) |
| 23:49:30 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 23:50:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:50:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 23:50:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:51:39 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 23:52:17 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 23:53:19 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
| 23:54:11 | <smichel17[m]> | Thanks, it was there, after some digging |
| 23:54:13 | → | jinsun__ joins (~quassel@user/jinsun) |
| 23:55:51 | → | SoF3 joins (~skius@user/skius) |
| 23:55:54 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:55:59 | × | shailangsa quits (~shailangs@host86-186-127-128.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 23:56:14 | × | SoF quits (~skius@user/skius) (Killed (NickServ (GHOST command used by SoF3))) |
| 23:56:14 | SoF3 | is now known as SoF |
| 23:56:51 | × | ts2 quits (~ts@46.101.20.9) (Ping timeout: 250 seconds) |
| 23:56:56 | → | dcoutts_ joins (~duncan@71.78.6.51.dyn.plus.net) |
| 23:57:05 | × | jinsun quits (~quassel@user/jinsun) (Ping timeout: 252 seconds) |
| 23:57:05 | × | dcoutts quits (~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 252 seconds) |
| 23:57:09 | → | ts2 joins (~ts@46.101.20.9) |
| 23:57:47 | × | max22- quits (~maxime@2a01cb0883359800ce4fb8a82cc4438c.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 23:59:45 | × | DNH quits (~DNH@2a02:8108:1100:16d8:fcc8:d2a0:3b64:5912) (Quit: Textual IRC Client: www.textualapp.com) |
All times are in UTC on 2021-12-12.