Logs: freenode/#haskell
| 2021-04-15 06:44:17 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 06:44:41 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-15 06:45:10 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 06:45:44 | → | MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-04-15 06:47:28 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-15 06:47:57 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-15 06:48:56 | × | dave_uy48 quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 2021-04-15 06:49:04 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5401:53e5:3a7a:be9e) |
| 2021-04-15 06:49:54 | → | nineonin_ joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
| 2021-04-15 06:51:01 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) |
| 2021-04-15 06:51:03 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 06:52:07 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-04-15 06:52:24 | → | dave_uy48 joins (~david@108.61.193.26) |
| 2021-04-15 06:53:23 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-04-15 06:53:36 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5401:53e5:3a7a:be9e) (Ping timeout: 258 seconds) |
| 2021-04-15 06:54:26 | × | MrMobius quits (~MrMobius@208.58.206.154) (Ping timeout: 246 seconds) |
| 2021-04-15 06:54:39 | × | echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 2021-04-15 06:54:53 | → | rmk236 joins (~lcampos@ip-37-201-211-111.hsi13.unitymediagroup.de) |
| 2021-04-15 06:55:09 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 2021-04-15 06:56:36 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-15 06:57:36 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 06:57:45 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 06:58:49 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 265 seconds) |
| 2021-04-15 06:58:54 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-15 07:01:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 07:02:52 | → | MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-04-15 07:03:06 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-04-15 07:03:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-15 07:05:43 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-15 07:07:01 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 2021-04-15 07:08:21 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 07:08:42 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:9862:5ebf:d254:8a81) |
| 2021-04-15 07:09:06 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-15 07:09:38 | → | nicholas_ joins (~nicholasb@2601:900:4301:da0:e405:142d:f14b:a007) |
| 2021-04-15 07:10:22 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 07:10:54 | × | aerona quits (~aerona@2600:6c54:4600:f300:3482:b912:44a5:8346) (Quit: Leaving) |
| 2021-04-15 07:11:17 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-15 07:11:43 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:340f:2736:618a:ba87) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 07:13:09 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:9862:5ebf:d254:8a81) (Ping timeout: 258 seconds) |
| 2021-04-15 07:13:56 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 07:14:17 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-04-15 07:14:18 | × | nicholas_ quits (~nicholasb@2601:900:4301:da0:e405:142d:f14b:a007) (Ping timeout: 258 seconds) |
| 2021-04-15 07:14:40 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-15 07:16:56 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-15 07:16:57 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-04-15 07:17:30 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-15 07:17:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-15 07:17:57 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 07:20:54 | → | dunj3 joins (~dunj3@2001:16b8:30dd:8b00:33d6:e798:cf85:ced0) |
| 2021-04-15 07:21:45 | × | jespada quits (~jespada@90.254.243.187) (Quit: Sleeping) |
| 2021-04-15 07:22:20 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-15 07:22:21 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 07:25:14 | → | xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 2021-04-15 07:30:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 07:34:17 | → | knupfer joins (~Thunderbi@200116b82be60c00402734a0c266fa8b.dip.versatel-1u1.de) |
| 2021-04-15 07:34:32 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 07:35:05 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 07:37:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 07:39:06 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 240 seconds) |
| 2021-04-15 07:39:45 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-15 07:40:43 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-15 07:41:31 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 07:41:37 | × | rmk236 quits (~lcampos@ip-37-201-211-111.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-15 07:42:02 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-15 07:42:08 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-04-15 07:42:08 | → | rmk236 joins (~lcampos@2a02:908:3616:b100:7f3a:e025:cd55:2b03) |
| 2021-04-15 07:42:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 07:43:41 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2021-04-15 07:44:07 | × | MrMobius quits (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 2021-04-15 07:44:12 | × | nineonin_ quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 258 seconds) |
| 2021-04-15 07:46:07 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 2021-04-15 07:48:11 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-15 07:48:34 | <BosonCollider> | okay, some of the patterns from Julias type system are honestly really intriguing |
| 2021-04-15 07:48:55 | <BosonCollider> | inheritance hierarchies for uninhabited types are common |
| 2021-04-15 07:49:44 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 246 seconds) |
| 2021-04-15 07:50:14 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 07:51:55 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-15 07:51:55 | × | todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2021-04-15 07:52:15 | <BosonCollider> | Mainly when making trait bounds which are mutually exclusive, by applying single inheritance to traits basically, which is separate from typeclass implication |
| 2021-04-15 07:52:29 | → | raichoo joins (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) |
| 2021-04-15 07:52:32 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds) |
| 2021-04-15 07:54:03 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) |
| 2021-04-15 07:54:33 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 07:56:05 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 07:56:11 | <BosonCollider> | I guess the typeclass equivalent for this would be to have type implication depend only on the root typeclass, but you get to have multiple subcases of each typeclass that are mutually exclusive and can have different default implementations |
| 2021-04-15 07:56:39 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:b969:a1b1:317:a236) |
| 2021-04-15 07:57:12 | koz | is now known as koz_ |
| 2021-04-15 07:57:52 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-15 07:58:23 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:9346:b3f:94d7:13fa) (Ping timeout: 260 seconds) |
| 2021-04-15 08:00:08 | → | Alleria joins (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-15 08:00:20 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds) |
| 2021-04-15 08:00:29 | Alleria | is now known as Guest34423 |
| 2021-04-15 08:01:04 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:b969:a1b1:317:a236) (Ping timeout: 258 seconds) |
| 2021-04-15 08:04:55 | × | Guest34423 quits (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-04-15 08:05:53 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 08:07:20 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-15 08:08:48 | <BosonCollider> | I guess that's arguably higher kinded inheritance? |
| 2021-04-15 08:09:48 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-15 08:10:01 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:6755:5277:6a5:378b) |
| 2021-04-15 08:10:12 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Read error: Connection reset by peer) |
All times are in UTC.