[Fri May 31 11:30:04 2013] hi [Sat Jun 8 21:23:27 2013] [freenode-info] help freenode weed out clonebots -- please register your IRC nick and auto-identify: http://freenode.net/faq.shtml#nicksetup [Sat Jun 8 21:34:13 2013] [freenode-info] if you're at a conference and other people are having trouble connecting, please mention it to staff: http://freenode.net/faq.shtml#gettinghelp [Thu Jun 27 15:17:21 2013] hello there [Thu Jun 27 15:17:21 2013] hello there [Sun Jun 30 11:30:02 2013] soo I can't compile ur/web because I can't compile MLton .. is there a way to compile ur/web with some other ML compiler? [Sun Jun 30 11:30:02 2013] soo I can't compile ur/web because I can't compile MLton .. is there a way to compile ur/web with some other ML compiler? [Sun Jun 30 14:00:45 2013] I’ve never heard of anyone doing so. It might be easier to just fix the MLton build; what platform are you on? [Sun Jun 30 14:00:45 2013] I’ve never heard of anyone doing so. It might be easier to just fix the MLton build; what platform are you on? [Thu Jul 25 15:29:50 2013] [freenode-info] why register and identify? your IRC nick is how people know you. http://freenode.net/faq.shtml#nicksetup [Mon Jul 29 18:37:12 2013] hi [Mon Jul 29 18:37:12 2013] hi [Mon Jul 29 18:38:34 2013] is there any port of ur to plain old haskell? [Mon Jul 29 18:38:34 2013] is there any port of ur to plain old haskell? [Mon Aug 5 11:22:35 2013] Hi. Does Ur have a single-line comments like -- in Haskell ? [Mon Aug 5 11:59:59 2013] Answering to myself: I've checked basis.ur: looks like (* .. *) is the only option [Sun Sep 1 00:21:53 2013] is the basic philosophy of ur/web something like this: web dev has too much crap: it's bloated and it has security holes. Using ur/web, one (1) has formal guarantee of correctness and (2) gets servers that uses less ram than bash. [Sun Sep 1 00:21:53 2013] is the basic philosophy of ur/web something like this: web dev has too much crap: it's bloated and it has security holes. Using ur/web, one (1) has formal guarantee of correctness and (2) gets servers that uses less ram than bash. [Sun Sep 1 00:27:13 2013] clj_newb_2345: I dunno if I'd put it like that. [Sun Sep 1 00:27:13 2013] clj_newb_2345: I dunno if I'd put it like that. [Sun Sep 1 00:27:55 2013] I think it's something like: "Correct web applications are better constructed using principled meta-programming". [Sun Sep 1 00:27:55 2013] I think it's something like: "Correct web applications are better constructed using principled meta-programming". [Sat Sep 14 03:58:56 2013] Hi [Sun Sep 15 12:23:44 2013] [freenode-info] help freenode weed out clonebots -- please register your IRC nick and auto-identify: http://freenode.net/faq.shtml#nicksetup [Mon Oct 21 19:55:16 2013] where does Adam chill these days channel wise :) [Mon Oct 21 19:55:22 2013] Sup Gian! [Fri Nov 1 15:03:06 2013] Does ur/web support HTTP pipelining? [Fri Nov 1 21:21:06 2013] What's the 'rewrite table ...' syntax? 'rewrite table uw_Mod_name Name' doesn't seem to work [Fri Nov 1 22:34:30 2013] (It's 'rewrite table Mod/name Name') [Sat Nov 2 11:25:13 2013] Evidently, I'm using mp wrong (http://sprunge.us/DhOV). Does anyone know the correct usage? [Sat Nov 2 11:42:00 2013] intrados: you want List.mp I think [Sat Nov 2 11:49:25 2013] lightquake: I tried that at one point. It gives me 'Unbound structure List'. (I am very new to Ur/Web) [Sat Nov 2 11:50:13 2013] ah, you need to put 'library $/list' in your .urp file [Sat Nov 2 11:56:38 2013] openIn "/usr/local/lib/urweb/ur/list/lib.urp" failed with SysErr: No such file [Sat Nov 2 11:57:06 2013] (There's a .../ur/list.ur) [Sat Nov 2 12:01:30 2013] try just '$/list'? [Sat Nov 2 12:06:47 2013] Ah, that's it. Thanks [Tue Nov 5 01:24:38 2013] [freenode-info] why register and identify? your IRC nick is how people know you. http://freenode.net/faq.shtml#nicksetup [Thu Nov 7 00:06:16 2013] [freenode-info] channel trolls and no channel staff around to help? please check with freenode support: http://freenode.net/faq.shtml#gettinghelp [Sun Nov 24 14:16:43 2013] [freenode-info] please register your nickname...don't forget to auto-identify! http://freenode.net/faq.shtml#nicksetup [Thu Dec 26 11:55:12 2013] I wish to compile with -static but it says /usr/bin/ld: cannot find -lcrypto, and -lssl [Thu Dec 26 11:55:50 2013] I am running Arch Linux 32-bit and OpenSSL is already installed. Arch Linux doesn't have an additional package for openssl-dev. openssl includes it [Thu Jan 2 10:50:39 2014] Hi, anRch. I notice you have a New England hostname. Do you mind saying where you are? [Thu Jan 23 15:09:52 2014] oh cool, good to see people around - I wasn't sure there would be, given the exotic-ness of Ur. please consider this line both a test to see whether anyone is actually around, and an invitation to say hi :) [Thu Jan 23 15:10:36 2014] I'm writing a small piece of code in Ur, because I really want to try out and get a feel for its row types, and my task appears to be one that will benefit heavily from them… [Thu Jan 23 15:10:42 2014] … so, I'm likely to have questions :) [Thu Jan 23 15:13:06 2014] ahhh yes, dependencies … need to install MLton… okay… [Thu Jan 23 15:14:42 2014] Hey. There don't seem to be many people around, most of the time. I only know a bit of Ur/Web, so I'll probably only be able to help you a bit. [Thu Jan 23 15:14:48 2014] that's cool :) [Thu Jan 23 15:14:56 2014] and pleased to meet you [Thu Jan 23 15:15:10 2014] I'm not using the web features (rather, not intending to) [Thu Jan 23 15:15:30 2014] now I need to think about how to install GMP, a dependency of MLton, such that it won't conflict with my Haskell stuff… haha [Thu Jan 23 15:17:03 2014] okay. since I'm not distributing binaries, I can just install gmp into /usr/local, then install mlton from source (hope it doesn't take too long), and be good… heh [Sun Feb 2 10:50:13 2014] Can anyone explain to me why the generated HTML for the "subforms" example has 4 hidden input fields instead of 1? I don't see in the ur source where 4 could be generated. [Sun Feb 2 19:39:24 2014] [freenode-info] if you're at a conference and other people are having trouble connecting, please mention it to staff: http://freenode.net/faq.shtml#gettinghelp [Sun Feb 2 19:59:01 2014] *** Notice -- TS for #ur changed from 1391387964 to 1233033282 [Sun Feb 2 21:29:11 2014] *** Notice -- TS for #ur changed from 1391394475 to 1233033282 [Sun Feb 2 23:08:45 2014] [freenode-info] why register and identify? your IRC nick is how people know you. http://freenode.net/faq.shtml#nicksetup [Mon Feb 3 00:28:00 2014] [freenode-info] channel trolls and no channel staff around to help? please check with freenode support: http://freenode.net/faq.shtml#gettinghelp [Tue Feb 18 09:34:45 2014] hi! random question: when I see inline SQL in the code... is that properly parsed? I mean is there an SQL grammar written somewhere in a lib that gets called at compile time, etc...? [Tue Feb 18 09:54:48 2014] attila_lendvai: Yes, the syntax of SQL is part of the syntax of the language. You will get compile-time errors if your SQL does not parse, or is otherwise incorrect. [Tue Feb 18 09:54:53 2014] Also, hi! [Tue Feb 18 09:55:19 2014] nice [Sun Mar 30 14:57:06 2014] /? [Wed Apr 16 22:17:00 2014] hi all [Wed Apr 16 22:17:21 2014] please help I got this as install fail http://bpaste.net/show/XJgGv6AR4XiyPqQA9eBb/ [Wed Apr 16 22:49:53 2014] dagnachew: It looks like your gcc can't find your installation of mlton and gdtoa. Perhaps you added them to your path but not LD_RUN_PATH or something? [Wed Apr 16 22:59:50 2014] dagnachew: I can't reproduce. Try reinstalling mlton? What do you get for 'ls /usr/lib/mlton'? [Fri May 2 15:37:55 2014] yo [Fri May 2 15:39:41 2014] congrats on the benchmarks [Fri May 2 15:40:24 2014] does ur use GHC's system f implementation? [Sat May 3 01:06:31 2014] [freenode-info] help freenode weed out clonebots -- please register your IRC nick and auto-identify: http://freenode.net/faq.shtml#nicksetup [Tue Jun 3 19:39:12 2014] [freenode-info] why register and identify? your IRC nick is how people know you. http://freenode.net/faq.shtml#nicksetup [Thu Jun 5 22:41:27 2014] Hey, is there a good example of using templates within Ur/Web? [Wed Jun 11 23:57:42 2014] hi! I have a question, is there an easy way to serve static files (like images) from urweb? [Wed Jun 11 23:59:01 2014] I read http://www.impredicative.com/pipermail/ur/2011-June/000638.html and their solution was to use returnBlob, does that mean if I want to serve static content I have to write the code to read the file and serve it and all that, or is there a better way? [Thu Jun 12 00:02:49 2014] I know I can also use an external web server to serve static files but I was hoping for a way to do it in urweb [Sun Jun 15 03:06:45 2014] How do I return a pair of values with the C FFI? [Sun Jun 15 10:22:29 2014] vanila: I think you'll have more luck asking on the mailing list (ur@impredicative.com) than on here [Sun Jun 15 10:23:15 2014] thanks, I think it's impossible [Sun Jun 15 10:23:30 2014] so I will use a workaround for now [Sun Jun 15 10:25:50 2014] I hear someone here had a question! :) [Sun Jun 15 10:27:51 2014] Hi Smerdyakov! [Sun Jun 15 10:27:58 2014] Hi, vanila. [Sun Jun 15 10:28:33 2014] I was wondering if you can return pairs from the C FFI? [Sun Jun 15 10:28:53 2014] I think it's impossible from the manual but I'm not sure [Sun Jun 15 10:29:05 2014] You can return arbitrary C types, but you can't make Ur/Web see them as pairs. [Sun Jun 15 10:29:15 2014] Instead, include extra observer functions on a new abstract type. [Sun Jun 15 10:29:51 2014] okay, that works nicely [Sun Jun 15 10:30:02 2014] I also tried adding a sql_injectible_prim instance for url to the compiler but it failed [Sun Jun 15 10:30:11 2014] do you think that would be an acceptable feature? [Sun Jun 15 10:30:30 2014] it's frustrating that, while I can nicely query url's out of a database - I can't actually insert thme [Sun Jun 15 10:31:54 2014] Sounds benign enough. [Sun Jun 15 10:32:18 2014] I can add it now. [Sun Jun 15 10:32:27 2014] p.s. ur is absolutely fantastic :) [Sun Jun 15 10:34:08 2014] Thanks! What are you doing with it? [Sun Jun 15 10:34:55 2014] I'm making a site that let's you tag and organize images [Sun Jun 15 10:35:13 2014] I might also make some discussion board [Sun Jun 15 10:39:18 2014] Cool. Might I know you by another name? [Sun Jun 15 10:42:26 2014] I don't think so [Sun Jun 15 10:45:36 2014] (I'm making a white sauce just now which requires a lot of care so excuse my late responses) [Sun Jun 15 10:49:18 2014] Do you have a web site? [Sun Jun 15 10:49:35 2014] no i dont [Sun Jun 15 10:49:37 2014] OK, the working version of Ur/Web in Mercurial will now do SQL injection of URLs. [Sun Jun 15 10:49:53 2014] super! Thanks a lot [Sun Jun 15 10:50:00 2014] Do you have a Github account or something else that generates info on your projects? [Sun Jun 15 10:52:53 2014] I think I will create one and send you a link when this stuff reaches release if you'd like [Sun Jun 15 10:54:48 2014] Sounds good. Special bonus points if the release is by the end of the month, so I can include it in a list of Ur/Web applications in a paper I'm planning to submit! [Sun Jun 15 10:55:16 2014] oh boy I better get my nose to the grindstone :) [Sun Jun 15 12:41:35 2014] I'm having a problem with the FFI, if I define an abstract type foo and then try to return option foo I get "initialization from incompatible pointer type" [Sun Jun 15 12:42:10 2014] Is that just me doing something wrong, should I make a test-case? [Sun Jun 15 12:47:42 2014] http://pastebin.com/raw.php?i=Wr5qhdDZ this is the problem [Sun Jun 15 12:48:24 2014] option is fine with primitive types though [Sun Jun 15 13:08:22 2014] The correctness of that code depends on the definition of the type in C, I think. [Sun Jun 15 13:08:24 2014] What's the definition? [Sun Jun 15 13:09:26 2014] this is modifying the mail example: so we have typedef struct headers *uw_Mail_headers; [Sun Jun 15 13:09:28 2014] Oh, also, the FFI .urs code says this is a constant value, whereas in C you've defined it as a function. [Sun Jun 15 13:09:50 2014] OK, so I think the type is correct. It's just the function-vs.-not business tripping things up. [Sun Jun 15 13:10:07 2014] oh oops, I got the exact same error when I had it as a function - that was an extra problem I introduced in making a short test-case [Sun Jun 15 13:11:47 2014] I just fixed the testcase to use val fail : string -> option headers and confirmed it gives the same error [Sun Jun 15 13:11:59 2014] oops [Sun Jun 15 13:12:10 2014] The problem here comes from the not-so-clever rule to decide how to represent [option] types. [Sun Jun 15 13:12:30 2014] There is different behavior depending on whether the argument type can be confirmed to not already be using NULL. [Sun Jun 15 13:12:41 2014] The compiler assumes any abstract FFI type might be using NULL. [Sun Jun 15 13:12:55 2014] Thus, you need to add an extra layer of pointerness. [Sun Jun 15 13:13:13 2014] (Return type 'uw_Mail_headers*' instead of 'uw_Mail_headers') [Sun Jun 15 13:13:52 2014] ah, I would not have expected that to work! [Sun Jun 15 13:14:00 2014] that's great though [Sun Jun 15 13:14:44 2014] also my page is saying "Fatal error: pattern match failure" [Sun Jun 15 13:15:09 2014] (unrelated to this option stuff) [Sun Jun 15 13:15:16 2014] But related to other FFI work? [Sun Jun 15 13:15:22 2014] yes [Sun Jun 15 13:16:56 2014] You're probably breaking the representation invariant of a type, in a value returned to Ur/Web code. [Sun Jun 15 13:17:15 2014] That particular error message indicates a bug in the compiler or FFI code. [Sun Jun 15 13:18:50 2014] What leads you to to be writing so much FFI code? [Sun Jun 15 13:18:54 2014] oh I'm sorry that was just my fault [Sun Jun 15 13:19:43 2014] oh it's just a single function (plus projections) actually, I just hit more problems with that than other parts of Ur [Sun Jun 15 13:19:55 2014] What's the purpose of your function? [Sun Jun 15 13:20:03 2014] You're not going to like it.. [Sun Jun 15 13:20:20 2014] I'm storing images in the filesystem [Sun Jun 15 13:20:54 2014] Why? [Sun Jun 15 13:22:33 2014] it's just nice to have them stored in the filesystem [Sun Jun 15 13:22:50 2014] I think it's the right way to do this [Sun Jun 15 13:23:49 2014] and now that I can use option it works very nicely too [Sun Jun 15 13:24:23 2014] What does "right" mean? [Sun Jun 15 13:24:42 2014] Your code is more complicated than if you stored images in the database, right? [Sun Jun 15 13:25:12 2014] That's true but only because Ur doesn't have support for saving things to the filesystem! [Sun Jun 15 13:27:00 2014] I don't understand. [Sun Jun 15 13:27:00 2014] Should I explain roughly the way the site works? [Sun Jun 15 13:27:13 2014] Why would filesystem access be simpler than relational database access? [Sun Jun 15 13:27:34 2014] I'm interested in explanation to the extent that it answers my last question. [Sun Jun 15 13:27:36 2014] It's not simpler but images are files and it's desirable to have them all in a directory [Sun Jun 15 13:27:55 2014] Why is that desirable? And what do you mean by "file" such that "images are files" makes logical sense? [Sun Jun 15 13:28:50 2014] I knew you weren't going to like this :( [Sun Jun 15 13:29:24 2014] I'm genuinely interested in a rationale for wanting to use a gnarlier persistent data interface instead of a simpler one. [Sun Jun 15 13:30:46 2014] I strongly object to assuming that there is a consistent concept of "file" such that an "image" is fundamentally a "file". [Sun Jun 15 13:30:57 2014] An image is a matrix of color values. [Sun Jun 15 13:32:28 2014] Well there are no examples of serving an image with urweb (except demo/upload), we decided rather making the ur server send blobs to use nginx to serve images and proxies other requests through to the urweb server [Sun Jun 15 13:35:47 2014] Hm. Are you saying that demo doesn't provide explain enough for you to see how to follow a database-based approach? [Sun Jun 15 13:36:37 2014] I think it's likely that you are just used to thinking of various aspects of "files" as being inherently complex. Not seeing such complexity in Ur/Web examples and documentation, you assume you must be missing something, which would be too much work to learn. However, it actually really is dead simple. You pass files around as first-class values, etc. [Sun Jun 15 13:37:22 2014] I can't think of a single aspect of the related features that isn't demonstrated in that demo. What else would be essential to see? [Sun Jun 15 13:37:58 2014] not exactly, I could see how to do it but it feels wrong for a couple reasons: Why do I have to write a special function that makes urweb serve the blob? and I just don't want to put large unreadable data into the SQL database [Sun Jun 15 13:38:22 2014] Why don't you want to put large, unreadable data into the SQL database? [Sun Jun 15 13:39:31 2014] it'll keep the size of the database down, keep it human readable and storing the images on the filesystem means I can easily access them without having to boot the webserver or manually extract them [Sun Jun 15 13:40:07 2014] Doesn't that general argument tell us all the state of a system, including private state of library components, should be one big JSON file? [Sun Jun 15 13:40:11 2014] That way lies JavaScript. [Sun Jun 15 13:40:30 2014] Of course it's nice to have ways to introspect into the state of a system. [Sun Jun 15 13:40:47 2014] But that doesn't mean such introspection should be more important than modularity in designing the system. [Sun Jun 15 13:41:17 2014] As to "why should I have to write a special function?", consider this analogous question: [Sun Jun 15 13:41:36 2014] Joe JavaScript programmer asks, "why should I have to write a getter method to let client code read from this field of my library class?". [Sun Jun 15 13:42:01 2014] The right answer: "It is a _good_ thing to have to write explicit code to allow your data to be accessed in new ways. It supports modularity." [Sun Jun 15 13:42:32 2014] Your Nginx configuration would be entirely analogous to an Ur/Web function, but more ad-hoc! [Sun Jun 15 13:43:03 2014] Also, serving images within Ur/Web means that the compiler can do static-checking of more connections within your application. [Sun Jun 15 13:43:15 2014] Moving application pieces outside of Ur/Web means the compiler doesn't understand their interfaces as well. [Sun Jun 15 13:43:38 2014] To be more explicit, with the approach I'm suggesting, you get static checking of the intra-application links to images. [Sun Jun 15 13:44:26 2014] You know you're absolutely right, I should just stick the images in the db - it simplifies a lot of things.. but I still want then all stored locally (and it forces to me generate thumbnails using the C FFI rather than just a system call) [Sun Jun 15 13:46:33 2014] You'd need to use the C FFI to make a UNIX system call, too. ;) [Sun Jun 15 13:47:18 2014] oh I just mean it's a heck of a lot easier to call system "convert -various -args" than figure out how to do the same with the C API [Sun Jun 15 13:47:30 2014] It should only take a few lines of C code to start ImageMagick or whatever, print the image to it, and read the result. [Sun Jun 15 13:48:05 2014] Or maybe use a C library version of it. That would be the nicest, I bet. [Sun Jun 15 13:48:16 2014] yeah you know what I'm just going to change to doing it that way, it's better [Sun Jun 15 13:48:44 2014] Filesystems are an awful, awful idea, man. ;) [Sun Jun 15 13:51:15 2014] do you mean that beyond just web stuff? I don't think you could really have an operating system without a file system [Sun Jun 15 13:52:02 2014] Trees of mappings of strings to strings; just a bad interface to build a software platform on. [Sun Jun 15 13:56:39 2014] My friend, who I'm working on this with, is going to be really miffed when they see I've stripped all the filesystem stuff out :) [Sun Jun 15 14:00:16 2014] Well, your friend should be happy to see a simpler design. :) [Sun Jun 15 14:03:07 2014] I have a question though, If I am taking nginx out of this entirely then what am I supposed to do about css? [Sun Jun 15 14:03:08 2014] (I think it would be nice if you feed some static files to urweb, like css and favicons and such) [Sun Jun 15 14:03:27 2014] I recommend using a static web server for those. [Sun Jun 15 14:03:46 2014] But enough people are asking that I'm strongly considering adding support for static file-serving to the HTTP servers output by 'urweb'. [Sun Jun 15 14:03:57 2014] Even then, I would recommend an established web server for production use. [Sun Jun 15 14:04:41 2014] well wait a second [Sun Jun 15 14:05:08 2014] If I'm serving static content like css with a webserver, it seems natural to serve the images that way too [Sun Jun 15 14:05:28 2014] are you sure that isn't the better way to do this? [Sun Jun 15 14:05:31 2014] I disagree. The crucial difference is that your application changes the set of available images during execution. [Sun Jun 15 14:06:10 2014] Think about the transactional semantics of filesystem access. You don't want to need to consider concurrency, with multiple requests handled simultaneously. [Sun Jun 15 14:06:20 2014] only in a very simple monotonic way [Sun Jun 15 14:06:20 2014] the main thing that is updated and changed is the list of tags that are associated [Sun Jun 15 14:07:20 2014] What happens when two users upload the same file simultaneously? [Sun Jun 15 14:07:24 2014] fair enough! I understand - for now I think I'll just inline my .css file as a string. Ugly but taking nginx out the loop is very nice [Sun Jun 15 14:08:08 2014] before being stored we calculated a hash, and if the file exists already we just return it instead of writing it to disk again [Sun Jun 15 14:08:27 2014] so - I hadn't considered this actually: [Sun Jun 15 14:09:04 2014] the second uploader will probably receive the page saying "successful upload" before the file has been fully uploaded to disk [Sun Jun 15 14:09:20 2014] Also, what happens if the web server crashes while you're saving a file? [Sun Jun 15 14:09:34 2014] Do you want to implement your own specialized inconsistent-state detection and recovery? [Sun Jun 15 14:09:40 2014] Any respectable SQL server will just do it for you. [Sun Jun 15 14:10:12 2014] very nice! [Sun Jun 15 14:10:27 2014] Ur/Web overall provides the ACID transactional abstraction. [Sun Jun 15 14:10:46 2014] Every page request seems to be served instantaneously, as an all-or-nothing affair. [Sun Jun 15 14:10:58 2014] You use the FFI at your own peril, since it becomes possible to break the nice abstraction. [Sun Jun 15 14:11:08 2014] I'm really happy that you took the time to convince me and explain this, I think the quality of this software just improved significantly [Sun Jun 15 14:14:24 2014] :) [Sun Jun 15 14:20:05 2014] vanila, are you on the ur mailing list? [Sun Jun 15 14:20:34 2014] no, I've read through it though [Sun Jun 15 14:21:31 2014] Would you mind sending me some information on how to get in touch with you, so I can check on the status of your app(s) before submitting the paper I'm writing? [Sun Jun 15 14:21:43 2014] well not all of it.. [Sun Jun 15 14:22:10 2014] sure just a se [Sun Jun 15 14:22:12 2014] sec [Sun Jun 15 14:25:55 2014] Oh, I've just had the most diabolical idea. I'll benchmark Apache vs. Ur/Web, serving image files. :) [Sun Jun 15 14:29:58 2014] Hehe. For my 10k image, Apache is 100X faster... but Ur/Web is still serving about 500 requests per second. [Tue Jun 17 09:30:52 2014] would anyone like to bug report for me? my email is "invalid" according to http://www.impredicative.com/mantis/signup.php [Tue Jun 17 09:32:19 2014] I'm also kind of stuck with generating dynamic queries, not sure whether I should go into to detail or not [Tue Jun 17 09:35:49 2014] the bug is http://www.impredicative.com/ur/demo/Demo/ListShop/SL/main if you enter something and then reload the url, it fails [Fri Jun 20 08:01:35 2014] Does anyone know how to do dynamic SQL queries in Ur/Web? [Fri Jun 20 08:01:48 2014] We've come up with a solution, but it's not pretty.. [Fri Jun 20 08:02:25 2014] (i.e. using sql_query and sql_query1 to build it manually) [Fri Jun 20 08:03:25 2014] currently we're just hard coding n*m queries, but for a new feature we'd need to hard code n*m*2 and it's just getting out of hand [Fri Jun 20 08:04:59 2014] The closest I've found to an example of this is CRUD [Mon Jun 23 05:15:35 2014] http://www.impredicative.com/pipermail/ur/2014-June/001703.html [Mon Jun 23 05:15:47 2014] does anyone have thoughts on this? [Wed Jun 25 11:09:21 2014] hi [Wed Jun 25 11:11:57 2014] hi, vanila [Wed Jun 25 11:13:08 2014] I've been stuck with dynamic queries in ur [Wed Jun 25 11:13:19 2014] i wonder if there's any examples around? [Wed Jun 25 17:10:32 2014] http://www.impredicative.com/pipermail/ur/2014-June/001704.html [Wed Jun 25 17:10:38 2014] :D [Fri Jun 27 08:35:29 2014] So what is everyone using ur for? :) [Sat Jun 28 04:23:29 2014] wow [Sat Jun 28 04:23:57 2014] http://www.impredicative.com/pipermail/ur/2014-June/001705.html [Sat Jun 28 04:24:02 2014] This is a really bad idea! [Sat Jun 28 08:16:05 2014] Why is this a bad idea? [Sat Jun 28 08:17:34 2014] You mean the example that (probably?) lets you do process injection(?) attacks? [Sat Jun 28 08:17:41 2014] yes [Sat Jun 28 08:18:37 2014] more specifically, [Sat Jun 28 08:20:12 2014] s <- C.checkString (String.all (fn c => Char.isAlnum c || #"." = c)) frm.IP; [Sat Jun 28 08:20:12 2014] jr <- C.create (C.shellCommand (cmd ^ " " ^ s)); [Sat Jun 28 08:20:30 2014] This is demo2 which he's running, and there's no injection so it's all secure and fine [Sat Jun 28 08:21:05 2014] but 's' the checkedString has the same type as frm.IP, the unverified user input [Sat Jun 28 08:21:44 2014] This has been a huge huge problem in PHP with people using passthru and similar functions [Sat Jun 28 08:22:44 2014] I wonder if there's a way to make process injection attacks impossible in the same way that sql injections are impossible [Sat Jun 28 08:25:51 2014] If I'm reading the Arguments API (readme at https://github.com/grwlf/urweb-callback) correctly, one invocation of shellCommand should only let you run a single process, ever? [Sat Jun 28 08:26:47 2014] C.create (C.shellCommand "echo $(ls)"); perfoms ls, for example [Sat Jun 28 08:27:27 2014] Ah, right. [Sat Jun 28 08:28:49 2014] Wait, have you tested this? Not having read the code yet, it seems plausible that it could single-quote the arguments rather than double quoting them. [Sat Jun 28 08:29:01 2014] yes [Sat Jun 28 08:33:50 2014] Does execv(cmd, argv) actually do ... parameter substitution? shell-expansion? whatever $() is called on its arguments? [Mon Jun 30 13:56:11 2014] hi :D [Mon Jun 30 13:56:17 2014] hiya :) [Mon Jun 30 13:58:29 2014] me and my friend have been working on a cool project in ur and thought maybe you guys would like to hear about it! [Mon Jun 30 13:58:54 2014] its called Gallury and we put it on github here https://github.com/yuuko273/Gallury [Wed Jul 2 07:25:16 2014] http://www.impredicative.com/wiki/index.php/Special:RecentChanges ummm [Wed Jul 2 07:25:40 2014] I did not realize Ur was so popular [Thu Jul 3 18:58:24 2014] I'm really stuck, any idea why this is not working? [Thu Jul 3 18:58:38 2014] val push x = id <- nextval seq; [Thu Jul 3 18:58:38 2014] dml (INSERT INTO tab (Id, Value) VALUES ({[id]}, {[x]})) [Thu Jul 3 18:58:49 2014] it's giving me: stack.ur:9:5: (to 9:57) This is an expression but not a pattern. [Thu Jul 3 19:26:41 2014] I solved it ! [Thu Jul 3 19:26:48 2014] deleted everything and rewrote it slower [Wed Jul 16 14:43:32 2014] hi urrurs [Wed Jul 16 14:43:46 2014] what's everying urring recently [Wed Jul 16 14:43:50 2014] I'm making a wiki [Wed Jul 16 14:44:33 2014] I think Adam collected a list from people on the mailing list semi-recently? You could ask him for his list. [Wed Jul 16 14:44:56 2014] oh yeah! [Thu Jul 17 10:23:41 2014] hello [Thu Jul 17 10:23:44 2014] how do you do infix operators [Thu Jul 17 10:25:02 2014] how do you do infix operators? [Thu Jul 17 12:49:07 2014] how do you define new infix operators? [Thu Jul 17 13:20:15 2014] vanila: The existing operators seem to be hardcoded into the grammar in urweb/src/urweb.grm, so I suspect it's not possible. [Thu Jul 17 13:35:04 2014] ahh thank you very much , i guess it would be stop people using my lib if i added new ones to the compiler.. hmm [Thu Jul 17 13:35:12 2014] I want +++ for readp and <|> for parsec [Thu Jul 17 14:01:16 2014] is it possible to autogenerate a .urs file form a .ur file? [Fri Jul 18 08:41:13 2014] hello [Fri Jul 18 08:42:08 2014] http://www.impredicative.com/pipermail/ur/2014-July/001715.html [Fri Jul 18 08:42:18 2014] does anyone have thoughts about this? [Fri Jul 18 08:42:36 2014] seems like urweb is not ready for combinator parser libs? [Fri Jul 18 09:00:03 2014] I'm traveling now and don't have much time to look into details, but it [Fri Jul 18 09:00:04 2014] is /expected/ that Ur/Web programs that are moderately higher-order (on [Fri Jul 18 09:00:04 2014] the server side) will often fail to compile. It may not be possible to [Fri Jul 18 09:00:04 2014] use parser combinators on the server side, though it should be fine in [Fri Jul 18 09:00:04 2014] client code. I'll hope to look at your test case next week. [Fri Jul 18 10:12:30 2014] this is a real shame! [Fri Jul 18 10:12:40 2014] am I missing something or is that a big letdown? [Fri Jul 18 11:21:12 2014] has anyone tried nontrivial parsing in ur/web? what did you do? [Fri Jul 18 11:21:29 2014] I'm considering getting an SML parser generator and seeing it ur will build its output [Fri Jul 18 11:24:32 2014] has anyone tried nontrivial parsing in ur/web? what did you do? [Fri Jul 18 11:24:33 2014] I'm considering getting an SML parser generator and seeing it ur will build its output [Fri Jul 18 12:03:15 2014] SML parser stuff is not going well :S [Fri Jul 18 14:23:28 2014] hey, looking at trying out ur/web, but can't get it to compile on osx [Fri Jul 18 14:24:03 2014] it seems to be looking for gmp at /opt/local/lib/ but I have it installed at /usr/local/lib [Fri Jul 18 14:24:18 2014] I might be able to get past the issue by symlinking, but not sure if that will cause issues at runtime [Fri Jul 18 14:24:48 2014] anyone else seen this? any tips on customizing the installation directory for gmp? couldn't find much referirng to it in the build scripts [Sat Jul 19 12:38:22 2014] hi [Sat Jul 19 12:38:57 2014] has anyone done parsing in ur? [Sun Jul 20 10:01:16 2014] hi [Sun Jul 20 18:17:30 2014] vanila: hi [Tue Jul 22 20:11:41 2014] hello [Tue Jul 22 20:26:51 2014] does Ur have GADTs? [Tue Jul 22 20:38:05 2014] I don't think I can use Ur :(( [Wed Jul 23 04:41:56 2014] vanila: Why don't you think you can use Ur? [Sat Jul 26 12:38:41 2014] under what conditions does Smerdyakov appear? [Sat Jul 26 20:26:47 2014] vanila: When I or someone else summons him by email or other methods. [Sat Aug 2 17:04:02 2014] http://web.mit.edu/jgross/zlog/irc/freenode:#ur [Sat Aug 2 17:04:16 2014] it's great that there are logs of Ur, but as freenode policy please include this link in the topic [Sat Aug 2 18:01:21 2014] I don't have control over the topic, and/or don't know how to set it. I can make my personal logs private and not world-readable, if you'd prefer. [Sat Aug 2 18:01:41 2014] (Or if you know how to change the topic, you can update it to mention them.) [Sat Aug 2 18:02:40 2014] We just need Smerdyakov to add the link, it's nice to have the logs available - please don't remove them just from what I said! [Sat Aug 2 18:16:31 2014] I've sent him an email asking him to do so. [Sat Aug 2 18:16:56 2014] ok! [Sat Aug 2 18:17:07 2014] Also, vanila, you never answered my question about what made you say "I don't think I can use Ur :((" [Sat Aug 2 18:17:09 2014] unrelated: I just got wiki markup working in my ur-wiki [Sat Aug 2 18:17:18 2014] oh I didn't see that sorry! [Sat Aug 2 18:17:22 2014] congrats! [Sat Aug 2 18:17:24 2014] It was because I couldn't use parser combinators [Sat Aug 2 18:17:38 2014] I ended up writing a translator from prolog DCG into Ur, with an interpreter - which works [Sat Aug 2 18:17:58 2014] but then adam also improved his compiler so that our parser combinator library works [Sat Aug 2 18:18:13 2014] *nods* What's DCG? [Sat Aug 2 18:18:23 2014] and in the end I realized that I only actually need to do tokenization, then things like bbcode and wiki markup are very easy to implement directly [Sat Aug 2 18:18:39 2014] in prolog you can write rule --> [a], [b], other, rules, here, [c]. [Sat Aug 2 18:18:46 2014] and it lets you easily write parsers [Sat Aug 2 18:19:03 2014] this would be similar to rule ::= 'a' 'b' other rules here 'c' [Sat Aug 2 18:19:26 2014] that was just a quick way to get parsing working in Ur, because I knew how to implement a DCG interpreter without using higher order functions [Sat Aug 2 18:20:24 2014] *nods* [Sat Aug 2 18:22:15 2014] about to release pkbdf2 library for secure password hashing [Sat Aug 2 18:22:47 2014] just adding the test vectors [Sat Aug 2 18:30:03 2014] vanila: Is this an ur/web library? (Are you going to announce it on the mailing list?) [Sat Aug 2 18:30:34 2014] yes [Sat Aug 2 18:43:54 2014] I didn't post to the ML though [Sat Aug 2 18:45:36 2014] https://github.com/enn/ur-pbkdf2/tree/master [Sat Aug 2 18:45:38 2014] i wonder if i should [Sat Aug 2 18:45:54 2014] it is for a BBS someone is writing, it hasn't been put to use yet - so I might wait before posting to the ML [Sat Aug 2 18:46:12 2014] I will probably use it in my wiki too if I add support for user accounts [Sat Aug 2 19:02:32 2014] I think Adam, at least, is always interested in knowing what users are doing. I think it's certainly worth emailing him, and probably worth emailing the list, too. [Sat Aug 2 19:03:38 2014] it might be good to replace crypt in Basis with this [Sun Aug 3 10:30:43 2014] https://github.com/idris-hackers/IdrisWeb thoughts?? [Sun Aug 3 10:44:35 2014] http://eb.host.cs.st-andrews.ac.uk/drafts/ifl2013.pdf [Thu Aug 7 16:31:58 2014] I'm new to urweb and trying to better understand the XML dsl, is it really just HTML, or are there special tags/attributes etc added that are just for urweb? [Thu Aug 7 16:33:48 2014] It's a distinct XML dialect [Thu Aug 7 16:33:54 2014] it gets translated to XHTML though [Thu Aug 7 16:34:16 2014] there is a special tag, for example - that lets you do dynamic things with channels.. and that gets compiled into javascript [Thu Aug 7 16:41:09 2014] k, I was getting that sense [Thu Aug 7 16:41:18 2014] is there any documentation about the special tags [Thu Aug 7 16:41:42 2014] things like the for example? [Thu Aug 7 16:42:44 2014] no [Thu Aug 7 16:44:34 2014] k, guess I'll just search through source code! [Thu Aug 7 16:46:12 2014] I've been searching through the demo and test code to find out examples of tags (yes.. this isn't optimal) [Thu Aug 7 16:49:22 2014] right [Thu Aug 7 16:50:26 2014] by the way, I think the different single letter prefixes to textbox and other tags like that are related to the type of form they go inside [Thu Aug 7 16:50:33 2014] (this might be completely wrong though) [Thu Aug 7 16:50:57 2014] hm this documentation thing might be worth asking the author about.. [Thu Aug 7 16:51:30 2014] oh, cool, hadn't realized that [Thu Aug 7 16:56:28 2014] thanks [Thu Aug 7 16:59:09 2014] no problem, I'll help with any ur stuff I can :) [Thu Aug 7 16:59:16 2014] it's a really fun language [Fri Aug 8 16:19:01 2014] I'm embarking on my first Ur/Web project and I'm curious about the options for deployment [Fri Aug 8 16:19:42 2014] I'm basically looking for the easiest, cheapest way to get started and I don't have my own dedicated machine [Fri Aug 8 16:20:33 2014] no real scale or performance concerns at this point, I'm just not sure what I should look for in an online host to deploy an Ur/Web app [Fri Aug 8 16:22:57 2014] well it Urweb compiles into C which get built into a binary which you can use as a web server [Fri Aug 8 16:23:16 2014] it's probably more usual to run a normal webserver like nginx and connect it to the urweb process though [Fri Aug 8 16:25:16 2014] ok [Fri Aug 8 16:25:53 2014] it might be worth asking on the mailing list what providers people have sucessfully installed urweb on [Fri Aug 8 16:26:07 2014] that makes it sound like I'll need more configuration control over my deployment box than some of the standard services (ie Heroku) provide [Fri Aug 8 16:26:20 2014] yeah [Fri Aug 15 10:48:55 2014] Can urweb run in bsd? [Sat Aug 23 11:04:51 2014] hi Smerdyakov :) [Sat Aug 23 11:04:58 2014] Hi! [Sat Aug 23 11:05:08 2014] How are you! [Sat Aug 23 11:07:41 2014] Fine, thanks. [Sat Aug 23 11:08:50 2014] I should have responded to you on the ML about the stuff but I didn't want to write too much on there that isn't relevant to other people [Sat Aug 23 11:23:56 2014] oh [Sat Aug 23 11:24:22 2014] I wrote an module that might be useful for cryptographic hashing of password etc. [Sat Aug 23 11:25:43 2014] vanila, did you see Basis.crypt? [Sat Aug 23 11:25:45 2014] https://github.com/enn/ur-pbkdf2 [Sat Aug 23 11:26:00 2014] yeah but I don't think that's as secure [Sat Aug 23 11:26:15 2014] In general, it's a really bad sign if your application deals with passwords. [Sat Aug 23 11:26:29 2014] Why not use OpenID? [Sat Aug 23 11:26:40 2014] yeah openid is cool too :) [Sat Aug 23 11:46:49 2014] Smerdyakov, if you're busy can i ask your advice on something in PM? [Sat Aug 23 11:46:54 2014] I mean if you're not busy [Sat Aug 23 11:46:58 2014] You can ask. :) [Sat Aug 23 11:47:16 2014] thanks [Sat Aug 30 10:13:47 2014] Smerdyakov, an urweb discussion came up in another channel and someone said something i thought might be interesting to you [Sat Aug 30 10:14:06 2014] they said that Ur/Web is only good for making websites - or something like that [Sat Aug 30 10:14:58 2014] OK. Whether or not I agree depends on the meaning of "making websites." [Sat Aug 30 10:15:14 2014] I didn't explain it well because I lost their quote [Sat Aug 30 10:16:07 2014] but basically I think that it might be limiting if you can only emit HTML pages, since modern websites often also serve XML based "APIs" - and I imagine that admins need server side tools that interact with the DB [Sat Aug 30 10:16:36 2014] Ur/Web supports returning arbitrary types of documents. [Sat Aug 30 10:16:58 2014] But the compiler's static understanding is best for HTML. [Sat Aug 30 10:17:27 2014] just out of curiosity would you be able to make an XML API alongside a site? [Sat Aug 30 10:17:33 2014]