[B! rust][types] yharaのブックマーク

RustのHigher-Kinded type Trait | κeenのHappy Hacκing Blog

κeenです。少し前の話になりますがRustの関連型を駆使してHigher Kinded type Trait︵高階型トレイト︶を実現してしまったものが出回ってたのでそれについて。本来RustはHKTをサポートしていませんが不思議なことに実装出来てしまっているのです。 HKTについて微塵も知らない方にも分かるように解説していきます。 map 可能なトレイト Option、Result、etc 色々なトレイトが map メソッドを実装しています。それぞれ型シグネチャを抜き出してみましょう。 Option: map<U, F: FnOnce(T) -> U>(self, f: F) -> Option<U> Result: map<U, F: FnOnce(T) -> U>(self, op: F) -> Result<U, E> 驚く程似てますね。これを抽象化して﹁mapメソッドを持つ﹂

yhara 2021/02/10

types
rust

リンク

Rust の `!` (ビックリマーク、エクスクラメーションマーク、感嘆符、never) 型 - Don't Repeat Yourself

タイトルは記号のググラビリティ確保のためにわざとつけています︵笑︶。動作はすべて、Rust 1.47.0 (stable) です。nightly を使用した場合は nightly と文中に記載しました。 TL; DR Rust には!という﹁何も返さないことを示すモノ﹂が存在する。 never 型と呼ぶ。値を何も返さない計算の表現として使用される。普段は型強制される︵ので、使っていることに気づかないかも︶。 never 型は安定化されていない。 TL; DR 基本 ! = never 型 never 型はどこに出てくるのか Coercing 発展 never 型はまだ安定化されていない std::convert::Infallibleで、なんで Rust には!がいるの？ Rust ではなぜ、関数の戻り値だけにしか!を使用できなくしてあるの？今回も記事が長くなってしまい

yhara 2020/11/15

rust
types

リンク

手続き型脳で型推論を実装してみた | κeenのHappy Hacκing Blog

このエントリは型 Advent Calendar 2019 - Qiita 2日目に遡って投稿しているエントリです。担当に遅刻した訳ではなくて空いてたので前から詰めて投稿しただけです。 κeenです。世の中に型推論アルゴリズムは色々知られていると思いますが、それを一切無視して型推論を実装してみたので報告します。型推論の基本的理解式に型変数を割り当てて、既に分かっている型から制約条件をつけてその制約の連立方程式を解けばいいです。例えば以下のようなSMLの式を考えましょう。

yhara 2019/12/08

types
rust

リンク

Rustに存在型が追加された

AI、ML、データエンジニアリングInfoQトレンドレポート-2023年9月今回のポッドキャストでは、InfoQ編集部のメンバーとInfoQの友人たちが、毎年恒例のトレンドレポート作成のプロセスの一環として、AI、ML、データエンジニアリングの領域における現在のトレンドについて議論する。これらのレポートは、InfoQの読者に注目すべきトピックのハイレベルな概要を提供し、また編集チームが革新的な技術に焦点を当てるのに役立つ。InfoQ.comで閲覧可能なレポートとトレンドグ...

yhara 2018/05/29

リンク

Rustの型推論の概略 - 簡潔なQ

概要: Rustの型推論の大枠を説明する。なお、筆者もRustの型推論の動作を詳細に把握しているわけではない。短くまとめると Rustの型推論はHindley-Milner型推論ベースである。したがって後方の式や文の内容から手前の型が推論されることもある。しかし以下に挙げるようなRust独自の特徴をもつ。型推論は原則として関数定義の中で閉じており、関数の引数型や戻り値型は推論されない。これは、関数を抽象化の境界とするための意図的なものである。この意味で﹁局所的﹂というのであれば間違いではない。ただし、let多相を含む型推論を避ける意図もあるかもしれない。関数呼び出しや一部の演算子などは、その部分の制約を立てる段階で、型の一部分が判明している必要がある。この動作は推論順序の影響を受ける。トレイトによりオーバーロード可能になっている関数や演算子は、射影型を使っている場合、ボトムアッ

yhara 2017/06/06

types
rust

リンク

Rustで型の多相再帰はできない - 簡潔なQ

OCamlやHaskellに比べると、Rustは多相再帰ができない場合がほとんどである。以下にその詳細を説明する。多相再帰異なる型引数による再帰呼び出しを多相再帰 (polymorphic recursion) という。多相再帰はPurely Functinoal Data Structuresで紹介されているようなデータ構造でよく出てくる。例えば、完全二分木はOCamlとHaskellではそれぞれ以下のように書ける。 type 'a sep = Nil | Cons of ('a * 'a) sep data Sep a = Nil | Cons (Sep (a, a)) これがlistの定義と異なることがわかるだろうか。listでは 'a list の定義に 'a list という形の型のみを用いる。ここでは 'a sep の定義に ('a * 'a) sep を用いている。これが

yhara 2017/03/16

rust
types

リンク

クロージャを boxせずに返したい: Rustのconservative_impl_traitとimplementation leak - 簡潔なQ

概要: ﹁クロージャを boxせずに返したい﹂という欲求は人類の四大欲求のひとつと言われている。 conservative_impl_traitという機能を使うことでこれをスパッと解決できるが、これは単なる構文糖衣にとどまらずRustの型システムに食い込むこともあってかまだ安定版入りしていない。なぜこの機能が必要で、なぜこの機能が問題かを説明する。クロージャをboxせずに返したい話 Rustではクロージャに異なる型がつく OCamlやHaskellのような言語では、外の環境を引き継ぐ無名関数 (クロージャ) を次のように作ることができるのであった。 let mult_curry x = fun y -> x * y この関数はxを受け取り、﹁yを受けとってx * yを返す関数﹂を返す。この﹁yを受けとって x * y を返す関数﹂は、yというデータを引き連れている。そして

yhara 2017/03/13

impl Traitというもののはなし

rust
types

リンク

Rust's Type System is Turing-Complete

(N.B. The word “fuck” appears multiple times in this post. I recommend that the reader temporarily not consider “fuck” as profanity, as it isn’t used that way here.) Not so long ago, a certain someone made a challenge on the Rust subreddit asserting that while everyone likes to say that Rust’s type system is Turing-complete, no one actually seems to have a proof anywhere. In response to that post,