Looking to hire people to do web programming with fancy types
Adam Chlipala
programming language for web applications:
http://www.impredicative.com/ur/
I'm now doing some consulting work building web applications for
customers, and I'm in a position to hire subcontractors to write web
applications that do cool things with statically-typed metaprogramming
and so on. Anyone interested? If so, I'd love to hear from you!
I'm also interested in supporting start-ups that might want a secret
weapon to use in their web app development.
Iliya Kuznetsov
--
You received this message because you are subscribed to the Google Groups "CUFP" group.
To post to this group, send email to cu...@googlegroups.com.
To unsubscribe from this group, send email to cufp+uns...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/cufp?hl=en.
--
+7-916-878-75-70 (mobile. use only at mornings evenings and weekends)
Adam Chlipala
> Very interesting language!
> Can Ur/Web be good in handling of large XML (~50-100 MB)?
> I do many xml-parsing programs for SAP PI (middleware) and today have
> plans to involve some Haskell or something else in that Enterprise world.
The base language and standard library include no datatype of XML code
that may be analyzed; the standard stuff is oriented toward generation
of HTML pages only. The FFI might be the best path to processing large
XML documents.
I don't want to take up space on the CUFP list with discussions of
Ur/Web. Feel free to e-mail me further questions privately, or you may
be interested in the ur mailing list linked from the project front page.
>
> 2011/3/25 Adam Chlipala <ad...@chlipala.net <mailto:ad...@chlipala.net>>