domain vs domain

Stream: maths

[Yaël Dillies]

How should we distinguish between the domain of a function f : α → β(that is α) and the domain of a partial function f : α →. β (that is, f.dom)? I'm currently writing the docstrings for data.pfun and I have the feeling that it'll be confusing.

[Yakov Pechersky]

If it's named f.dom, then refer to it as dom, while the other is domain?

[Yaël Dillies]

Yeah, but would you say that when speaking? Wouldn't it sound weird in the docstring?

[Eric Wieser]

"domain of f vs dom of f"

[Eric Wieser]

You have formatting to distinguish the two

[Yaël Dillies]

Okay sure

[Mario Carneiro]

You could use "base domain" to refer to the base type of the domain set of a partial function, but it would need explanation anyway so you might not gain much