[erlang-questions] Erlang Language Specification

[Rickard Green]

On 11/30/2017 02:40 PM, Richard Carlsson wrote:
> Great! I've been trying to prod people over the years to dig up these old
> original files. (I only ever had a copy of the generated .ps/.pdf myself.)

I've unsuccessfully tried to dig them up a couple of times myself over 
the years. I gave up and began reconstructing the source from the 
postscript-file, but then all of a sudden the original source landed on 
my desk :-)

> Who's been sitting on them?
> 

Sorry, that is confidential information :-)

> Note that in src/es.tex, lines 22-23, it's better for now if you made STYLE
> 0 be the default, because it described the actual implementation of Erlang
> at the time ("4.7.3"), while STYLE 1 "Standard Erlang" described an ideal
> new standard that had some possibly incompatible changes, several of which
> were never actually implemented.
> 

Yes, I agree.

Regards,
Rickard

> 
>          /Richard
> 
> 2017-11-30 12:51 GMT+01:00 Rickard Green <rickard@REDACTED>:
> 
>> 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
>>
>