Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 .. 5022
— 502,152 events total
2020-11-09 22:01:30 hackage cabal-fmt 0.1.5.1 - Format .cabal files https://hackage.haskell.org/package/cabal-fmt-0.1.5.1 (phadej)
2020-11-09 22:01:33 <[exa]> remember once asking for it here myself
2020-11-09 22:01:41 → Solarion joins (~solarion@fsf/member/solarion)
2020-11-09 22:01:53 Gurkenglas_ is now known as Gurkenglas
2020-11-09 22:03:21 <monochrom> You tell people "I have an apple, or an orange, or both", people will respond "that sounds like 'and/or'" or "that sounds like 'inclusive or'". No one is going to respond "that sounds like 'these'".
2020-11-09 22:03:45 <monochrom> If you go on to tell people "someone named this situation 'these'" people will be like "wait what?"
2020-11-09 22:05:00 <[exa]> naming is hard
2020-11-09 22:05:07 <[exa]> can we do better than say.. EitherBoth ?
2020-11-09 22:05:21 <dolio> Yeah, These is better.
2020-11-09 22:06:01 × britva quits (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep)
2020-11-09 22:06:56 → alp joins (~alp@88.126.45.36)
2020-11-09 22:08:14 × jakob_ quits (~textual@p200300f49f16220061868217aabcc5ae.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-09 22:08:16 <[exa]> :[
2020-11-09 22:08:50 × machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 256 seconds)
2020-11-09 22:08:56 × \x2D quits (~Thunderbi@freenode/staff/grumble) (Quit: echo -e '\e#8')
2020-11-09 22:09:58 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2020-11-09 22:11:23 → grumble joins (~Thunderbi@freenode/staff/grumble)
2020-11-09 22:12:51 <dminuoso> bqv: with optics or with lens? And what do you mean with roundabout vote?
2020-11-09 22:13:08 → britva joins (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-09 22:14:37 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 22:14:55 <dminuoso> 23:10:35 monochrom | [22:01:05] I am beginning to suspect that "These" is a poorly chosen name.
2020-11-09 22:15:25 <dminuoso> I think it's a good name because it's somewhat suggestive, but not too concretely so.
2020-11-09 22:15:56 × nuruuu quits (6dced5cb@109.206.213.203) (Remote host closed the connection)
2020-11-09 22:15:59 <dminuoso> Maybe as a type constructor is a dumb name as well, you wouldn't say "I have maybe apple"
2020-11-09 22:16:43 <monochrom> But I say "Maybe I have an apple" all the time.
2020-11-09 22:17:21 <Rembane> monochrom: Are Schrödinger apples an important part of the food you eat?
2020-11-09 22:18:49 <dminuoso> monochrom: Strangely, if you have an issue with naming, why not complain about MonadChronicle ;)
2020-11-09 22:19:09 <dminuoso> Nothing but cute workplay
2020-11-09 22:19:10 <monochrom> I haven't heard of MonadChronicle.
2020-11-09 22:19:13 <dminuoso> https://hackage.haskell.org/package/monad-chronicle-1.0.0.1/docs/Control-Monad-Chronicle.html#t:MonadChronicle
2020-11-09 22:19:22 <dminuoso> It's essentially an mtl style for These
2020-11-09 22:19:27 <dminuoso> as a monad transformer
2020-11-09 22:19:32 → jakob_ joins (~textual@p200300f49f162200d485fdd402f900db.dip0.t-ipconnect.de)
2020-11-09 22:19:46 <dminuoso> Or rather, there's ChroncicleT that is essentially a TheseT, and MonadChronicle as a tagless final encoding
2020-11-09 22:20:53 → sagax joins (~sagax_nb@213.138.71.146)
2020-11-09 22:22:02 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-09 22:22:25 × enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-09 22:22:25 × Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-09 22:23:55 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-09 22:27:10 × texasmynsted quits (~texasmyns@64.44.55.28) (Remote host closed the connection)
2020-11-09 22:29:34 × solonarv quits (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-11-09 22:30:17 → ystael joins (~ystael@209.6.50.55)
2020-11-09 22:30:38 → falafel_ joins (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4)
2020-11-09 22:32:33 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-09 22:32:40 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-09 22:33:35 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-11-09 22:35:00 × Franciman quits (~francesco@host-82-56-223-169.retail.telecomitalia.it) (Quit: Leaving)
2020-11-09 22:35:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-09 22:37:06 × Guest41 quits (50a46f47@gateway/web/cgi-irc/kiwiirc.com/ip.80.164.111.71) (Quit: Connection closed)
2020-11-09 22:37:21 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-09 22:38:38 × thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Max SendQ exceeded)
2020-11-09 22:38:38 → conal joins (~conal@64.71.133.70)
2020-11-09 22:39:02 → thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker)
2020-11-09 22:39:12 → texasmynsted joins (~texasmyns@64.44.55.28)
2020-11-09 22:39:44 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 240 seconds)
2020-11-09 22:39:50 → jneira joins (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118)
2020-11-09 22:40:33 × texasmynsted quits (~texasmyns@64.44.55.28) (Read error: Connection reset by peer)
2020-11-09 22:42:37 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 22:43:22 × son0p quits (~son0p@181.136.122.143) (Remote host closed the connection)
2020-11-09 22:47:26 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-09 22:49:49 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Read error: Connection reset by peer)
2020-11-09 22:50:43 → ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-09 22:51:13 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-11-09 22:51:34 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-09 22:52:11 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-09 22:53:03 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-09 22:54:05 <jackdk> I have used These in the past, and said to people "I either have This thing, That thing, or These things" and it doesn't seem too bad
2020-11-09 22:55:42 × britva quits (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep)
2020-11-09 22:57:45 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 2.8)
2020-11-09 22:58:36 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-09 22:59:39 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-09 23:00:37 → reggie39 joins (4953da9f@c-73-83-218-159.hsd1.wa.comcast.net)
2020-11-09 23:05:36 × reggie39 quits (4953da9f@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection)
2020-11-09 23:08:26 × falafel_ quits (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
2020-11-09 23:09:17 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-09 23:11:04 × Guest8524 quits (~AllahuAkb@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-09 23:14:16 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-09 23:14:54 <monochrom> I wouldn't object ThisThatThese or ThisOrThatOrBoth
2020-11-09 23:15:12 <monochrom> "These" alone? Where is "this" and "that" in that?
2020-11-09 23:15:37 <Axman6> AOrBOrAxB >_>
2020-11-09 23:16:07 → conal joins (~conal@64.71.133.70)
2020-11-09 23:16:11 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-09 23:16:19 <Axman6> also, I feel like These answers thew question of "Which of these do I have? A or B or Both?
2020-11-09 23:16:22 <Axman6> "
2020-11-09 23:17:05 <monochrom> You have a data type that has 3 cases, and in all likelihood, all 3 cases have equal probability. And you decide that the name of the whole data type is monopolized by only 33.3% of the cases. This I don't understand.
2020-11-09 23:17:33 × joehillen quits (~joehillen@unaffiliated/joehillen) (Ping timeout: 260 seconds)
2020-11-09 23:17:53 → falafel_ joins (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4)
2020-11-09 23:17:56 <monochrom> It also answers the question of "which of these do I have? A xor B?"
2020-11-09 23:17:57 <Axman6> nah, it's A x B / (A + B + AxB) of the values though "{
2020-11-09 23:18:13 <monochrom> It also answers the question of "which of these do I have? Just A or Nothing?"
2020-11-09 23:18:37 <monochrom> All of these could have equal claim to the name These.
2020-11-09 23:18:56 <dolio> The name reminds you that it's the type with the "This, That, These" constructors, and that's good enough, and isn't a huge waste of horizontal space.
2020-11-09 23:19:34 × leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 246 seconds)
2020-11-09 23:20:01 → joehillen joins (~joehillen@unaffiliated/joehillen)
2020-11-09 23:20:03 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-09 23:20:16 <monochrom> I would be OK with the contraction "Thiaese".
2020-11-09 23:20:16 <davean> monochrom: clearly the right name is NonEmptyCan or Can1
2020-11-09 23:21:18 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-09 23:21:26 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-09 23:21:39 <dolio> As an added advantage, it teaches people that the name of the type has nothing to do with 'probability' of constructor occurrence.
←Prev  Next→
Page 1 .. 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 .. 5022

All times are in UTC.