<div dir="auto"><div dir="auto">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. </div><div dir="auto"><br></div><div dir="auto">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:</div><div dir="auto"><br></div><div dir="auto">- type of an identifier</div><div dir="auto">- type of an expression at top level</div><div dir="auto">- type of an expression in function definition, let-binding, etc</div><div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div><div dir="auto">Any help much appreciated</div><div dir="auto"><br></div><div dir="auto">Simon</div></div>