[04:26:36] *** Joins: drbean (~drbean@TC210-63-209-205.static.apol.com.tw) [09:40:08] *** Quits: drbean (~drbean@TC210-63-209-205.static.apol.com.tw) (Ping timeout: 265 seconds) [13:33:40] *** Joins: drbean (~drbean@TC210-63-209-23.static.apol.com.tw) [13:57:13] *** Quits: drbean (~drbean@TC210-63-209-23.static.apol.com.tw) (Ping timeout: 264 seconds) [14:25:48] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [15:55:46] wmacmil: shall I assume general knowledge about subtyping, or should I explain subtyping from zero, using GF as an example? [15:56:00] i think the later [15:56:05] okay! [15:56:23] I'll think of something simpler than RGL examples :-D [15:56:57] but, as you know, the audience will be more computer science & logic backgrounds than computational lingustics. [15:57:27] the practical benefits I see tend to be quite subtle, like I was just last week working with an application grammar, where the lincat of some cat A was in a functor {a : Foo ; b : Bar} [15:57:41] but in my concrete language, the param Bar was completely unnecessary [15:58:11] but a : Foo is still the same, so I could just override the lincat for A myself, not the individual lexicon entries of type A [15:59:04] that sounds interesting to me (if I understand it), i think subtelties can be very interesting [15:59:30] do you mean functor in the module level functoriality associated with GF, or is there some other overloaded use? [15:59:33] right, I can think of examples like that [16:00:04] I mean functor in the GF sense: abstract MyGrammar, incomplete concrete MyGrammarI, concrete MyGrammarEng = MyGrammarI with … [16:00:10] so MyGrammarI is a "functor" [16:00:29] ok, got it [16:00:30] I can call them parametrised modules to avoid confusion :-D [16:01:54] if you think of some feature you want me to introduce, so that you don't have to in your talk, let me know and I can probably include it [16:02:08] also, the internet is quite starved of open source GF material generally (your blogs being one big exception). do you want to see if people are alright with it being recorded [16:02:18] yes, that would be great! [16:02:23] and put on youtube, vimeo, whatever [16:02:37] youtube GF propaganda [16:02:45] ;: [16:02:48] ;)* [16:03:07] yes! this channel needs more content :-D www.youtube.com/channel/UCZ96DechSUVcXAhtOId9VVA [16:04:58] cool