an0

for case (let x, 0) in [(0, 0), (0, 1), (1, 0), (1, 1)] where x > 0 {
    print(x)
}

an0

box1_of_e1.flatMap(e1 -> box2_of_e2) -> box1_of_e2

1. Maps every element of the source box to a target box.
2. If the target box is not empty, unwraps it and puts its content into the source box.
3. If the target box is empty, ignores it.

So it filters out empty target boxes. But it doesn't filter out empty elements of the source box. The mapping function f must handle empty source elements.

an0

1. Can not express SomeClass<SomeProtocol> *.
2. Can not override delegate with subprotocol: http://stackoverflow.com/questions/25724709/overriding-delegate-property-of-uiscrollview-in-swift-like-uicollectionview-doe.
3. No @dynamic: http://www.openradar.me/22595617.

an0

public func isKindOfType<T>(type: T.Type, value: Any) -> Bool {
    return value is T
}

class A {}
class B: A {}

let clsA = A.self
let b = B()

an0

https://twitter.com/an0/status/667392567667888128

an0

protocol Guard {}
class Adam: Guard {}
class Alfred: Adam {}

func conforms1<T>(x: Any.Type, y: T.Type) -> Bool {
    return x is T.Type
}

// This also should be true but for some reason type is Guard.Protocol instead of Guard.Type.
print(conforms1(Adam.self, y: Guard.self))

an0

final class Foo {
    //    static let _sharedInstance = self.init() // Why not work?
    static let _sharedInstance = Foo()
    static func sharedInstance() -> Self {
        return _sharedInstance // Why 'Foo' is not convertible to 'Self'? It is `static` so `Self` can only be `Foo`. In fact since the class is final there won't be any subclasses at all.
        //        return self.init() // Why this works?
    }
    
    required init() {
        

an0

NSObjectProtocol is more general than NSObject and isEqual and hash are defined in NSObjectProtocol. Logically, we should inherit NSObjectProtocol from Equatable and Hashable.

Why not? Why instead extend NSObject to conform to Equatable and Hashable?

The current design causes problems like this:

if obj.delegate == self {

Binary operator '==' cannot be applied to operands of type 'XXXDelegate' and 'XXXDelegate'

an0

/* Implicitly unwrapped optional is really dangerous, especially when unwrapped unexpected.

   For example, I expect here `a` will be checked again `nil` first before being unwrapped and compared to `b`.
   That is to say, I thought there are `==(lhs: T?, rhs: T)` and `==(lhs: T, rhs: T?)`. But there aren't.
   There are only `==(lhs: T, rhs: T)` and `==(lhs: T?, rhs: T?)`.
   Reasonably, (lhs: T!, rhs: T) matches better the former than latter so the former is picked so crash. */

let a: Int! = nil
let b: Int = 1

an0

// Response to http://www.russbishop.net/swift-associated-types:
// 1. Type parameter leaking is a real problem(the `S` parameter of `buyFoodAndFeed` below can not be omitted — "We have no way to express that we don't care about the Supplement type parameter") but not as severe as is described in the article because non-generic subclasses of generic superclasses do not need type parameter re-specification when being used.
// 2. It is not true that "we have no way to link the type of F to Food". We can link Animal.F to Store.G. See `buyFoodAndFeed` below.

class Food {
    required init() {
        
    }
}