<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">It doesn't sound too hard, and I'd be
glad to see a patch for it; and feel free to open a GitHub issue.<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 10/24/18 4:11 AM, Simon Van Casteren
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAC0+czrt2wwLy=cJ23j52Pme0mAE67rTtD8vc8VV5o_WC4mYfQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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"
moz-do-not-send="true">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" moz-do-not-send="true">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"
moz-do-not-send="true">Ur@impredicative.com</a><br>
<a
href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur"
rel="noreferrer" target="_blank" moz-do-not-send="true">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Ur mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com">Ur@impredicative.com</a>
<a class="moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>