| | Словари, Словарь Dictionary |
| recursive type A data type which contains itself. The commonest example is the list type, in : data List a = Nil | Cons a (List a) which says a list of a's is either an empty list or a containing an 'a' (the "head" of the list) and another list (the "tail"). Recursion is not allowed in or Haskell s, so the following types are illegal: type Bad = (Int, Bad) type Evil = Bool -> Evil whereas the seeminly equivalent s are acceptable: data Good = Pair Int Good data Fine = Fun (Bool->Fine) |
| | О сайте • 10 самых • Словари • Обратная связь | |
| © 2010 Admin User словарь словарь online online словарь цитаты chrome | XHTML | CSS | 1.8.11 |