Rust part14

**デフォルトの名無しさん** · 2022/02/12(土) 01:24:16.59

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

日本語の情報
https://rust-jp.rs/

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/

※次スレは原則>>980が立てること

前スレ
Rust part13
https://mevius.5ch.net/test/read.cgi/tech/1636247099/

**デフォルトの名無しさん** · 2022/05/10(火) 14:30:38.85

C言語でプログラミング入門した口だけどRustみたいな関数型言語わからなくて困ってる
例えばOCamlみたいな型推論前提で書かれているコードはどの変数がなんの型になるのかわからなくてつらい思いしている
関数型言語のプログラマはみんな自分で型を推論しながらプログラミングしてるんですか？

**デフォルトの名無しさん** · 2022/05/10(火) 15:01:20.61

>>959
むしろ型推論してくれるからプログラマーは楽
ただしどこかで歯止めがある方が安全安心確実だからRustでは関数の入出力のみ明示する
それも例えば>>929の返り値のように型そのものではなく抽象的にトレイト名で記述も可能

もしある値(式)の型を知りたかったらプログラムで表示も可能だけど一番簡単なのは
let a: i32 = 値;
とデタラメな型名i32を宣言してやるとコンパイラがエラーとして正しい型名を教えてくれる

**デフォルトの名無しさん** · 2022/05/10(火) 15:32:07.15

基本的にはIDEに型を教えてもらってたけど、慣れてくると自分でどんどん型がわかるようになる

**デフォルトの名無しさん** · 2022/05/10(火) 15:58:41.10

>>959
VSCode+rust-analyzerなら変数の型やメソッドチェーンの途中の型が全部出るよ

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/10(火) 16:07:49.23

>>959
どの型に確定するのか把握しなければ使えないのだとしたら、その関数の設計が悪い。
まあ程度問題ではあるけど……。

**デフォルトの名無しさん** · 2022/05/10(火) 18:09:35.29

>>960,962,963
ほーんなるほど
今ocaml勉強しているんだけど
if式のthen節とelse節の式の型は両方一致するとか、
match式においてもすべての分岐の式の型は一致するといかいったことを把握していってるわ
それ取っ掛かりにして関数全体の型把握するようにしたい
あと分岐の片方でラムダ抽象置いて束縛変数導入したらばもう一方の分岐ではconst関数に第一引数適用したの置いて分岐全体の型を合わせるとかいうテクニックとかも他人のソースから学んだンゴ
でも他の言語に比べてocamlのソースはなかなか転がっていない印象を受けるんごねえ
あとSKIコンビネータとかの型も式から推測するのもややこしくて難しいンゴねえ

**デフォルトの名無しさん** · 2022/05/10(火) 20:54:08.50

rust-analyzerっていえばさ
俺のVSCodeをYoutuberのと見比べると、構文間違えなどのアンダーラインが出現・消滅するタイミングが違うんだよね
Youtuberらのがリアルタイムで線が引かれているのに対して、俺のは保存しないと線が引かれたり消えたりしない・・・・しかも、俺の手元ではMacでもWindowsでも一緒の症状・・・・
誰かエスパーさんいたら解決策を教えて！！！

**デフォルトの名無しさん** · 2022/05/10(火) 22:51:55.81

>>959
Rustは関数型言語じゃないぞ

**デフォルトの名無しさん** · 2022/05/11(水) 14:05:19.94

これはやばい
https://blog.rust-lang.org/2022/05/10/malicious-crate-rustdecimal.html

**デフォルトの名無しさん** · 2022/05/11(水) 14:18:05.95

ヤバすぎでしょ

**デフォルトの名無しさん** · 2022/05/11(水) 14:38:17.66

Rustの弱い所を突かれたね

**デフォルトの名無しさん** · 2022/05/11(水) 15:16:16.22

>>965
俺もだわ
地味に困るんだよな

**デフォルトの名無しさん** · 2022/05/11(水) 16:13:08.26

>>965
自動セーブにする必要があるとかじゃないの？

**デフォルトの名無しさん** · 2022/05/11(水) 16:47:09.56

>>967
審査無しでユーザーが好きに登録できるパッケージマネージャにはよくありがちなことだな
パスワードが盗まれて正当なパッケージが置き換えられたわけじゃないからまだまし
Firefoxの拡張の中には第三者が権利を正当な形で引き継いだその後の更新でマルウェア化しているものがあるって報告があるくらいだし

**デフォルトの名無しさん** · 2022/05/11(水) 21:53:53.62

Rustで書くと依存crateが100オーバーになるのも珍しくないから
アプリ開発者がリリース単位で常時全部チェックするのは手間がかかりすぎる

全チェックじゃなければcargo crevとかで閾値決めとくとかしかないよね

**デフォルトの名無しさん** · 2022/05/11(水) 21:55:30.33

>>972
マルウェアというよりアクセス履歴を収集するようになったってやつでしょ

**デフォルトの名無しさん** · 2022/05/12(木) 03:17:07.69

>>824
ホントだ
127の次でpanicした
(1_i8..).for_each(|n| print!("{n} "));
release modeではpanicではなく127の次が-128になって永久循環

**デフォルトの名無しさん** · 2022/05/12(木) 07:30:29.11

適当に作れば溢れる前に止まる

fn countup<T>(start: T) -> impl Iterator<Item=T>
where T: Clone + TryFrom<usize> + num::CheckedAdd,
{
let one = T::try_from(1).ok().unwrap();
itertools::unfold((start, true), move |(n, is_first)| {
if *is_first {
*is_first = false;
Some(n.clone())
} else {
n.checked_add(&one)
.map(|new| {
*n = new.clone();
new
})
}
})
}

fn main() {
countup(1_i8).for_each(|n| print!("{n} "));
}

**デフォルトの名無しさん** · 2022/05/12(木) 12:42:02.07

>>975
1_i8..=i8::MAXにすればいいだけ
型のMAX値までRangeFromでイテレートするなんて処理は現実のプログラムでは必要ないから

**デフォルトの名無しさん** · 2022/05/12(木) 13:14:32.88

>>977
それは数値型にしか使えないので>>976かな

**デフォルトの名無しさん** · 2022/05/12(木) 14:13:04.15

>>976は悪いお手本が盛り沢山
真似しちゃダメだぞ

**デフォルトの名無しさん** · 2022/05/12(木) 14:58:33.47

Rangeをpanicしないように扱う方法ないの？
CheckedRangeみたいなやつとか

**デフォルトの名無しさん** · 2022/05/12(木) 15:09:03.82

>>979
どのへんが問題？

**デフォルトの名無しさん** · 2022/05/12(木) 15:48:05.20

>>978
じゃcharでやってみたら？

**デフォルトの名無しさん** · 2022/05/12(木) 15:51:11.85

>>980
Rangeはオーバーフローしないよね？
RangeFromでオーバーフローして困るなら上限を指定しないと

スレ立てもヨロ

**デフォルトの名無しさん** · 2022/05/12(木) 16:26:15.18

>>982
もっと厳しそうなStringで>>976をやってみた
Zの個数で数を表すZ

#[derive(Debug,Clone)]
struct Z(String);
impl std::fmt::Display for Z {
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
write!(f, "{}", self.0)
}
}
impl From<usize> for Z {
fn from(n: usize) -> Self {
Z("Z".repeat(n))
}
}
impl std::ops::Add for Z {
type Output = Self;
fn add(self, rhs: Self) -> Self {
Z(self.0.clone() + &(rhs.0))
}
}
impl num::CheckedAdd for Z {
fn checked_add(&self, rhs: &Self) -> Option<Self> {
Some(Z(self.0.clone() + &(rhs.0)))
}
}
fn main() {
countup(Z::from(1)).for_each(|n| println!("{n}"));
}

ちゃんと動作してZの数が増えて行くんだな

**デフォルトの名無しさん** · 2022/05/12(木) 16:52:07.33

>>984
それは独自の型であってStringではないよ
上限までイテレートするのに上限が無い型を実装して何がしたいのかわからないが
countup(Z::from(usize::MAX))とかで確認した？

**デフォルトの名無しさん** · 2022/05/12(木) 16:58:46.77

>>985
Rustのorphan ruleを知らないのかよ
独自の型に対してしか既存traitを実装できない規則なのでそこは独自の型で正しい

**デフォルトの名無しさん** · 2022/05/12(木) 17:11:29.21

>>986
全くもって間違ってるよ
アプローチが間違ってるから>>976や>>984みたいなものしかできない

**デフォルトの名無しさん** · 2022/05/12(木) 17:20:14.27

>>984
“Z”を繰り返したいだけなら
(1..100).map(|n| “Z”.repeat(n))でいいのに
新しい型を作って4つも5つもトレイト実装することに何かメリットあるの？

**デフォルトの名無しさん** · 2022/05/12(木) 17:27:09.04

>>988
抽象的な考えが出来ない人なのかな
そういうのはあくまでも例であってZを表示したいわけではないことくらい分かるでしょ

**デフォルトの名無しさん** · 2022/05/12(木) 17:46:52.13

>>976
上限のある型を作ってトレイト境界を満たしてやるとちゃんと上限で止まるんだな

#[derive(Debug,Clone)]
struct FiveBits(usize);
impl FiveBits {
fn make(n: usize) -> Option<FiveBits> {
(n >> 5 == 0).then(|| FiveBits(n))
}
}
impl TryFrom<usize> for FiveBits {
type Error = &'static str;
fn try_from(n: usize) -> Result<Self, Self::Error> {
FiveBits::make(n).ok_or("overflow")
}
}
impl std::ops::Add for FiveBits {
type Output = Self;
fn add(self, rhs: Self) -> Self {
FiveBits::make(self.0 + rhs.0).unwrap()
}
}
impl num::CheckedAdd for FiveBits {
fn checked_add(&self, rhs: &Self) -> Option<Self> {
FiveBits::make(self.0 + rhs.0)
}
}
impl std::fmt::Display for FiveBits {
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
write!(f, "{}", self.0)
}
}

**デフォルトの名無しさん** · 2022/05/12(木) 17:51:39.83

>>980
Rangeは上限ありだから大丈夫
RangeFromならば>>976みたいなのでいいんじゃない？

**デフォルトの名無しさん** · 2022/05/12(木) 17:57:40.16

>>985
それは君が思い込みで勘違いをしている
>>976のイテレータを見るとchecked_addが使われているため
その型に上限が有れば上限で止まるから君の言うとおり
しかしその型に上限が無ければ(リソースの有る限り)無限に進むことになる

**デフォルトの名無しさん** · 2022/05/12(木) 18:12:51.67

>>789
> fn fizzbuzz(&self) -> FizzBuzzResult<&Self> {

その関数を使わせてもらってイテレータにしようと思ったら
参照を返しているために非Copy型に対して上手くいかなくて手詰まってしまった

**デフォルトの名無しさん** · 2022/05/12(木) 18:18:34.21

まーた汚部屋になってきたなー

**デフォルトの名無しさん** · 2022/05/12(木) 18:28:55.30

次スレ https://mevius.5ch.net/test/read.cgi/tech/1652347700/

**デフォルトの名無しさん** · 2022/05/13(金) 16:05:11.97

梅丸

**デフォルトの名無しさん** · 2022/05/13(金) 16:05:37.61

梅錦

**デフォルトの名無しさん** · 2022/05/13(金) 16:06:40.24

梅初め

**デフォルトの名無しさん** · 2022/05/13(金) 16:07:11.25

梅おろし

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/13(金) 16:08:29.00

>>1000 なら長門は俺の嫁

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 90日 14時間 44分 13秒