遂にgenerics来たか… 次は型にfunctionとかをimplする機能が欲しいですね あと継承

純粋仮装関数のセットとの多重継承も、「impl 純粋仮装関数 for 型」とすると見通しが良くなりそう。

#データモデリングでドメインを駆動する の例でいうとこんな感じかな Employee, Supplier構造体は各自の情報を素直に保持していて、そこから支払い先情報を抽出するメソッドを外から注入できる(PaymentInfoとそのimpl) pic.twitter.com/5bhJshbSpO

このエラーが永遠にとれない。C++で書くしか無いのか・・ rosidl_generator_py.import_type_support_impl.UnsupportedTypeSupport: Could not import 'rosidl_typesupport_c' for package

implは性質的に数で殴ってもあんま変わんなさそうだし(変わるなら研究室のPC全部クラスタにして計算させる)

そこそこのFPGAのプロジェクトになるとsynth/implの時間長すぎて暇

好きなimpl発表ドラゴン: Dropトレイトに副作用を持たせて手続き的終了処理をRAIIで表現するやつ

今日もROS2駄目だった。 ＞rosidl_generator_py.import_type_support_impl.UnsupportedTypeSupport: Could not import 'rosidl_typesupport_c' for package 'camera_if'

Rustの型やトレイト、implをもっと抽象的に扱う方法があったらなぁ。 例えばgenericsを含むシグネチャが一致するか異なるか、どのような一般化になっているかみたいな事を簡単に知ることができれば良い

AtCoderに入っているtap crateの、 tap_mut(self, func: impl FnOnce(&mut Self)) -> Self がやりたいことと近そうです。 docs.rs/tap/latest/tap…

Rustのimpl Trait構文はトレイト境界への部分的なシンタックスシュガーということだけど、impl Trait構文の利便性があんまり見えない…。トレイト境界そんなに冗長かな。 ジェネリクスの構文で記述できるトレイト境界だけでいいのではないか…と思ってしまう。

Rustでfn foo() -> impl Traitの戻り値の具体的な型を得るのってどうやればいいんです？

impl dyn Traitって書き方、初めて知った こんな事ができるんだね 使うときは<dyn LogRecord>::create_log_record()って感じか 今回の実装ではあんまり旨味がないな pic.twitter.com/c5tS6jWbLM

Rustのジェネリックス書くところキモくね？なんだよimpl<T>って

返信先:@Nymphium手動でimplを引っ張ってくるような仕組み（ScalaのimportやRustのuseとか？）を許す変わりに、最終的なコンパイル時点でimplを決定できなかったら失敗する（複数定義されていることは許す）みたいなことにうまくできないのかどうなのか🤔（まあimport芸になって複雑性が増すだけでメリット薄いか？）

返信先:@Nymphium自動的にinstance（impl）をただ1つに決定するためにこうしたということでよさそうですね👍

ははーん、implがambiguousになる可能性があるからってことか。たしかにScalaの場合もデフォルトというかimportせずに探索されるimplicitパラメーターはコンパニオンオブジェクトに設置する必要があって、それはデータ構造定義者にしかできないか。 doc.rust-jp.rs/book-ja/ch10-0…

Rustで依存ライブラリーAで定義されたトレイトを別の依存ライブラリーBで定義された構造体でimplする👈というのが許可されていないのってどういうモチベーションなんだろうか🤔（Scalaのimplicitはこれが普通にできるわけだが……）

Rustで依存ライブラリーAで定義されたトレイトを別の依存ライブラリーBで定義された構造体でimplする👈というのが許可されていないのってどういうモチベーションなんだろうか🤔（Scalaのimpilcitはこれが普通にできるわけだが……）

Read を Chain で合成できるのおもしろい（しかしこれ return impl できなかった時代どう書いてたんだ

実装用のエイリアスや内部だけで使う型のように外部に出したくないものが多いので、library::hoge_impl みたいな名前空間内に全てをぶちまけて実装して、library 以下で using hoge_impl::hoge することで最後に提供するものだけ外に出してる。

明示的に Trait を impl する型を指定できるようになったので、これが書けるようになった gist.github.com/mizchi/d3ab781…

`impl Iterator` を返す関数で複数の型の戻り値を使用できるようにする iter-n crate を公開しました Either crateとの違いは、型が増えた場合の可読性です。iter-nでは型が増えても可読性が落ちない構文を採用しました。 github.com/frozenlib/iter… pic.twitter.com/Ofg3MsDRKI

Stable diffusionローカル版の導入でつまずいた箇所 ・Pythonバージョン「3.10.6」のDL ・GitのDL ・AssertionError: Torch is not able to use GPU; add --skip-torch-cuda-test to COMMANDLINE_ARGS variable to disable this ・RuntimeError: "addmm_impl_cpu_" not implemented for 'Half'

Rust言語を少し勉強してるけど、結構いいぞこれ 変数がデフォルトで変更不可 クラスの機能がstruct, trait, implなどに分割されてる こういう感じの仕様だったらいいのにが実現されてる感じ（勉強時間1時間）

型変数は残っていないとする) - コンパイルエラー(conflict impl)が生じた場合、 S_n: Trait bounds なので、対応するspecialize実装をdefault caseと統合する。

なお、MyType: Clone の場合は後半のimplではすべてのtrait methodをimplし尽くす必要はないが、MyType: !Cloneの場合は別。

すなわち default impl<T: Clone> Trait for T {} impl Trait for MyType {} みたいなspecializationが許される。(MyType: Clone かどうかに関わらず)

impl Into<String>をインプルイントゥーストリングって読むと何となく語感が良い

今更ながら、impl Trait構文は強力だなぁと実感

library的なimplくれ🦀

PHPはuseを利用して、クラスにimplementで実装しなくても、シグネチャを追加できるけど、Rustのtraitもimplで実装することでシグネチャを追加するような拡張性をもたらす。と。

impl Drop の中で Result が返ってくる処理をしたいとき　悩む