[Ur] Research topic one semester Ur/Wev or dependent typer

[Matt Rice]

I'd posted the comment here, it's not much of a description though.

https://github.com/urweb/urweb/issues/99#issuecomment-343450038

The only other thought i'd had is something i have tried to work on, but
not yet had any luck with,
which is an implementation of the nanopass-framework as ur modules, the
nanopass framework in the scheme implementation of it provides a set of
macros (define-language, define-pass), which are a bit difficult to nail
down
in a statically typed language.

In particular it seems to require row polymorphism, folds, pattern
matching, type -> type functions
all which seem to be provided by Ur, individually I can see that the pieces
seem to be there, that I can imagine the big picture of how the macros
could be implemented in ur, but I haven't managed to put it all together,
not sure if it'd be a bit much for a semester or not.


On Fri, Nov 10, 2017 at 4:56 AM, Daniel Agota <agota.daniel at gmail.com>
wrote:

> Hi Adam,
>
> Thanks for the WebAssembly suggestion it sounds really interesting.
>
> Please point me to a description if you already have one so I can register
> it to my lecturer.
>
> Kind regards, Daniel
>
> Gesendet von meinem BlackBerry 10-Smartphone.
> *Von: *Adam Chlipala
> *Gesendet: *Freitag, 10. November 2017 13:53
> *An: *ur at impredicative.com
> *Antwort an: *The Ur programming language
> *Betreff: *Re: [Ur] Research topic one semester Ur/Wev or dependent typer
>
> Actually, one other idea that just came up on GitHub is adding a
> WebAssembly backend to the Ur/Web compiler.  This task requires SML
> expertise but is probably small enough for someone starting with that
> expertise.
>
> On 11/10/2017 07:50 AM, Adam Chlipala wrote:
>
> Glad to hear you're interested in these topics!  And presumably some other
> people following the mailing list might be interested in similar
> suggestions, though I suggest you take any further replies private, sending
> to me alone.
>
> The only semester-sized idea I have at the moment is to learn about UPO
> <http://upo.csail.mit.edu/> and implement a new module or two.  I
> consider Ur/Web almost done as a research project, as it is almost fully
> transitioned into a production toolset.
>
> On 11/10/2017 03:13 AM, Daniel Agota wrote:
>
> Dear Adam,
>
> Could you propose me a small scale research project either related to
> Ur/Web or the topics covered in the cpdt book?
>
> I am doing a one semester masters level course focusing primarily on
> research methodol‎ogy, but I personally  would like to work on a meaningful
> project.
>
> I am a Senior Developer with 9 years industrial experience currently
> working with micro services.
>
> I have read the ‎Types and Programming Languages book from Benjamin Pierce
> and the Software Foundations book about two years ago.
>
> Kind Regards, Daniel Agota
>
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20171110/0c3bebf5/attachment.html>