Jon Harrop wrote:
...
Historically, concurrency has been of general interest on single core
machines in the context of operating systems and IO and has become more
important recently due to the ubiquity of web programming. Parallelism was
once only important to computational scientists programmin
Jon Harrop wrote:
Arved Sandstrom wrote:
Jon Harrop wrote:
I see no problem with mutable shared state.
In which case, Jon, you're in a small minority.
No. Most programmers still care about performance and performance means
mutable state.
I don't see why that would affect whether one think
Twisted wrote:
> On Jun 11, 2:42 am, Joachim Durchholz <[EMAIL PROTECTED]> wrote:
>> It is possible to write maintainable Perl.
>
> Interesting (spoken in the tone of someone hearing about a purported
> sighting of Bigfoot, or maybe a UFO).
>
> Still, extraordinary claims require extraordinary ev
Chris Smith wrote:
> Patricia Shanahan <[EMAIL PROTECTED]> wrote:
>> Vesa Karvonen wrote:
>> ...
>>> An example of a form of informal reasoning that (practically) every
>>> programmer does daily is termination analysis. There are type systems
>>>
Pascal Costanza wrote:
> Matthias Blume wrote:
>> Pascal Costanza <[EMAIL PROTECTED]> writes:
>>
>>> Patricia Shanahan wrote:
>>>> Vesa Karvonen wrote:
>>>> ...
>>>>> An example of a form of informal reasoning that (practically)
Vesa Karvonen wrote:
...
> An example of a form of informal reasoning that (practically) every
> programmer does daily is termination analysis. There are type systems
> that guarantee termination, but I think that is fair to say that it is not
> yet understood how to make a practical general purpo
