RustでGBAのプログラムを作ろう! - ひみつラボ - BOOTH
プログラミング言語「Rust」を使い、ゲーム機「GAMEBOY ADVANCE」(GBA)上でHello, World!を表示するまでを解説した書籍です。 RustでBere Metalなプログラムを作りたい方やGBA上で動くプログラムに興味ある方に向けて、RustのインストールからGBA上で動くプログラムの書き方まで解説しました。 本書をきっかけに、RustやBere Metalなプログラム作りに興味を持っていただけたら幸いです。 第1章 : 開発環境を作ろう 第2章 : プログラミング言語 Rust の簡単な紹介 第3章 : GBA のアーキテクチャ 第4章 : 最初のプログラムを書こう 第5章 : ビルドシステムを導入しよう 第6章 : 図形を描画しよう 第7章 : 文字を表示しよう 本書は技術書典2(2017年4月9日)にて頒布した同名書籍の電子書籍版(PDF)版とな
Hayato.io
Hayato.io This Page Is Under Construction - Coming Soon! Why am I seeing this 'Under Construction' page? Related Searches: Contact Lens Top Smart Phones song lyrics Dental Plans All Inclusive Vacation Packages Trademark Free Notice Review our Privacy Policy Service Agreement Legal Notice Privacy Policy|Do Not Sell or Share My Personal Information
Writing an OS in Rust (Second Edition)
This blog series creates a small operating system in the Rust programming language. Each post is a small tutorial and includes all needed code, so you can follow along if you like. The source code is also available in the corresponding Github repository. Latest post: Async/Await The first step in creating our own operating system kernel is to create a Rust executable that does not link the standar
Rustのthread local gensym/internパターン - 簡潔なQ
概要: Rustでgensymおよびinternを行う方法を説明する。 gensymとinternとは何か gensymパターンは、「まだ使われていない整数」を返す fresh() 関数を実装するというパターンである。型推論などで一時変数を作成するなどの用途で用いられる。 internパターンは、文字列などの複雑なデータに対し、データの同値性に基づいて整数を振ることで簡単に比較等できるようにするというパターンである。 Rustによるthread local gensym gensymは以下のように実現される。 スレッドローカル変数に、今まで払出した整数の最大値を記録する。 必要に応じてこの変数をインクリメントする。 このとき生成されたIDは他スレッドと共有できないため、 !Send をつける。 use std::cell::Cell; // u32を包む #[derive(Debug, C
Rustマクロの衛生性はどのように実現されているか(1/2) 識別子に関する衛生性 - 簡潔なQ
概要: Rustマクロは2つの意味で衛生的である。その衛生性の説明とともに、それを実現するためのコンパイラの仕組みを説明する。 Rustマクロの2つの衛生性 Rustマクロ (ja) は次の2つの意味で衛生的(hygienic; 健全ともいう)である。 マクロ内で導入される変数名と、マクロ呼び出し側の変数名が衝突しない。(Lispマクロの意味での衛生性) 構文の優先順位の違いによる非直感的な挙動が発生しない。 この記事では、識別子に関する衛生性を説明する。(構文の優先度に関する衛生性については次記事を参照) 識別子に関する衛生性とは 次のようなプログラムが直感的な動作をするのが、識別子に関する衛生性である。 macro_rules! copy_swap { ($x:expr, $y:expr) => {{ let t = $x; $x = $y; $y = t; }}; } fn main
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 を用いている。これが
クロージャを 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 というデータを引き連れている。そして
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,
Rust のライブラリ crate_type をまとめてみた - Qiita
2022/01/13 追記 最初の投稿から 5 年も経ったらさすがに他の記事出てるだろうと思いきや、今でも Google で検索するといちばん上に出てきますね。 ということで改めて調べる必要があったことに加え、内容に不正確な点があったので、ほぼ全面的に書き直しました。過去の版は 編集履歴 から確認してください。 はじめに 2016/07/07 に Rust 1.10 が発表されました。もう 5 年前です。 Announcing Rust 1.10 - The Rust Programming Language Blog Rust 1.10 では、新しく cdylib というが追加されました。 これは一体何者なのでしょうか。そもそも Rust の crate_type とは何でしょうか。 TL;DR クレートの種類は bin, lib, proc-macro の 3 つ lib クレートは次
How copying an int made my code 11 times faster
Recently, after refactoring some Rust code, I noticed that it had suddenly become four times slower. However, the strange part is that I didn’t even touch the part of the code that became slower. Furthermore, it was still slower after commenting out the changes. Curious, I decided to investigate further. The first step was to use git diff to display all changes since the previous commit, which was
rustcを通らないコードは間違っている - saneyuki_s log
Rustを書いていると、慣れるまではrustcに頻繁に怒られる。慣れても結構怒られる。とにかくrustcに怒られる。きっと貴方はこう思うだろう、「Rustはなんて煩い言語なんだ！俺の愛する****（好きな言語の名前を入れてください）ならばこんなことはないのに！」 このように「rustcが煩くて俺のコードが通らない」場合、とりあえず自分のコードが間違っていると疑って問題はない。え、「俺のコードは正しい」？ 違う違う、コードのロジックの話じゃない。「そのコードがRust wayではない」という点で「間違っている」。microなスタイルからmacroな設計まで、ありとあらゆる点でRust的なコードであることを暗黙的ではあるが極めて強く要求する。それがRustというプログラミング言語だ。時たまrustcが間違っていることもあるんだけど、体感値として97%はrustcの方が正しいと言っていい。 なぜ
Run Rust code on PEZY-SC processor - 純粋関数空間
これはRust その2 Advent Calendarの16日目の記事です。日付と投稿日がかみ合っていなくてすみません。 概要 PEZY-SCというメニーコアプロセッサーでRustのコードを動かしてみたというお話です。 PEZY-SCとは PEZY-SCとは、PEZY Computingが開発したメニーコアプロセッサーです。1024コアのRISCプロセッサーで、各コア8スレッドのSMTになっており、トータルで8192スレッドが同時に動きます。ピーク性能は倍制度1.5TFlops、単精度3TFlopsで、これを用いたシステムが電力効率の良いスパコンとしてGreen500などで良い成績を収めています。現在さらに性能を向上させたPEZY-SC2を開発中です。 高い演算スループットと電力効率を目指しながらも、SIMDを用いない完全なMIMDプロセッサーで、ある意味コンピューター科学の常識に反してい
関数型プログラマのためのRust | POSTD
この投稿はEdward Z. Yangが2010年に書いた OCaml for Haskellers 、私自身が今年頭に書いた Haskell for OCaml programmers の流れに沿っています。 目次 プロローグ なぜRustを学ぶべきか 直接対応が可能なもの トレイト：Rustの型クラス アドホックなオブジェクトとメソッド 安全な参照 寿命と記憶域、そして管理オブジェクト オブジェクトの共有：RcとArc マクロとメタプログラミング リテラル 謝辞 参照 Copyright and licensing 注 : この記事の最新版は下記サイトで見られます。 http://science.raphael.poss.name/rust-for-functional-programmers.html 他のフォーマット： Source , PDF プロローグ C言語プログラマのための
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Yosuke Furukawa on Twitter: "Rust Ruby Node.js のそれぞれを色んな軸で依存関係を確認するようにしたもの。年代でエコシステムが成長する度合いやどのライブラリが使われてるかが見れて面白い / “Structure and Evolution o…” https://t.co/hDsLtHjYBD"
[RustDoc翻訳] 5.23. Trait Objects - Qiita![[RustDoc翻訳] 5.23. Trait Objects - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/9c94f9c8057fbd6bdb943b18b2ae216382d40557/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn.qiita.com%25252Fassets%25252Fpublic%25252Farticle-ogp-background-afbab5eb44e0b055cce1258705637a91.png%253Fixlib%253Drb-4.0.0%2526w%253D1200%2526blend64%253DaHR0cHM6Ly9xaWl0YS11c2VyLXByb2ZpbGUtaW1hZ2VzLmltZ2l4Lm5ldC9odHRwcyUzQSUyRiUyRnFpaXRhLWltYWdlLXN0b3JlLnMzLmFtYXpvbmF3cy5jb20lMkYwJTJGMzA2NTklMkZwcm9maWxlLWltYWdlcyUyRjE0NzM2ODU1MzU_aXhsaWI9cmItNC4wLjAmYXI9MSUzQTEmZml0PWNyb3AmbWFzaz1lbGxpcHNlJmZtPXBuZzMyJnM9MGFiYzEyYTRlMjJhY2ZjMzk4MDRhMjlhYWY5ZDI5ZmM%2526blend-x%253D120%2526blend-y%253D467%2526blend-w%253D82%2526blend-h%253D82%2526blend-mode%253Dnormal%2526s%253Dee703dae2721f189072642b6af4de08f%3Fixlib%3Drb-4.0.0%26w%3D1200%26fm%3Djpg%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk2MCZoPTMyNCZ0eHQ9JTVCUnVzdERvYyVFNyVCRiVCQiVFOCVBOCVCMyU1RCUyMDUuMjMuJTIwVHJhaXQlMjBPYmplY3RzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMxRTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmdHh0LXBhZD0wJnM9NDgwMjg5NWMwZDlmNzliMmQ5MTBhNDhlNmVkYmNiOWI%26mark-x%3D120%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTgzOCZoPTU4JnR4dD0lNDBfTm53d3cmdHh0LWNvbG9yPSUyMzFFMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtcGFkPTAmcz0wZmFkZGQwY2E5ZDI1MDVhMzU3Nzk3N2Q1OTdmMTQxMQ%26blend-x%3D242%26blend-y%3D480%26blend-w%3D838%26blend-h%3D46%26blend-fit%3Dcrop%26blend-crop%3Dleft%252Cbottom%26blend-mode%3Dnormal%26s%3D5407e3cfe35f2fd364ff4d7632fe1725)
rust/src/librustc_llvm at master · rust-lang/rust · GitHub
mutなスマポ (BoxとかRcとかCellとか) - Qiita
κeen on Twitter: "うーん？何を言っているんだ？変数がmutableなのを型で表わせないのは当たり前じゃないか。値じゃなくて変数の性質なんだから。 (rust report) mut&は何故ないのか？ - テストステ論 https://t.co/FQHZubA2ZW"
I moved to Mastodon. on Twitter: "RustがCの代替になるかどうかは、まずこれを熟読すべきだと思う。ひょっとすると今は状況かわってるかもだけど/ "Reenix: Implementing a Unix-Like Operating System in Rust" https://t.co/kAgiX8yiaz"