<html><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:10pt"><div class="" style="">Hi,</div><div class="" style=""><br class="" style=""></div><div class="" style="">New to Ur/Web. This looks like a very interesting project. Would love to try it out. Have a few questions:</div><div class="" style=""><br class="" style=""></div><div class="" style="">1) The FAQ states "From the world of dependent types, Ur/Web takes type-level computation." Does that mean Ur/Web have full support for dependent type? If not, what is missing? Anything that the type system of ATS or Agda can do that the type system of Ur/Web can't, or vice versa?</div><div class="" style=""><br class="" style=""></div><div class="" style="">2) Looking at the Techempower benchmark, for the "Multiple Queries" and "Fortune" tests, the performances of Ur/Web-Postgresql are several times higher
than that of Ur/Web-MySQL. This is really strange because for almost all other frameworks the exact opposite is true: MySQL results tend to be much higher than postgresql results. Is this due to some problems with the urweb mysql driver? Any workaround? All my data is on MySQL so the poor performance on Mysql is a concern.</div><div class="" style=""><br class="" style=""></div><div class="" style="">3) For the "Data Updates" benchmark Ur/Web has poor performances with high latencies. The FAQ attributes this to "optimistic SQL concurrency thrashing to provide the transactional semantics that most benchmark entrants don't bother to shoot for." Can you get into more details about this concurrency thrashing and why does it cause poor update performance? Is there anyway to turn this off and just use the "normal" semantics that other frameworks use? My application is write-heavy and latencies measured in seconds are just too high.</div><div class=""
style=""><br class="" style=""></div><div class="" style="">4) How big is the size of the javascript code generated by Ur/Web compared to hand written JS code? For example Dart-generated js tend to be several times bigger than the comparable hand written one. Is Ur/Web similar to that?</div><div class="" style=""><br class="" style=""></div><div class="" style="">Thank you.</div><div class="" style="">Andy</div><div class="" style=""><br class="" style=""></div></div></body></html>