Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4762 4763 4764 4765 4766 4767 4768 4769 4770 4771 4772 .. 5022
— 502,152 events total
2021-05-06 14:58:20 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-05-06 14:59:02 <superstar64> why are linear types such a rabbit hole? the more i look into them the more complicated they get
2021-05-06 15:01:39 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 248 seconds)
2021-05-06 15:01:42 × Adluc quits (~Adluc@83.167.228.130) (Remote host closed the connection)
2021-05-06 15:01:55 <superstar64> there's qualified linear types (linear types though typeclasses), of course style linear types, and haskell's linear arrows
2021-05-06 15:01:56 <superstar64> not to mention the distinction between unique and linear types
2021-05-06 15:02:05 <superstar64> and there might be more system i'm not aware of
2021-05-06 15:02:52 → Adluc joins (~Adluc@2a01:430:17:1::ffff:328)
2021-05-06 15:03:52 <tomsmeding> more mathematically-inclined people have told me that linear types are a thing from logic that encompass lots of different things; resource-linear types like Haskell has are only one particular example, but there are completely different exotic things too that are also linear types
2021-05-06 15:04:02 <tomsmeding> maybe that's part of an explanation why there's so many varieties?
2021-05-06 15:04:36 <tomsmeding> apparently commutative monoid homomorphisms can also be seen as "linear functions" in the right type system (?)
2021-05-06 15:04:53 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-06 15:06:48 <superstar64> eventually i'm going to have to look though my system(a mix of qualified linear types and of course style linearity) and see if it's complete with haskell's interpretation (or vise versa)
2021-05-06 15:06:48 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-06 15:07:04 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-06 15:09:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-06 15:09:49 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-06 15:10:56 × nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection)
2021-05-06 15:11:29 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-06 15:11:57 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-06 15:14:10 → Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-05-06 15:14:18 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-06 15:15:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-06 15:16:14 × nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 245 seconds)
2021-05-06 15:16:21 → myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net)
2021-05-06 15:16:23 → zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-06 15:16:47 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-05-06 15:21:05 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-06 15:22:27 × bahamas quits (~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-05-06 15:23:11 × wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
2021-05-06 15:25:02 → Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-06 15:25:27 × Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-06 15:27:36 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-06 15:29:37 × jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 252 seconds)
2021-05-06 15:30:11 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-06 15:30:16 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-05-06 15:31:01 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-06 15:31:20 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-06 15:32:24 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-06 15:32:55 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2021-05-06 15:33:20 × zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-06 15:33:44 × philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-06 15:35:37 × lieven quits (~mal@2001:41d0:1:66c4::1) (Read error: Connection reset by peer)
2021-05-06 15:36:11 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-06 15:37:53 → electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-06 15:40:03 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-06 15:40:15 → seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-06 15:40:29 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-05-06 15:42:02 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-06 15:42:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-06 15:43:16 → philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-05-06 15:43:31 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-06 15:44:07 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-06 15:44:56 × nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection)
2021-05-06 15:45:13 → nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f)
2021-05-06 15:45:53 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-06 15:47:34 × philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Ping timeout: 252 seconds)
2021-05-06 15:47:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-06 15:49:13 ← seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
2021-05-06 15:51:58 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-06 15:53:31 × LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Remote host closed the connection)
2021-05-06 15:54:48 → Shuppiluliuma joins (~shuppilul@153.33.68.161)
2021-05-06 15:55:24 × cortexauth quits (~cortexaut@2409:4053:2291:557d:9c7c:7508:1d26:929d) (Read error: Connection reset by peer)
2021-05-06 15:56:30 → cortexauth joins (~cortexaut@2409:4053:2291:557d:9c7c:7508:1d26:929d)
2021-05-06 15:56:41 × cortexauth quits (~cortexaut@2409:4053:2291:557d:9c7c:7508:1d26:929d) (Client Quit)
2021-05-06 15:57:36 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-06 15:59:48 → ep1ctetus joins (~epictetus@82.102.31.164)
2021-05-06 16:00:43 → jgt_ joins (~jgt@87.227.221.129)
2021-05-06 16:01:02 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-06 16:01:56 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-06 16:02:10 → lieven joins (~mal@2001:41d0:1:66c4::1)
2021-05-06 16:03:13 → HM joins (a5cc5411@165.204.84.17)
2021-05-06 16:04:22 HM is now known as HGMG
2021-05-06 16:04:49 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 252 seconds)
2021-05-06 16:06:21 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-06 16:06:52 × jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 240 seconds)
2021-05-06 16:09:07 → proofofkeags joins (~proofofke@205.209.28.54)
2021-05-06 16:09:11 × Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 240 seconds)
2021-05-06 16:10:21 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds)
2021-05-06 16:10:24 × HGMG quits (a5cc5411@165.204.84.17) (Quit: Connection closed)
2021-05-06 16:11:11 × royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-06 16:13:45 → wonko7 joins (~wonko7@62.115.229.50)
2021-05-06 16:13:56 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-06 16:15:13 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-06 16:15:16 × Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2021-05-06 16:17:12 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-05-06 16:17:59 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-06 16:18:23 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-05-06 16:18:25 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-05-06 16:24:33 → shiraeeshi joins (~shiraeesh@109.166.56.68)
2021-05-06 16:24:54 → nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-06 16:26:18 → Tene joins (~tene@mail.digitalkingdom.org)
2021-05-06 16:26:18 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
2021-05-06 16:26:18 → Tene joins (~tene@poipu/supporter/slacker/tene)
2021-05-06 16:26:41 → ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-05-06 16:27:31 × martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 260 seconds)
2021-05-06 16:29:46 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-06 16:30:52 × DTZUZU_ quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-05-06 16:31:17 → Guest_26 joins (ba6aa9f7@186.106.169.247)
2021-05-06 16:31:21 → juuandyy joins (~juuandyy@90.106.228.121)
←Prev  Next→
Page 1 .. 4762 4763 4764 4765 4766 4767 4768 4769 4770 4771 4772 .. 5022

All times are in UTC.