Difference between revisions of "Talk:List of partial functions"
Jump to navigation
Jump to search
DaniilFrumin (talk | contribs) (New page: Should we also point out under which circumstances those functions behaviours are undefined? --~~~~) |
|||
| (2 intermediate revisions by one other user not shown) | |||
| Line 2: | Line 2: | ||
--[[User:DaniilFrumin|DaniilFrumin]] 11:28, 12 October 2012 (UTC) |
--[[User:DaniilFrumin|DaniilFrumin]] 11:28, 12 October 2012 (UTC) |
||
| + | |||
| + | What does it mean to say that ''error'' and ''undefined'' are "not even partial"? As far as I know, a function is either total or partial. If a function is not defined for any point, surely it is partial? |
||
| + | |||
| + | -- Rcaetano |
||
| + | |||
| + | @Rcaetano I meant that they are not defined at any point --- the only purpose of these functions is to signal a pure exception. I don't know what the terminology is for this --- please update with the proper terminology if you know what it is :-) |
||
| + | |||
| + | --[[User:Dave4420|Dave4420]] 16:45, 13 October 2012 (UTC) |
||
Latest revision as of 16:45, 13 October 2012
Should we also point out under which circumstances those functions behaviours are undefined?
--DaniilFrumin 11:28, 12 October 2012 (UTC)
What does it mean to say that error and undefined are "not even partial"? As far as I know, a function is either total or partial. If a function is not defined for any point, surely it is partial?
-- Rcaetano
@Rcaetano I meant that they are not defined at any point --- the only purpose of these functions is to signal a pure exception. I don't know what the terminology is for this --- please update with the proper terminology if you know what it is :-)
--Dave4420 16:45, 13 October 2012 (UTC)