[erlang-questions] Erlang Language Specification

[Joe Armstrong]

On Thu, Nov 30, 2017 at 4:33 PM, Simon  Thompson
<S.J.Thompson@REDACTED> wrote:
>
> Once it’s stable would be great to transform the document into something
> executable (e.g. Erlang, Haskell) or even verifiable (Isabelle, Coq,
> K-framework) so that there’s a “reference implementation” which can be
> tested and verified.
>
> Simon
>

Great idea - I'd go for an XML input with a custom DTD - this is
pretty easy to transform
into PDF (via LaTeX or Apache FOP) or HTML and subsets can be extracted for
automatic code generation and verification.

I've often used XML for this, generating code, manual pages and PDFs
from a single
input.

/Joe


>
> On 30 Nov 2017, at 15:29, Rickard Green <rickard@REDACTED> wrote:
>
> On 11/30/2017 04:08 PM, Anthony Ramine wrote:
>
> Would be nice to rewrite that in HTML, we are in 2017 after all.
>
>
> No I don't think it would be a good ide to rewrite this in HTML. There might
> be other options than latex, but I don't see that HTML would be an option.
> This due to the mathematical formulas in the document.
>
> There are tools available to produce html from latex which can be integrated
> in the makefiles which of course would be nice.
>
> Regards,
> Rickard
>
>
> Simon Thompson | Professor of Logic and Computation
> School of Computing | University of Kent | Canterbury, CT2 7NF, UK
> s.j.thompson@REDACTED | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
>
>
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>