<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body 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="moz-cite-prefix">On 10/11/2018 02:56 AM, Simon Van
Casteren wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAC0+czoUNRE48sByAP3XtRRWAs10pHz-H43_enHs8RMNytLfSw@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<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" 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>
</body>
</html>