<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class="">Hi,</div>
<div class=""><br class="">
</div>
<div class="">Ok great.</div>
<div class=""><br class="">
</div>
<div class="">Thanks,</div>
<div class=""><br class="">
</div>
<div class="">Regards,</div>
<div class="">Sven</div>
<br class="">
<div>
<blockquote type="cite" class="">
<div class="">On 23 Oct 2016, at 23:44, Rik Howard <<a href="mailto:rik@dcs.bbk.ac.uk" class="">rik@dcs.bbk.ac.uk</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div dir="ltr" class="">
<div class="">Hi Sven</div>
<div class=""><br class="">
</div>
<div class="">thanks for the response.  Some examples will definitely be produced.  The syntax in the note is one that has been stripped down to support not much more than is needed for the note.  On reflection, this does not make for a good presentation. 
 A suggestion has been made to use the syntax of a standard reference to make easier a conceptual evaluation of the language.  I think this could be a good way to clarify the ideas in the note; if they stand, a more-concrete (or practical) syntax could then
 be considered.  The example could certainly be done in Haskell and many other languages.  I'm not sure of the optimisation that you mention, so far the emphasis has been more on matters of semantics and, in the note, what effect the approach would have on
 a type system.  You may be right about the readability, some examples would be useful.  Coming soon!</div>
<div class=""><br class="">
</div>
<div class="">Best</div>
<div class="">Rik</div>
<div class=""><br class="">
</div>
</div>
<div class="gmail_extra"><br class="">
<div class="gmail_quote">On 23 October 2016 at 12:28, Sven SAULEAU <span dir="ltr" class="">
<<a href="mailto:sven.sauleau@xtuc.fr" target="_blank" class="">sven.sauleau@xtuc.fr</a>></span> wrote:<br class="">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word" class="">
<div class="">
<div class="">Hi,</div>
<div class=""><br class="">
</div>
<div class="">Seems interesting but I have difficulties to understand. Some concret example would help.</div>
<div class=""><br class="">
</div>
<div class="">Your example could be done in Haskell using IO Monads.</div>
<div class=""><br class="">
</div>
<div class="">Wouldn’t procedures be inlined as a compilation optimisation in Haskell ?</div>
<div class=""><br class="">
</div>
<div class="">From my point of view your proposal will degrade code readability and wouldn’t improve efficiency of the execution.</div>
<div class=""><br class="">
</div>
<div class="">As said earlier, I may have misunderstood. Feel free to correct me.</div>
<div class=""><br class="">
</div>
<div class="">Regards,</div>
<div class="">Sven</div>
</div>
<div class="">
<div class="h5"><br class="">
<div class="">
<blockquote type="cite" class="">
<div class="">On 23 Oct 2016, at 10:52, Rik Howard <<a href="mailto:rik@dcs.bbk.ac.uk" target="_blank" class="">rik@dcs.bbk.ac.uk</a>> wrote:</div>
<br class="m_-7747186371740387916Apple-interchange-newline">
<div class="">
<div dir="ltr" class="">
<div class="">Hi Richard</div>
<div class=""><br class="">
</div>
<div class="">thank you for your reply.  It is becoming apparent that my explanation can be made clearer.  I'm investigating a language that takes something like core Haskell (a Lambda Calculus augmented with let blocks) to satisfy its pure function requirements
 but that takes a different approach when it comes to IO by employing procedures.</div>
<div class=""><br class="">
</div>
<div class="">For IO, a procedure returns only 'okay' or an error via the mechanism that a function would use for returning values; the non-deterministic values returned by the procedure are done so with variable parameters.  For example, to define a procedure
 to echo once from standard in to out:</div>
<div class=""><br class="">
</div>
<div class="">    echo = try (read string) (write string) error</div>
<div class=""><br class="">
</div>
<div class="">The value coming from standard-in is to be captured in the 'string' out-variable and so is available to be written to standard-out, the 'try' built-in being analogous to 'if'.</div>
<div class=""><br class="">
</div>
<div class="">Rough (inconsistent) examples exist; its grammar and type system are in a slightly better state but not yet written up properly.  What I could quickly add as an appendix, I have but the notation needs to be made more standard for easier comparison. 
 I am working on another paper that will address the need for a more-concrete and standard presentation.  I hope that this goes some way to answering your questions; please say if it doesn't!</div>
<div class=""><br class="">
</div>
<div class="">Rik</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
</div>
<div class="gmail_extra"><br class="">
<div class="gmail_quote">On 22 October 2016 at 20:35, Richard Eisenberg <span dir="ltr" class="">
<<a href="mailto:rae@cs.brynmawr.edu" target="_blank" class="">rae@cs.brynmawr.edu</a>></span> wrote:<br class="">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word" class="">
<div class="">Hi Rik,</div>
<div class=""><br class="">
</div>
<div class="">I'm unsure what to make of your proposal, as it's hard for me to glean out what you're proposing. Do you have some sample programs written in your proposed language? What is the language's grammar? What is its type system (stated in terms of inference
 rules)? Having these concrete descriptors of the language would be very helpful in assessing this work.</div>
<span class="m_-7747186371740387916HOEnZb"><font color="#888888" class="">
<div class=""><br class="">
</div>
<div class="">Richard</div>
<br class="">
</font></span>
<div class="">
<blockquote type="cite" class="">
<div class="">
<div class="m_-7747186371740387916h5">
<div class="">On Oct 22, 2016, at 8:18 AM, Rik Howard <<a href="mailto:rik@dcs.bbk.ac.uk" target="_blank" class="">rik@dcs.bbk.ac.uk</a>> wrote:</div>
<br class="m_-7747186371740387916m_-6278175525245938519Apple-interchange-newline">
</div>
</div>
<div class="">
<div class="">
<div class="m_-7747186371740387916h5">
<div dir="ltr" class="">
<div class="">Dear Haskell Cafe Subscribers</div>
<div class=""><br class="">
</div>
<div class="">on the recommendation of someone for whom I have great respect, I have just subscribed to this list, it having been suggested as being a good place for me to get feedback regarding a project that I have been working on.  I am humbled by the level
 of discussion and it feels to be a very bold step for me to request anybody's time for my words.</div>
<div class=""><br class="">
</div>
<div class="">The linked document is a four-page work-in-progress summary: the length being stipulated, potential novelty being the other main requirement.  Given the requirements, the summary necessarily glosses over some details and is not yet, I fear, completely
 correct.  The conclusion is, more or less, the one at which I am aiming; the properties are, more or less, the ones that are needed.</div>
<div class=""><br class="">
</div>
<blockquote style="margin:0 0 0 40px;border:none;padding:0px" class="">
<div class=""><a href="http://www.dcs.bbk.ac.uk/~rik/gallery/work-in-progress/document.pdf" target="_blank" class="">http://www.dcs.bbk.ac.uk/~rik/<wbr class="">gallery/work-in-progress/docum<wbr class="">ent.pdf</a></div>
</blockquote>
<div class=""><br class="">
</div>
<div class="">The work arises from an investigation into functional programming syntax and semantics.  The novelty seems to be there but there is too a question as to whether it is simply a gimmick.  I try to suggest that it is not but, by that stage, there
 have been many assumptions so it is hard to be sure whether the suggestion is valid.  If anyone has any comments, questions or suggestions, they would be gratefully received.</div>
<div class=""><br class="">
</div>
<div class="">Yours sincerely</div>
<div class="">Rik Howard</div>
<div class=""><br class="">
</div>
</div>
</div>
</div>
<span class="">______________________________<wbr class="">_________________<br class="">
Haskell-Cafe mailing list<br class="">
To (un)subscribe, modify options or view archives go to:<br class="">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank" class="">http://mail.haskell.org/cgi-bi<wbr class="">n/mailman/listinfo/haskell-caf<wbr class="">e</a><br class="">
Only members subscribed via the mailman list are allowed to post.</span></div>
</blockquote>
</div>
<br class="">
</div>
</blockquote>
</div>
<br class="">
</div>
______________________________<wbr class="">_________________<br class="">
Haskell-Cafe mailing list<br class="">
To (un)subscribe, modify options or view archives go to:<br class="">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank" class="">http://mail.haskell.org/cgi-<wbr class="">bin/mailman/listinfo/haskell-<wbr class="">cafe</a><br class="">
Only members subscribed via the mailman list are allowed to post.</div>
</blockquote>
</div>
<br class="">
</div>
</div>
<p class="">--</p>
<p class=""><strong class="">Sven SAULEAU - Xtuc</strong></p>
<div class=""> <br class="webkit-block-placeholder">
</div>
<p class="">Développeur Web</p>
<p class=""><a href="mailto:contact@xtuc.fr" target="_blank" class="">contact@xtuc.fr</a></p>
<p class="">06 28 69 51 44</p>
<p class=""><a href="http://www.xtuc.fr/" target="_blank" class="">www.xtuc.fr</a></p>
<p class=""><a href="https://www.linkedin.com/in/svensauleau" target="_blank" class="">https://www.linkedin.com/in/<wbr class="">svensauleau</a></p>
</div>
</blockquote>
</div>
<br class="">
</div>
</div>
</blockquote>
</div>
<br class="">
<p>--</p>
<p><strong>Sven SAULEAU - Xtuc</strong></p>
<p> </p>
<p>Développeur Web</p>
<p>contact@xtuc.fr</p>
<p>06 28 69 51 44</p>
<p><a href="http://www.xtuc.fr">www.xtuc.fr</a></p>
<p><a href="https://www.linkedin.com/in/svensauleau">https://www.linkedin.com/in/svensauleau</a></p>
</body>
</html>