[Ur] Tooling: type of an expression

[Adam Chlipala]

I'm sure it's more than just remotely possible and is just a question of 
someone getting hands dirty and writing the code!  The baseline of a 
whole-program compiler could make it trickier than for many other 
toolsets, but it could work to periodically run "compiles" through type 
inference, saving the results to hidden files.

On 10/10/2018 08:22 PM, Simon Van Casteren wrote:
> Urweb tooling is pretty limited compared to other languages. I knew 
> that when I started with it and so far I'm OK with it. Honestly, most 
> of the "modern" tooling I see in other ecosystems is a waste of time.
>
> However, the one thing that would really cut dev time in half for me 
> in Ur/web (slightly exaggerated for effect) would be being able to 
> have the compiler tell me the type of an expression. You can go 
> multiple levels deep here:
>
> - type of an identifier
> - type of an expression at top level
> - type of an expression in function definition, let-binding, etc
>
> I'm sending this email to the mailing list to ask if something like 
> this is remotely possible, what kind of approach we can take and how 
> we could go about implementing it.
>
> Any help much appreciated