Talk:Grammatical Framework (programming language)

This is an old revision of this page, as edited by Inariksit (talk | contribs) at 09:13, 7 September 2020 (Answer to a confusion about what GF is). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Latest comment: 4 years ago by Inariksit
WikiProject iconComputing: Software / CompSci C‑class Low‑importance
WikiProject iconThis article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
CThis article has been rated as C-class on Wikipedia's content assessment scale.
LowThis article has been rated as Low-importance on the project's importance scale.
Taskforce icon
This article is supported by WikiProject Software (assessed as Low-importance).
Taskforce icon
This article is supported by WikiProject Computer science (assessed as Low-importance).
Things you can help WikiProject Computer science with:

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.