From: "Jake A. Kirilenko" <jake@freemail.ru>
To: Alex Baretta <alex@barettadeit.com>
Cc: Ocaml <caml-list@inria.fr>
Subject: Re: [Caml-list] Yacc limitations
Date: Fri, 23 Sep 2005 10:05:30 +0400 [thread overview]
Message-ID: <575276321.20050923100530@freemail.ru> (raw)
In-Reply-To: <43327FEF.7070209@barettadeit.com>
Hello Alex,
Thursday, September 22, 2005, 1:57:03 PM, you wrote:
I'm developing a RD parser generator (YARD) in pure Ocaml that
combines modern ideas about functional parsers. I have not analyzed
the class of grammars being parsed but it is wider then CFG. Smth
about left attributed but I am not ready to discuss this topic.
Short example of rule `iter' that applies argument `a' `n' times:
iter[a n] : => n > 0 => <hd> = a <tl> = iter[ a (n - 1)] {hd::tl}
| => n = 0 => {[]}
( `=> ... =>' is a predicate/guardian, `<..>' is a binding)
Do you believe that this kind of parsers are able to parse SQL?
YARD is open source project, but I have not published sources yet but
if somebody is interested I will. Generator (YARD) is ready to be used
and is being used in our projects, but it rapidly changes =). YARD
AB> I am getting very much annoyed with the obtusity of the LALR-yacc parser
AB> generators. I have unsurmountable difficulties at teaching ocamlyacc how
AB> to parse SQL decently.
AB> What is the "way to go" in terms of parser generators for Ocaml? I'd
AB> like to see if there is some level of agreement in the community on this
AB> issue.
AB> Alex
Best regards,
Jake mailto:jake@freemail.ru
next prev parent reply other threads:[~2005-09-23 6:04 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-22 9:57 Alex Baretta
2005-09-22 13:09 ` [Caml-list] " Christophe Raffalli
2005-09-26 11:54 ` Pierre Boulet
[not found] ` <4332ACF2.6020702@univ-savoie.fr>
2005-09-22 14:05 ` Alex Baretta
2005-09-22 16:37 ` Christophe TROESTLER
2005-09-23 6:05 ` Jake A. Kirilenko [this message]
2005-09-23 15:30 ` Alan Falloon
2005-09-22 16:46 yoann padioleau
2005-09-22 17:08 ` brogoff
2005-09-23 9:29 yoann padioleau
2005-09-23 12:51 ` Alex Baretta
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=575276321.20050923100530@freemail.ru \
--to=jake@freemail.ru \
--cc=alex@barettadeit.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).