Difference between revisions of "Talk:List of partial functions"
Jump to navigation
Jump to search
(One intermediate revision by one other user not shown) | |||
Line 3: | Line 3: | ||
--[[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 |
+ | 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 |
||
+ | |||
+ | @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)