Jump to content

Talk:Actor model: Difference between revisions

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
Content deleted Content added
Cewbot (talk | contribs)
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}.
 
(211 intermediate revisions by 95 users not shown)
Line 1: Line 1:
{{WikiProject banner shell|class=C|
{| style="border:1px solid #bbb; padding:10px;" class="infobox"
{{WikiProject Computer science|importance=mid}}
|-
}}
!align="center"|[[Image:Vista-file-manager.png|50px|Archive]]<br>[[Wikipedia:How to archive a talk page|Archives]]
{{archives}}
----
|-
|
*[[/Archive 1| Archive 1 (6 July 2005 - 4 April 2007)]]
|}


== Actor libraries and frameworks - addition ==


Perhaps we should add Functional Java (http://functionaljava.org/) to the list of Actor libraries and frameworks.
== Compositionality ==
It's a java framework which enables functional-style programming and an Actor implementation. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/109.160.238.233|109.160.238.233]] ([[User talk:109.160.238.233|talk]]) 23:35, 1 November 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


Also, there is JAVACT which is a Java library for programming concurrent, distributed and mobile agent-based applications.
I think the section titled "Compositionality" needs some work. It states:
See: http://javact.org/JavAct.html <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/141.115.28.2|141.115.28.2]] ([[User talk:141.115.28.2|talk]]) 14:16, 8 February 2011 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


Also, CL-MUPROC for Common lisp (http://common-lisp.net/project/cl-muproc/) sould be added (under BSD License)
''Compositionality, i.e., the ability to compose Actor systems into larger ones,''
--[[Special:Contributions/93.72.254.137|93.72.254.137]] ([[User talk:93.72.254.137|talk]]) 22:05, 15 May 2012 (UTC)


== Edit request on 4 July 2012 ==
This is not really the typically accepted definition of ''compositionality'', at least in the formal semantics sense. The definition provided here corresponds more closely to ''Composability'', i.e. the ability to compose subsystems to form systems (or subterms to form terms, etc.) Compositionality, on the other hand, states that the meaning of the whole is given by the meaning of the parts, or that the behaviour of a composite is uniquely determined by the behaviour of the components. This already assumes composability, but it is not the same. It is possible to define, for example, a language where terms are composable (a syntactic or structural operation,) but is not in fact compositional (a semantic or behavioural property.) Furthermore, compositionality is strongly related to the algebraic notion of congruence; having a compositional semantics is essentially the same as having a congruence relation over the language. I am not too familiar with the Actor model. I understand, from the statement above, that it supports composability, but is it truly compositional? If so, what is the semantic domain, the semantic map, or the congruence over Actors?


{{edit semi-protected|answered=yes}}
--[[User:Eposse|Eposse]] ([[User talk:Eposse|talk]]) 18:42, 11 January 2008 (UTC)User:Eposse
<!-- Begin request -->


libcppa was released in version 0.2.1 two days ago (2012-07-02). Furthermore, reference [43] should imo link to the Git Tags (https://github.com/Neverlord/libcppa/tags) rather than to the Git Commits.
: Hello [[User:Eposse|Eposse]], you are right: what is described here is not about [[compositionality]] in the sense of the article on that topic. I think you'd be justified in changing the heading to "Composing actors", and removing the link. Does this sound reasonable to others? [[User:Sam Staton|Sam Staton]] ([[User talk:Sam Staton|talk]]) 21:54, 11 January 2008 (UTC)


<!-- End request -->
::I agree that the text in the article, as it stands, isn't all that clear. However, Agha's dissertation (which is referenced in the discussion of compositionality) does actually use the term "compositionality", and indeed discusses equivalences between actors and actor systems based on what Agha calls "Asynchronous Communication Trees" (which appear from a cursory reading to be a form of labelled transition system). Agha prescribes a set of rules for combining actors in a compositional manner. --[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 01:05, 13 January 2008 (UTC)
[[User:Stickman hero|Stickman hero]] ([[User talk:Stickman hero|talk]]) 09:17, 4 July 2012 (UTC)
:[[File:Yes check.svg|20px|link=|alt=]] '''Done'''<!-- Template:ESp --> [[User:Mdann52|Mdann52]] ([[User talk:Mdann52|talk]]) 10:27, 13 July 2012 (UTC)


== Edit request on 28 July 2012 ==
: Hmm. I've not read the thesis thoroughly, but it seems that Agha uses "compositionality" in his thesis to mean "matters pertaining to composition". This is (perhaps subtly) different from [[compositionality]] as described on that page. There is no syntax, he is just describing how to join several semantic objects together. He is not saying "the meaning of a compound phrase is determined by the meaning of its subphrases", because there is no syntax and hence no "meaning" and no "phrases" to speak of. For another example, I think it would be wrong to use the phrase "the compositionality of a car" to refer to the way that the behaviour of the car can be derived from the behaviour of the steering column, the gearbox and the engine.


Perhaps you can add a reference to STAGE implementation of the actor model in python from Imperial College of London - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5071380&tag=1 <small><span class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Fikovnik|Fikovnik]] ([[User talk:Fikovnik|talk]] • [[Special:Contributions/Fikovnik|contribs]]) 14:44, 28 July 2012 (UTC)</span></small><!-- Template:Unsigned --> <!--Autosigned by SineBot-->
: Another thing: it seems that his later article, written with Mason, Smith and Talcott, uses the word "composability" instead. Perhaps Agha later changed his mind about terminology. [[User:Sam Staton|Sam Staton]] ([[User talk:Sam Staton|talk]]) 13:43, 13 January 2008 (UTC)


== Edit request on 9 July 2012 ==
::It's true that Agha's dissertation doesn't seem to address the technical meaning of compositionality directly. However, he does define a "syntax" (the composition operator defined on page 159 and page 160) for composition, and further defines (in the appendix) how the "asynchronous communications tree" for a composite system may be arrived at from the trees of its component parts.
[http://akka.io/news/ Akka 2.0.2 was released on June 12 2012].
::As for the later paper, it seems to me that Agha ''et al.'' (in section 3.3) define "composable" to mean that the two actor configurations to be composed are compatible (in the sense that they don't share actor names, and that they have what amounts to "compatible ports"). They then define "composition" as an operation on composable actors, and that form of "composition" seems to be pretty much the same as the one in Agha's dissertation (again giving meaning in terms of the composition of computation trees).
::Having said all of that, I'm hardly an expert on formal semantics or the precise technical meaning of compositionality, and I'm more than willing to defer to your (and Eposse's) opinion on this -- particularly since (as you point out) the more recent paper doesn't actually use the term "compositionality" anyway.
::--[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 22:30, 13 January 2008 (UTC)


[[User:RussAbbott|RussAbbott]] ([[User talk:RussAbbott|talk]]) 05:51, 10 July 2012 (UTC)
:::I haven't read Agha's thesis either, but from your comments it does look like he describes a semantic map into asynchronous communication trees, which presumably is compositional in the standard sense. I do agree that as long as you define a composition operator you have syntax. Defining syntax is not necessarily done by means of a grammar. If you talk about "semantic objects" and how to "join" them, then you can define a signature for these objects. Every signature has an associated set of terms. This can be thought of as "abstract" syntax. It does sound like there is an "abstract" syntax of Actors, with at least a composition operator.
:::Having said that, it is quite possible that Agha's terminology in his thesis did not correspond to what most people call now compositionality. So the question would be whether to use Agha's original terminology, or the more recent terminology. Personally I'd go for the latter, and maybe add a footnote on terminology. This section could then describe both composability and compositionality (w.r.t. asynch. comm. trees.)
:::--[[User:Eposse|Eposse]] ([[User talk:Eposse|talk]]) 00:11, 15 January 2008 (UTC)


== Link to german version ==
::::Using the more recent terminology sounds good to me. --[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 07:59, 15 January 2008 (UTC)


Hi,
== Buffering in Milner's early model ==


today I have finished an article about the actor model in the German Wikipedia. Can you please place to link to the version?
Previously, the section [[Actor_model#Not_sequentiality.2C_not_buffering.2C_not_synchrony_and_not_fixed_topology|Not sequentiality, not buffering, not synchrony and not fixed topology]] claimed that CSP involved ''buffered'' communication, which contradicts Hoare's paper on the subject (Hoare explicitly rejects "automatic buffering" of communications). I am now wondering if the claim that Milner's original work (in ''Processes: A Mathematical Model of Computing Agents'') involved buffering is accurate, especially given Milner's later preference for unbuffered synchronous communication. However, I haven't been able to get a hold of a copy of Milner's paper. Can anyone else shed any light on this issue? --[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 23:04, 13 January 2008 (UTC)
http://de.wikipedia.org/wiki/Actor_Model


Best regards,
:I see that an anon user has removed the mention of buffering in Milner's early concurrency work. Should I take that to mean that someone has checked the paper in question, and verified that mention of buffering was incorrect? --[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 16:28, 14 January 2008 (UTC)


--[[User:Stephan.rehfeld|Stephan.rehfeld]] ([[User talk:Stephan.rehfeld|talk]]) 10:06, 22 July 2012 (UTC)
== Proposed merge of ''Actor model and process calculi history'' ==


== put in standard reference to published literature + the most referenced tutorial video ==
The article [[Actor model and process calculi history]] seems to contain a lot of material that duplicates information found in the ''Actor model'' article. Any objections to simply merging in what little material isn't already contained in ''Actor model''? --[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 23:12, 13 January 2008 (UTC)


* Carl Hewitt. "Actor Model of Computation: Scalable Robust Information Systems" Proceedings of Inconsistency Robustness 2011. [http://www.robust11.org] Also [http://arxiv.org/abs/1008.1459]
:The [[Actor model]] article is already too long. We might think of merging it with [[Actor model and process calculi]]. But that article is also quite long. In due course, someone will probably expand the history further. For example, they might include the history of the Aarhus summer schools in which Hewitt, Hoare, Milner, Nygaard, etc. participated.--[[Special:Contributions/71.204.129.151|71.204.129.151]] ([[User talk:71.204.129.151|talk]]) 03:52, 15 January 2008 (UTC)
* [http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know, but were afraid to ask)] Microsoft Channel 9. April 9, 2012. <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/171.66.104.206|171.66.104.206]] ([[User talk:171.66.104.206|talk]]) 01:46, 10 January 2013 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->


== References ==
::Since the merger proposal was first put forward, an anon editor (you?) has cut out much of the duplicated material, and expanded the remaining text. So perhaps a merger doesn't make as much sense now. But let's give it a few more days, to see if anyone else wants to weigh in. --[[User:Allan McInnes|Allan McInnes]] <small>([[User talk:Allan McInnes|talk]])</small> 04:37, 15 January 2008 (UTC)
Section titles should accurately reflect subject matter. So I have changed the title to reflect the content below.[[Special:Contributions/50.131.244.2|50.131.244.2]] ([[User talk:50.131.244.2|talk]]) 02:21, 29 September 2013 (UTC)


:Although Carl Hewitt was apparently banned from Wikipedia, to me the overall article *still* reads like the typical "Actor model is above everything" propoganda he spams everywhere he appears (see e.g. his self-post at Lambda the Ultimate: http://lambda-the-ultimate.org/node/4140 and the subsequent discussions.)
== Languages vs. Libraries ==


::Hewitt published an account of his Wikipedia misadventures in [https://docs.google.com/file/d/0B79uetkQ_hCKYzcyMjIwMmItNDlmZi00Nzk1LTk5NDItM2RlOTJhZTg5OGUy/edit?usp=sharing Corruption of Wikipedia]. [[Special:Contributions/171.65.249.4|171.65.249.4]] ([[User talk:171.65.249.4|talk]]) 20:38, 2 October 2013 (UTC)
The article already cites programming languages which implement the Actor Model. However, it does not cite any libraries. Are there any libraries or frameworks that allow the implementation of the Actor Model in &ldquo;ordinary&rdquo; programming languages? <small>—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/24.129.31.156|24.129.31.156]] ([[User talk:24.129.31.156|talk]]) 13:56, 6 May 2008 (UTC)</small><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


:E.g. most of the sub-sections of "Message-passing semantics" contain almost no reasonable references and are just some rephrasings of statements made by Carl Hewitt, not some things proven / stated by other academics.
== Confusing term "behavior" ==


:I'd much rather see NOTHING on this page than have a lot of statements which are highly dubious and just confuse me.
Rather late in this article the term "behavior" is defined not as it is defined in ordinary usage, i.e. what actually happens, what somebody actually does, but as a function mapping from the currently received message to what actually happens in response to that message, what the actor actually does in response to the message. IMO this is confusing terminology. In a technical textbook for students who are taught the meaning of the term before reading the text that uses it, perhaps it's fine to use terminology in that way, but in WikiPedia I'd prefer to somehow clarify such jargon whenever it doesn't have the meaning a first-time reader would expect it to have.


:I also fail to understand how can self-published things by Carl Hewitt can be considered valid references? Has anyone even looked at those papers (i.e. papers "published" by Carl Hewitt after the 2000)? They are mostly total rubbish. E.g. some claim to disprove central theorems of mathemathical logic, which is beyond ridiculous.
Below are two examples of text earlier in the article to which I composed a correction because the example-text seemed more or less <em>wrong</em> before I had read the later section defining what "behavior" is supposed to mean here.


:--humble_reader [[Special:Contributions/146.50.236.226|146.50.236.226]] ([[User talk:146.50.236.226|talk]]) 22:05, 25 September 2013 (UTC)
"in response to a message that it receives, an actor can make local decisions, create more actors, send more messages, and determine how to respond to the next message received."


::Wikipedia is famous for anonymous [[Ad hominem|ad hominem]] attacks on academic experts. A hallmark of such attacks is a complete lack of fact or subject argumentation. [[Special:Contributions/12.199.206.2|12.199.206.2]] ([[User talk:12.199.206.2|talk]]) 23:15, 26 September 2013 (UTC)
What I wrote in response to reading that text: An actor can't decide how it will respond to the next message until <em>after</em> it receives that next message. The best an actor can do in response to the current message is to modify its internal state so as to affect the way it might <em>respond</em> to various possible next mesages.


::: First, I don't understand why you are changing titles of posts made by others.
What I wrote later, after reading the later section on "behavior": Perhaps what the author really meant is that the behavior (function), not the actual behavior (action) is determined. See the section on behavior being a function that is applied to an incoming message to determine what happens at that time and also what the new behavior (function) will be for the next message after <em>that</em>.
::: Second, sorry for using strongs words, but this is not an ad-hominem attack on Carl Hewitt. This is about the standard scientific process and the usual guidelines by which Wikipedia is being run, e.g. preventing things like citing self-publications. ([[WP:V#SELF]]). --humble_reader [[Special:Contributions/77.172.242.47|77.172.242.47]] ([[User talk:77.172.242.47|talk]]) 21:58, 27 September 2013 (UTC)


::::The section title has been changed in order to accurately reflect its content.
"An actor is a computational entity that, in response to a message it receives, can concurrently:<br>
::::The standard scientific process is for critics to publish criticism of other scientists under their own name instead of hiding behind anonymity. At the Lambda the Ultimate Forum that you complained about, you are required to use your real name :-)
* send a finite number of messages to other actors;<br>
::::If you had read [http://carlhewitt.info Professor Hewitt's homepage], you would know that he has published numerous refereed articles since 2000. There are videos on Hewitt's homepage that can help you understand the Actor Model.
* create a finite number of new actors;<br>
::::PS. How is it being a student at Universiteit van Amsterdam?[[Special:Contributions/50.131.244.2|50.131.244.2]] ([[User talk:50.131.244.2|talk]]) 02:21, 29 September 2013 (UTC)
* designate the behavior to be used for the next message it
receives."


::::: Looking at Hewitt's publications after 2000 on [http://dblp.org/search/index.php#query=author:carl_hewitt:&qp=H1.48:W1.1:F1.4:F2.4:F3.4:F4.3 DBLP], I see one peer-reviewed academic paper in COIN from 2007, in which, funnily, Hewitt cites his other unpeer-review or even unpublished papers (like the 'Hewitt 2007c').
What I wrote in response to reading that text: Again, the best it can do for item 3 is to modify its internal state in order to effectively modify the algorithm it will use to decide what behavior to use for the next message it receives.
::::: Also, right, so now we are turning this into a discussion about Carl Hewitt, which is not my concern at all. I'll leave the title as is, because presumably you will just keep reverting it anyway. --humble_reader [[Special:Contributions/77.172.242.47|77.172.242.47]] ([[User talk:77.172.242.47|talk]]) 11:12, 29 September 2013 (UTC)
:::::: DBLP is not very up to date :-( The important thing is to learn as much as you can. Unfortunately, it is becoming increasingly difficult to improve articles because of Wikipedia Administrator censorship. So your best bet is to read the articles in the bibliography. [[Special:Contributions/50.131.244.2|50.131.244.2]] ([[User talk:50.131.244.2|talk]]) 03:09, 30 September 2013 (UTC)


I have changed the title to something neutral. I will look at the references in a little while, and remove any that are unpublished.
Text added after reading the later section on "behavior": Although technically the word "behavior" in this theory actually means the <em>function</em> mapping message-input to what-happens, perhaps the term "behavior function" or "behavior" with parenthetial (function) immediately after, instead of just "behavior" by itself, should be used throughout this article when that meaning is intended?


One immediate question is: what is the full publication information for "Proceedings of inconsistency robustness", including the publisher? Strangely, a Google search does not turn up any information, and "robust11.org" is simply an online PDF. &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 10:27, 30 September 2013 (UTC)
Side remark, not a correction, but related to the definition of "behavior", so I'm including it here rather than starting a whole new talk/discussion section: Note that for efficiency, the behavior function would usually be implemented as a combination of a fixed algorithm (execute-only constant) and a <em>state</em> which is mutable pure data (no directly executed code) that is referenced and modified by the algorithm, thus following the Harvard model rather than the Von Neumann or interpreted-Lisp model.


: The "strangely" is not so strange, when you notice the fact that it is an "institution" setup by Carl Hewitt through which he publishes his own material. I don't know how to state this without sounding sarcastic. [[User:Humble reader|Humble reader]] ([[User talk:Humble reader|talk]]) 10:38, 30 September 2013 (UTC)


::[http://irobust.org iRobust] is a *very* prestigious academic society (see the Board of Directors at the website).[[Special:Contributions/64.134.237.164|64.134.237.164]] ([[User talk:64.134.237.164|talk]]) 04:17, 2 October 2013 (UTC)
== Link to non-existant label ==


: [[User:CBM|CBM]], I see you edited the article by replacing some of the references with the "What is Computation?" article<ref name="zenil">Carl Hewitt, "What is computation? Actor Model versus Turing's Model", ''A Computable Universe: Understanding Computation & Exploring Nature as Computation''. Dedicated to the memory of Alan M. Turing on the 100th anniversary of his birth. Edited by Hector Zenil. World Scientific Publishing Company. 2012</ref>.
"(But see Synthesizing Addresses of Actors.)"


: I think it ''can't'' be used as a reference for anything but philosophical arguments on what the actor model "is". (And yet even those being pretty bad ones). If you look at the discussion of the article at [http://lambda-the-ultimate.org/node/4140 Lambda-the-Ultimate] (which I already mentioned above), you can see how other academics are politely trying to point out the flaws of Hewitt's "formal" arguments. Moreover, the whole section on "Relationship to mathematical logic" is already flagged as needing verification, and the linked article in it -- [[Indeterminacy_in_concurrent_computation]] -- is also suggested for deletion in the Talk page of it.
Target label doesn't exist, so this jumps to top of article. I know we're supposed to be <em>bold</em> in editing, just fix the problem instead of posting a bug report, but I don't know where the intended target might be. Most likely is in a section that was deleted and can be found only in the history of past versions, and I'm a newbie here so I have no idea how to find it and figure out how to make the link valid now. So please forgive me for leaving the fix to an expert, OK?


[[Special:Contributions/198.144.192.42|198.144.192.42]] ([[User talk:198.144.192.42|talk]]) Robert Maas, tinyurl.com/uh3t for contact info
::If you were brave enough, you could go to Lambda the Ultimate and participate in the discussion ;-) [[Special:Contributions/64.134.237.164|64.134.237.164]] ([[User talk:64.134.237.164|talk]]) 04:17, 2 October 2013 (UTC)


: The reason we have this whole mess simply because it is part of big self-reference cycle of Hewitt's productions. If you don't believe me, just check the facts yourselves. Initially after reading these few articles on Actor Model and it's relationship with other fields, for a while I myself believed that Hewitt found some interesting and even fundamentall relationships between Turing Completeness and etc. However, something did not feel quite right, and after taking a more careful look at this I realised that the reason his results "clash" with the rest of the theory is because none of them are formal mathematical arguments. Moreover, I have not found *any* confirmations of this in academic literature (apart from the one published by Hewitt, of course).
== Incorrect link to Kilim ==


::It will be interesting to see how your amateur opinion plays out. There will be serious discussions at [http://ir14.org Inconsistency Robustness 2014 next summer at Stanford]. [[Special:Contributions/64.134.237.164|64.134.237.164]] ([[User talk:64.134.237.164|talk]]) 04:17, 2 October 2013 (UTC)
In "Kilim - a message-passing framework for Java", Kilim is linked to a wikipedia page describing kilim rugs, not a message passing framework. It is obviously referring to http://www.malhar.net/sriram/kilim/index.html. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/64.128.15.200|64.128.15.200]] ([[User talk:64.128.15.200|talk]]) 01:49, 4 March 2009 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


: Finally, the "What is Computation?" article<ref name="zenil"/> is a philosophical essay -- not some kind of a mathematical paper which can be used to argue about some fundamental relationship to / implications about mathematical logic. It's ''mathematical'' logic, right?
== Relation to Active Object? ==


::Probably the most interesting (and controversial) article is [http://consistency.carlhewitt.info Mathematics self-proves its own consistency]. Undoubtedly, it will intensively discussed at [http://ir14.org Inconsistency Robustness 2014]. [[Special:Contributions/64.134.237.164|64.134.237.164]] ([[User talk:64.134.237.164|talk]]) 04:40, 2 October 2013 (UTC)
[[Active_Object]] links to this page. However, neither that page nor this page discuss the other. I am confused about the relation between the terms "actor model" and "active object"; do they refer to the same concept? I feel either/both pages should discuss/clarify this point. <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/64.128.15.200|64.128.15.200]] ([[User talk:64.128.15.200|talk]]) 23:27, 22 April 2009 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


::: <irony>Sure, the article seems to provoke [http://lambda-the-ultimate.org/node/4784 contraversially humurous responses], so I bet there will be lots of discussion on how to explore the field of Troll Mathematical Logic.</irony> --[[User:Humble reader|Humble reader]] ([[User talk:Humble reader|talk]]) 07:27, 2 October 2013 (UTC)
== Scala ==


Scala Actors are not part of the language, but are in the standard library. AFAIK it doesn't implement all aspects of the Actor model. Perhaps it should be noted that Scala's implementation is incomplete? --[[Special:Contributions/79.206.217.192|79.206.217.192]] ([[User talk:79.206.217.192|talk]]) 10:06, 21 August 2009 (UTC)
::::Mocking academic experts won't get you anywhere. Of course, they are divided into differing camps. You need to understand the issues being discussed. [[Special:Contributions/171.65.249.4|171.65.249.4]] ([[User talk:171.65.249.4|talk]]) 20:38, 2 October 2013 (UTC)


: I would go on and just start proposing things for deletion / edit out things myself, but I feel it will be taken as some kind of an unexplained "attack", that's why I'm taking the time to point out the flawed referencing and backing up of arguments and etc. -- [[User:Humble reader|Humble reader]] ([[User talk:Humble reader|talk]]) 21:08, 30 September 2013 (UTC)
== What about previously created Actors? ==


:: Since I started on the "academics trying to confront Carl Hewitt's statements" theme, follow along this conversation in the [http://www.cs.nyu.edu/pipermail/fom/2013-August/017474.html Foundations of Mathematics mailing list] (the FOM list is a professional academic list, read it [http://www.cs.nyu.edu/mailman/listinfo/fom here]), where again Carl Hewitt is being subtly asked to provide any reasonable evidence about his claims, at which point the conversation dies. Obviously the normal academic ethics is not to "out" someone as being wrong, but either to ask them to provide proof or just ignore flawed claims. Luckily here we don't have to be so ethical and can actually remove the flawed claims rather than ignoring them. -- [[User:Humble reader|Humble reader]] ([[User talk:Humble reader|talk]]) 21:27, 30 September 2013 (UTC)
"addresses for Actors that it creates while processing the message"


:::Unfortunately, the FOM list is censored. Many conversations are cut off mid-stream and continued via other forums such as [https://plus.google.com/104716271353648708358/posts Google+]. [[Special:Contributions/64.134.237.164|64.134.237.164]] ([[User talk:64.134.237.164|talk]]) 04:24, 2 October 2013 (UTC)
What about Actors that it created during the processing of a previous message? Do they continue to exist and be addressable? - [[User:Dougher|Dougher]] ([[User talk:Dougher|talk]]) 03:46, 25 September 2009 (UTC)
==[[Scheme (programming language)|Scheme]]==
Sussman and Steele produced the first version of Scheme on [[Maclisp]] in the mid-1970s in an attempt to relate the Actor model at the time to more familiar programming ideas. They soon decided that the code they had written to implement actors was identical to the code to implement procedures, and ended up with a novel version of Lisp. However the influence of the Actor model on Steele and Sussman's thinking at the time was considerable, as they have widely acknowledged. Possibly the development of Scheme, which in turn has had a great influence on the subsequent development of modern Lisp from Lisp Machine Lisp to Common Lisp, was one of the more glaring and obvious influences of the Actor model. --[[User talk:Tony Sidaway|TS]] 13:29, 15 October 2009 (UTC)
: I reverted [http://en.wikipedia.org/enwiki/w/index.php?title=Actor_model&action=historysubmit&diff=320129024&oldid=319453057 this sequence of two edits] because I think it makes a huge meal out of something that is quite trivial in the context of the Actor model. Sussman and Steele's fundamental insight was that their models of actors and functions--''as Sussman and Steele understood it in 1973''--was identical, both being grounded in lambda calculus. Nobody in a million years would claim that Scheme--a language lacking anything resembling concurrency--had anything to say about the Actor model.


:::: <irony>Ah, indeed, FOM is censored [https://plus.google.com/104716271353648708358/posts/9wYVajoATwA just] [https://plus.google.com/104716271353648708358/posts/XbFA4EjodFu like] [http://carlhewitt.blogspot.nl/2008/09/corruption-of-wikipedia.html Wikipedia] is, right? Also, thanks, indeed the intelligent monologues of Carl Hewitt on G+ display his irrefutably correct arguments and the support from them academic society on them!</irony> -- [[User:Humble reader|Humble reader]] ([[User talk:Humble reader|talk]]) 07:27, 2 October 2013 (UTC)
: I think if we mention Scheme in the article we should follow Sussman and Steele's lead and emphasize that the earliest Scheme was simply an attempt to relate the innovative concepts of the Actor model to the familiar concepts of Lisp-based AI.


:::::Evidently you were unaware that FOM is censored. (Some prominent researchers working in the Foundations of Mathematics are unhappy about the censorship.) Academics are very busy people. They document their positions and move on. [[Special:Contributions/171.65.249.4|171.65.249.4]] ([[User talk:171.65.249.4|talk]]) 20:38, 2 October 2013 (UTC)
: Of course modern Scheme contains no remnants of that, and you'd have to be insane to describe it as a language for controlling concurrent systems, but their struggles led to an insight about ''non-concurrent'' systems: that the lambda calculus is pretty good at generating control structures in a way that was not widely appreciated at the time. --[[User talk:Tony Sidaway|TS]] 21:00, 16 October 2009 (UTC)


::I made a relatively minimal edit [https://en.wikipedia.org/enwiki/w/index.php?title=Actor_model&diff=575150611&oldid=574306264]. (1) I removed the robust11.org reference, which has no publication info apart from appearing on a website for which the WHOIS information is very relevant. (2) I removed a reference to a "Middle History" paper which, according to its Arxiv page, was submitted in 2009 but has no publication info, and I was unable to find publication info anywhere else. (3) I combined two references to the "A Computable Universe" paper, so that they share the same reference details, but I removed a link from it to a webpage. This reference does appear to be published by World Scientific. The remaining reference info for it is still sufficient to verify printed the reference.
:: Heads up: the above edits might be involved in [[Wikipedia:Sockpuppet investigations/CarlHewitt]]. <span style="white-space:nowrap">—[[User:Piet Delport|Piet Delport]] <small>([[User talk:Piet Delport|talk]]) 2009-10-21 02:44</small></span>


We learned that the name Scheme come from Sussman and Steele "scheming" against actors. They thought they had made an important discovery that actors were just the lambda calculus.[[Special:Contributions/63.249.108.250|63.249.108.250]] ([[User talk:63.249.108.250|talk]]) 20:04, 17 October 2009 (UTC)
:::As something of a logician, you may not be aware that the action in Computer Science is in the refereed conferences (i.g. [http://robust11.org Inconsistency Robustness 2011]). Also, [http://arxiv.org arXiv] is becoming an increasingly important publisher. Other areas of Wikipedia have recognized this reality. Why not here? [[Special:Contributions/171.65.249.4|171.65.249.4]] ([[User talk:171.65.249.4|talk]]) 20:38, 2 October 2013 (UTC)


::In particular, these edits are based solely on the lack of publication info, and if such info was available I would reinstate the references. I invite you to continue editing the article, if you are knowledgeable, to make sure that the remaining references are accurate in terms of the content of the referenced article, which I have not had the opportunity to verify myself at this point. &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 21:44, 30 September 2013 (UTC)
== ActorScript cleanup ==


::You have removed the most important and fundamental reference in the article:
I removed a bunch of stuff about the ActorScript<sup>TM</sup> language, which was 1) referenced to an unpublished preprint; b) was written like advertising ("the current definitive language..."); 3) gave [[wp:undue|undue]] emphasis to the Actorscript product given the weak sourcing; 4) devoted too much space to stuff about JSON and XML for an academic topic like this; 5) was inserted by an anonymous editor ([http://en.wikipedia.org/enwiki/w/index.php?title=Actor_model&action=historysubmit&diff=309626642&oldid=301576551] sequence of edits) in apparent contravention of restrictions against autobiographical editing by Carl Hewitt that I'm sure are known here. [[Special:Contributions/66.127.55.192|66.127.55.192]] ([[User talk:66.127.55.192|talk]]) 04:41, 14 February 2010 (UTC)
::: <ref name="Hewitt2011">Carl Hewitt. "Actor Model of Computation: Scalable Robust Information Systems" Proceedings of Inconsistency Robustness 2011. [http://robust11.org] Also [http://arxiv.org/abs/1008.1459]</ref>
::Is it wise to cripple the article, just because there is a Wikipedia vendetta against Hewitt?


{{Reflist|2}}
:The section has been unblanked because it is useful to Wikipedia to have the material. The work on ActorScript is quite well know and has been referenced in other publications and in blogs. Fortunately, not all academics are as ignorant as you imagine about XML and JSON. Also, there are other programming languages that use XML and JSON as data types.[[Special:Contributions/98.210.236.129|98.210.236.129]] ([[User talk:98.210.236.129|talk]]) 23:35, 14 February 2010 (UTC)
[[Special:Contributions/171.65.253.243|171.65.253.243]] ([[User talk:171.65.253.243|talk]]) 20:16, 3 October 2013 (UTC)
::I have removed it again based on the longstanding bans. Editors in good standing not under restriction are welcome to restore all or part of the material as they see appropriate. In the event of what appears to be further reversions by restricted editors, I will open an ANI thread to request application of blocks and article protection as needed. [[Special:Contributions/66.127.55.192|66.127.55.192]] ([[User talk:66.127.55.192|talk]]) 07:00, 15 February 2010 (UTC)


:Please provide the complete publication information - including the publisher, place of publication, pages, doi, etc. - for the reference. A review of the WHOIS information shows that robust11.org is a website registered to an individual, rather than to any professional society or publisher. I want to emphasize that the issue is that the paper has no publication information apart from the arXiv and a link to a conference website registered to an individual. &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 20:55, 3 October 2013 (UTC)
:::It's too late to try to suppress ActorScript<sup>TM</sup> because it is all over the Internet. [[Special:Contributions/98.210.236.39|98.210.236.39]] ([[User talk:98.210.236.39|talk]]) 12:23, 15 February 2010 (UTC)
::::The amount of space now devoted to it in the article is ridiculous, and if ActorScript was really all over the internet, you'd be able to cite some publications describing real-world systems that use it. I actually hadn't intended to remove it from the list of languages in the article and I'm fine with it being mentioned there, but this isn't an advertising venue for the voluminous description currently in the article. I will open an ANI thread as mentioned. [[Special:Contributions/66.127.55.192|66.127.55.192]] ([[User talk:66.127.55.192|talk]]) 19:01, 15 February 2010 (UTC)
:::::Maybe you should make it into a separate article. [[Special:Contributions/69.110.144.119|69.110.144.119]] ([[User talk:69.110.144.119|talk]]) 19:05, 15 February 2010 (UTC)
::::::The article would have to be written by an unrestricted editor and notability of the topic would have to be documented by reliable sources. [[Special:Contributions/66.127.55.192|66.127.55.192]] ([[User talk:66.127.55.192|talk]]) 19:06, 15 February 2010 (UTC)
:::::::And it would have to NOT be a blatant copyvio of http://arxiv.org/ftp/arxiv/papers/0907/0907.3330.pdf. --[[User:SarekOfVulcan|SarekOfVulcan]] ([[User talk:SarekOfVulcan|talk]]) 20:37, 15 February 2010 (UTC)


== Protected ==
The material in the article clearly qualifies as fair use.[[Special:Contributions/98.210.236.39|98.210.236.39]] ([[User talk:98.210.236.39|talk]]) 20:43, 15 February 2010 (UTC)


Due to continuing violations of [[Wikipedia:Requests for arbitration/Carl Hewitt]], I have semiprotected the article for six months. &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 22:56, 3 October 2013 (UTC)
:(recycled from ANI:) There is currently a list of languages in the article, and I think re-inserting a mention and cite of ActorScript into that list is all that can really be justified given the current weak level of sourcing. It should be enough to paste the line about ActorScript from [http://en.wikipedia.org/enwiki/w/index.php?title=Actor_model&oldid=301576551#Programming_with_Actors this version], into the section now labelled "Later Actor programming languages". I actually hadn't intended to remove that mention when I edited the article, but I made a somewhat complicated merge and apparently lost that line somehow. Even that brief mention is a slight stretch, given that the citation is to a self-published arxiv preprint. [[Special:Contributions/66.127.55.192|66.127.55.192]] ([[User talk:66.127.55.192|talk]]) 21:43, 15 February 2010 (UTC)
:I believe the semi-protection should be lifted immediately because the ruling specifically says periods up to 1 month if needed, not 3 months or 6 months or 100,000 months. [[User:Maghnus|Maghnus]] ([[User talk:Maghnus|talk]]) 00:39, 1 February 2014 (UTC)
::It is true, but given the long pattern of violations, there is no reason to burden ourselves re-protecting articles every one month. The general pattern is that a longer protection seems to calm things down. Since you have requested unprotection, and the other affected articles have been quiet lately, I have unprotected the article. However, if the problem returns, I will re-protect it for several months. (It is worth emphasizing that this is semi-protection, not full protection.) &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 00:46, 1 February 2014 (UTC)
::It is also worth noting that [[WP:PROTECT]] allows for protections such as this, independent of the arbitration case. Cf. https://en.wikipedia.org/wiki/Wikipedia:Arbitration/Requests/Enforcement/Archive74#Note_on_protections_of_computability-related_articles &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 00:49, 1 February 2014 (UTC)
:::Ahh, I hadn't read the more general policy on protection, so it looked to me like sort of creeping overreach/severity. Considering how long this has been going on (baffling), I guess it won't be long before the little lock is back, but thanks for being pragmatic and giving it a shot anyway. [[User:Maghnus|Maghnus]] ([[User talk:Maghnus|talk]]) 01:49, 1 February 2014 (UTC)


== Please update a release date for me. ==
'''Once again, Wikipedia is deliberately publishing incorrect information.''' <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/63.249.91.253|63.249.91.253]] ([[User talk:63.249.91.253|talk]]) 04:16, 16 February 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


{{edit semi-protected|<!-- Page to be edited -->|answered=yes}}
== ANI ==
<!-- Begin request -->
Please update the release date for the Actor Framework project to 11/13/2013.
IE, in the source, look for this section:


| [http://actorfx.codeplex.com Actor Framework]
I have opened an ANI thread, [[Wikipedia:Administrators'_noticeboard/Incidents#Carl_Hewitt]].
| {{yes|Active}}
[[Special:Contributions/66.127.55.192|66.127.55.192]] ([[User talk:66.127.55.192|talk]]) 19:11, 15 February 2010 (UTC)
| 2013-09-02
| [[Apache License|Apache 2.0]]
| .NET


Replace the date with 2013-11-13.
:It's kind of crazy for Wikipedia to try to maintain an obsolete version of [http://arxiv.org/abs/0907.3330 ActorScript<sup>TM</sup>: Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing]. When do you give up and admit defeat? [[Special:Contributions/98.210.236.39|98.210.236.39]] ([[User talk:98.210.236.39|talk]]) 20:41, 15 February 2010 (UTC)
Source: me, as I am the dev on that project. You can verify this by looking at http://actorfx.codeplex.com and looking at the date on the right.
Thanks, Brian Grunkemeyer (briangru@microsoft.com)
<!-- End request -->
[[User:BrianGrunkemeyer|BrianGrunkemeyer]] ([[User talk:BrianGrunkemeyer|talk]]) 00:22, 15 November 2013 (UTC)
:Done, [[User:Mdd|Mdd]] ([[User talk:Mdd|talk]]) 00:59, 15 November 2013 (UTC)


== Please add SObjectizer framework to Actor libraries and frameworks list ==
::Who is [http://en.wikipedia.org/wiki/Special:Contributions/66.127.55.192 66.127.55.192]? [[Special:Contributions/65.106.72.229|65.106.72.229]] ([[User talk:65.106.72.229|talk]]) 21:08, 18 February 2010 (UTC)


{{edit semi-protected|<!-- Actor_model -->|answered=yes}}
==ActorScript censorship==
<!-- Begin request -->
The following information on ActorScript was censored.
Please add one more item to Actor libraries and frameworks list:
| [http://sourceforge.net/projects/sobjectizer/ SObjectizer]
| {{yes|Active}}
| 2013-11-14
| [[BSD License|New BSD]]
| C++


<!-- End request -->
''copyright information removed''
[[User:Ngrodzitski|Ngrodzitski]] ([[User talk:Ngrodzitski|talk]]) 09:41, 21 November 2013 (UTC)


[[File:Yes check.svg|20px|link=|alt=]] '''Done'''<!-- Template:ESp --> Thanks, [[User:Celestra|Celestra]] ([[User talk:Celestra|talk]]) 02:02, 22 November 2013 (UTC)
<span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/65.106.72.229|65.106.72.229]] ([[User talk:65.106.72.229|talk]]) 21:03, 18 February 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->


== Please update SObjectizer framework info in the list of Actor libraries and frameworks ==
The information above is under copyright, and by posting it here '''you are breaking the law'''. It is too detailed for a general article. It also contains a doubtful and unreferenced claim. If you think something about ActorScript belongs on WIkipedia you could try making a separate article for ActorScript - but first be sure it satisfies [[Wikipedia:Notability]]. You will also need to write the article in your own words, not copy it from elsewhere. [[User:DJ Clayworth|DJ Clayworth]] ([[User talk:DJ Clayworth|talk]]) 21:10, 18 February 2010 (UTC)


{{edit semi-protected|<!-- Actor_model -->|answered=yes}}
:Just tell people to read [http://arxiv.org/abs/0907.3330 ActorScript<sup>TM</sup>: Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing] [[Special:Contributions/65.106.72.229|65.106.72.229]] ([[User talk:65.106.72.229|talk]]) 22:42, 18 February 2010 (UTC)
<!-- Begin request -->
::I'm sure they will. [[User:DJ Clayworth|DJ Clayworth]] ([[User talk:DJ Clayworth|talk]]) 14:15, 19 February 2010 (UTC)
Please update SObjectizer item info in the list of Actor libraries and frameworks:
::: It's great that you *agree* about something for a change :-) [[Special:Contributions/171.66.32.133|171.66.32.133]] ([[User talk:171.66.32.133|talk]]) 23:50, 19 February 2010 (UTC)
| [http://sourceforge.net/projects/sobjectizer/ SObjectizer]
| {{yes|Active}}
| 2013-12-16
| [[BSD License|New BSD]]
| C++


<!-- End request -->
== Important reference deleted ==
[[User:Ngrodzitski|Ngrodzitski]] ([[User talk:Ngrodzitski|talk]]) 18:46, 16 December 2013 (UTC)


:[[File:Yes check.svg|20px|link=|alt=]] '''Done'''<!-- Template:ESp -->, thanks! --'''[[User talk:ElHef|<span style="color:red;">El</span><span style="color:orange;">Hef</span>]]'''&nbsp;<small>([[Special:Contributions/ElHef|<span style="color:black;">Meep?</span>]])</small> 23:54, 16 December 2013 (UTC)
For some reason, the most important reference keeps getting deleted from this article, namely [http://arxiv.org/abs/0907.3330 ActorScript<sup>TM</sup>: Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing|pub]. This paper is the most complete and up to date published paper on the Actor Model.

== Please update SObjectizer framework info in the list of Actor libraries and frameworks (2014-01-04) ==

{{edit semi-protected|<!-- Actor_model -->|answered=yes}}
<!-- Begin request -->
Please update SObjectizer item info in the list of Actor libraries and frameworks:
| [http://sourceforge.net/projects/sobjectizer/ SObjectizer]
| {{yes|Active}}
| 2014-01-04
| [[BSD License|New BSD]]
| C++

<!-- End request -->
[[User:Ngrodzitski|Ngrodzitski]] ([[User talk:Ngrodzitski|talk]]) 13:51, 9 January 2014 (UTC)

:[[File:Yes check.svg|20px|link=|alt=]] '''Done'''<!-- Template:ESp -->. --[[User:Anon126|{{#if:|{{{2}}}|Anon126}}]]&nbsp;<span style="font-size: 80%;">([[User talk:Anon126|talk]] - [[Special:Contributions/Anon126|contribs]])</span> 00:49, 14 January 2014 (UTC)

== active application projects ==

How long after the last release will a project qualify as inactive? 2 years of inactivity looks like a lot to me. --[[User:K0zka|K0zka]] ([[User talk:K0zka|talk]]) 14:35, 23 May 2014 (UTC)

== Erlang ==

Does Erlang use Actor?
[[Talk:Erlang_(programming_language)#History_accourding_to_J.C3.B6rg_Mittag]]

Comments invited. [[User:Andy Dingley|Andy Dingley]] ([[User talk:Andy Dingley|talk]]) 14:00, 17 June 2015 (UTC)

== Edit request ==

{{edit semi-protected|answered=yes}}
Please add the following reference to the article:
[[Carl Hewitt]] "Actor Model of Computation" in ''Inconsistency Robustness'' Studies in Logic. Vol. 52. College Publications. 2015, {{ISBN|978-1848901599}}
:[[File:Padlock-silver-open.svg|28px|link=]] '''Not done:''' According to the page's protection level and your [[WP:RIGHTS|user rights]], you should be able to [[Help:Editing|edit the page yourself]]. If you seem to be unable to, please reopen the request with further details.<!-- Template:ESp --> -- [[User:Sam Sailor|Sam Sailor]] [[User talk:Sam Sailor|<sup>''Talk!''</sup>]] 09:31, 3 September 2015 (UTC)hat

::It looks like some censor removed the reference when it was added to the article.[[Special:Contributions/50.247.81.99|50.247.81.99]] ([[User talk:50.247.81.99|talk]]) 17:58, 14 September 2015 (UTC)
:::[[File:Red information icon with gradient background.svg|20px|link=]] '''Not done:'''<!-- Template:ESp --> Pinging {{ul|Arthur Rubin}}, {{ul|CBM}} and {{ul|SlimVirgin}} who seem to know more about this situation. [[User:Ivanvector|Ivanvector]]&nbsp;<span style="color:red">🍁</span>&nbsp;([[User talk:Ivanvector#top|talk]]) 18:13, 14 September 2015 (UTC)

::::Frankly, it would be very good to have some fresh eyes on this page, and on the articles [[Carl Hewitt]] and [[Gödel's incompleteness theorems]]. The general background is quite long. A summary by The Guardian is [http://www.theguardian.com/technology/2007/dec/09/wikipedia.internet here]. After [https://en.wikipedia.org/wiki/Wikipedia:Requests_for_arbitration/Carl_Hewitt#Post-case_clarification the arbitration case], a large number of IP accounts have been used to make the same sorts of edits that were banned by the arbitration remedies. Recently, IP accounts have been used to insert or recommend citations to Hewitt's current research, sometimes by adding it as a reference for a claim that has long been in an article, e.g. [https://en.wikipedia.org/enwiki/w/index.php?title=Actor_model&diff=prev&oldid=679340406].

::::There is nothing wrong with references to reliable published work, of course, if they are added by non-banned editors in a way that follows general Wikipedia principles. I would encourage other editors to research the book ''Inconsistency Robustness'' when it becomes available (it is on Amazon, but not yet available in any library indexed by WorldCat), and to add it to the article as appropriate. &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 19:24, 14 September 2015 (UTC)

:::::The book is Vol. 52 in the very prestigious Studies in Logic series under [[Dov Gabbay]]. Professor Hewitt's article in the book has the latest and most accurate information on the Actor Model.[[Special:Contributions/192.81.129.38|192.81.129.38]] ([[User talk:192.81.129.38|talk]]) 04:33, 16 September 2015 (UTC)
::::::Perhaps it is the latest and most accurate information (although "most accurate" is a strange turn of phrase when referring to theoretical computability). In that case, some other editor will add it. In the meantime, Carl Hewitt is banned from editing Wikipedia; that extends to the entire project, including talk pages. Please do not place any more edit requests on this page. They will be removed without further comment. &mdash;&nbsp;Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small> 10:47, 16 September 2015 (UTC)

:[[File:Padlock-silver-open.svg|28px|link=]] '''Not done:''' According to the page's protection level you should be able to [[Help:Editing|edit the page yourself]]. If you seem to be unable to, please reopen the request with further details.<!-- Template:ESp --> '''[[User:Edgars2007|<span style="color:#FF6600;">Edgars2007</span>]]''' <small>([[User talk:Edgars2007|talk]]/[[Special:Contributions/Edgars2007|contribs]])</small> 10:45, 16 September 2015 (UTC)

== Cloud Haskell in the table ==

I don't see a basis for this in the project, with which I was already familiar. Have an outstanding query in the IRC channel supporting it (cloud haskell, CH) and will remove that row shortly, barring discovery/direction to the relevance. Everything with message passing or communicating objects isn't necessarily an Actor system. [[Special:Contributions/108.183.102.223|108.183.102.223]] ([[User talk:108.183.102.223|talk]]) 11:24, 4 May 2016 (UTC)

:So the feedback from one of the principal developers is that CH does what Erlang does and is therefore an Actor implementation. [[Special:Contributions/108.183.102.223|108.183.102.223]] ([[User talk:108.183.102.223|talk]]) 18:42, 4 May 2016 (UTC)

:Said principal developer here. Just a quick follow-up with some more details and references. What exactly is an implementation of the actor model is an interesting question, and I'm not going to make any strong claim that Erlang is such an implementation. However, ''if'' we agree that Erlang is such an implementation ''then'' it follows that Cloud Haskell is too ''because'' it implements the same primitives with the same semantics. This is exactly the same claim that the two citations for Scala make. They reference Hewitt and Agha but only actually claim to implement the Erlang primitives. This is the basis on which the page currently justifies calling Scala a whole actor programming language (even though it's just a library in scala). Exactly the same justification can be made for Haskell as a whole, and certainly for the Cloud Haskell library. For references/citations, use "Towards Haskell in the Cloud" the paper and perhaps Jeff's thesis ([http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/ links and citation info available]). There is also a [https://github.com/haskell-distributed/distributed-process/tree/master/doc/semantics document which gives the formal semantics of Cloud Haskell], based on a previously published formal semantics of Erlang. So there's clear evidence here. --[[Special:Contributions/82.5.178.99|82.5.178.99]] ([[User talk:82.5.178.99|talk]]) 18:46, 4 May 2016 (UTC)

::So the criteria for being an implementation of the Actor model is at issue, I think. Leaving open for further comment. [[Special:Contributions/108.183.102.223|108.183.102.223]] ([[User talk:108.183.102.223|talk]]) 18:54, 4 May 2016 (UTC)

:::There is a discussion of the relationship of Erlang to the Actor Model in the following article: "''Actor Model of computation: Scalable robust information systems. ''" in "Inconsistency Robustness". Carl Hewitt and John Woods assisted by Jane Spur editors. Vol. 52 of Studies in Logic. College Publications. ISBN-10: {{ISBN|1848901593}}. 2015.

:::[[User:Prof. Carl Hewitt|Carl]] ([[User talk:Prof. Carl Hewitt|talk]]) 13:43, 15 May 2016 (UTC)

== Most authoritative published article on the Actor Model ==
The most authoritative published article on the Actor Model is the following: "''Actor Model of computation: Scalable robust information systems. ''" in "Inconsistency Robustness". Carl Hewitt and John Woods assisted by Jane Spur editors. Vol. 52 of Studies in Logic. College Publications. ISBN-10: {{ISBN|1848901593}}. 2015.

[[User:Prof. Carl Hewitt|Carl]] ([[User talk:Prof. Carl Hewitt|talk]]) 13:36, 15 May 2016 (UTC)
:Authoritative is a disputed opinion; unless the "Inconsistency Robustness" board is also the recognized experts on the Actor Model (well, it's you, so it may be the case, but because it's you, it's not reliable, even if authoritative). — [[User:Arthur Rubin|Arthur Rubin]] [[User talk:Arthur Rubin|(talk)]] 03:42, 16 May 2016 (UTC)
::Authoritativeness of the article comes from the program committees of the Inconsistency Robustness symposia, the editors of Studies in Logic at College Publications, and the review by Professor Meyers as well as the author. [[User:Prof. Carl Hewitt|Carl]] ([[User talk:Prof. Carl Hewitt|talk]]) 14:09, 16 May 2016 (UTC)

Also, the items currently linked in the '''Articles''' part of the '''External Links''' section are extremely obsolete.
[[User:Prof. Carl Hewitt|Carl]] ([[User talk:Prof. Carl Hewitt|talk]]) 03:12, 23 May 2016 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified {{plural:4|one external link|4 external links}} on [[Actor model]]. Please take a moment to review [https://en.wikipedia.org/enwiki/w/index.php?diff=prev&oldid=742437460 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20130222175604/http://osl.cs.uiuc.edu:80/ to http://osl.cs.uiuc.edu
*Added archive https://web.archive.org/web/20100725024213/http://www.ateji.com:80/px/ to http://www.ateji.com/px
*Added archive https://web.archive.org/web/20100616003529/http://osl.cs.uiuc.edu/parley/ to http://osl.cs.uiuc.edu/parley/
*Added {{tlx|dead link}} tag to http://www.bitsavers.org.nyud.net/pdf/xerox/parc/techReports/Smalltalk-72_Instruction_Manual_Mar76.pdf
*Added {{tlx|dead link}} tag to http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/ec89/ec890109.pdf
*Added archive https://web.archive.org/web/20090124154231/http://osl.cs.uiuc.edu:80/af/ to http://osl.cs.uiuc.edu/af

When you have finished reviewing my changes, please set the ''checked'' parameter below to '''true''' or '''failed''' to let others know (documentation at {{tlx|Sourcecheck}}).

{{sourcecheck|checked=false}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 18:19, 3 October 2016 (UTC)

== This article is significantly obsolete and inaccurate. ==

This article is significantly obsolete and inaccurate.

More accurate information can be found here:
* [https://hal.archives-ouvertes.fr/hal-01163534 Actor Model of Computation for Scalable Robust Information Systems: One computer is no computer in IoT]
* [https://hal.archives-ouvertes.fr/hal-01147821 ActorScript™ extension of C#®, Java®, Objective C®, JavaScript®, and SystemVerilog using iAdaptive™ concurrency for antiCloud™ privacy and security: One computer is no computer in IoT]

Specifically, the following deficiencies and inaccuracies in the article need to be fixed:
* Lacking discussion of the crucial role played by strong types in the Actor Model
* Lacking discussion of the relationship of capability systems to the Actor Model
* Lacking discussion of the crucial role played by timeout request policies in the Actor Model
* Lacking discussion of commercially important applications including Orleans and Akka
* Lacking discussion of the crucial role of ActorScript (including meta interpreter) in defining the Actor Model
* Lacking discussion of the crucial role played by interfaces in the Actor Model
* Lacking discussion of the crucial role played by "Swiss cheese" in the Actor Model
* Under 'Addressed Issues' the reference to Hewitt [2006] does not seem correct <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Dbrookman|Dbrookman]] ([[User talk:Dbrookman#top|talk]] • [[Special:Contributions/Dbrookman|contribs]]) 18:13, 24 January 2019 (UTC)</small> <!--Autosigned by SineBot-->

[[User:Prof. Carl Hewitt|Carl]] ([[User talk:Prof. Carl Hewitt|talk]]) 01:24, 26 October 2016 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified {{plural:3|one external link|3 external links}} on [[Actor model]]. Please take a moment to review [https://en.wikipedia.org/enwiki/w/index.php?diff=prev&oldid=749138019 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20130726095621/http://puniverse.github.io:80/pulsar/manual/core.html to http://puniverse.github.io/pulsar/manual/core.html
*Added archive https://web.archive.org/web/20100725024213/http://www.ateji.com:80/px/ to http://www.ateji.com/px
*Added archive https://web.archive.org/web/20100616003529/http://osl.cs.uiuc.edu/parley/ to http://osl.cs.uiuc.edu/parley/

When you have finished reviewing my changes, please set the ''checked'' parameter below to '''true''' or '''failed''' to let others know (documentation at {{tlx|Sourcecheck}}).

{{sourcecheck|checked=false}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 17:27, 12 November 2016 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified 6 external links on [[Actor model]]. Please take a moment to review [https://en.wikipedia.org/enwiki/w/index.php?diff=prev&oldid=787587682 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Corrected formatting/usage for http://osl.cs.uiuc.edu/
*Corrected formatting/usage for http://puniverse.github.io/pulsar/manual/core.html
*Added archive https://web.archive.org/web/20100725024213/http://www.ateji.com/px/ to http://www.ateji.com/px
*Added archive https://web.archive.org/web/20100616003529/http://osl.cs.uiuc.edu/parley/ to http://osl.cs.uiuc.edu/parley/
*Corrected formatting/usage for http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/ec89/ec890109.pdf
*Corrected formatting/usage for http://osl.cs.uiuc.edu/af/

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

{{sourcecheck|checked=false|needhelp=}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 07:55, 26 June 2017 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified 2 external links on [[Actor model]]. Please take a moment to review [[special:diff/817766417|my edit]]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20150704114118/http://pythonhosted.org/pulsar/design.html to http://pythonhosted.org/pulsar/design.html
*Added archive https://web.archive.org/web/20170831125720/https://vvvvw.aaai.org/Papers/Workshops/1994/WS-94-04/WS94-04-008.pdf to https://vvvvw.aaai.org/Papers/Workshops/1994/WS-94-04/WS94-04-008.pdf

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

{{sourcecheck|checked=false|needhelp=}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 12:47, 30 December 2017 (UTC)

== Go Language ==

I think the language Go fits in the list of languages implementing this model. <!-- Template:Unsigned IP --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/99.249.102.209|99.249.102.209]] ([[User talk:99.249.102.209#top|talk]]) 22:30, 8 August 2018 (UTC)</small><!-- Template:Xsign -->

Latest revision as of 15:47, 22 January 2024

Actor libraries and frameworks - addition

[edit]

Perhaps we should add Functional Java (http://functionaljava.org/) to the list of Actor libraries and frameworks. It's a java framework which enables functional-style programming and an Actor implementation. —Preceding unsigned comment added by 109.160.238.233 (talk) 23:35, 1 November 2010 (UTC)[reply]

Also, there is JAVACT which is a Java library for programming concurrent, distributed and mobile agent-based applications. See: http://javact.org/JavAct.html —Preceding unsigned comment added by 141.115.28.2 (talk) 14:16, 8 February 2011 (UTC)[reply]

Also, CL-MUPROC for Common lisp (http://common-lisp.net/project/cl-muproc/) sould be added (under BSD License) --93.72.254.137 (talk) 22:05, 15 May 2012 (UTC)[reply]

Edit request on 4 July 2012

[edit]

libcppa was released in version 0.2.1 two days ago (2012-07-02). Furthermore, reference [43] should imo link to the Git Tags (https://github.com/Neverlord/libcppa/tags) rather than to the Git Commits.

Stickman hero (talk) 09:17, 4 July 2012 (UTC)[reply]

Done Mdann52 (talk) 10:27, 13 July 2012 (UTC)[reply]

Edit request on 28 July 2012

[edit]

Perhaps you can add a reference to STAGE implementation of the actor model in python from Imperial College of London - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5071380&tag=1 — Preceding unsigned comment added by Fikovnik (talkcontribs) 14:44, 28 July 2012 (UTC)[reply]

Edit request on 9 July 2012

[edit]

Akka 2.0.2 was released on June 12 2012.

RussAbbott (talk) 05:51, 10 July 2012 (UTC)[reply]

[edit]

Hi,

today I have finished an article about the actor model in the German Wikipedia. Can you please place to link to the version? http://de.wikipedia.org/wiki/Actor_Model

Best regards,

--Stephan.rehfeld (talk) 10:06, 22 July 2012 (UTC)[reply]

put in standard reference to published literature + the most referenced tutorial video

[edit]

References

[edit]

Section titles should accurately reflect subject matter. So I have changed the title to reflect the content below.50.131.244.2 (talk) 02:21, 29 September 2013 (UTC)[reply]

Although Carl Hewitt was apparently banned from Wikipedia, to me the overall article *still* reads like the typical "Actor model is above everything" propoganda he spams everywhere he appears (see e.g. his self-post at Lambda the Ultimate: http://lambda-the-ultimate.org/node/4140 and the subsequent discussions.)
Hewitt published an account of his Wikipedia misadventures in Corruption of Wikipedia. 171.65.249.4 (talk) 20:38, 2 October 2013 (UTC)[reply]
E.g. most of the sub-sections of "Message-passing semantics" contain almost no reasonable references and are just some rephrasings of statements made by Carl Hewitt, not some things proven / stated by other academics.
I'd much rather see NOTHING on this page than have a lot of statements which are highly dubious and just confuse me.
I also fail to understand how can self-published things by Carl Hewitt can be considered valid references? Has anyone even looked at those papers (i.e. papers "published" by Carl Hewitt after the 2000)? They are mostly total rubbish. E.g. some claim to disprove central theorems of mathemathical logic, which is beyond ridiculous.
--humble_reader 146.50.236.226 (talk) 22:05, 25 September 2013 (UTC)[reply]
Wikipedia is famous for anonymous ad hominem attacks on academic experts. A hallmark of such attacks is a complete lack of fact or subject argumentation. 12.199.206.2 (talk) 23:15, 26 September 2013 (UTC)[reply]
First, I don't understand why you are changing titles of posts made by others.
Second, sorry for using strongs words, but this is not an ad-hominem attack on Carl Hewitt. This is about the standard scientific process and the usual guidelines by which Wikipedia is being run, e.g. preventing things like citing self-publications. (WP:V#SELF). --humble_reader 77.172.242.47 (talk) 21:58, 27 September 2013 (UTC)[reply]
The section title has been changed in order to accurately reflect its content.
The standard scientific process is for critics to publish criticism of other scientists under their own name instead of hiding behind anonymity. At the Lambda the Ultimate Forum that you complained about, you are required to use your real name :-)
If you had read Professor Hewitt's homepage, you would know that he has published numerous refereed articles since 2000. There are videos on Hewitt's homepage that can help you understand the Actor Model.
PS. How is it being a student at Universiteit van Amsterdam?50.131.244.2 (talk) 02:21, 29 September 2013 (UTC)[reply]
Looking at Hewitt's publications after 2000 on DBLP, I see one peer-reviewed academic paper in COIN from 2007, in which, funnily, Hewitt cites his other unpeer-review or even unpublished papers (like the 'Hewitt 2007c').
Also, right, so now we are turning this into a discussion about Carl Hewitt, which is not my concern at all. I'll leave the title as is, because presumably you will just keep reverting it anyway. --humble_reader 77.172.242.47 (talk) 11:12, 29 September 2013 (UTC)[reply]
DBLP is not very up to date :-( The important thing is to learn as much as you can. Unfortunately, it is becoming increasingly difficult to improve articles because of Wikipedia Administrator censorship. So your best bet is to read the articles in the bibliography. 50.131.244.2 (talk) 03:09, 30 September 2013 (UTC)[reply]

I have changed the title to something neutral. I will look at the references in a little while, and remove any that are unpublished.

One immediate question is: what is the full publication information for "Proceedings of inconsistency robustness", including the publisher? Strangely, a Google search does not turn up any information, and "robust11.org" is simply an online PDF. — Carl (CBM · talk) 10:27, 30 September 2013 (UTC)[reply]

The "strangely" is not so strange, when you notice the fact that it is an "institution" setup by Carl Hewitt through which he publishes his own material. I don't know how to state this without sounding sarcastic. Humble reader (talk) 10:38, 30 September 2013 (UTC)[reply]
iRobust is a *very* prestigious academic society (see the Board of Directors at the website).64.134.237.164 (talk) 04:17, 2 October 2013 (UTC)[reply]
CBM, I see you edited the article by replacing some of the references with the "What is Computation?" article[1].
I think it can't be used as a reference for anything but philosophical arguments on what the actor model "is". (And yet even those being pretty bad ones). If you look at the discussion of the article at Lambda-the-Ultimate (which I already mentioned above), you can see how other academics are politely trying to point out the flaws of Hewitt's "formal" arguments. Moreover, the whole section on "Relationship to mathematical logic" is already flagged as needing verification, and the linked article in it -- Indeterminacy_in_concurrent_computation -- is also suggested for deletion in the Talk page of it.
If you were brave enough, you could go to Lambda the Ultimate and participate in the discussion ;-) 64.134.237.164 (talk) 04:17, 2 October 2013 (UTC)[reply]
The reason we have this whole mess simply because it is part of big self-reference cycle of Hewitt's productions. If you don't believe me, just check the facts yourselves. Initially after reading these few articles on Actor Model and it's relationship with other fields, for a while I myself believed that Hewitt found some interesting and even fundamentall relationships between Turing Completeness and etc. However, something did not feel quite right, and after taking a more careful look at this I realised that the reason his results "clash" with the rest of the theory is because none of them are formal mathematical arguments. Moreover, I have not found *any* confirmations of this in academic literature (apart from the one published by Hewitt, of course).
It will be interesting to see how your amateur opinion plays out. There will be serious discussions at Inconsistency Robustness 2014 next summer at Stanford. 64.134.237.164 (talk) 04:17, 2 October 2013 (UTC)[reply]
Finally, the "What is Computation?" article[1] is a philosophical essay -- not some kind of a mathematical paper which can be used to argue about some fundamental relationship to / implications about mathematical logic. It's mathematical logic, right?
Probably the most interesting (and controversial) article is Mathematics self-proves its own consistency. Undoubtedly, it will intensively discussed at Inconsistency Robustness 2014. 64.134.237.164 (talk) 04:40, 2 October 2013 (UTC)[reply]
<irony>Sure, the article seems to provoke contraversially humurous responses, so I bet there will be lots of discussion on how to explore the field of Troll Mathematical Logic.</irony> --Humble reader (talk) 07:27, 2 October 2013 (UTC)[reply]
Mocking academic experts won't get you anywhere. Of course, they are divided into differing camps. You need to understand the issues being discussed. 171.65.249.4 (talk) 20:38, 2 October 2013 (UTC)[reply]
I would go on and just start proposing things for deletion / edit out things myself, but I feel it will be taken as some kind of an unexplained "attack", that's why I'm taking the time to point out the flawed referencing and backing up of arguments and etc. -- Humble reader (talk) 21:08, 30 September 2013 (UTC)[reply]
Since I started on the "academics trying to confront Carl Hewitt's statements" theme, follow along this conversation in the Foundations of Mathematics mailing list (the FOM list is a professional academic list, read it here), where again Carl Hewitt is being subtly asked to provide any reasonable evidence about his claims, at which point the conversation dies. Obviously the normal academic ethics is not to "out" someone as being wrong, but either to ask them to provide proof or just ignore flawed claims. Luckily here we don't have to be so ethical and can actually remove the flawed claims rather than ignoring them. -- Humble reader (talk) 21:27, 30 September 2013 (UTC)[reply]
Unfortunately, the FOM list is censored. Many conversations are cut off mid-stream and continued via other forums such as Google+. 64.134.237.164 (talk) 04:24, 2 October 2013 (UTC)[reply]
<irony>Ah, indeed, FOM is censored just like Wikipedia is, right? Also, thanks, indeed the intelligent monologues of Carl Hewitt on G+ display his irrefutably correct arguments and the support from them academic society on them!</irony> -- Humble reader (talk) 07:27, 2 October 2013 (UTC)[reply]
Evidently you were unaware that FOM is censored. (Some prominent researchers working in the Foundations of Mathematics are unhappy about the censorship.) Academics are very busy people. They document their positions and move on. 171.65.249.4 (talk) 20:38, 2 October 2013 (UTC)[reply]
I made a relatively minimal edit [5]. (1) I removed the robust11.org reference, which has no publication info apart from appearing on a website for which the WHOIS information is very relevant. (2) I removed a reference to a "Middle History" paper which, according to its Arxiv page, was submitted in 2009 but has no publication info, and I was unable to find publication info anywhere else. (3) I combined two references to the "A Computable Universe" paper, so that they share the same reference details, but I removed a link from it to a webpage. This reference does appear to be published by World Scientific. The remaining reference info for it is still sufficient to verify printed the reference.
As something of a logician, you may not be aware that the action in Computer Science is in the refereed conferences (i.g. Inconsistency Robustness 2011). Also, arXiv is becoming an increasingly important publisher. Other areas of Wikipedia have recognized this reality. Why not here? 171.65.249.4 (talk) 20:38, 2 October 2013 (UTC)[reply]
In particular, these edits are based solely on the lack of publication info, and if such info was available I would reinstate the references. I invite you to continue editing the article, if you are knowledgeable, to make sure that the remaining references are accurate in terms of the content of the referenced article, which I have not had the opportunity to verify myself at this point. — Carl (CBM · talk) 21:44, 30 September 2013 (UTC)[reply]
You have removed the most important and fundamental reference in the article:
[2]
Is it wise to cripple the article, just because there is a Wikipedia vendetta against Hewitt?
  1. ^ a b Carl Hewitt, "What is computation? Actor Model versus Turing's Model", A Computable Universe: Understanding Computation & Exploring Nature as Computation. Dedicated to the memory of Alan M. Turing on the 100th anniversary of his birth. Edited by Hector Zenil. World Scientific Publishing Company. 2012
  2. ^ Carl Hewitt. "Actor Model of Computation: Scalable Robust Information Systems" Proceedings of Inconsistency Robustness 2011. [1] Also [2]

171.65.253.243 (talk) 20:16, 3 October 2013 (UTC)[reply]

Please provide the complete publication information - including the publisher, place of publication, pages, doi, etc. - for the reference. A review of the WHOIS information shows that robust11.org is a website registered to an individual, rather than to any professional society or publisher. I want to emphasize that the issue is that the paper has no publication information apart from the arXiv and a link to a conference website registered to an individual. — Carl (CBM · talk) 20:55, 3 October 2013 (UTC)[reply]

Protected

[edit]

Due to continuing violations of Wikipedia:Requests for arbitration/Carl Hewitt, I have semiprotected the article for six months. — Carl (CBM · talk) 22:56, 3 October 2013 (UTC)[reply]

I believe the semi-protection should be lifted immediately because the ruling specifically says periods up to 1 month if needed, not 3 months or 6 months or 100,000 months. Maghnus (talk) 00:39, 1 February 2014 (UTC)[reply]
It is true, but given the long pattern of violations, there is no reason to burden ourselves re-protecting articles every one month. The general pattern is that a longer protection seems to calm things down. Since you have requested unprotection, and the other affected articles have been quiet lately, I have unprotected the article. However, if the problem returns, I will re-protect it for several months. (It is worth emphasizing that this is semi-protection, not full protection.) — Carl (CBM · talk) 00:46, 1 February 2014 (UTC)[reply]
It is also worth noting that WP:PROTECT allows for protections such as this, independent of the arbitration case. Cf. https://en.wikipedia.org/wiki/Wikipedia:Arbitration/Requests/Enforcement/Archive74#Note_on_protections_of_computability-related_articles — Carl (CBM · talk) 00:49, 1 February 2014 (UTC)[reply]
Ahh, I hadn't read the more general policy on protection, so it looked to me like sort of creeping overreach/severity. Considering how long this has been going on (baffling), I guess it won't be long before the little lock is back, but thanks for being pragmatic and giving it a shot anyway. Maghnus (talk) 01:49, 1 February 2014 (UTC)[reply]

Please update a release date for me.

[edit]

Please update the release date for the Actor Framework project to 11/13/2013. IE, in the source, look for this section:

| Actor Framework | style="background:#9EFF9E;color:black;vertical-align:middle;text-align:center;" class="table-yes"|Active | 2013-09-02 | Apache 2.0 | .NET

Replace the date with 2013-11-13. Source: me, as I am the dev on that project. You can verify this by looking at http://actorfx.codeplex.com and looking at the date on the right. Thanks, Brian Grunkemeyer (briangru@microsoft.com) BrianGrunkemeyer (talk) 00:22, 15 November 2013 (UTC)[reply]

Done, Mdd (talk) 00:59, 15 November 2013 (UTC)[reply]

Please add SObjectizer framework to Actor libraries and frameworks list

[edit]

Please add one more item to Actor libraries and frameworks list:

| SObjectizer | style="background:#9EFF9E;color:black;vertical-align:middle;text-align:center;" class="table-yes"|Active | 2013-11-14 | New BSD | C++

Ngrodzitski (talk) 09:41, 21 November 2013 (UTC)[reply]

Done Thanks, Celestra (talk) 02:02, 22 November 2013 (UTC)[reply]

Please update SObjectizer framework info in the list of Actor libraries and frameworks

[edit]

Please update SObjectizer item info in the list of Actor libraries and frameworks:

| SObjectizer | style="background:#9EFF9E;color:black;vertical-align:middle;text-align:center;" class="table-yes"|Active | 2013-12-16 | New BSD | C++

Ngrodzitski (talk) 18:46, 16 December 2013 (UTC)[reply]

Done, thanks! --ElHef (Meep?) 23:54, 16 December 2013 (UTC)[reply]

Please update SObjectizer framework info in the list of Actor libraries and frameworks (2014-01-04)

[edit]

Please update SObjectizer item info in the list of Actor libraries and frameworks:

| SObjectizer | style="background:#9EFF9E;color:black;vertical-align:middle;text-align:center;" class="table-yes"|Active | 2014-01-04 | New BSD | C++

Ngrodzitski (talk) 13:51, 9 January 2014 (UTC)[reply]

Done. --Anon126 (talk - contribs) 00:49, 14 January 2014 (UTC)[reply]

active application projects

[edit]

How long after the last release will a project qualify as inactive? 2 years of inactivity looks like a lot to me. --K0zka (talk) 14:35, 23 May 2014 (UTC)[reply]

Erlang

[edit]

Does Erlang use Actor? Talk:Erlang_(programming_language)#History_accourding_to_J.C3.B6rg_Mittag

Comments invited. Andy Dingley (talk) 14:00, 17 June 2015 (UTC)[reply]

Edit request

[edit]

Please add the following reference to the article:

Carl Hewitt "Actor Model of Computation" in Inconsistency Robustness Studies in Logic. Vol. 52. College Publications. 2015, ISBN 978-1848901599

Not done: According to the page's protection level and your user rights, you should be able to edit the page yourself. If you seem to be unable to, please reopen the request with further details. -- Sam Sailor Talk! 09:31, 3 September 2015 (UTC)hat[reply]
It looks like some censor removed the reference when it was added to the article.50.247.81.99 (talk) 17:58, 14 September 2015 (UTC)[reply]
Not done: Pinging Arthur Rubin, CBM and SlimVirgin who seem to know more about this situation. Ivanvector 🍁 (talk) 18:13, 14 September 2015 (UTC)[reply]
Frankly, it would be very good to have some fresh eyes on this page, and on the articles Carl Hewitt and Gödel's incompleteness theorems. The general background is quite long. A summary by The Guardian is here. After the arbitration case, a large number of IP accounts have been used to make the same sorts of edits that were banned by the arbitration remedies. Recently, IP accounts have been used to insert or recommend citations to Hewitt's current research, sometimes by adding it as a reference for a claim that has long been in an article, e.g. [6].
There is nothing wrong with references to reliable published work, of course, if they are added by non-banned editors in a way that follows general Wikipedia principles. I would encourage other editors to research the book Inconsistency Robustness when it becomes available (it is on Amazon, but not yet available in any library indexed by WorldCat), and to add it to the article as appropriate. — Carl (CBM · talk) 19:24, 14 September 2015 (UTC)[reply]
The book is Vol. 52 in the very prestigious Studies in Logic series under Dov Gabbay. Professor Hewitt's article in the book has the latest and most accurate information on the Actor Model.192.81.129.38 (talk) 04:33, 16 September 2015 (UTC)[reply]
Perhaps it is the latest and most accurate information (although "most accurate" is a strange turn of phrase when referring to theoretical computability). In that case, some other editor will add it. In the meantime, Carl Hewitt is banned from editing Wikipedia; that extends to the entire project, including talk pages. Please do not place any more edit requests on this page. They will be removed without further comment. — Carl (CBM · talk) 10:47, 16 September 2015 (UTC)[reply]
Not done: According to the page's protection level you should be able to edit the page yourself. If you seem to be unable to, please reopen the request with further details. Edgars2007 (talk/contribs) 10:45, 16 September 2015 (UTC)[reply]

Cloud Haskell in the table

[edit]

I don't see a basis for this in the project, with which I was already familiar. Have an outstanding query in the IRC channel supporting it (cloud haskell, CH) and will remove that row shortly, barring discovery/direction to the relevance. Everything with message passing or communicating objects isn't necessarily an Actor system. 108.183.102.223 (talk) 11:24, 4 May 2016 (UTC)[reply]

So the feedback from one of the principal developers is that CH does what Erlang does and is therefore an Actor implementation. 108.183.102.223 (talk) 18:42, 4 May 2016 (UTC)[reply]
Said principal developer here. Just a quick follow-up with some more details and references. What exactly is an implementation of the actor model is an interesting question, and I'm not going to make any strong claim that Erlang is such an implementation. However, if we agree that Erlang is such an implementation then it follows that Cloud Haskell is too because it implements the same primitives with the same semantics. This is exactly the same claim that the two citations for Scala make. They reference Hewitt and Agha but only actually claim to implement the Erlang primitives. This is the basis on which the page currently justifies calling Scala a whole actor programming language (even though it's just a library in scala). Exactly the same justification can be made for Haskell as a whole, and certainly for the Cloud Haskell library. For references/citations, use "Towards Haskell in the Cloud" the paper and perhaps Jeff's thesis (links and citation info available). There is also a document which gives the formal semantics of Cloud Haskell, based on a previously published formal semantics of Erlang. So there's clear evidence here. --82.5.178.99 (talk) 18:46, 4 May 2016 (UTC)[reply]
So the criteria for being an implementation of the Actor model is at issue, I think. Leaving open for further comment. 108.183.102.223 (talk) 18:54, 4 May 2016 (UTC)[reply]
There is a discussion of the relationship of Erlang to the Actor Model in the following article: "Actor Model of computation: Scalable robust information systems. " in "Inconsistency Robustness". Carl Hewitt and John Woods assisted by Jane Spur editors. Vol. 52 of Studies in Logic. College Publications. ISBN-10: ISBN 1848901593. 2015.
Carl (talk) 13:43, 15 May 2016 (UTC)[reply]

Most authoritative published article on the Actor Model

[edit]

The most authoritative published article on the Actor Model is the following: "Actor Model of computation: Scalable robust information systems. " in "Inconsistency Robustness". Carl Hewitt and John Woods assisted by Jane Spur editors. Vol. 52 of Studies in Logic. College Publications. ISBN-10: ISBN 1848901593. 2015.

Carl (talk) 13:36, 15 May 2016 (UTC)[reply]

Authoritative is a disputed opinion; unless the "Inconsistency Robustness" board is also the recognized experts on the Actor Model (well, it's you, so it may be the case, but because it's you, it's not reliable, even if authoritative). — Arthur Rubin (talk) 03:42, 16 May 2016 (UTC)[reply]
Authoritativeness of the article comes from the program committees of the Inconsistency Robustness symposia, the editors of Studies in Logic at College Publications, and the review by Professor Meyers as well as the author. Carl (talk) 14:09, 16 May 2016 (UTC)[reply]

Also, the items currently linked in the Articles part of the External Links section are extremely obsolete. Carl (talk) 03:12, 23 May 2016 (UTC)[reply]

[edit]

Hello fellow Wikipedians,

I have just modified 4 external links on Actor model. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 18:19, 3 October 2016 (UTC)[reply]

This article is significantly obsolete and inaccurate.

[edit]

This article is significantly obsolete and inaccurate.

More accurate information can be found here:

Specifically, the following deficiencies and inaccuracies in the article need to be fixed:

  • Lacking discussion of the crucial role played by strong types in the Actor Model
  • Lacking discussion of the relationship of capability systems to the Actor Model
  • Lacking discussion of the crucial role played by timeout request policies in the Actor Model
  • Lacking discussion of commercially important applications including Orleans and Akka
  • Lacking discussion of the crucial role of ActorScript (including meta interpreter) in defining the Actor Model
  • Lacking discussion of the crucial role played by interfaces in the Actor Model
  • Lacking discussion of the crucial role played by "Swiss cheese" in the Actor Model
  • Under 'Addressed Issues' the reference to Hewitt [2006] does not seem correct — Preceding unsigned comment added by Dbrookman (talkcontribs) 18:13, 24 January 2019 (UTC)[reply]

Carl (talk) 01:24, 26 October 2016 (UTC)[reply]

[edit]

Hello fellow Wikipedians,

I have just modified 3 external links on Actor model. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 17:27, 12 November 2016 (UTC)[reply]

[edit]

Hello fellow Wikipedians,

I have just modified 6 external links on Actor model. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 07:55, 26 June 2017 (UTC)[reply]

[edit]

Hello fellow Wikipedians,

I have just modified 2 external links on Actor model. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 12:47, 30 December 2017 (UTC)[reply]

Go Language

[edit]

I think the language Go fits in the list of languages implementing this model. — Preceding unsigned comment added by 99.249.102.209 (talk) 22:30, 8 August 2018 (UTC)[reply]