[Haskell-cafe] A Procedural-Functional Language (WIP)

[Rik Howard]

Thanks, I will.

R


On 23 October 2016 at 23:23, KC <kc1956 at gmail.com> wrote:

> You may want to look at
>
> Call-By-Push-Value
> A Functional/Imperative Synthesis
> By Springer
>
> --
> --
>
> Sent from an expensive device which will be obsolete in a few months! :D
>
> Casey
>
>
> On Oct 22, 2016 5:19 AM, "Rik Howard" <rik at dcs.bbk.ac.uk> wrote:
>
>> Dear Haskell Cafe Subscribers
>>
>> 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.
>>
>> 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.
>>
>> http://www.dcs.bbk.ac.uk/~rik/gallery/work-in-progress/document.pdf
>>
>>
>> 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.
>>
>> Yours sincerely
>> Rik Howard
>>
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20161024/2280d2d8/attachment.html>