.
If there aren't any existing libraries, any thoughts on a good way of
doing this?
The C library curl is a possible solution which should be evaluated ?
Some APIs require HTTPs.
API's I've seen and used requiring HTTP(S) include SMS and payment serivces..
Marc Weber
implementations.
3)
How to specify the index file which will be used if no path is given?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
(less than optimal because its not streamed .. But I don't
care for now) .. When would the buffer I allocated to keep the stdout
data be freed again?
Because there is no uw_realloc (?) is the way to go using realloc,
malloc copying the data into a uw_malloc'ed buffer before returning?
Marc Weber
:
http://www.impredicative.com/wiki/index.php/Contributing_to_this_wiki
So interested people will find it.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
blocks.
If one is full allocate another one which is large enough and
continue.
About the pointer; I'm lucky that it worked.
http://gitorious.org/some-urweb-utility-libraries/uw-process/commit/ff620ea22b3209c73482c50ec24909ea581ac4ab
Marc Weber
to remove the cache ?
Could I use the context pointer as key to find a cached reply within one
attempt to generate the output page which may be retried?
Thus will the same ctx be passed when a request is rerun?
Or is there no way to limit caching to a HTTP request only?
Marc Weber
Excerpts from Karn Kallio's message of Tue Nov 30 16:24:43 +0100 2010:
Adam, now that somebody ( Marc Weber ) is working on an application ( payment
gateway ) where the transaction model of Ur/Web does not cleanly apply, is
there a chance of you generalizing Ur/Web transactions in a safe
a formJSON and toJSON
code?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
missed it in the first place (?)
regards
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
implementation. I think its important to add function which can be used
so that the implementation can be made perfect without grepping
for printf or cout .. statements.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin
if that's the case. Eg adding You should always pop the
cleanup function if there is no error yourself would suffice.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
($a);
|| Warning: json_encode(): recursion detected in /home/marc/test.php on line 5
|| {dict:{dict:null}}
I'll give it a try. Thank you for being that responsive. :)
Yours
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi
free callback or
uw_push_cleanup callback functions.
You're right: ur itself is not writing to the memory. There is still a
segfault. What's wrong ? Should I be using malloc only?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http
written yet another tool to generate AGDTs for
both: Haskell and UR.. But I want to keep thinks simple.
If ruby failed I maybe would have tried racket - or tried getting my job
done using Haskell. I don't know. It seems that I'm very close so I do
no longer think about it.
Marc Weber
compile a function which does not take arguments (passing the
conntext id) - so I had to add a dummy parameter.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
it now.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
the wrong tag. I tried pasting -ruby:
http://impredicative.com/wiki/index.php/Libraries_and_FFI_bindings#uw-ruby
I tried saying: Try the code interfacing with Ruby now - it seems to
work here.
I also added your JSON download to that page. I hope that's fine.
Marc Weber
can even subscribe to changes - so you won't miss new ones.
Even better: What about creating a snippet library?
urweb eliminates dead code so collecting code at the begging could be
interesting to all.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
add tutorials (?) and read them offline.
Any preferences?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
pasting code.
Moving towards a ur standard library would be fine :)
If nobody has a different preference I'm going to create a git gist
tomorrow.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
already generate JS - generating PHP would be doable.
If you want this maybe try HaXe, it can already generate PHP - but you
can't compare it to Ur/web
Adam: I hope this reply reflects your attitude. It may be worth to
create a wiki page labeled FAQ ?
HTH
Marc Weber
defined above. But optimized versions could be
-- specified here
If I look at the amount of code I have to write Haskell wins.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
users if possible. A footnote would be good
enough.
So I don't consider this a being a bug of Ur - but of its documentation.
How do you think about this?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman
So in that case ur doesn't even validate nesting order of tags (which
WASH showed that its possible easily)
So what's happening here?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
name) is an
unkown table.
So is the only way generating such joins by using views ?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Excerpts from Adam Chlipala's message of Sun Dec 12 01:51:15 +0100 2010:
Marc Weber wrote:
I would expect that the compiler error messages do a good job of
*g* - thanks. You've been right. The issue was me not using mkEnum
at all. Works now. Added a second mkEnum2 constructor and used
to put title !
Trying to verify this can be done - but its getting really really funny
then :)
I really don't get why they made the standard that complicated - and
probably browsers won't care anyway - but validators do ;)
Marc Weber
___
Ur mailing list
Excerpts from Adam Chlipala's message of Sun Dec 12 02:17:36 +0100 2010:
The other problem is that the SQL syntax extension only recognizes SQL
keywords in all caps, so you need to change 'as' to 'AS'.
ok. compiles and runs - great!
Marc Weber
let you buy additional traffic.
Which kind of application do you have in mind where this really matters?
Maybe we can help you find an alternative (Eg Amazon cloud like stuff)
You are not specific enough. Which web application do you have in mind?
Marc Weber
your customer imposes them)
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
are fair game to use with SQL
What does this exactly mean?
Anyway: What about documenting that in basis.urs?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Excerpts from Adam Chlipala's message of Mon Dec 13 00:16:13 +0100 2010:
Marc Weber wrote:
I don't see any obvious problem in the above that would lead to no rows
being inserted, but I don't know which code for [Enum.to] you have in
mind. I'd guess there's a bug where it's returning
of hash / map ?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
'
clause is a kind of are you sure? prompt.
- http://impredicative.com/wiki/index.php/Won't_fix
Nobody else will propose this again :)
Thank you!
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo
to place there?
let
val rc1rc2 = {AA = 7, B = 8}
val r = rc1rc2 --- (* now drop AA using --- operator *)
(* using -- would be: rc1rc2 -- #AA *)
in
r.B
end
Thanks
Marc Weber
___
Ur
Excerpts from Marc Weber's message of Tue Dec 14 17:26:51 +0100 2010:
1) map json?
Now: What does map json exacly mean? What does mapping over a class
(json is a class?) do?
just got that part. It gets the class for a record type.
Marc Weber
code may be
taken out of a database - and ur should be able to use it and pass it
over to the user.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
:: Buffer a - Buffer b - Buffer c
instance ConcatStrs a a a where
-- same encoding: trivial
By not providing an instance for ConcatStrs UTF8 ISOXX you disallow
concatenating them.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http
Excerpts from Chris Double's message of Wed Dec 15 09:40:40 +0100 2010:
How can I write something in Ur/Web to handle this POST?
Whatever the result of this discussion is - do you mind adding it to the
a FAQ on the wiki?
Marc Weber
___
Ur mailing
: use `foo-bar` or `foo bar`
sqlite: use foo bar
postgresql: use foo bar
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
: UNIF:U127::UNIF:X
||Body: (UNIF:P::Type - UNIF:P::Type)
Note: recIdTopLevel and recId should behave the same way.
However only recId compiles (?!)
I'm sure I'm missing something obvious again - or nobody ever tried
writing a simple id function before (?)
Is this a bug?
Marc
/Polymorphic_Variants_Usage_Example
*)
Or do you think this kind of documentation will break thus causing more
trouble than value?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
function abstraction:
lambda [x ? kappa] = e
which is listed in the expression section of the manual?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
don't want customers to find them.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
because I feel this
is the weakest point of the whole urweb system.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
configuration options loading
classes. In a real application urweb would outperform PHP very fast.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
...; in PHP.
its still faster.
Adding ob_start(); (output caching) doesn't make a big difference.
Of course you don't serve 10,000 rows usually.
I also retried with one row only. Then the difference gets smaller.
So the speed difference occurs somewhere from querying to concatenating
the output.
Marc
way aborting in such case (where its known that
there are 1000+ cases - can you make the compiler fail ?)
It always is a lot better to have a message which tells you what was
going wrong.
I didn't find a way to add a comment to that issue.
Marc Weber
ml provide some profiling ? Or how do you find
out where the compiler is spending most time?
Did you use this: http://www.smlnj.org/doc/Compiler/pages/profile.html ?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin
a function creating an expression
- disjointness annotations
In which way is this related to the
e! guarded expression application?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Excerpts from Adam Chlipala's message of Tue Dec 21 00:42:14 +0100 2010:
Marc Weber wrote:
In which way is this related to the
e! guarded expression application?
The points where these need to be inserted are usually inferred.
The demos make use of it multiple times:
./more
instead.
Thanks!
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
it to
me so that I can use a DTD of XHTML to generate correct rules (minor
some practical changes such as allowing ul/ul)
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
...)
And this kind of job is easy using PHP (at least those people buying the
codes may have the impression. However I can't imagine how this
customization takes place without starting a business around urweb
offering exactly that: customizations.
Marc Weber
___
Ur
Should this be rejected?
You can put this into a .ur file top level and still compile it!?
type type_int = int
val y:type_int = 2
type type_int = string
val x:type_int = o
type_int is assigned int and string!
Or am I totally missunderstanding something here?
Marc Weber
try to help you get started.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
statements.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
://haskell.org/hoogle/?hoogle=Map
You can click on the Source links.
I don't know exactly whether ur ships with such an implementation. Would
be trivial to write though.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin
a ticket - because this crashing the server should be fixed.
About Haskell you're right: But you can catch those issues and do both:
show an error message to the user and send an email to the maintainer of
the web-app..
Marc Weber
___
Ur mailing list
problems except compiling everything on Windows?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
to go?
I can't trivially apply the max sample from:
http://www.impredicative.com/ur/tutorial/intro.html
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
been
structure My_Ord
class strict_less a = (eq a) - a - a - bool
...
?
I hopefully finally got it. Thanks.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Excerpts from Adam Chlipala's message of Mon Nov 28 23:57:50 +0100 2011:
No, it would be a pair of values, like
eq a * (a - a - bool)
or perhaps a record would be nicer.
Does it make a difference passing a - b or (a * b) or {A = a, B = b} ?
For readability only?
Marc Weber
be fine.
If it doesn't I can offer an SSH account on which urweb just works.
I don't have time to trouble shoot the issue right now.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
is considered SHOUTING - and is very
uncommon - maybe even discouraged. Its used by SPAM mails too often.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
it should look like this: [[n] ~ [n2]]
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
at
expression level.
My goal was to write a type level projection function - but looks like I
can't do it for this reason.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
and
limitations.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
it.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
Try something like this:
form action=your_logout_func_action
input type=button value=logout
/form
:-(
I'm not sure I understand this restriction either.
Maybe there is a better explanation.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
add regex support instead !?
Then this all can be written as replace '[^]*|\n' with '' or the
like ?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
is causing the problem.
Good luck.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
to do so I get some unification errors - is it because I removed
some [t] like args incorrectly?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
== my_id
con my_idY :: K -- K - K = K == my_id my_id
So trivial assignment is not guaranteed to work.
I'm pretty sure this also is a very nice example..
Next thing I want to understand how fold and folder cooperate..
Marc Weber
___
Ur mailing list
Ur
?
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
is the recursion (repeat until the attribute set has
been processed) happening?
Is it somewhere hidden in the compiler?
Marc Weber
== CODE START ==
(* using my_ to get different names from top.ur / top.urs *)
con my_folder = K == fn r :: {K} =
tf :: ({K} - Type
consequences?
Take care about memory management .. If you know whether this is fine
you probably have the answer or you get close to it.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
then tha macro based monax
monad implementation) which rerquires you to rewrite much code if you
replace 2 by db.query('select ..', call_back) ..
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
..
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
some time. Thanks again for your support.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
google glasses
extensions and the like ..
I care less about source code transformation - as Adam said there may
be tons of tools soon. I care more about how to describe my
program/algorithm so that it can be translated easily with minimal loss
(code size/speed/accuracy)
Marc Weber
to create PDF and so on - that's why I keep telling that
consider this to be important (to me only?) and why its hard for me to
consider urweb to be an option for my projects at the moment.
These are my honest concerns.
Marc Weber
___
Ur mailing list
Ur
Thanks for the write up.
Eg the slow compliation speed for larger apps have been found by me by a simple
dummy test application long time ago. Now you just proof that it happens
in real world usage.
urweb is cool - but eventually not the end yet. Time will tell.
Marc Weber
to 20 or such.
Sometimes there is a lot you can do this way - just some thoughts
without knowing all details.
Marc Weber
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
85 matches
Mail list logo
