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

[KC]

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/20161023/c6eb1d8d/attachment.html>