inference is bad DX

[Raoul Duke]

especially since the tooling is never food enough, and/or a nightmare to set up and maintain. 

because the types are far too hidden. 

and because the inference has no interactive debugger. 

[David Barbour]

Inference is very convenient when you have different assumptions at different places in code, and you want to determine whether those assumptions are all compatible before running it.

But it seems difficult to explain discovered incompatibilities in a way most users can grok. Perhaps we should be telling a story with a generated example instead of trying to describe internal types.

--
You received this message because you are subscribed to the Google Groups "PiLuD" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pilud+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/pilud/CAJ7XQb7cUBDSyD2sJy1Mq6UYgHaGGCPaoc2c0_PyyTQt1Ecc6g%40mail.gmail.com.