* [Caml-list] ABNF Parser
@ 2016-03-18 11:00 picflo_2
2016-03-18 21:10 ` Gabriel Scherer
0 siblings, 1 reply; 2+ messages in thread
From: picflo_2 @ 2016-03-18 11:00 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/html, Size: 700 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] ABNF Parser
2016-03-18 11:00 [Caml-list] ABNF Parser picflo_2
@ 2016-03-18 21:10 ` Gabriel Scherer
0 siblings, 0 replies; 2+ messages in thread
From: Gabriel Scherer @ 2016-03-18 21:10 UTC (permalink / raw)
To: picflo_2; +Cc: caml users
Googling for "ocaml abnf" directs to
https://github.com/avsm/ocaml-abnf
which seem to be an experimental project, but a good starting point.
It has a lexer and a parser for abnf grammars,
https://github.com/avsm/ocaml-abnf/blob/master/abnf_lexer.mll
https://github.com/avsm/ocaml-abnf/blob/master/abnf_parser.mly
a type representing the ABNF abstract syntax tree
https://github.com/avsm/ocaml-abnf/blob/master/abnf_signature.ml
a parser for the grammars embedded in a small command-line tool (that
can also output abnf grammars in several representations)
https://github.com/avsm/ocaml-abnf/blob/master/abnf_cmd.ml
and two examples of abnf grammars
https://github.com/avsm/ocaml-abnf/blob/master/http.abnf
https://github.com/avsm/ocaml-abnf/blob/master/imap.abnf
On Fri, Mar 18, 2016 at 12:00 PM, <picflo_2@web.de> wrote:
> Hi,
>
> i want to encode my network protocols inside a state machine which i derive
> from an abnf specification. Ideally i would like to generate the client and
> server side from
> a single ABNF spec. Is this a valid approach and if so is there some OCaml
> open source project for reading abnf specs?
>
> I would also be very interested in how others approach encoding network
> protocols for distributed systems, especially with OCaml.
>
> Best regards,
>
> Florian
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-03-18 21:10 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-03-18 11:00 [Caml-list] ABNF Parser picflo_2
2016-03-18 21:10 ` Gabriel Scherer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox