本記事は Rust Internal Advent Calendar 2017 第10日目の記事です． 本記事では，Rust の主要な機能の一つである「マクロ」および「構文拡張」についての現状認識と，将来的な導入のために検討が進んでいる Macros 2.0 についての概略をまとめる． 記事執筆時における情報をもとに記述しているため，将来的にその仕様が（大幅に）変更される可能性があることに注意されたい． はじめにRust のマクロ・構文拡張Rust は，構文解析後に抽象構文木 (AST) を書き換える操作を注入するために マクロ (macro) および 構文拡張 (syntax extension) という仕組みを提供している． Rust のマクロは，それが構文解析後に行われるという点で C や C++ におけるプリプロセッサとは対照的なものである．マクロの仕様に関する詳細は Rust 公
I read Sean Leffler's article on Rust's type system being turing complete and that's when I lost my weekends for the next few months. The output dg $ /usr/bin/time rustc play.rs 2>&1 | sed -e 's/((/X((/g' -e's/, (N//g' |tr 'X' '\012' error[E0599]: no function or associated item named `foo` found for type ` ((N1111111111222222bbbbb11111111111, FalseT)))))))))))))))))))))))))))))))), ((N111111112222
fn foo<T>() { use std::sync::{Once, ONCE_INIT}; static INIT: Once = ONCE_INIT; INIT.call_once(|| { // run initialization here println!("Called"); }); } fn main() { foo::<i64>(); foo::<i64>(); foo::<isize>(); } 0000000000007510 <_ZN4test4main17h916a53db53ad90a1E>: 7510: 50 push rax 7511: e8 5a ff ff ff call 7470 <_ZN4test3foo17h61cadb66d9062e2eE> 7516: e8 55 ff ff ff call 7470 <_ZN4test3foo17h61cad
概要: RustのRFCの一覧を作ろうとしたが、あまりに多いのでとりあえず0500までで公開することにした。なお、単に全てのRFCを列挙したいならばここを見ればよい。 このRFCはRustのコミュニティーが管理しているものであり、 “RFC” の元祖であるIETF RFCとは関係ない。いずれもrequest-for-commentの略である。 メタ RFC 0002 Rust RFCの提出プロセスの説明 スタイル/慣習 RFC 0199 似たような動作で、所有権/借用の種別だけが異なるようなメソッドの命名規則を定める RFC 0236 panic!/Result の使い分けの慣習を定義する、関連するメソッドの命名規則を定める RFC 0240 unsafe の慣習の整理: unsafe 関数をメソッドにする条件の定義、論理的な不変条件を壊すが未定義動作を引き起こさない関数は unsafe
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 を用いている。これが
One of the key gaps in Rust’s ecosystem has been a strong story for fast and productive asynchronous I/O. We have solid foundations, like the mio library, but they’re very low level: you have to wire up state machines and juggle callbacks directly. We’ve wanted something higher level, with better ergonomics, but also better composability, supporting an ecosystem of asynchronous abstractions that a
My roommate insisted that I learn some Rust. It's incomprehensible why my programmer roommate thought his marketer roommate needs to know Rust, but oh well, I spent a bit of time learning Rust. Rust has many curious features. One of them is (hygienic) macros. The grammar of macro_rules! is explained in prose without clear grammar definitions, making it a bit hard to grasp. But after a few false st
κ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メソッドを持つ」
hkt.rs �EP]�U �`"]�U use std::rc::Rc; trait HKT<U> { type C; // Current type type T; // Type with C swapped with U } macro_rules! derive_hkt { ($t:ident) => { impl<T, U> HKT<U> for $t<T> { type C = T; type T = $t<U>; } } } derive_hkt!(Vec); derive_hkt!(Option); derive_hkt!(Box); derive_hkt!(Rc); trait Functor<U>: HKT<U> { fn map<F>(&self, f: F) -> Self::T where F: Fn(&Self::C) -> U; } impl<T, U> F
let words = vec!["abc", "FOOBAR", "xyz"]; let case_insensitive_min = words.iter().min_by(|a, b| { let a_iter = a.chars().map(|c| c.to_ascii_lowercase()); let b_iter = b.chars().map(|c| c.to_ascii_lowercase()); a_iter.cmp(b_iter) }).unwrap(); (全体コード: Playground) 安直にやれば、 str::to_lowercase() で先に(こちらは ASCII に限らず)小文字に変換しきってから比較ということになるが、これだと文字列の生成、つまりメモリアロケーションがあるので無駄が多い。 そこで min_by を使えば、文字列を生成することなく、文
m4rw3r The blog of Martin Wernstål Rust and the Monad trait - Not just higher kinded types 19 Sep 2015 Higher kinded types is something which has been discussed a lot related to Rust in the past year, both as a feature people want, but also as a feature people do not really know what to do with. I am going to focus on the Monad trait in this post, since that is one of the things which makes higher
One of the most powerful parts of the Rust programming language0 is the trait system. They form the basis of the generic system and polymorphic functions and types. There’s an interesting use of traits, as so-called “trait objects”, that allows for dynamic polymorphism and heterogeneous uses of types, which I’m going to look at in more detail over a short series of posts. Update 2015-02-19: A lot
Today we are very proud to announce the 1.0 release of Rust, a new programming language aiming to make it easier to build reliable, efficient systems. Rust combines low-level control over performance with high-level convenience and safety guarantees. Better yet, it achieves these goals without requiring a garbage collector or runtime, making it possible to use Rust libraries as a "drop-in replacem
nim-fuseについてはちゃんとメンテしますが、Nim引退しようと思います。たぶんこの引退は覆りません。 この前Rustを引退して、今後はNimも引退します。 coreutils splitのマージ。そしてRust引退 - テストステ論 私はOSだとかストレージだとか、システムプログラミングばかりやってる人間であって、基本的にC言語ばかり書いているわけですが、C言語は全く糞だしもう人類はこれを使うべきではないと思っています。そう思う人が少なくないのか、次世代システムプログラミングを作る流れがあって、有名順でいうと、D > Rust > Nimという感じになるのでしょうか。 このうち、Dについては本を読みかけの段階でリタイア(難しすぎる！！！)して、Rustはcoreutilsにいくつかコードを入れて引退、Nimはnim-fuseを作って引退。使ってみると色々と悪いところが見えてくるもので
Today we are excited to announce the release of Rust 1.0 beta! The beta release marks a very significant "state transition" in the move towards 1.0. In particular, with the beta release, all libraries and language features that are planned to be stable for 1.0 have been marked as stable. As such, the beta release represents an accurate preview of what Rust 1.0 will include. To see what has changed
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
