Swift & Monads

maybe.swift

// Make Optional a monad
extension Optional {
    // Scala style, define `flatMap` directly
    func flatMap<U>(f: (a: T) -> Optional<U>) -> Optional<U> {
        switch (self) {
            case .None: return nil
            case .Some(let value): return f(a: value)
        }
    }

    // Haskell style, define `join` and use existing `map` implementation (`fmap` in Haskell terms)
    static func join<U>(s: Optional<Optional<U>>) -> Optional<U> {
        switch (s) {
            case .None: return nil;
            case .Some(let value): return value;
        }
    }

    func bind<U>(f: (a: T) -> Optional<U>) -> Optional<U> {
        return Optional.join(self.map(f))
    }
}

It's technically Haskell style to define flatMap/(>>=) directly as well.