Operational Semantics for Scala language

[Behrooz Nobakht]

Hello,

I've been recently using Scala to implement a modelling language. Specifically, we have been using Actor library and the now we want to add the concept of continuations introduced by reset/shift construct by Scala. In this regard, we're interested to study the operational semantics of Scala if there is any document/reference/publication that addresses a formal specification of operational semantics for the language apart from the paper for ICFP'09. Is there any?

Thanks in advance,
Behrooz

[Behrooz Nobakht]

Hi again,

Will anybody from Scala team please provide a reply to this question? Or, redirect me to a better place to post this questions?

Thanks in advance,
Behrooz

[rkuhn]

Hi Behrooz,

I am not familiar with what you are asking, and hence cannot offer a response, but I would like to comment that I see no reason for you to get rude. Your question seems not connected to the practical matters of implementing the language, so you may have more luck on the scala-language or scala-user lists (the latter simply because it has a wider audience).

Regards,

Roland

[Behrooz Nobakht]

Hi Roland,

Thanks for the reply. I'll try to use your idea and maybe contact the authors of the papers.

Surprisingly, I'd be honored to know how you considered me getting "rude"?

Looking forward to having a reply,
Behrooz

[rkuhn]

Hi Behrooz,

now it is clear that it was not intentional: the phrase “will you please” is rather imperative (as in a mother telling her child “will you please stop that!”), I think you meant “would you please”.

Regards,

Roland

[Scott Morrison]

I have nothing to do with the scala language, just a bystander. But since someone thought you were rude, and you didn't understand why, I'll explain.

It was your phrasing "Will anybody from Scala team please provide a reply to this question?" In my understanding of colloquial English, this reads as you expecting that you deserve a reply; indeed that the audience is obligated to respond. Generally, in volunteer communities (e.g. scala-internals), participants are offended by outsiders expecting work of them. On has to "prove oneself" first, by contributing labour and care, before imagining that anyone has any obligations.

Indeed, even your statement "Looking forward to having a reply" in your later email might cross this line.

Best regards,
Scott Morrison

[Behrooz Nobakht]

Hi again,

Thanks for the clarifications and correction on how to use phrases. That was interesting to me and of course a level of detail I haven't noticed till now. In any how, I think I should be pursuing my question in another place.

Thanks and regards,
Behrooz

[Mirko Stocker]

Hi,

On Wednesday 15 February 2012 07:16:37 Behrooz Nobakht wrote:
> In this regard, we're interested to study the operational
> semantics of Scala if there is any document/reference/publication that
> addresses a formal specification of operational semantics for the language
> apart from the paper for ICFP'09. Is there any?

Maybe you can find something on Vincent Cremet's page:

http://lampwww.epfl.ch/~cremet/

Cheers,

Mirko

--
Mirko Stocker | m...@misto.ch
Work: http://ifs.hsr.ch | http://infoq.com
Personal: http://misto.ch | http://twitter.com/m_st

[Behrooz Nobakht]

Hi Mirko,

Thank you very much for the link.

Greets,
Behrooz