Operational Semantics for Scala language

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

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

On Sat, Feb 18, 2012 at 9:24 PM, rkuhn <google@rkuhn.info> wrote:

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

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

On Feb 18, 2012, at 8:25, Behrooz Nobakht wrote:

> 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
>

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

On Feb 18, 2012, at 8:25, Behrooz Nobakht <behrooz.nobakht@gmail.com> wrote:

> 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
>

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

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 | me@misto.ch
Work: http://ifs.hsr.ch | http://infoq.com
Personal: http://misto.ch | http://twitter.com/m_st