目次

Rustの勉強[高度な型 その2]

ぎじゅつ

はじめに

#

NO IMAGE高度な型 - The Rust Programming Language 日本語版

を読んでいる。

お勉強

#

NO IMAGE高度な型 - The Rust Programming Language 日本語版

  • これやる
  • めちゃくちゃ疲れとる

メモ

#

Rustには、!という名前の特別な型があります。それは型理論の専門用語では Empty型 と呼ばれ値なしを表します

  • はえー
  • 重要そうじゃん
fn bar() -> ! {
    // --snip--
}
  • あ、prefixに付けるとかではなくて本当にこのままなんだ
  • だめだ、今日かなり体調悪いかもな
let guess = match guess.trim().parse() {
    Ok(_) => 5,
    Err(_) => "hello",
}

このコードのguessは整数かつ文字列にならなければならないでしょうが、Rustでは、guessは1つの型にしかならないことを要求されます。

  • まあそうだね

まとめ

#
  • 全然頭に入ってこなかった
  • !はわかった
  • 引き続き同じところ