compile time is just an alias for "fast feedback"
-
-
-
errors at compile time aren't bugs, i.e. they don't cost the user anything.
End of conversation
New conversation -
-
-
Agreed! That’s why it’s good to catch type errors before shipping rather than after
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Compile after shipping or skip the compile?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Is Propositions as Types a relevant notion?
-
It’s relevant in the sense that it alludes to a built-in, rigid constraint solver that your propositions all must be stuffed into types to utilize. That doesn’t preclude one building a custom, flexible constraint solver for exactly the domain one has.
End of conversation
New conversation -
-
-
Evaluation is compilation is dependency management. The important question is: does your product ship with a compiler?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.