Swift 函數(shù)式編程探索(2)——實踐中使用 Functor 和 Monad

上次了解了一點函數(shù)式編程之后,學習了一下《Funtional Swift》 這本書,仿佛打開了新世界的大門。
一直看文章不如自己實踐,于是我嘗試在項目中使用了一下,現(xiàn)在對 monad、functor 等已經(jīng)相對熟悉理解了,并且發(fā)現(xiàn)這個范式有著非常方便的一面。
這里用到的代碼我都寫在了 playground 里,放到了 Github 上。

這里就分享一下我在最近的實際項目中是如何使用函數(shù)式編程的:

1. 使用 monad(flagMap)處理異常

上一篇函數(shù)式編程中說到,定義一個 functor 和 monad 非常容易,只要定義了 map 函數(shù)和 flatMap 函數(shù)就可以。
使用 flatMap 有非常方便的錯誤處理能力,比如說使用 monad Result:

public enum Result<Value> { 
    case success(Value)
    case failure(ErrorType)

    public func flatMap<T>( @noescape transform: Value throws -> Result<T>) rethrows -> Result<T> {
        switch self {
        case let .failure(error):
            return .failure(error)
        case let .success(value):
            return try transform(value)
        }
    }
}

假設(shè)我們要將一個從 urlsession 獲得的data 數(shù)據(jù)轉(zhuǎn)換為 json 格式,我們定義一個從 nsdata 轉(zhuǎn)為 json 的的方法

//注意這里使用了 type alias ,較為方便
typealias JSON = [String : AnyObject]
func toJSON(data: NSData) -> Result<[String : AnyObject]> {
    do {
        if let json = try NSJSONSerialization.JSONObjectWithData(
            data, options: []) as? JSON  {
            return .success(json)
        }
        return .success([ : ])
    } catch let error {
        return .failure(error)
    }
}

當我們獲得了一個類型為 Result<NSData> 的result時候,我們可以這樣:

let json = result.flatMap(form)
//如果成功,json 包含 JSON,如果失敗,則是包含 Error

還可以更方便一點,我們使用上一篇定義的操作符>>-
我們就能這么寫:

let json = result >>= form

不過,我們有可能會經(jīng)常在一個形如someF<U , T>(a : U) -> Result<T>中重復(fù)寫類似 form 函數(shù)一樣的do catch。
所以有沒有更好的解決辦法?

2. 使用 functor(map)處理異常

其實也是有的,我們使用map。

extension Result{

    public func map<T>( @noescape transform: Value throws -> T) rethrows -> Result<T> {
        switch self {
        case let .failure(error):
            return Result<T>.failure(error)
        case let .success(value):
            return try Result<T>.success(transform(value))
        }
    }

    //因為已經(jīng)有了一個 rethrows 的 map,所以這里不能取名 map,使用 mapError
    public func mapError<T>( @noescape transform: Value throws -> T) -> Result<T> {
        do { 
            return try self.map(transform)
        } catch let error {
            return .failure(error)
        }
    }
}

我們寫一個會拋出異常的函數(shù),這么寫,直接將之拋出:

public func toJSONThrows(data: NSData) throws -> JSON {
    if let json = try NSJSONSerialization.JSONObjectWithData(
        data, options: []) as? JSON {
        return json
    }
    return [ : ]
}

當我們獲得了一個類型為 Result<NSData> 的result時候,我們可以這樣:

let json = result.mapError(toJSONThrows)
//如果成功,json 包含 JSON,如果失敗,則是包含 Error,和faltMap一樣

這樣一來,任何可能會拋出錯誤的函數(shù)都使用 mapError,就能很方便地進行錯誤處理了。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。

推薦閱讀更多精彩內(nèi)容