聞き流しプログラミング言語学習

第89章へようこそ。

今日のテーマは「透明になる型の境界」です。

前章で、FromとIntoの話をしました。

型と型の間に橋を架けるトレイト。

fromメソッドやintoメソッドを呼んで、明示的に変換する。

橋を渡ることを、コードの中で宣言する。

今日の話は違います。

橋を渡っているのに、渡っていることが見えない。

型の境界が、透明になる。

Derefトレイト。

Rustの中で最も静かに、最も広範に働いているトレイトの一つです。

第88章へようこそ。

今日のテーマは「型と型の橋」です。

Rustの道具は5つに分類できます。

言語構文、プレリュード、組み込みマクロ、標準ライブラリ、外部クレート。

今日も標準ライブラリの章です。

プレリュードの章で、FromとIntoに触れました。

ある型から別の型への変換は、あらゆる場面で発生する。

だからプレリュードに入っている、と。

前章では、ブランケット実装の話をしました。

Displayを実装すれば、ToStringが自動的に手に入る。

一つの定義から、もう一つ... more

第87章へようこそ。

今日のテーマは「型が自分の見せ方を決める」です。

Rustの道具は5つに分類できます。

言語構文、プレリュード、組み込みマクロ、標準ライブラリ、外部クレート。

今日も標準ライブラリの章です。

前々章で、プレリュードの話をしました。

そのとき、一つの不在に触れました。

Debugトレイトはプレリュードに含まれる。しかしDisplayトレイトは含まれない。

今日は、そのDisplayの世界に入ります。

std::fmtモジュール。型が「自分をどう見せるか」を定... more

第86章へようこそ。

今日のテーマは「プログラムの外側」です。

Rustの道具は5つに分類できます。

言語構文、プレリュード、組み込みマクロ、標準ライブラリ、外部クレート。

今日も標準ライブラリの章です。

前章では、入出力を見ました。

ReadとWriteというトレイトが、ファイル、ネットワーク、標準入出力を統一していた。

今日は、プログラムが外の世界と接する残りの部分を見ます。

プログラムはどう起動されたか。どこにいるか。時間の中にどう存在するか。

そして、他のプログラムとど... more

第85章へようこそ。

今日のテーマは「標準ライブラリの入出力」です。

Rustの道具は5つに分類できます。

言語構文、プレリュード、組み込みマクロ、標準ライブラリ、外部クレート。

前章では、useを書かずに使える最初の3つを見ました。

今日から、4つ目に入ります。

標準ライブラリ。useが必要だが、Cargo.tomlには書かない世界です。

ファイルを読む。ネットワークからデータを受信する。標準入力からテキストを受け取る。

これらは別々の操作に見えます。

相手が違う。仕組みが違... more

第84章へようこそ。

今日のテーマは「useを書かない世界」です。

Rustで使える道具は、5つに分類できます。

1つ目は、言語構文。if、match、for、let、useのような、言語そのものの文法。

2つ目は、プレリュード。Option、Vec、Cloneのような、自動的にインポートされる型とトレイト。

3つ目は、組み込みマクロ。println!、panic!、assert!のような、常に使えるマクロ。

4つ目は、標準ライブラリ。HashMap、File、TcpStreamのよ... more

ここまでで、論理ゲートから加算器までを見てきました。

足し算はできるようになった。

引き算も、2の補数を使えばできる。

でも、コンピュータは足し算と引き算だけではありません。

AND、OR、XORといった論理演算もある。

比較もある。シフトもある。

これらをすべて別々の回路で作るのでしょうか。

今日の主役は「ALU」、Arithmetic Logic Unit。

算術論理演算装置です。

第83章へようこそ。

今日のテーマは「ビルドと配布」です。

Rustでビルドすれば、実行ファイルが1つ出来上がります。

それをコピーすれば、確かに動く。

しかし、「動く」と「届けられる」は違います。

実行ファイルをそのまま渡されたユーザーは、まず疑います。

これは本当に安全なのか。誰が作ったのか。途中で改ざんされていないか。

OSも同じ疑いを持ち、警告を出してブロックする。

開発者の環境では動いたが、ユーザーの環境では動かない。

ライブラリが足りない。パスが違う。権限が足りない... more