<div dir="ltr">Is there a possibility for -dumpTypes to also dump values in let bindings?</div><br><div class="gmail_quote"><div dir="ltr">Op do 11 okt. 2018 om 16:33 schreef Adam Chlipala <<a href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p>Well, you could take advantage of the type-inference daemon and
      run a new compilation job with your extra expression added to the
      build.<br>
    </p>
    <div class="m_8461932885502694692moz-cite-prefix">On 10/11/2018 02:56 AM, Simon Van
      Casteren wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="auto">I think that would get me to the first level:
        getting types of identifiers. Do you see any way to evaluate
        expressions and getting the types of those?
        <div dir="auto"><br>
        </div>
        <div dir="auto">This is something that would definitely be worth
          it for me, so I'll be implementing it unless I can't figure it
          out :).</div>
        <div dir="auto"><br>
        </div>
        <div dir="auto">Simon </div>
      </div>
      <br>
      <div class="gmail_quote">
        <div dir="ltr">On Thu, Oct 11, 2018, 5:20 AM Adam Chlipala <<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>>
          wrote:<br>
        </div>
        <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm sure
          it's more than just remotely possible and is just a question
          of <br>
          someone getting hands dirty and writing the code!  The
          baseline of a <br>
          whole-program compiler could make it trickier than for many
          other <br>
          toolsets, but it could work to periodically run "compiles"
          through type <br>
          inference, saving the results to hidden files.<br>
          <br>
          On 10/10/2018 08:22 PM, Simon Van Casteren wrote:<br>
          > Urweb tooling is pretty limited compared to other
          languages. I knew <br>
          > that when I started with it and so far I'm OK with it.
          Honestly, most <br>
          > of the "modern" tooling I see in other ecosystems is a
          waste of time.<br>
          ><br>
          > However, the one thing that would really cut dev time in
          half for me <br>
          > in Ur/web (slightly exaggerated for effect) would be
          being able to <br>
          > have the compiler tell me the type of an expression. You
          can go <br>
          > multiple levels deep here:<br>
          ><br>
          > - type of an identifier<br>
          > - type of an expression at top level<br>
          > - type of an expression in function definition,
          let-binding, etc<br>
          ><br>
          > I'm sending this email to the mailing list to ask if
          something like <br>
          > this is remotely possible, what kind of approach we can
          take and how <br>
          > we could go about implementing it.<br>
          ><br>
          > Any help much appreciated<br>
        </blockquote>
      </div>
    </blockquote>
  </div>

_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>