[Ur] Standalone executable/binary runnable from command prompt

[Adam Chlipala]

There is no concept of "files" in Ur/Web, and your life will be easier 
as an Ur/Web programmer if you stick within the endorsed model where all 
persistent state is in either the SQL database or cookies.

I believe your idea of the appropriate first "hello world" program is 
misguided in roughly the same way as a C programmer deciding that he 
needs to print "hello world" to the console as his first Haskell 
program, despite the fact that monadic IO makes that task more complex 
than expected, and despite the fact that IO and other side effects are 
not core concepts in Haskell.

On 05/03/2015 10:13 AM, Artella Coding wrote:
> Hi, when I visited the introductory web page the language looked like 
> Standard ML and so I got curious and wanted to experiment with the 
> language. I was thinking of doing some experiment where I read some 
> file, do some processing, and then output the results. I think for 
> this I would have to link up to C. This would also allow me to 
> benchmark against Haskell.