tag:blogger.com,1999:blog-8383004232931899216.post7035371049368779777..comments2023-11-01T11:47:57.046-04:00Comments on Designing ParaSail, a new programming language: More on ParaSail interfacesTucker Tafthttp://www.blogger.com/profile/08866496974237052847noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-8383004232931899216.post-80764336121079112902010-01-04T16:58:35.244-05:002010-01-04T16:58:35.244-05:00Very interesting...Very interesting...jagwiohttps://www.blogger.com/profile/07234976924523283472noreply@blogger.comtag:blogger.com,1999:blog-8383004232931899216.post-19858438811983198042009-12-30T16:56:57.928-05:002009-12-30T16:56:57.928-05:00I might add that supporting annotations with a lig...I might add that supporting annotations with a light-weight syntax (e.g. "{...}") is also important, as one fundamental goal of ParaSail is to be suitable for safety-critical software requiring stringent certification.Tucker Tafthttps://www.blogger.com/profile/08866496974237052847noreply@blogger.comtag:blogger.com,1999:blog-8383004232931899216.post-14611663392131724062009-12-30T15:35:33.261-05:002009-12-30T15:35:33.261-05:00The goal is to create a language that has familiar...The goal is to create a language that has familiar capabilities but that also provides implicit parallelism. One of the keys to implicit parallelism is that there are no global variables -- the parameter list identifies all variable data that is read or updated by the operation. This means that the parameter list needs to be capable of supporting the kinds of references that might normally be done using global variables, including indirections through pointers. So the notion of a "ref" parameter or result is important to reduce the use of explicit pointer indirection.<br />-TuckTucker Tafthttps://www.blogger.com/profile/08866496974237052847noreply@blogger.comtag:blogger.com,1999:blog-8383004232931899216.post-17762419885968359672009-12-30T15:26:47.806-05:002009-12-30T15:26:47.806-05:00I am finding it hard to distinguish which of your ...I am finding it hard to distinguish which of your language design decisions are critical to the goals of the language (parallelism) and which are essentially arbitrary relative to those goals. For instance, surface syntax such as if, then, else, end if are arbitrary with respect to parallelism (even if important for readability, familiarity, etc.). <br /><br />As a concrete example, it is not clear to me at this stage what the implications are for an assignment to a ref returning function for parallelism. <br /><br />-Fred MuellerChief-Dweebhttps://www.blogger.com/profile/07560190018018577319noreply@blogger.com