[00:02:02] *** Quits: koom (~koo5@79.98.72.195) (Ping timeout: 260 seconds) [10:17:15] *** Parts: jstar (~jstar@unaffiliated/jstar) ("Leaving") [10:17:21] *** Joins: jstar (~jstar@unaffiliated/jstar) [10:37:20] *** Joins: JuanDaugherty (~juan@98.4.124.117) [10:47:33] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [10:48:05] *** Joins: JuanDaugherty (~juan@98.4.124.117) [14:14:12] *** Quits: proteusguy (~proteus-g@p2035150-ipngn200605osakachuo.osaka.ocn.ne.jp) (Ping timeout: 258 seconds) [15:56:56] *** Joins: koom (~sirdancea@109.107.211.244) [15:58:28] *** Joins: venicecat (8602521e@gateway/web/freenode/ip.134.2.82.30) [15:59:49] *** Joins: koom_ (~koo5@109.107.211.244) [16:05:10] *** Joins: proteusguy (~proteus-g@p2035150-ipngn200605osakachuo.osaka.ocn.ne.jp) [18:16:10] *** Quits: venicecat (8602521e@gateway/web/freenode/ip.134.2.82.30) (Ping timeout: 260 seconds) [19:08:04] *** Quits: stoopkid (uid137696@gateway/web/irccloud.com/x-yvthfjovuekaagip) (Quit: Connection closed for inactivity) [19:26:35] *** Quits: koom (~sirdancea@109.107.211.244) (Ping timeout: 240 seconds) [19:28:32] *** Quits: koom_ (~koo5@109.107.211.244) (Ping timeout: 258 seconds) [20:35:35] *** Joins: e3928a3bc (~user@2804:14d:5cd8:8447::4) [23:01:29] hello everyone [23:01:46] I'm new to GF; is this the appropriate venue for asking beginner questions? [23:02:29] yes! [23:03:18] and welcome to the channel ^^ [23:11:49] sup e3928a3bc [23:14:17] thanks! do you have the GF book at hand? I was wondering how to solve exercise 2-9 for the unambiguous version without having every sentence contain only ComplexKind and Kind categories [23:16:17] the book proposes a new fun =fun With : Kind -> ComplexKind -> ComplexKind ;= but no way of creating ComplexKind's in the first place. the only way I thought of solving this was creating a constructor, but then I could not refer to a category as either Kind or ComplexKind (I realise full GF has a solution to this, but I can't come up with something with what I've learned until now) [23:18:19] I have a preprint where this is exercise 2-8, is this the same? [23:18:23] the ambiguous and the unambiguous versions. [23:18:27] sorry [23:18:30] Exercise [23:18:30] 2-8. Add the [23:18:30] with [23:18:30] construction to the [23:18:30] Food [23:18:31] grammar, in both [23:18:32] the ambiguous and the unambiguous versions. [23:19:35] you can create a coercion function of type Kind -> ComplexKind [23:20:24] so 2 new functions Kind2ComplexKind : Kind -> ComplexKind, and With like in the book [23:22:36] "like in the book", I mean, With : Kind -> ComplexKind -> ComplexKind [23:25:47] in this version, you'd still have Pizza : Kind ; Wine : Kind and so on [23:25:59] and probably you'd want to keep Mod as Quality -> Kind -> Kind [23:26:40] unless you wanted to modify a whole ComplexKind "delicious (pizza with cheese)" [23:27:12] but it seems better to me to keep Mod as is, and then you could do "(delicious pizza) with (boring wine)" [23:31:49] It is the same! [23:32:17] same as what? [23:32:45] inariksit it is the same exercise! [23:32:50] okay :) [23:34:40] so, from what I understand, the coercion function would allow me to have a base-case for the ComplexKind constructor without me forcing every Kind to become a ComplexKind [23:34:48] I'll try it now, thanks inariksit ! [23:35:09] yeah [23:35:46] you'll need to change This and That too [23:36:12] so that you can do "this (pizza with cheese)" and "this pizza" [23:36:26] so in practice, the coercion function would end up being used every time [23:37:53] but yes, you don't need to change the definitions of Pizza, Wine, Cheese, Fish etc. in the grammar [23:38:42] yeah, I got into that now... it works in that I don't generate only "Kind with Kind" expressions [23:39:22] but when I parse it will it be unambiguous? (I'll test it now) [23:40:23] yeah, because With takes a Kind and a ComplexKind, so "pizza with cheese with wine" has no other choice than With Pizza (With Cheese (Kind2ComplexKind Wine)) [23:40:56] (feel free to name the coercion function something less unwieldy :-P) [23:50:28] inariksit: thank you for your help! all is working :) [23:50:56] woo!