Personal tools

Talk:List of partial functions

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
(One intermediate revision by one 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 *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
  +
  +
@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)