Personal tools

Talk:List of partial functions

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m
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 *error* and *undefined* are "not even partial"? As far as I know, a function is either total or partial. If *error* promises me an *a* but instead blows up, surely it is partial?
+
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

Revision as of 07:16, 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