Logs: freenode/#haskell
| 2021-05-20 22:28:41 | <hpc> | fwiw, libera #haskell has had more activity today than here |
| 2021-05-20 22:28:43 | <__monty__> | About #haskell? |
| 2021-05-20 22:28:47 | <hpc> | especially if you subtract meta stuff |
| 2021-05-20 22:29:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-20 22:29:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-20 22:29:59 | <mniip> | I think we're waiting on HF/haskell.org to make the move |
| 2021-05-20 22:30:01 | <wroathe> | __monty__: Indeed. They indicated that channels they're involved in were "definitely" moving, and Haskell was on the list. I pointed out that the topic didn't seem definite, and the person walked back their statement to say that the powers that be here were "finalizing" |
| 2021-05-20 22:30:20 | × | ggVGc1 quits (~ggVGc@78-0-137-66.adsl.net.t-com.hr) (Client Quit) |
| 2021-05-20 22:30:30 | <mniip> | there is a channel on the other side though, operated by the same people |
| 2021-05-20 22:30:41 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-20 22:30:59 | <wroathe> | Yup. We're in a state right now where most channels seem to have one foot in both camps, and are loath to make a finale decision. |
| 2021-05-20 22:31:03 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-20 22:31:06 | <wroathe> | final* |
| 2021-05-20 22:31:13 | <mniip> | some channels have put both feet down |
| 2021-05-20 22:31:44 | monochrom | likes stomping on both feet and demanding candies :) |
| 2021-05-20 22:31:45 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-20 22:31:45 | <__monty__> | I think the main reason channels are still on freenode is not to abandon people who aren't in the loop yet. |
| 2021-05-20 22:31:57 | <__monty__> | All the documentation that still points to freenode and such. |
| 2021-05-20 22:31:58 | <mniip> | that's why I'm here |
| 2021-05-20 22:32:06 | <__monty__> | Not indecisiveness about moving. |
| 2021-05-20 22:32:26 | <wroathe> | __monty__: Well, I can think of two popular channels that have channels on Libera but 1. Haven't made a final decision and 2. Haven't even engaged their regulars yet on the possibility of moving |
| 2021-05-20 22:33:26 | <__monty__> | I didn't say there weren't any that hadn't decided yet. Just that I don't think it's accurate to say most. |
| 2021-05-20 22:33:26 | <wroathe> | I just had a conversation with one of the ops in one of those channels where they seemed to think they could not take a stance by taking the stance that if enough people vote with their feet that they would move, and that engaging their regulars about it wasn't scalable (both of which are nonsense) |
| 2021-05-20 22:34:13 | <wroathe> | __monty__: Fair. So far the four channels I keep open in my IRC client haven't made a final decision yet, but it could be that I'm just not in the channels that are moving en masse. |
| 2021-05-20 22:34:34 | → | tefter_ joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 2021-05-20 22:34:57 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-05-20 22:35:22 | <__monty__> | This is one of the channels that seems to have voted with their feet : ) |
| 2021-05-20 22:36:07 | <wroathe> | Mayhaps |
| 2021-05-20 22:37:14 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-20 22:37:20 | × | tefter quits (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 246 seconds) |
| 2021-05-20 22:38:51 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-20 22:39:14 | <ggVGc> | j #elixir |
| 2021-05-20 22:39:18 | <ggVGc> | haha, damn |
| 2021-05-20 22:39:24 | → | tosspot joins (~jotham@unaffiliated/jotham) |
| 2021-05-20 22:39:30 | ← | tosspot parts (~jotham@unaffiliated/jotham) ("WeeChat 3.1") |
| 2021-05-20 22:39:48 | → | carlomagno joins (~cararell@148.87.23.7) |
| 2021-05-20 22:39:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 22:40:51 | ggVGc | hides in a referentially transparent corner |
| 2021-05-20 22:41:10 | → | kluk joins (45cb5249@cpe-69-203-82-73.nyc.res.rr.com) |
| 2021-05-20 22:44:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-20 22:46:42 | → | altern joins (~altern@altern.corbina.com.ua) |
| 2021-05-20 22:46:43 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-20 22:47:57 | → | killsushi joins (~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) |
| 2021-05-20 22:47:58 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-20 22:48:14 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-20 22:49:20 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-05-20 22:50:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-20 22:51:38 | → | sheaf joins (~sheaf@sheaf.site) |
| 2021-05-20 22:51:42 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:8cd5:3c3f:bd26:2318) |
| 2021-05-20 22:52:20 | <Andriamanitra> | why doesn't the latter way work / is there a working way to write code that reads left to right? https://paste.tomsmeding.com/BtOSHWNC |
| 2021-05-20 22:52:44 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-20 22:53:27 | <Andriamanitra> | i probably still don't quite get what . is doing |
| 2021-05-20 22:55:56 | sheaf | is now known as alex-shpilkin |
| 2021-05-20 22:56:15 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:8cd5:3c3f:bd26:2318) (Ping timeout: 258 seconds) |
| 2021-05-20 22:56:20 | × | alex-shpilkin quits (~sheaf@sheaf.site) (Client Quit) |
| 2021-05-20 22:56:28 | <geekosaur> | you may also need right associativity? |
| 2021-05-20 22:57:17 | <oats> | There's also (&) in Data.Function |
| 2021-05-20 22:57:17 | → | wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-20 22:57:21 | <oats> | Does that already |
| 2021-05-20 22:57:41 | <oats> | Oh wait |
| 2021-05-20 22:57:46 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-20 22:58:17 | <oats> | AndreasK, (.) is function composition |
| 2021-05-20 22:58:31 | <oats> | (|>) is doing a very different kind of job |
| 2021-05-20 22:58:36 | <oats> | function application |
| 2021-05-20 22:58:52 | <monochrom> | You need an "infixr" or "infixl" or "infix" declaration to set associativity and precedence. And you need to coordinate with $'s precedence. |
| 2021-05-20 22:59:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-20 22:59:12 | <oats> | :t (.) |
| 2021-05-20 22:59:13 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2021-05-20 22:59:19 | <oats> | :t (&) |
| 2021-05-20 22:59:21 | <lambdabot> | a -> (a -> b) -> b |
| 2021-05-20 22:59:26 | × | alx741 quits (~alx741@181.196.68.143) (Ping timeout: 240 seconds) |
| 2021-05-20 22:59:39 | <oats> | do you see how different the types are? you can't just substitute them and flip the directionality |
| 2021-05-20 22:59:42 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-20 23:00:19 | <oats> | (>>>) can function as a left-to-right alternate to (.) iirc |
| 2021-05-20 23:00:22 | <Andriamanitra> | i don't know what & is, i thought it's like bitwise or but that doesn't look like that |
| 2021-05-20 23:00:25 | <oats> | but it's not common to see it in haskell code |
| 2021-05-20 23:00:33 | <Andriamanitra> | or bitwise and maybe |
| 2021-05-20 23:00:47 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:5051:16e0:8e89:e082) (Quit: Konversation terminated!) |
| 2021-05-20 23:00:48 | <oats> | Andriamanitra, are you looking to make something behave like F#'s pipe operator? |
| 2021-05-20 23:01:12 | <Andriamanitra> | oats: yeah i've been using |> as that |
| 2021-05-20 23:01:22 | <Andriamanitra> | it's been working alright in other contexts |
| 2021-05-20 23:01:23 | <oats> | yeah, the equivalent to that in haskell is & |
| 2021-05-20 23:01:31 | <oats> | it's in Data.Function |
| 2021-05-20 23:01:40 | <oats> | it's not very common style though |
| 2021-05-20 23:01:50 | <oats> | function composition (.) is the dominant haskell idiom :) |
| 2021-05-20 23:01:58 | <oats> | of course you can write code however you like though |
| 2021-05-20 23:02:03 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-05-20 23:02:05 | <Andriamanitra> | yeah i've noticed but i hate reading and writing code right to left |
| 2021-05-20 23:02:17 | <Andriamanitra> | too many ctrl+left arrows |
| 2021-05-20 23:02:20 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-05-20 23:03:05 | <Andriamanitra> | i'll give >>> a try |
| 2021-05-20 23:04:06 | → | sheaf joins (~sheaf@sheaf.site) |
| 2021-05-20 23:04:13 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-20 23:04:48 | sheaf | is now known as alex-shpilkin |
| 2021-05-20 23:05:00 | × | alex-shpilkin quits (~sheaf@sheaf.site) (Client Quit) |
| 2021-05-20 23:05:23 | → | alex-shpilkin joins (~alex-shpi@sheaf.site) |
| 2021-05-20 23:06:23 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 246 seconds) |
| 2021-05-20 23:07:25 | × | ransom quits (~c4264035@70-59-14-200.hlrn.qwest.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-20 23:08:34 | → | ransom joins (~c4264035@70-59-14-200.hlrn.qwest.net) |
| 2021-05-20 23:08:56 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
All times are in UTC.