[00:57:54] *** Quits: venicecat (6d6e1376@gateway/web/freenode/ip.109.110.19.118) (Ping timeout: 260 seconds) [03:41:39] *** Joins: proteusguy (~proteus-g@119.63.68.196) [03:47:14] *** Quits: proteusguy (~proteus-g@119.63.68.196) (Remote host closed the connection) [04:07:37] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:4d51:8e5e:28ab:3b56) [05:45:13] *** Quits: proteusguy (~proteus-g@2405:9800:b408:bc31:4d51:8e5e:28ab:3b56) (Ping timeout: 246 seconds) [05:45:59] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:4d51:8e5e:28ab:3b56) [07:20:10] *** Quits: drbean_ (~drbean@124.219.83.42) (Quit: ZNC 1.6.5 - http://znc.in) [07:23:14] *** Joins: drbean (~drbean@124.219.82.41) [07:28:34] *** Joins: drbean_ (~drbean@124.219.83.41) [07:29:57] *** Quits: drbean (~drbean@124.219.82.41) (Ping timeout: 240 seconds) [09:09:37] *** Quits: proteusguy (~proteus-g@2405:9800:b408:bc31:4d51:8e5e:28ab:3b56) (Remote host closed the connection) [09:16:44] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [09:17:48] *** Quits: drbean_ (~drbean@124.219.83.41) (Quit: ZNC 1.6.5 - http://znc.in) [09:21:50] *** Joins: drbean (~drbean@210.60.168.195) [09:34:12] in variants {} flattening, are the ++ combinations of variants O() polynomial or exponential? [09:36:15] linear in the number of | and exponential in the number of ++ [09:39:24] *** Joins: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) [09:48:50] lol krasimir had a whiteboard marker malfunction due to pre, but fixed it using BIND [09:48:59] hahah [09:53:40] *** ChanServ sets mode: +o jstar [10:05:04] *** Quits: pkolachi (05b309d8@gateway/web/freenode/ip.5.179.9.216) (Ping timeout: 260 seconds) [10:19:40] *** Joins: proteusguy (~proteus-g@119.63.68.196) [10:27:42] *** Quits: proteusguy (~proteus-g@119.63.68.196) (Read error: Connection reset by peer) [11:18:23] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:6c81:59b1:37b6:8b09) [11:28:33] daherb: did you also get the "call for paper - ring för papper" mail [11:38:55] inariksit: yes [11:39:15] :D sounds like someone needs an application grammar for academic communication [11:40:06] mbrock: you mean academic spam [11:40:30] maybe with dependent type they would also stop calling me "dr." already [11:44:13] can I use symbols like PrepNP, DetCN, etc, in say an English concrete grammar, instead of the smart paradigms? [11:44:40] because I realized it's convenient to first parse an example sentence in the shell, and then copy the tree as a template [11:46:19] hmm if you only open SyntaxEng, ParadigmsEng etc and not the internal modules, maybe? try and see ^^ [11:47:15] ah, I could open `Grammar` [11:47:43] yeah [11:47:58] if you use Grammar instead of the API, it's not guaranteed that the definitions will stay the same [11:48:02] so that's at your own risk [11:48:53] like the paradigm API is considered the user-facing stable way to do thing? [11:49:13] yeah [11:49:36] it seems like it would be convenient to have a way to search for paradigm combinations that can create a given tree [11:50:23] so ParadigmsXxx doesn't have a unified API [11:50:26] but Syntax does [11:50:27] https://github.com/GrammaticalFramework/GF/blob/master/lib/src/api/Constructors.gf [11:50:44] and you can find them here [11:50:45] http://www.grammaticalframework.org/lib/doc/synopsis.html#toc5 [11:51:03] ctrl+f "NP -> V" or something [11:51:10] ah, yeah, I do that a lot [11:51:15] yeah [11:51:24] okay so yeah an actually convenient way :-D [11:53:01] there's this, but I don't know if it's actually useful either http://www.grammaticalframework.org/doc/gf-refman.html#toc57 [11:54:08] oh, interesting [11:56:23] I'm trying to express "buy an apple for a euro" [11:58:41] it'd be probably easiest to have [buy an apple] as VP and [for a euro] as Adv [11:58:44] mkVP : VP -> Adv -> VP -- sleep here [11:59:35] and if you want the end result to be imperative, you can use mkImp : VP -> Imp -- come to my house [12:12:24] how to use git: https://xkcd.com/1597/ [12:15:20] sounds like the concern would be solved by a TDD / CI kind of approach [12:15:39] https://github.com/marketplace/travis-ci [12:21:38] yes, if as Aarne said it would be useful just to check "cabal build" for every commit, then that is very easy to set up with Travis, and it's free for open source projects [12:22:18] it will also automatically test every submitted pull request [12:23:25] that would be a good start! after that i could imagine a simple set of test scripts to verify parse/linearization against a corpus [12:24:43] indeed [12:25:38] I'll try to get it working in the afternoon maybe [12:34:59] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [13:54:19] *** Joins: koom (~sirdancea@109.107.211.244) [14:28:12] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [14:29:49] in the RGL, there are functions that make a determiner with a noun [14:30:01] i don't seem to see any that does determiner and verb [14:30:25] i'm trying to say "this give" [14:31:19] can you give an example of that in a sentence? [14:34:52] after forking and cloning, it is advisable to also GF% git remote add upstream https://github.com/GrammaticalFramework/GF [14:35:26] see documentation https://help.github.com/articles/syncing-a-fork/ [14:36:12] er, starting with https://help.github.com/articles/configuring-a-remote-for-a-fork/ [14:45:01] venicecat: there's DetNP in Noun.gf [14:45:24] and mkNP : Det -> NP -- these five best --: [14:45:31] in the Syntax API [14:45:53] oops I totally misread what you wanted! [14:47:29] so not really, maybe you can define your own custom type with nouny field and verby field and from that category you could derive both nouns and verbs? [14:49:27] as an inspiration, the Phrasebook has a category Nationality, which has fields {lang : NP ; country : NP ; prop : A} [14:50:03] and then you have different functions of type Nationality -> something , each of which uses the nationality in a different way [14:50:28] like Italian restaurant, I speak Italian and live in Italy [14:58:29] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [14:59:09] *** Joins: livy (05b30c84@gateway/web/freenode/ip.5.179.12.132) [14:59:24] https://www.youtube.com/watch?v=CDeG4S-mJts [14:59:57] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [15:06:39] *** Quits: livy (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [15:37:34] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [15:53:29] i think, after careful consideration, that inari is right [15:53:30] again [15:54:10] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [15:54:28] oops was disconnected! [15:54:54] And thanks Inari, i managed to pull the earlier logs and saw your recommendation using mkNP : Det -> NP [15:55:16] i will go try that [15:58:49] i would reason that in the sentence "this rules", there is an invisible "this [thing] rules", so "this [thing]" is the NP, and Det -> NP gets you there [16:22:49] aha okay so that's what you wanted after all? I thought that you wanted to make a NP "this give" [16:23:11] but if it is [NP this] [V gives], then mkNP : Det -> NP is the way to go [17:10:32] yays works! [17:11:32] GF is like this big jigsaw puzzle... it is quite a nice workout to find the correct fit [17:11:45] on to the next piece of puzzle [17:14:11] ^^ [17:36:15] i have discovered ... Adverbs [17:55:08] *** Joins: livy (05b30c84@gateway/web/freenode/ip.5.179.12.132) [17:58:17] i have discovered subjunctions [17:59:04] i'm still musing on how to join two phrases together [18:00:25] lol i'm building a long sentence by chunks and i kept thinking i'm doing it all wrong [18:01:08] so "this certifies" now works [18:01:27] the next chunk would be "that in exchange for the payment" [18:02:07] so my thinking is that there is a way to stitch these two phrases together.. [18:02:18] i will muse some more [18:12:10] [in exchange for the payment] is an Adverb [18:12:24] so it's better to think about the whole [18:12:43] this certifies *that* [ I eat cats] [18:13:00] so you can think how to piece together [in exchange for the payment] [I eat cats] [18:13:50] which could be for instance mkS : Adv -> S -> S -- today, she sleeps --: [18:13:58] so let's keep that as a working hypothesis [18:14:35] [this:NP certifies:V] that:??? [ [in exchange for the payment]:Adv [I eat cats]:S]:S ] [18:14:50] and then maybe combine that with the latter S into a relative something [18:15:14] mkSC : S -> SC -- that he sleeps --: [18:15:20] looks promising [18:15:33] then you'd have NP, V(2) and SC [18:20:54] *** Quits: livy (05b30c84@gateway/web/freenode/ip.5.179.12.132) (Ping timeout: 260 seconds) [18:23:14] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [18:44:54] *** Quits: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) (Quit: Lost terminal) [18:47:09] *** Joins: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) [18:53:53] *** Joins: venicecat (6de5c968@gateway/web/freenode/ip.109.229.201.104) [19:19:50] TIL: "cannot infer type of constant mkFoo" might mean that you have got a `mkFoo (...)` when you should have `(mkFoo ...)` [19:20:09] good old s-exps vs C-style function calls [19:34:56] oooh very cool Inari! i have some frogress! [19:35:12] i'm getting this structure "in exchange forly this certifies" [19:35:32] just need to flip this around [19:36:18] Will attempt an RCL next [19:38:57] *** Quits: koom (~sirdancea@109.107.211.244) (Ping timeout: 248 seconds) [19:40:49] *** Quits: venicecat (6de5c968@gateway/web/freenode/ip.109.229.201.104) (Ping timeout: 260 seconds) [20:53:57] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 240 seconds) [20:55:21] *** Joins: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) [20:55:22] *** Quits: jbalint (~jbalint@24-177-124-81.dhcp.mdsn.wi.charter.com) (Changing host) [20:55:22] *** Joins: jbalint (~jbalint@unaffiliated/jbalint) [22:14:21] *** Quits: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) (Quit: Later) [22:19:19] *** Joins: vinit (~vin-ivar@5.172.187.35.bc.googleusercontent.com) [22:19:50] *** Quits: vinit (~vin-ivar@5.172.187.35.bc.googleusercontent.com) (Client Quit) [22:20:41] *** Joins: vinit (~vin-ivar@5.172.187.35.bc.googleusercontent.com) [22:21:20] *** Quits: vinit (~vin-ivar@5.172.187.35.bc.googleusercontent.com) (Client Quit) [22:24:07] *** Joins: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) [22:32:19] *** Joins: JuanDaugherty (~juan@98.4.124.117) [23:22:42] *** Quits: lillann (uid244962@gateway/web/irccloud.com/x-kewsusowhayswkzk) (Quit: Connection closed for inactivity)