На картинке ниже вы можете видеть 2 лица. Обычное лицо справа и злобное — слева. Теперь встаньте со стула, отойдите шагов на 8 назад и произойдет волшебство. Два лица поменяются местами.


Лечу Crash'и NSLog'ами. Недорого. Многолетний опыт. 100% гарантия.
// Code
UITextView * textView = [ [UITextView alloc] initWithFrame:CGRectMake(0, 150, _width, _height)];
// Exception
*** Terminating app due to uncaught exception 'CALayerInvalidGeometry',
reason: 'CALayer bounds contains NaN: [0 0; nan 200]'
// Source:
NSLog(@"width = %f", _width);
//Output:
width = 200
<?php
$me = 'Programmer';
makeHappy($me);
Integer -> Bool
хотя бы для одного числа вычислительно неразрешима. Однако, нечто, на первый взгляд кажущееся как раз таким оракулом (а именно, функцией (Integer -> Bool) -> Maybe Integer
) будет описано в этой статье.data Nat = Zero | Succ Nat deriving (Eq, Ord, Show)
Succ
от слова successor).Integer
) над числами в таком представлении:instance Num Nat where
Zero + y = y
Succ x + y = Succ (x + y)
Zero * y = Zero
Succ x * y = y + (x * y)
fromInteger 0 = Zero
fromInteger n = Succ (fromInteger (n-1))
Information