[04:04:22] *** Joins: drbean (~drbean@TC210-63-209-202.static.apol.com.tw) [06:04:56] *** Quits: drbean (~drbean@TC210-63-209-202.static.apol.com.tw) (Ping timeout: 258 seconds) [06:22:46] *** Joins: drbean (~drbean@TC210-63-209-78.static.apol.com.tw) [10:06:30] now it's live! https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia#Response_from_the_Grammatical_Framework_community [10:09:39] inariksit: great :) [10:22:38] inariksit: I second daherb's comment! I also think that i GF were to be used by the AW project, it would be a great motivation for writing RGs, so I'd say that there will be GF people working on this. [10:23:17] please add that statement here :-P https://meta.wikimedia.org/wiki/Talk:Abstract_Wikipedia#Division_of_labour [10:23:21] (to clarify: 'also' as in 'like you write') [10:23:28] I will [10:23:39] sign with ~~~~ , I didn't know it before so I didn't sign my first comment [10:23:43] great! [10:24:19] An AW-themed Summer school is a super idea if there is interest from AW. [10:34:53] i added my small comment. [10:36:11] thanks! [10:51:41] thanks for writing your response! [11:24:39] Who are the competitors to GF? [11:26:08] Don't answer. I'm quitting. [11:30:42] *** Quits: drbean (~drbean@TC210-63-209-78.static.apol.com.tw) (Ping timeout: 256 seconds) [11:56:01] competitors in the sense of grammar formalisms in general, or grammar formalisms that have been suggested for AW? [11:56:24] for the former, the list on the GF web page gives some ideas (though a bit outdated I guess) [11:56:25] GF, Grammatical Framework, is a programming language for multilingual grammar applications. It is [11:56:25] a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages [11:56:25] a functional programming language, like Haskell, Lisp, OCaml, SML, Scheme, but specialized to grammar writing [11:56:25] a development platform for natural language grammars, like LKB, XLE, Regulus, but based on functional programming and type theory [11:56:25] a categorial grammar formalism, like ACG, CCG, but specialized for multilingual grammars, [11:56:26] a logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic [11:56:26] a platform for machine translation, like Moses, Apertium, but based on deep structural analysis (and usually applied for limited fragments of language). [11:56:54] HPSG folks have their own RGs, a list here http://moin.delph-in.net/GrammarCatalogue [11:59:20] I don't know if people would see UD as a competitor to GF--I don't think it is [12:00:23] (UD = https://universaldependencies.org , in case someone is reading this from a log or something and doesn't know the context) [12:01:18] btw, the Wikipedia article of GF is outdated and has issues https://en.wikipedia.org/wiki/Grammatical_Framework , does someone have time and energy to improve it? [12:01:59] also, please add at least your own publications here http://www.grammaticalframework.org/doc/gf-bibliography.html -- I'm planning to bring it up to date [12:07:42] inariksit: it seems kind of easy to add a concrete syntax to agda, i'm just describing it for a sltc abstract [12:11:27] cool! so is that a new competitor? :-D [12:12:48] it is great for reasoning and generation but parsing is missing [12:15:53] okay so definitely a competitor! who is even using parsing these days :-P [12:16:10] freeside: should we switch from GF to agda at cclaw? :-P we'd get reasoning! [12:16:40] and agda actually has working dependent types [12:17:09] and you can just type C-c something and the code writes itself :---D [12:18:18] I wonder which is more challenging, hire competent GF devs or agda devs [14:35:39] *** Joins: drbean (~drbean@TC210-63-209-211.static.apol.com.tw) [15:14:34] drbean: did you mean competitors in the sense of grammar formalisms in general, or grammar formalisms that have been suggested for AW? [15:22:11] this is what was said about the topic when you were offline https://pastebin.com/qrxJs3p4 [15:49:21] I meant in the AW context. Presumably, no corpus-based, machine-learning ones. [15:52:03] I am about to go offline again. I can read at http://www.grammaticalframework.org/irc/2020-09-07.log [15:57:11] yeah, not in the AW context, as far as I've seen [15:58:27] *** Quits: drbean (~drbean@TC210-63-209-211.static.apol.com.tw) (Quit: ZNC 1.8.1+cygwin2 - https://znc.in)