Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 .. 5022
— 502,152 events total
2020-11-09 23:21:55 <davean> dolio: Thats a thing to teach?
2020-11-09 23:22:00 <dolio> Apparently.
2020-11-09 23:22:22 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-09 23:22:39 × Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection)
2020-11-09 23:23:15 hekkaidekapus proposes an inclusive Celleux :)
2020-11-09 23:23:16 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-09 23:23:18 <Axman6> clearly the These constructor of These's probability approaches 1 as the inhabitants of a and b grow
2020-11-09 23:24:32 <hekkaidekapus> Bayes again? :p
2020-11-09 23:24:50 → jedws joins (~jedws@101.184.150.81)
2020-11-09 23:28:19 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 246 seconds)
2020-11-09 23:28:44 → GreeboSnabble joins (45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net)
2020-11-09 23:28:57 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-09 23:29:03 <GreeboSnabble> Hi all, quick question:
2020-11-09 23:29:20 → conal joins (~conal@64.71.133.70)
2020-11-09 23:29:24 <GreeboSnabble> Has anyone thought of making functions a typeclass?
2020-11-09 23:29:52 <GreeboSnabble> Lists, Data.Map, regular functions a -> b could all be instances
2020-11-09 23:30:05 <monochrom> I think that's what C++ did.
2020-11-09 23:30:10 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-09 23:30:13 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Client Quit)
2020-11-09 23:30:49 <Axman6> and Scala does some weird crap like that with its PartialFunction type
2020-11-09 23:30:50 <GreeboSnabble> Idk, but it seems like function notation would be nicer than (!!) or M.lookup
2020-11-09 23:30:51 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-09 23:31:44 <dibblego> scala.PartialFunction is pretty broken, but it is still used today in production systems
2020-11-09 23:31:53 <Axman6> it sure is -_-
2020-11-09 23:32:22 <monochrom> I bet it would be type inference really difficult, for both compilers and humans. C++ isn't affected because it has very limited type inference.
2020-11-09 23:32:32 <monochrom> s/it would be/it would make/
2020-11-09 23:32:54 <merijn> monochrom: Also, C++ compiler writers just said "fuck this, you sort it out" :p
2020-11-09 23:32:54 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds)
2020-11-09 23:33:01 × dan64 quits (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2020-11-09 23:33:12 → texasmynsted joins (~texasmyns@2600:6c40:700:193f:153:816f:d64c:6f7d)
2020-11-09 23:33:27 <merijn> That's why I have to stupid stuff like calling object methods like "foo.template my_method(bar);" >.>
2020-11-09 23:33:51 → dan64 joins (~dan64@dannyadam.com)
2020-11-09 23:34:09 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-09 23:34:48 → JohnnyL joins (~john@unaffiliated/johnnyl)
2020-11-09 23:35:17 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-vutaqggfkdwqzvto) (Quit: Connection closed for inactivity)
2020-11-09 23:36:07 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-09 23:36:16 <JohnnyL> What is the mosted complicated Category Theory structure in Haskell?
2020-11-09 23:36:37 <Axman6> Void
2020-11-09 23:36:42 <monochrom> Why?
2020-11-09 23:36:54 <dibblego> 12
2020-11-09 23:37:03 <merijn> JohnnyL: Define "in Haskell"
2020-11-09 23:37:22 <JohnnyL> merijn: Ability to use in Haskell.
2020-11-09 23:37:35 <Axman6> and complicated?
2020-11-09 23:37:37 <merijn> I would personally define the set of "category theory structures *in* Haskell" as empty >.>
2020-11-09 23:37:45 <JohnnyL> So functor would be more compliated than a morphism.
2020-11-09 23:37:55 <JohnnyL> complicated sorry.
2020-11-09 23:37:59 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2020-11-09 23:38:04 <Axman6> do we have a lattice of complications?
2020-11-09 23:38:06 <merijn> But functors are morphisms in the category of categories! >.<
2020-11-09 23:38:33 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-09 23:38:35 <dibblego> I can only imagine complicated to mean, those structures which most programmers look at and proclaim, rightly or wrongly, "that's complicated"
2020-11-09 23:38:46 <JohnnyL> You can say robust.
2020-11-09 23:38:52 <Axman6> I'm sure some horologists would like to know the answer to that...
2020-11-09 23:39:02 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-09 23:39:03 <JohnnyL> Or the ability to be more detailed without repetition.
2020-11-09 23:39:03 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-09 23:39:32 <monochrom> You know what, functors suffer more restrictions than other categories' morphisms, so actually I think functors are simpler, than say, morphisms in Set.
2020-11-09 23:39:36 × GreeboSnabble quits (45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) (Remote host closed the connection)
2020-11-09 23:39:52 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds)
2020-11-09 23:40:28 × goldfire quits (~anonymous@c-76-124-205-20.hsd1.pa.comcast.net) (Quit: goldfire)
2020-11-09 23:41:57 → lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce)
2020-11-09 23:43:05 <JohnnyL> monochrom: A morphism is *any* structure that preserve it's mapping.
2020-11-09 23:43:27 × kish quits (~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-11-09 23:43:34 <JohnnyL> Okay. Thank you for playing Jeopardy.
2020-11-09 23:43:35 <JohnnyL> hahaha.
2020-11-09 23:43:52 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-09 23:44:38 → kish joins (~oracle@unaffiliated/oracle)
2020-11-09 23:45:41 <Axman6> I'm not really sure what answer you were after with your question
2020-11-09 23:46:38 × jathan quits (~jathan@69.61.93.38) (Ping timeout: 265 seconds)
2020-11-09 23:46:44 <monochrom> This is why I asked why.
2020-11-09 23:48:43 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-09 23:49:04 <JohnnyL> Maybe this is a better for question for math since I am asking for what computational Categorical Structure that can be classified in CA exists in Haskell.
2020-11-09 23:50:42 → elfets_ joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-09 23:50:43 <monochrom> Axman6: Actually, I'm now interested in how horologists come into this. What would some of them be interested in?
2020-11-09 23:51:06 <dolio> Set (or an analogue) is always the most complicated thing in a way, because it has all of the structure you ever want to talk about, and structure in any other category is defined by reflection from Set.
2020-11-09 23:51:38 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-09 23:52:11 <JohnnyL> dolio: Wow, are you way off.
2020-11-09 23:53:18 → jathan joins (~jathan@69.61.93.38)
2020-11-09 23:53:53 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-11-09 23:55:52 <monochrom> No, dolio is right on.
2020-11-09 23:56:35 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-09 23:56:35 <monochrom> Instead, wrong descriptions such as "structure that preserve it's mapping" are the ones that are way off.
2020-11-09 23:57:07 <monochrom> even after, especially after, auto-correcting "it's" to "its"
2020-11-09 23:57:28 <JohnnyL> monochrom: Description of what?
2020-11-09 23:57:46 <dibblego> morphism
2020-11-09 23:57:49 <monochrom> You forgot what you wrote? Already?
2020-11-09 23:57:49 <JohnnyL> monochrom: How do you say monochrom is right about set?
2020-11-09 23:58:14 <JohnnyL> monochrom: Hm,the act of forgetting shouldn't be confused with the ability to scroll up.
2020-11-09 23:58:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-09 23:58:46 <JohnnyL> Common, you guys want to say Splunge.. Just say it. SPLUNGE! hahaha.
2020-11-09 23:58:54 ChanServ sets mode +o monochrom
2020-11-09 23:58:59 monochrom sets mode +b *!*@unaffiliated/johnnyl
2020-11-09 23:58:59 JohnnyL is kicked by monochrom (JohnnyL)
2020-11-09 23:59:50 monochrom sets mode +b-bo $a:JohnnyL *!*@unaffiliated/johnnyl monochrom
2020-11-10 00:00:01 × armin76 quits (~armin76@s91904426.blix.com) ()
2020-11-10 00:00:54 ChanServ sets mode +o monochrom
2020-11-10 00:00:55 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-10 00:01:04 monochrom sets mode -b+b-o $a:JohnnyL *!*@unaffiliated/johnnyl monochrom
2020-11-10 00:01:14 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-10 00:01:32 <MarcelineVQ> idk if that was neccesary :> you could just respond with a custom "oh no it's retarded" meme
←Prev  Next→
Page 1 .. 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 .. 5022

All times are in UTC.