Talk:Grammatical Framework (programming language)

Latest comment: 3 years ago by Inariksit

the webalt link goes to a japanese web page that is definitenly not the webalt project. The EU page points to http://webalt.math.helsinki.fi/content/index_eng.html, but that has not been responsive to me. Probably the link should be deleted.


The first sentence says: "Grammatical Framework (GF) is a programming language for writing grammars of natural languages." However, at the top of https://www.grammaticalframework.org/ it says "..a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages" (emphasis added). So what is it? 37.157.104.56 (talk) 23:05, 15 June 2019 (UTC)Reply

Please notice that you're only citing the first bullet point in a long list. This is the whole list (emphasis mine). --Inariksit (talk) 09:13, 7 September 2020 (UTC)Reply

GF, Grammatical Framework, is a programming language for multilingual grammar applications. It is

  • a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages
  • a functional programming language, like Haskell, Lisp, OCaml, SML, Scheme, but specialized to grammar writing
  • a development platform for natural language grammars, like LKB, XLE, Regulus, but based on functional programming and type theory
  • a categorial grammar formalism, like ACG, CCG, but specialized for multilingual grammars,
  • a logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic
  • a platform for machine translation, like Moses, Apertium, but based on deep structural analysis (and usually applied for limited fragments of language).

Don't worry if you don't know most of the references above - but if you do know at least one, it may help you to get a first idea of what GF is.