1. Rust の話
http://www.flickr.com/photos/lifeontheedge/246608863

2. about:me

3. • 所属
• Mozilla Japan マーケティング部
• 慶應義塾大学 特別研究教員
• @chikoski
• プログラミング言語が好き
• JavaScript, Ruby, R
清水智公 （しみずのりただ）

4. Rust

5. Its design is oriented toward concerns of
“programming in the large”, that is,
of creating and maintaining boundaries
– both abstract and operational –
that preserve large-system
integrity, availability and concurrency.

6. Rust の機能的な特徴
• 強い型システムと型推論
• タスクベースの並行プログラミング
• 高階関数、クロージャ
• パターンマッチ
• 多相性

7. C言語一門のような文法
• {} によるコードブロックの定義
• if , while による制御
• 関数定義と関数呼び出し
• main 関数

8. Rust
• http://www.rust-lang.org/
• 利用できる環境
• Windows (7, Server 2008 R2), x86
• Linux, x86 / x86-64
• OS X 10.6 以降, x86 / x86-64

9. エディタ
• Emacs : src/etc/emacs
• Vim :
https://github.com/mozilla/rust/blob/master/
src/etc/vim/syntax/rust.vim
https://github.com/wting/rust.vim
• Sublime:
https://github.com/dbp/sublime-rust

11. 今日の内容

12. 今日の内容
• Hello, World
• 変数宣言
• 制御構造
• 関数定義と呼び出し

13. version 0.6 のお話です

14. Hello, World

15. Hello, World
fn main(){
io::println("Hello, World!");
}

16. 変数

17. let hi = "hi";
let mut count = 0;
while count < 10 {
io::println(fmt!("count: %?", count));
count += 1;
}
ローカル変数の宣言

18. let hi = "hi";
let mut count = 0;
while count < 10 {
io::println(fmt!("count: %?", count));
count += 1;
}
単一代入

19. let hi = "hi";
let mut count = 0;
while count < 10 {
io::println(fmt!("count: %?", count));
count += 1;
}
mutable な変数の宣言

20. ブロックスコープ
fn main(){
let a = 1;
{
let b = 2;
io::println(int::to_str(a));
io::println(int::to_str(b));
}
io::println(int::to_str(b));
}

21. ブロックスコープ
fn main(){
let a = 1;
{
let b = 2;
io::println(int::to_str(a));
io::println(int::to_str(b));
}
io::println(int::to_str(b));
}
unresolved name: `b`

22. グローバル変数はない
a = 10;
fn main(){
io::println(int::to_str(a));
}

23. グローバル変数はない
a = 10;
fn main(){
io::println(int::to_str(a));
}
expected item but found `a`

24. グローバル変数はない
let a = 10;
fn main(){
io::println(int::to_str(a));
}

25. グローバル変数はない
let a = 10;
fn main(){
io::println(int::to_str(a));
}
expected item but found `let`

26. 定数宣言
static a: int = 10;
fn main(){
io::println(int::to_str(a));
}

27. 定数宣言時の型宣言は省略できない
static a = 10;
fn main(){
io::println(int::to_str(a));
}

28. 定数宣言時の型宣言は省略できない
static a = 10;
fn main(){
io::println(int::to_str(a));
}
expected `:` but found `=`

29. 定数と同名の変数は宣言できない
static a: int = 10;
fn main(){
let a = 5;
io::println(int::to_str(a));
}

30. 定数と同名の変数は宣言できない
static a: int = 10;
fn main(){
let a = 5;
io::println(int::to_str(a));
}
only refutable patterns allowed here

31. static factor: float = 57.8;
let size = factor * 10.0;
let size: int = 50;
let _size = 50;
変数宣言時の型推論

32. 制御構造

33. let price = 0;
if item == "salad" {
price = 3.50;
} else if item == "muffin" {
price = 2.25;
} else {
price = 2.00;
};
条件分岐

34. let price =
if item == "salad" {
3.50
} else if item == "muffin" {
2.25
} else {
2.00
};
if 文ではなく if 式

35. fizzbuzz
let msg = if(n % 15 == 0){
"FizzBuzz"
}else if(n % 3 == 0){
"Fizz"
}else if(n % 5 == 0){
"Buzz"
}else{
""
};

36. パターンマッチ
match my_number {
0 => io::println("0"),
1 | 2 => io::println("1 / 2"),
3..10 => io::println("3 - 10"),
_ => io::println("?")
}

37. match n {
n if n % 15 == 0 => "FizzBuzz",
n if n % 5 == 0 => "Buzz",
n if n % 3 == 0 => "Fizz",
_ => ""
}
fizzbuzz (with pattern match)

38. match n {
n if n % 15 == 0 => "FizzBuzz",
n if n % 5 == 0 => "Buzz",
n if n % 3 == 0 => "Fizz",
_ => ""
}
ガード節

39. 繰り返し
let mut n = 1;
while n < 100 {
let r = fizzbuzz(n);
io::println(fmt!("%? : %s", n, r));
n = n + 1;
}

40. loop ⇔ while(true)
let mut x = 5;
loop {
x += x - 3;
if x % 5 == 0 { break; }
io::println(int::to_str(x));
}

41. 関数定義

42. 関数呼び出し
fn main(){
let a = line(1, 0, 1);
io::println(int::to_str(a));
}

43. 関数定義
fn line(a: int, b: int, x: int) -> int {
return a * x + b;
}

44. return は省略できる
fn line(a: int, b: int, x: int) -> int {
a * x + b
}

45. ；の有無に注意
fn line(a: int, b: int, x: int) -> int {
a * x + b;
}
() が返り値になる

46. いろいろ試してみた
• 引数の型は省略できるか？
• 返り値の型は省略できるか？
• 関数内で関数定義できるか？
• 無名の関数は定義できるか？
• 関数名の重複は許されるか？

47. 引数の型は省略できない
fn line(a, b, x){
a * x + b
}

48. 返り値の型は省略できるが
fn line(a: int, b: int, x: int){
a * x + b
}

49. 返り値の型は省略できるが
fn line(a: int, b: int, x: int){
a * x + b
}mismatched types: expected `()` but found
`int` (expected () but found int)

50. 関数内関数（JavaScript の場合）
function line(a, b, x){
funciton add(a, b){
return a + b;
}
return add(a * x, b);
}

51. 関数内で関数を宣言できる
fn line(a: int, b: int, x: int) -> int{
fn add(a: int, b: int) -> int{
return a + b
}
add(a * x, b)
}

52. 外部の変数を参照できない
fn line(a: int, b: int, x: int) -> int{
fn add(a: int) -> int{
return a + b
}
add(a * x)
}

53. 外部の変数を参照できない
fn line(a: int, b: int, x: int) -> int{
fn add(a: int) -> int{
return a + b
}
add(a * x)
}
この b は外側の環境にある

54. 外部の変数を参照できない
fn line(a: int, b: int, x: int) -> int{
fn add(a: int) -> int{
return a + b
}
add(a * x)
}
attempted dynamic environment-capture

55. 無名関数（JavaScript の場合）
function line(a, b, x){
(function(a, b){
return a + b;
})(a * x, b);
}

56. 無名関数は作成できない（？）
fn line(a: int, b: int, x: int) -> int{
(fn(a: int, b: int) -> int{
return a + b
})(a * x, b)
}

57. 無名関数は作成できない（？）
fn line(a: int, b: int, x: int) -> int{
(fn(a: int, b: int) -> int{
return a + b
})(a * x, b)
}
found `fn` in ident position

58. 関数名の重複（Java の場合）
public static int line(int a, int b, int x){
return a * x + b;
}
public static float line(float a, float b, float x){
return a * x + b;
}

59. 関数名の重複は許されない
fn line(a: int, b: int, x: int) -> int {
a * x + b
}
fn line(a: float, b: float, x: float)
-> float {
a * x + b
}

60. 関数名の重複は許されない
fn line(a: int, b: int, x: int) -> int {
a * x + b
}
fn line(a: float, b: float, x: float)
-> float {
a * x + b
}
duplicate definition of value line

61. 高階関数
fn line(a: int, b: int, x: int, link: &fn(int) -> int) -> int{
a * link(x) + b
}
fn offset(x: int) -> int{
x + 2
}
fn main(){
let a = line(1, 0, 1, offset);
io::println(int::to_str(a));
}

62. まとめ

63. まとめ
• 変数
• mut をつけないと mutable にならない
• グローバル変数なし
• 条件分岐：if, match
• 繰り返し：while, loop

64. 関数について
• 型はかならず書かなければならない
• 関数内で関数を定義できる
• 無名の関数は定義できない
• 外部の環境を参照できない
• クロージャ使え
• 高階関数

65. 本性は関数型言語

66. おまけと次回予告

67. Rust 情報源
• 公式サイト：http://www.rust-lang.org/
• メーリングリスト：
https://mail.mozilla.org/listinfo/rust-dev
• This Week in Rust：http://cmr.github.io/
• pcwalton：http://pcwalton.github.io/
• http://www.rust-.lang.jp/
ドメインだけ押さえた！翻訳者募集！

68. 次回予告
• box
• ユーザ定義型
• タプル
• 構造体、列挙型
• オブジェクト思考
• 型推論のお話