Logs: freenode/#haskell
| 2021-04-09 14:06:13 | → | blankshadow joins (~slimespid@115.135.230.105) |
| 2021-04-09 14:06:26 | × | malumore quits (~malumore@151.62.122.180) (Ping timeout: 240 seconds) |
| 2021-04-09 14:09:34 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 245 seconds) |
| 2021-04-09 14:12:24 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-09 14:12:41 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-09 14:13:27 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-04-09 14:15:09 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2021-04-09 14:15:15 | → | v01d4lph_ joins (~v01d4lph4@223.177.183.27) |
| 2021-04-09 14:15:15 | → | lep_ joins (~lep@94.31.86.183) |
| 2021-04-09 14:15:18 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-09 14:16:03 | × | Sorny quits (~Sornaensi@79.142.232.102) (Ping timeout: 246 seconds) |
| 2021-04-09 14:17:23 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-04-09 14:17:37 | × | v01d4lph4 quits (~v01d4lph4@223.177.183.27) (Ping timeout: 265 seconds) |
| 2021-04-09 14:17:42 | × | lep-delete quits (~lep@94.31.86.183) (Ping timeout: 240 seconds) |
| 2021-04-09 14:20:08 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 2021-04-09 14:20:47 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:e87b:2aba:9c97:5f75) (Remote host closed the connection) |
| 2021-04-09 14:20:52 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-04-09 14:21:36 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 2021-04-09 14:23:50 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-09 14:25:27 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-04-09 14:26:37 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Remote host closed the connection) |
| 2021-04-09 14:29:46 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-04-09 14:30:09 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-09 14:32:25 | × | v01d4lph_ quits (~v01d4lph4@223.177.183.27) (Remote host closed the connection) |
| 2021-04-09 14:32:54 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-09 14:34:22 | × | idhugo quits (~idhugo@80-62-117-65-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-04-09 14:36:06 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-09 14:37:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-09 14:37:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-09 14:38:30 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-09 14:41:14 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-09 14:41:53 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-09 14:42:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-09 14:42:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-09 14:43:38 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-04-09 14:44:39 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-09 14:44:54 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 14:46:28 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-09 14:46:30 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-09 14:48:49 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-09 14:50:31 | × | ulidtko|k quits (~ulidtko@194.54.80.38) (Ping timeout: 252 seconds) |
| 2021-04-09 14:50:36 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-09 14:51:05 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-09 14:51:06 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-09 14:53:46 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-09 14:53:59 | → | brkscnce_ joins (~obaum@37.120.31.251) |
| 2021-04-09 14:54:02 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-04-09 14:54:06 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 240 seconds) |
| 2021-04-09 14:54:46 | → | honigkuchen joins (~honigkuch@ip5b429953.dynamic.kabel-deutschland.de) |
| 2021-04-09 14:54:52 | <honigkuchen> | if polymorphism can be understood as a whatsoever higher concept of a programming language |
| 2021-04-09 14:55:12 | <honigkuchen> | what could be more higher than that |
| 2021-04-09 14:55:15 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-09 14:55:30 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-04-09 14:56:03 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-09 14:57:56 | × | malumore_ quits (~malumore@151.62.122.180) (Ping timeout: 268 seconds) |
| 2021-04-09 14:57:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-09 14:58:17 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-09 14:58:31 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-09 14:58:42 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-09 15:00:05 | → | malumore_ joins (~malumore@151.62.122.180) |
| 2021-04-09 15:01:04 | → | Guest182 joins (~laudiacay@67.176.215.84) |
| 2021-04-09 15:01:44 | <ski> | honigkuchen : sorry, i didn't get the "whatsoever higher concept" part |
| 2021-04-09 15:02:00 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-09 15:02:09 | <HannaM> | honigkuchen: transcendence |
| 2021-04-09 15:02:30 | <HannaM> | Q-ness |
| 2021-04-09 15:02:34 | <HannaM> | you name it |
| 2021-04-09 15:05:57 | × | Guest182 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 2021-04-09 15:06:53 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-09 15:08:12 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-09 15:08:47 | × | kaction quits (~kaction@ppsr.interfacefinancial.com) (Ping timeout: 260 seconds) |
| 2021-04-09 15:09:02 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-09 15:09:09 | <honigkuchen> | there is the subject concepts of programming languages in university |
| 2021-04-09 15:09:18 | <honigkuchen> | which in the best case covers all concepts programming languages could habe |
| 2021-04-09 15:09:25 | <honigkuchen> | s/habe/have |
| 2021-04-09 15:09:35 | <honigkuchen> | and you can understand or feel, that some concepts are more complex and harder und some easier to understand |
| 2021-04-09 15:09:46 | <honigkuchen> | and some concepts are based on other concpets |
| 2021-04-09 15:10:13 | × | hugo quits (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-04-09 15:10:25 | <sedeki> | honigkuchen you are repeating yourself (here and in ##c++) |
| 2021-04-09 15:10:31 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 2021-04-09 15:10:53 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-09 15:11:06 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:31ee:a622:91dc:6e17) |
| 2021-04-09 15:11:42 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-09 15:11:42 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-04-09 15:11:55 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-09 15:12:00 | <ski> | honigkuchen : okay ? how does that connect with polymorphism ? |
| 2021-04-09 15:12:17 | <honigkuchen> | polymorphism is one of all these concepts |
| 2021-04-09 15:12:27 | <honigkuchen> | and is based on other concepts |
| 2021-04-09 15:12:38 | <honigkuchen> | and there can exist concepts, that are based on this concepts |
| 2021-04-09 15:12:58 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-09 15:13:15 | <ski> | (and which sense of "polymorphism" do you have in mind ? parametric ? inclusion ? a more ad-hoc one ?) |
| 2021-04-09 15:13:39 | <ski> | @where on-understanding |
| 2021-04-09 15:13:39 | <lambdabot> | "On Understanding Types, Data Abstraction, and Polymorphism" by Luca Cardelli,Peter Wegner in 1985-12 at <http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf> |
| 2021-04-09 15:14:34 | <honigkuchen> | all of them and also heritage |
| 2021-04-09 15:14:45 | <ski> | honigkuchen : so far, what you've said is a bit too vague to usefully comment on, i think |
| 2021-04-09 15:14:55 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-09 15:14:56 | <ski> | "heritage" ? |
| 2021-04-09 15:14:59 | <honigkuchen> | yes it is vague |
| 2021-04-09 15:15:26 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:31ee:a622:91dc:6e17) (Ping timeout: 258 seconds) |
| 2021-04-09 15:15:46 | <hyperisco> | honigkuchen, are you asking if there could be a concept based on polymorphism? |
| 2021-04-09 15:15:52 | <honigkuchen> | yes |
All times are in UTC.