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