<div dir="ltr">Hi Artyom, thanks for posting this. It great to be able to look at and study others' code. <br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 14, 2017 at 12:00 PM, <span dir="ltr"><<a href="mailto:ur-request@impredicative.com" target="_blank">ur-request@impredicative.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Send Ur mailing list submissions to<br>
<a href="mailto:ur@impredicative.com">ur@impredicative.com</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
or, via email, send a message with subject or body 'help' to<br>
<a href="mailto:ur-request@impredicative.com">ur-request@impredicative.com</a><br>
<br>
You can reach the person managing the list at<br>
<a href="mailto:ur-owner@impredicative.com">ur-owner@impredicative.com</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Ur digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
1. Using Ur/Web for static site generation (Artyom Shalkhakov)<br>
2. Re: Database migrations (Artyom Shalkhakov)<br>
<br>
<br>
------------------------------<wbr>------------------------------<wbr>----------<br>
<br>
Message: 1<br>
Date: Tue, 14 Feb 2017 21:51:15 +0600<br>
From: Artyom Shalkhakov <<a href="mailto:artyom.shalkhakov@gmail.com">artyom.shalkhakov@gmail.com</a>><br>
To: The Ur programming language <<a href="mailto:ur@impredicative.com">ur@impredicative.com</a>><br>
Subject: [Ur] Using Ur/Web for static site generation<br>
Message-ID:<br>
<CAKO6=<a href="mailto:qhj4Y%2B_H74w3Qyrx30tfLPmfP9fz3yJgvhFBqFpxPurvQ@mail.gmail.com">qhj4Y+_<wbr>H74w3Qyrx30tfLPmfP9fz3yJgvhFBq<wbr>FpxPurvQ@mail.gmail.com</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Hello all,<br>
<br>
It seems that static site generators are trendy these days.<br>
<br>
I built a static website in Ur/Web [1] and the source code is available<br>
[2]. Please don't hesitate to leave feedback (negative as well as positive,<br>
of course).<br>
<br>
And by the way, I used styles from Skeleton, [3] myself being pretty bad at<br>
CSS.<br>
<br>
--<br>
Cheers,<br>
Artyom Shalkhakov<br>
<br>
[1] <a href="https://ashalkhakov.github.io" rel="noreferrer" target="_blank">https://ashalkhakov.github.io</a><br>
[2] <a href="https://github.com/ashalkhakov/ashalkhakov.github.com" rel="noreferrer" target="_blank">https://github.com/<wbr>ashalkhakov/ashalkhakov.<wbr>github.com</a><br>
[3] <a href="http://getskeleton.com/" rel="noreferrer" target="_blank">http://getskeleton.com/</a><br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="http://www.impredicative.com/pipermail/ur/attachments/20170214/1a528b75/attachment-0001.html" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>pipermail/ur/attachments/<wbr>20170214/1a528b75/attachment-<wbr>0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Tue, 14 Feb 2017 21:51:52 +0600<br>
From: Artyom Shalkhakov <<a href="mailto:artyom.shalkhakov@gmail.com">artyom.shalkhakov@gmail.com</a>><br>
To: The Ur programming language <<a href="mailto:ur@impredicative.com">ur@impredicative.com</a>><br>
Subject: Re: [Ur] Database migrations<br>
Message-ID:<br>
<CAKO6=<wbr>qhrPTb26BNF91YCHJ5bNyWr5dnEddy<wbr>6OmE+B=<a href="mailto:URg_KXZQ@mail.gmail.com">URg_KXZQ@mail.gmail.com</a><wbr>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Hello Saulo,<br>
<br>
2017-02-08 16:15 GMT+06:00 Saulo Araujo <<a href="mailto:saulo2@gmail.com">saulo2@gmail.com</a>>:<br>
<br>
> Hi Artyon,<br>
><br>
> I believe that Liquibase satisfies, at least partially, your requirements.<br>
> In particular, it is able diff databases (<a href="http://www.liquibase.org/" rel="noreferrer" target="_blank">http://www.liquibase.org/</a><br>
> documentation/diff.html).<br>
><br>
><br>
Thank you, I will take a look.<br>
<br>
<br>
> Regards,<br>
> Saulo<br>
><br>
> On Wed, Feb 8, 2017 at 4:52 AM, Artyom Shalkhakov <<br>
> <a href="mailto:artyom.shalkhakov@gmail.com">artyom.shalkhakov@gmail.com</a>> wrote:<br>
><br>
>> Hello all,<br>
>><br>
>> I'd like to see Ur/Web helping with database migrations. Currently, the<br>
>> compiler will output an SQL script containing DDL statements to create the<br>
>> schema from scratch.<br>
>><br>
>> Ur/Web largely follows a "code-first" approach: the program's code is<br>
>> authoritative source of the database schema (or, put it differently,<br>
>> program's code is enough to infer the definition of the database schema).<br>
>><br>
>> My idea is to have Ur/Web generate the database schema in a<br>
>> database-independent format (e.g. as some simple JSON), and then use a tool<br>
>> to find the diff/patch between two such schemas.<br>
>><br>
>> Having searched for off-the-shelf tools to help with generating DDL<br>
>> statements given two schemas expressed in a database-independent format, I<br>
>> came up with basically nothing that can be easily reused.[2]<br>
>><br>
>> I'm looking for help with the format definition (preferably something<br>
>> that comes with tools: e.g. convert schema definition to DDL of target<br>
>> database). Seems like the simplest/best way forward is to go with an<br>
>> Ur/Web-specific tool.<br>
>><br>
>> --<br>
>> Cheers,<br>
>> Artyom Shalkhakov<br>
>><br>
>> [1] <a href="https://github.com/urweb/urweb/issues/65" rel="noreferrer" target="_blank">https://github.com/urweb/<wbr>urweb/issues/65</a><br>
>> [2] <a href="https://github.com/urweb/urweb/issues/65#issuecomment-277904189" rel="noreferrer" target="_blank">https://github.com/urweb/<wbr>urweb/issues/65#issuecomment-<wbr>277904189</a><br>
>><br>
>> ______________________________<wbr>_________________<br>
>> Ur mailing list<br>
>> <a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
>> <a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
>><br>
>><br>
><br>
> ______________________________<wbr>_________________<br>
> Ur mailing list<br>
> <a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
> <a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
><br>
><br>
<br>
<br>
--<br>
Cheers,<br>
Artyom Shalkhakov<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="http://www.impredicative.com/pipermail/ur/attachments/20170214/62c43f0b/attachment-0001.html" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>pipermail/ur/attachments/<wbr>20170214/62c43f0b/attachment-<wbr>0001.html</a>><br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
<br>
<br>
------------------------------<br>
<br>
End of Ur Digest, Vol 96, Issue 6<br>
******************************<wbr>***<br>
</blockquote></div><br></div>