[Oberon] Functional programming and Oberon

[Srinivas Nayak]

Many thanks Chris and Jorg.
It is a nice read.
6.1 is the perfect answer to my query.

While I continue to read into next section of the article,
I read in 6.3 that

"The direct modelling of actors diminished
the importance of proving program correctness analytically,
because the original specification is one of behaviour,
rather than a static input-output relationship."

Can you please elaborate it a bit?



With thanks and best regards,

Yours sincerely,
Srinivas Nayak

Home: http://www.mathmeth.com/sn/
Blog: http://srinivas-nayak.blogspot.in/

On 12/16/2016 02:01 PM, Jörg Straube wrote:
> https://pdfs.semanticscholar.org/10bd/dc49b85196aaa6715dd46843d9dcffa38358.pdf
> Chapter 6.1
>
> Jörg
>
> Am 16.12.2016 um 08:51 schrieb Chris Burrows <chris at cfbsoftware.com <mailto:chris at cfbsoftware.com>>:
>
>>> -----Original Message-----
>>> From: Oberon [mailto:oberon-bounces at lists.inf.ethz.ch] On Behalf Of
>>> Srinivas Nayak
>>> Sent: Friday, 16 December 2016 4:36 PM
>>> To: ETH Oberon and related systems
>>> Subject: Re: [Oberon] Functional programming and Oberon
>>>
>>> I got interested towards functional programming, reading that it
>>> favors concurrency and avoidance of mutation is the future...
>>>
>>> What is the reality?
>>>
>>> I haven't seen much regarding this from Dijkstra, Wirth, Hoare and
>>> their friends...
>>> So what are language master's thoughts on this?
>>>
>>
>> Wirth writes about Functional Programming on pages 66-67 of the paper that
>> Lars mentioned recently:
>>
>> "Good Ideas, through the Looking Glass", IEEE Computer, Jan. 2006.
>>
>> Regards,
>> Chris Burrows
>>
>> CFB Software
>> http://www.astrobe.com
>>
>>
>>
>>
>> --
>> Oberon at lists.inf.ethz.ch <mailto:Oberon at lists.inf.ethz.ch> mailing list for ETH Oberon and related systems
>> https://lists.inf.ethz.ch/mailman/listinfo/oberon
>
>
> --
> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related systems
> https://lists.inf.ethz.ch/mailman/listinfo/oberon
>