14.
#2-1 前回躓いた直和集合について
Haskellでの例：
Maybeは直和型
let hoge = Just 10 :: Maybe Int
let hoge = Nothing :: Maybe Int
let hoge = Just “hoge” :: Maybe Int -- => Error!
let hoge = Just 1.0 :: Maybe Int -- => Error!
15.
#2-1 前回躓いた直和集合について
Swiftでの例：
Optionalは直和型
Optional<T>型と ImplicitlyUnwrappedOptional<T>型 があるらしい
enum Optional<T>: … { case None; case Some(T) }
let foo: Int? = 1 //=> Now foo = { Some(1) }
foo + 1 //=> Error
if let foo = foo {
foo + 1 // => 2
}
Views
Actions
Embeds 15
Report content