att KI
> kommer att behandla dina personuppgifter. Här finns information om hur KI
> behandlar personuppgifter<
> https://ki.se/medarbetare/integritetsskyddspolicy>.
>
>
> Sending email to Karolinska Institutet (KI) will result in KI processing
> your personal data.
inspiration from ESTree format
[1] but of course it doesn't quite fit.
There is a bigger question of creating a language service for Ur/Web
but let's leave it out for now.
--
Cheers,
Artyom Shalkhakov
[1] https://github.com/estree/estree
___
Ur mailing list
full-blown XML library via FFI.
For this use case I have made a hacky workaround, though.
> On 1/10/19 2:56 PM, Artyom Shalkhakov wrote:
> > Hello list,
> >
> > I am working on this library [1] for producing Atom feeds.
> >
> > The idea is to produce XML similarly
NSERT clause handling. This
is a bit too much for my ability right now.
Other than that, I'm really in favor of adding it.
> Thanks
>
> Simon
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/
Hi Simon,
What has been done about this? I'm very interested in making testing easy
to do in Ur/Web.
On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren <
simon.van.caste...@gmail.com> wrote:
> Hey,
>
> My current urweb project is getting quite big and there's a few places
> where property-based
a JS example to Ur/Web.
What do others think? Is this worth doing?
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> Fabrice Leal
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
xp and a tenantId and adds these clauses to all
>>>> tables involved. Not 100% sure that will work but I think it's possible, I
>>>> haven't had to dive into the internals of sql_exp yet. Secondly, I wonder
>>>> if I can somehow declare my endpoints to be tenantdepandent (all
([]) ([]))
> --
>
> — Peter
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
2017-07-13 20:51 GMT+06:00 Artyom Shalkhakov <artyom.shalkha...@gmail.com>:
> Hello all,
>
> I've pushed some code to GitHub here:
>
> https://github.com/ashalkhakov/urweb-projects/tree/master/xforms
>
> This is meant to mimic what one can do with XForms (which is sai
eems quite wasteful
for this particular usage.
Is this algorithmic inefficiency not something to be concerned about?
> On Sun, Jul 23, 2017 at 9:50 PM, Artyom Shalkhakov
> <artyom.shalkha...@gmail.com> wrote:
>>
>> 2017-07-23 0:15 GMT+06:00 Benjamin Barenblat <benja...@b
too bad depending on the
> calculation, but it's something to keep in mind.
>
Speaking of which, how is the VM implemented and are there any
low-hanging fruits to improve it?
> On Sun, Jul 23, 2017 at 9:50 PM, Artyom Shalkhakov
> <artyom.shalkha...@gmail.com> wrote:
>>
>>
virtual machine (e.g. the fact that all Ur
functions are in a curried form).
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
hub.com/bbarenblat/urweb-regex (in particular, take a look
at regex__FFI.urs and the two types [substring_t] and
[substring_list_t])
https://github.com/ashalkhakov/urweb-storage (shameless plug; in
particular, take a look at storage__FFI.urs and the type [storage])
> On Sun, May 21, 2017 at 8:10
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
ctions/types implemented in JS.
What kind of errors do you have in mind?
> Any suggestions would be useful!
>
> thanks,
>
> Jeevjyot
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi
2017-04-17 20:00 GMT+06:00 Matt Rice <ratm...@gmail.com>:
> On Sun, Apr 16, 2017 at 8:10 PM, Artyom Shalkhakov
> <artyom.shalkha...@gmail.com> wrote:
>> Hi Matt,
>>
>> Very interesting, thanks for sharing!
>>
>> I have a somewhat convoluted setup:
2017-04-17 18:48 GMT+06:00 Adam Chlipala <ad...@csail.mit.edu>:
> On 04/16/2017 11:10 PM, Artyom Shalkhakov wrote:
>>
>> * [wget] is used to scrape the pages and save them to a file (using
>> -static protocol, I could not get the dynamic JS file output)
>
>
&g
ttps://ratmice.gitlab.io/gitlab-urweb-pages
>
> Overall It seems I used much the same method of static site generation as
> Artyom Shalkhakov, did on github.io, which is running the urweb
> executable and then crawling it.
>
> cheers
>
>
ide and PRIOR to your own code via the [jsFile]
directive in [ckeditor.urp].
Or, you could link to the JS file directly in your HTML, but then
you'd probably need to bless the URL.
>
> thanks,
>
> Jeevjyot
>
>
>
> ______
;> > Ur@impredicative.com
>> > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>> >
>> > ___
>> > Ur mailing list
>> > Ur@impredicative.com
>> > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>> >
>> >
>> > [2 ]
>> > ___
>> > Ur mailing list
>> > Ur@impredicative.com
>> > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>>
>> ___
>> Ur mailing list
>> Ur@impredicative.com
>> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>>
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
at turned out
to be caused by a typo. Great that I'm not alone. :-)
> Best regards,
>
> Marko
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Sh
.
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
eah, that's what I meant by saying that my techical writing skills
are lacking. I'll expand the article.
> On 03/08/2017 05:26 AM, Artyom Shalkhakov wrote:
>>
>> Hello all,
>>
>> I've implemented a simple single-page application in Ur/Web, [1] as
>> well as wri
Hi all,
How do I read Ur/Web's generated JS code? This seems like some sort of
an abstract machine. Is this documented anywhere?
(If somebody wants to do JS sourcemaps for Ur/Web, that would be a
really good project!)
--
Cheers,
Artyom Shalkhakov
it-in-ur-web/
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
t; "/home/izach/projects/urweb/test.ur:7:3: (to 7:14) Can't resolve type class
> instance"
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
gt; _______
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Hello all,
I've implemented a simple single-page application in Ur/Web, [1] as
well as written a teeny-tiny article describing the code. [2] I have
lots to learn about technical writing, but hopefully it will get
better with practice.
Comments? Feedback appreciated.
--
Cheers,
Artyom
re structure to the program analysis, and it did so in this case.
>
It seems to work now, and I don't have time to wade deeper into the
issue. Thank you.
> On 02/27/2017 11:22 AM, Artyom Shalkhakov wrote:
>
> Hello all,
>
> So I hit a road-block, the code:
>
> > fu
ave to build urweb-regex (I've put some directions
into README in my branch) and then do [cd tests && make all]
What can be done to avoid this issue? I tried to put type annotations,
didn't work.
2017-02-25 9:30 GMT+06:00 Artyom Shalkhakov <artyom.shalkha...@gmail.com>:
> Hello al
Hello all,
2017-02-23 21:55 GMT+06:00, Artyom Shalkhakov <artyom.shalkha...@gmail.com>:
> Hello Benjamin, Ziv,
>
> I wrote a very rough approximation to the idea that Ziv proposed, here's
> the code (currently, it does not do much):
>
> https://github.com/ashalkhakov/urwe
statically? probably not?)
2017-02-21 21:21 GMT+06:00 Benjamin Barenblat <bba...@mit.edu>:
> On Mon, Feb 20, 2017 at 10:27 PM, Artyom Shalkhakov
> <artyom.shalkha...@gmail.com> wrote:
> > Thank you for the pointer. I guess creating a new package that depends on
> >
using it as a base for your work.
>
>
Thank you for the pointer. I guess creating a new package that depends on
urweb-regex is the way to go.
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.com/cgi-bin/mailman
a few trusted functions: e.g. [compile : AST -> regexp],
> where [regexp] is an abstract type, or maybe just a string :-)) and have it
> work at least in the browser.
>
> Could somebody point me in the right direction here?
>
> --
> Cheers,
> Artyom Shalkhakov
>
> [1] https:
exp] is an abstract type, or maybe just a string :-)) and have it
work at least in the browser.
Could somebody point me in the right direction here?
--
Cheers,
Artyom Shalkhakov
[1]
https://developer.mozilla.org/en-US/docs/Web/Guide/HTML/HTML5/Constraint_validat
pretty bad at
CSS.
--
Cheers,
Artyom Shalkhakov
[1] https://ashalkhakov.github.io
[2] https://github.com/ashalkhakov/ashalkhakov.github.com
[3] http://getskeleton.com/
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman
ank you, I will take a look.
> Regards,
> Saulo
>
> On Wed, Feb 8, 2017 at 4:52 AM, Artyom Shalkhakov <
> artyom.shalkha...@gmail.com> wrote:
>
>> Hello all,
>>
>> I'd like to see Ur/Web helping with database migrations. Currently, the
>> compiler
ert schema definition to DDL of target
database). Seems like the simplest/best way forward is to go with an
Ur/Web-specific tool.
--
Cheers,
Artyom Shalkhakov
[1] https://github.com/urweb/urweb/issues/65
[2] https://github.com/urweb/urweb/issues/65#issuecomment
2016-04-14 17:24 GMT+06:00 Adam Chlipala <ad...@csail.mit.edu>:
> On 04/14/2016 07:14 AM, Artyom Shalkhakov wrote:
>>
>> 2016-04-14 17:02 GMT+06:00 Adam Chlipala <ad...@csail.mit.edu>:
>>>
>>> On 04/14/2016 06:53 AM, Artyom Shalkhakov wrote:
>>&g
2016-04-14 17:02 GMT+06:00 Adam Chlipala <ad...@csail.mit.edu>:
> On 04/14/2016 06:53 AM, Artyom Shalkhakov wrote:
>>
>> there is this question: what C types do [list string] and [option string]
>> map to? I think that [option string] probably maps to a nullable pointer
t;,") ==> "1,2"
I'd like to use C for implementation, and there is this question: what
C types do [list string] and [option string] map to? I think that
[option string] probably maps to a nullable pointer to
uw_Basis_string. What about the list constructor?
--
Cheers,
A
and think this provides a good foundation for what I'm trying to.
>
> I'll start again using this as a foundation.
>
> Sorry for the bother.
>
> yc
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.impredicative.co
er, even easier might be to change your function to take a plain old
> [string] as argument and parse it as you please.
>
Doh, why didn't I think of that??? Thanks much, Adam. Parsing will do.
> On 03/09/2016 10:26 PM, Artyom Shalkhakov wrote:
>>
>> Hello all,
>>
>> How t
0 AS ProductCount
> FROM category
> INNER JOIN product_of_category AS pc ON
> category.CategoryID = pc.CategoryID
> WHERE pc.ProductID = {[product_id]}
And I get:
> syntax error: deleting SYMBOL AS
--
Cheers,
Artyom Shalkhakov
___
Ur ma
to be several
times bigger than the comparable hand written one. Is Ur/Web similar to
that?
Thank you.
Andy
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
--
Cheers,
Artyom Shalkhakov
explains what I want to do and why.
Cheers,
Artyom Shalkhakov.
2010/1/21, Adam Chlipala ad...@impredicative.com:
Artyom Shalkhakov wrote:
Having written a bit more of my application, I encountered a pattern
which I'd rather abstract away, but don't know how.
In my case, there are about four tables
contain the primary key -- here, the primary key
would be a simple auto-incrementing integer)
I've studied the samples (orm and crud), but one of them unnecessarily
ties UI to the table structure, and another tries to abstract tables
away, which I don't want to do.
Cheers,
Artyom Shalkhakov
49 matches
Mail list logo