stitutet (KI) innebär detta 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 processi
some 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
___
to use a
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
those in the syntax elsewhere except the INSERT 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
defined in Basis and built
into the compiler.
Questions:
1. Is it a good idea to produce XML like this? (So far I like it.)
2. If this approach is okay, then how to overcome this issue? I would
except shadowing of tags to work the same way as shadowing of bindings.
--
Cheers,
Artyom Shalkhakov
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 tes
translated 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
t; --
> ---
> 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
a
>>>> function that takes a sql_exp 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 but the
>>>> most general will be) maybe via newtyping the transaction datatype and then
>>>> allowing the execute only sql queries that have the above function applied.
>>>> Just dreaming out loud here.
>>>>
>>>> I'd be very interested in any ideas or examples!
>>>>
>>>> Simon
>>>>
>>>>
>>> --
>>>
>>> Ur mailing list
>>> Ur@impredicative.com
>>> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>>>
>>>
>> --
>> Sent from my Android device with K-9 Mail. Please excuse my brevity.
>>
>> ___
>> 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
t;> 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
([]) ([]))
> --
>
> — 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 :
> 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 said to
> be declarative), s
ular usage.
Is this algorithmic inefficiency not something to be concerned about?
> On Sun, Jul 23, 2017 at 9:50 PM, Artyom Shalkhakov
> wrote:
>>
>> 2017-07-23 0:15 GMT+06:00 Benjamin Barenblat :
>> > On Sat, Jul 22, 2017 at 11:59 AM, Artyom Shalkhakov
>> >
; 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
> wrote:
>>
>> 2017-07-23 0:15 GMT+06:00 Benjamin Barenblat :
&
2017-07-23 0:15 GMT+06:00 Benjamin Barenblat :
> On Sat, Jul 22, 2017 at 11:59 AM, Artyom Shalkhakov
> wrote:
>> Is it possible to extend Ur/Web with arrays and maps?
>
> If you really want an array, I think you’re stuck with the FFI. However,
> if you just want a bag and a
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
demo (the [mapX] function).
I'm posting this, I guess, to provide some very simple examples of
using Ur/Web client-side widgets. If time permits, I will be adding
some more complex examples as I go.
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@im
;
> ___
> 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
eb-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 PM, Artyom Shalkhakov
>
int)
> make: *** [all] Error 1
>
I got the impression that Ur/Web being a whole-program optimizing
compiler, the only types being supported for marshalling between FFI
code and non-FFI code are primitive types and abstract types. I think
I asked this same question some time ago.
So
:44: (to 7:45) Invalid Link expression
> Expression UNBOUND_0
> make: *** [all] Error 1
>
> ___
> 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
'm sorry, I have not tested the above code, but the idea should be
clear enough.
>
>
> thanks,
>
> Jeevjyot
>
>
>
> ___
> Ur mailing list
> Ur@impredicative.com
> http://www.im
at 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-bin/m
2017-04-17 20:00 GMT+06:00 Matt Rice :
> On Sun, Apr 16, 2017 at 8:10 PM, Artyom Shalkhakov
> wrote:
>> Hi Matt,
>>
>> Very interesting, thanks for sharing!
>>
>> I have a somewhat convoluted setup:
>>
>> * [make] is used throughout (I'm just
2017-04-17 18:48 GMT+06:00 Adam Chlipala :
> 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)
>
>
> I hadn't thought of that
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
>
> ___
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 mailing list
> Ur@impredic
LY
>> > DEFERRED at
>> > the Ur/Web language level?
>> >
>> > Best regards,
>> >
>> > Marko
>> >
>> > ___
>> > U
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 Shalkhakov
__
> 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
(i.e., renaming of multiple fields of a record
simultaneously).
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
at 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 written a te
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 Shalk
t-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
m optional. The most complicated
> type would, of course, be alt.
>
> alt : r ::: Unit -> r1 ::: Unit -> r2 ::: Unit s1 ::: Unit -> s2 ::: Unit
> -> t (r ++ r1) s1 -> t (r ++ r2) s2
> -> t r (r1 ++ r2 ++ s1 ++ s2)
>
> That is, the only groups
Hello all,
I'm writing some unit-tests (for urweb-regex), and would like to run
same function (say f) on both client, and server. Is it possible to
ensure that the compiler emits [f] to both C and JS?
--
Cheers,
Artyom Shalkhakov
___
Ur mailing
help out on this?)
2. say we have an expression like [(a)|(b)], in JS the groups will be
1 and 2. PCRE and some other engines support a "group reset" feature,
so that we can indeed capture both alternatives with one group. This
is unsupported in JS, so I decided to leave it as is, for no
2017-03-08 16:26 GMT+06:00 Artyom Shalkhakov :
> 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
&g
ome cases (where in source code you'd have
some computation with records), I guess.
> On Mar 9, 2017 12:00 AM, "Artyom Shalkhakov"
> wrote:
>>
>> Hello Isaac,
>>
>> 2017-03-09 0:51 GMT+06:00 Isaac Torbett :
>> > I'm trying to get the urweb
> "/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
= return queryX1 (SELECT topic.Title, topic.Body FROM topic)
>
>
> I'm not even sure I know what I'm doing, `completely new to ML-style
> languages.
>
> - Isaac
>
> P.S. I've never actually used a Mailing List before, so if my post is
> malformed, pl
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,
A
nd3 r ~ s2] => [s1 ~ s2] =>
> $(map (fn (t1, t2, t3) => weaken t1 t2 t3) r)
> t (map fst3 r ++ s1) -> t (map snd3 r ++ s2)
> -> t (map thd3 r ++ map (fn _ => oneOrNo) (s1 ++ s2))
>
> You could extend the same sort of idea to types like oneOrMore and
>
ram 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:
>
> > fun groups (): transaction
27;ll have 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 :
> Hello all,
>
> 2017-
Hello all,
2017-02-23 21:55 GMT+06:00, Artyom Shalkhakov :
> 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/urweb-regex/tree/typed-regex
>
cases
like this statically? probably not?)
2017-02-21 21:21 GMT+06:00 Benjamin Barenblat :
> On Mon, Feb 20, 2017 at 10:27 PM, Artyom Shalkhakov
> wrote:
> > Thank you for the pointer. I guess creating a new package that depends on
> > urweb-regex is the way to go.
>
>
or 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/listinfo/ur
>
nctions: 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://
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://developer.mozilla.org/en-US/docs/Web/Guide/HTML/HTML5/Constrai
being 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/ma
e 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 will output an
ith tools: e.g. convert 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/is
2016-04-14 17:24 GMT+06:00 Adam Chlipala :
> On 04/14/2016 07:14 AM, Artyom Shalkhakov wrote:
>>
>> 2016-04-14 17:02 GMT+06:00 Adam Chlipala :
>>>
>>> On 04/14/2016 06:53 AM, Artyom Shalkhakov wrote:
>>>>
>>>> there is this question: what C
2016-04-14 17:02 GMT+06:00 Adam Chlipala :
> 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 to
>> uw_Basis_
ot;] (Some ",") ==> "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 constru
}))
>
> fun remove uidEmployer = dml (DELETE * FROM tblEmployers WHERE t.Id =
> {[uidEmployer.Id]})
> end
>
> ___
> 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
> 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@impredicati
our 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 to handle optional argume
; /Mymodule/mypaginator/Some/1
or of the form:
> /Mymodule/mypaginator/None
Which users will not like, I guess.
Coincidentally, why are there no functions to work with the type [queryString]?
--
Cheers,
Artyom Shalkhakov
___
Ur mailing list
Ur@imp
2016-03-01 23:36 GMT+06:00 Adam Chlipala :
> The only issue here is that Ur/Web forces local table names to be
> capitalized.
Thank you very much!
>
>
> On 03/01/2016 11:34 AM, Artyom Shalkhakov wrote:
>
>> Dear all,
>>
>> How to write a query that involv
> 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
___
similar to
> that?
>
> Thank you.
> Andy
>
>
> ___
> 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
ondering if this has to do
with locale? FYI, on my system, LANG is set to en_US.UTF-8.
--
Cheers,
Artyom Shalkhakov
tip.patch
Description: Binary data
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Hello Adam,
2010/1/22, Adam Chlipala :
> Artyom Shalkhakov wrote:
>> After looking at the example dlist module, I noticed that it was much
>> more elaborate. What is the reason for that?
>
> The biggest reason is performance. With the naive list-based technique,
> consid
>
> end
After looking at the example dlist module, I noticed that it was much
more elaborate. What is the reason for that? Also, I found that code
hard to follow; is there a nice metaphor or something to help making
sense out of that code?
I attached an implementation of list z
primary key [id: int] (or something, we
don't want to dictate naming), and other fields we don't really care
about.
I guess this finally explains what I want to do and why.
Cheers,
Artyom Shalkhakov.
2010/1/21, Adam Chlipala :
> Artyom Shalkhakov wrote:
>> Having written a b
without the primary key,
whereas row would 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 do
ch clause can employ some sort of pattern matching
over it's input types. Is this intuition correct? What are type
families in Ur?
Regarding the second question: the task is to (de)serialize a subset
of HTML. Could somebody provide minimal examples involving, say, basic
types, pairs and &
Oops. Thanks!
I'm feeling kinda stupid. :)
Cheers,
Artyom Shalkhakov.
2010/1/12, Adam Chlipala :
> Artyom Shalkhakov wrote:
>> Here's what I do:
>>
>>> fun editable () =
>>>m<- source False; (* mode: editing or viewing *)
>>>
2010/1/11, Adam Chlipala :
> Artyom Shalkhakov wrote:
>> First, Is there any way to write an sql_injectable instance?
>
> Yes, but only by building on the instances included in [Basis].
>
>> I'd like
>> to serialize and deserialize a tree data structure (xbody i
Hello,
Yes, the API has changed. You will have to replace
> setCookie usersession (re.User.Id, re.User.Password)
with
> setCookie usersession {Value= (re.User.Id, re.User.Password), Expires= None,
> Secure= False}
or some such.
Cheers,
Artyom Shalkhakov.
2010/1/11, Ma
, what is the approach to styling elements? ATM, the only way to
communicate with CSS is via classes, but is full CSS embedding worth
it?
And finally, can you compare Ur to OPA of ?
Cheers,
Artyom Shalkhakov.
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
e time.
> I'm also planning to, in the next few months, create a wiki
> where different kinds of learning material can be maintained.
This would be great. BTW, the existing examples are understandable and
most importantly, up to the point (co
pplications, but also in its inner workings.)
Cheers,
Artyom Shalkhakov.
blog.ur
Description: Binary data
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
75 matches
Mail list logo
