[erlang-questions] Erlang Language Specification

[Kenneth Lundin]

There is one thing with having the spec available as html, which would be
very useful.
But I don't think the source should be html.
The guiding principle should be 1 source many possible presentations.

/Kenneth Erlang/OTP, Ericsson

Den 30 nov. 2017 18:34 skrev "Anthony Ramine" <n.oxyde@REDACTED>:

The most important part of a spec isn't the verbosity of its few
mathematical formulas when editing, it's good cross-reference linking,
internally in externally. The format that excels at that is HTML. There are
various ways to have mathematical formulas in HTML.

> Le 30 nov. 2017 à 16:29, Rickard Green <rickard@REDACTED> a écrit :
>
> 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
>
>>> Le 30 nov. 2017 à 12:51, Rickard Green <rickard@REDACTED> a écrit :
>>>
>>> Hi,
>>>
>>> In the late 90ies work were being done on an Erlang language
specification. A draft which was produced can be found at <
http://www.erlang.org/download/erl_spec47.ps.gz>. Unfortunately the work on
this document stopped after this.
>>>
>>> This document is of course quite outdated, but it contains lots of
valuable information. I think it is about time to continue this work. It
will however require lots of work to finish. We publish the source for the
draft in the hope that we in collaboration with the Erlang community
eventually will be able to produce an official Erlang Language
Specification.
>>>
>>> I've created a new repository <https://github.com/erlang/spec> which
contains the source of the document.
>>>
>>> Regards,
>>> Rickard Green, Erlang/OTP, Ericsson AB
>>> _______________________________________________
>>> erlang-questions mailing list
>>> erlang-questions@REDACTED
>>> http://erlang.org/mailman/listinfo/erlang-questions
>
>

_______________________________________________
erlang-questions mailing list
erlang-questions@REDACTED
http://erlang.org/mailman/listinfo/erlang-questions
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20171130/83b6d8c8/attachment.htm>