Introduction - Typechecker Zoo
Press ← or → to navigate between chapters Press S or / to search in the book Press ? to show this help Press Esc to hide this help Typechecker Zoo This is a pet project of mine I’ve been working on for a while. We’re going to create minimal implementations of the most successful static type systems of the last 50 years. This will involve making toy implementations of programming languages and the
はじめに - Rustで学ぶ非同期処理ランタイム
この本を手にとってくれたそこのあなた！はじめまして(あるいはお久しぶり!)本書の著者、nasa と申します。 まず、この本が生まれた背景をお話していきますね。本書はボクの「非同期処理の仕組みをなるべく隅から隅まで理解したい」という思いから生まれました。主に JavaScript を使う場面で、async/awaitを用いた非同期処理、非同期プログラミングをしています。しかし、その具体的な仕組みを知らないままで使っています。たとえば「アプリケーションサーバーにリクエストを投げる」という処理があったとします。このタスクはいつ実行されるのでしょうか？そして、実行のタイミングを誰が決めているのでしょうか？ プログラマーである私でしょうか？ どのタスクをいつ実行するかを決めているのはランタイムと呼ばれるものになります。本書ではこのランタイムの実際のコードを読んでいくことで非同期処理、非同期プログラミ
Introduction - Asynchronous Programming in Rust
NOTE: this guide is currently undergoing a rewrite after a long time without much work. It is work in progress, much is missing, and what exists is a bit rough. Introduction This book is a guide to asynchronous programming in Rust. It is designed to help you take your first steps and to discover more about advanced topics. We don't assume any experience with asynchronous programming (in Rust or an
Welcome to Comprehensive Rust 🦀 - Comprehensive Rust 🦀
Welcome to Comprehensive Rust 🦀 This is a free Rust course developed by the Android team at Google. The course covers the full spectrum of Rust, from basic syntax to advanced topics like generics and error handling. The latest version of the course can be found at https://google.github.io/comprehensive-rust/. If you are reading somewhere else, please check there for updates. The course is availab
Rust製テキストエディタhelixの特徴まとめ
で紹介されていたRustテキストエディタhelixだが、丁度自分もデザインやコードを眺めていたので、調べている中で得た特徴や知見をまとめていく。 キーバインディングは主にkakouneを踏襲 KakouneはC++で書かれたテキストエディタで、vi系列の「モード切り替え」と「少ないキーストローク数」を維持しつつも、viよりも学習しやすいキーバインディングや機能を目指して開発されている。 例を上げると、viにおいては「カーソル位置からその単語の終わりまでの単語を削除」するストロークはdwなのに対し、Kakouneではwdとなる。 どういうことかというと、wには「単語の終わりまでを選択」というバインディングがなされている。また、選択された単語はUI上でもハイライトによってそれを確認できる状態になる。 で、その選択した範囲を dで削除するというストロークが wd 。 この他にも、「カーソル上の単
Prustiを使ってRustでプログラム検証をしよう
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、Vimの使用を見越しコマンドだけで使えるようにアレコレ設定しました。 Prusti の紹介 プログラミングにおいて、関数に対してプログラマが明示的に制約を課すことはよくあります。 例えば、次のような単純な関数 max を考えます。 fn max(x: i32, y: i32) -> i32 { let result = if x > y { x } else { y }; result } さて、この関数は次のような性質を持つことが期待されます。 resultはx以上かつy以上 resultはxまたはy そういった情報は多くの場合ライブラリのドキュメントなどに書い
なぜ、Rustなのか?
rerun.ioより。 BY エミール・アーナーフェルト 私は20年以上プログラマとして働いてきましたが、Rustほど私を興奮させたものはありません。私のバックグラウンドは主にC++ですが、PythonやLuaでも仕事をしたことがあり、さらに多くの言語に手を出してきました。2014年頃からRustを書き始め、2018年からはフルタイムで Rustを書いています。余暇には、人気のあるRust GUIクレートeguiを開発しました。 今年の初めにRerunを共同設立したとき、言語の選択は明らかでした。 Rerunでは、コンピュータビジョンやロボティクスのための視覚化ツールを作っています。そのためには、高速で並列化が容易な言語が必要です。デスクトップで実行する場合、ネイティブの速度が必要ですが、Web上で視覚化したり、Jupyter NotebookやIDEでインライン表示したりすることも考えて
KMC Staff Blog:RustからRTOS APIを使う
2021年06月14日 RustからRTOS APIを使う 最近Rustという新しいプログラミング言語が多くの分野で注目を浴びています。RustはC++のような低レベルなコンパイル型言語であり高い効率で動作する一方、強力な型システムやメモリ安全性を保証するための仕組みを備えており、バグの少ないコードを書くことができます。本記事では、TOPPERSカーネルや弊社のSOLID-OS上でRustで書かれたプログラムを動かし、カーネルAPIを使用する方法を紹介します。 ビルド環境を整える Rustコンパイラのインストールは簡単で、 https://rustup.rs/ からダウンロードしたインストーラを実行することでホームディレクトリにインストールできます。rustupはインストールされているコンパイラ、ドキュメント、および標準ライブラリのバージョンを管理するコマンドラインツールです。rustup
Rust for Linuxを手元で試す
RustをLinuxカーネルに組込みプロジェクト、Rust for Linuxが進行中です。 このプロジェクトはLinuxカーネル全体をRustで置き換えるわけではなく、第二言語としてRustを採用してデバイスドライバなどのモジュールを書くことができるようにしようというものです。 RustはOSのような低レイヤーソフトウェアを実装する言語として、C言語に代わる選択肢として注目されてきたわけですが、Linuxのような広く使われているシステムに採用されるとなればかなり熱いですね。 実際にLinuxのメインラインに取り入れられるにはまだまだ課題は多いものの、Linus氏を含むLinuxの開発者からのフィードバックも比較的ポジティブでこれからが注目されています。 そんなRust for Linuxを手元でビルドして動かしてみました。 一応、基本的な手順はレポジトリ内のドキュメントにまとまっているの
The Rust Programming Language 日本語版 - The Rust Programming Language 日本語版
The Rust Programming Language 日本語版 著：Steve Klabnik、Carol Nichols、貢献：Rustコミュニティ このテキストのこの版ではRust 1.58（2022年1月13日リリース）かそれ以降が使われていることを前提にしています。 Rustをインストールしたりアップデートしたりするには第1章の「インストール」節を読んでください。 HTML版はhttps://doc.rust-lang.org/stable/book/で公開されています。 オフラインのときは、rustupでインストールしたRustを使ってrustup docs --bookで開けます。 訳注：日本語のHTML版はhttps://doc.rust-jp.rs/book-ja/で公開されています。 rustupを使ってオフラインで読むことはできません。 また、コミュニティによるい
Rust - moon's STM32づくし
2022.05.21 STM32 Rust ベアメタルにウォッチドッグタイマーを使ってみる 今回はウォッチドッグタイマーを使ってみます。 ベアメタルと言われているレジスタにアクセスする方法を使います。 開発環境は以下の通りです。 PC:Windows10 OS Board:STM32Nucleo-F401RE デバイス:STM32F401RE エディタ:VSCode 言語:Rust ボードの情報は こちら からご覧いただけます。 環境構築については こちら をご覧になってください。 ウォ […] 2022.04.30 STM32 Rust halでSPI (halを0.9から0.13にバージョンアップしてみた ) 以前halを使ってSPIを操作しました。 少し前にhal(stm32f4xx-hal)のバージョンが 0.13 に上がったので、今回は 0.13 で動作確認を行いました。 作業内
Introduction - The Rust on ESP Book
Introduction The goal of this book is to provide a comprehensive guide on using the Rust Programming Language with Espressif devices. Rust support for these devices is still a work in progress, and progress is being made rapidly. Because of this, parts of this documentation may be out of date or change dramatically between readings. For tools and libraries relating to Rust on ESP, please see the e
ぶらり組込みRustライブラリ探索の旅 BBQueue編 -スレッドセーフなSingle Producer Single Consumer Queue- - Nature Engineering Blog
ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) です。あけましておめでとうございます。 今年の目標はNature Remoのファームウェア開発にRustを導入すること、です。そこで引くに引けない状況を作り出すためにRustに関するブログエントリを書き、既成事実を積み上げていきます。 ぶらり組込みRustライブラリ探索の旅、と題して組込みRustで使えるライブラリをゆるく紹介していくシリーズをやりたいと思います。第一弾はBBQueueです。 BBQueue 本エントリ内で紹介する使い方や内部実装は、v0.5.1をもとにしています。 github.com https://docs.rs/bbqueue/0.5.1/bbqueue/ 特徴 BBQueueはno_stdで使えるだけでなく、スレッドセーフで、排他制御なしに使える Single Producer
Rustのビルドを高速化する方法 | POSTD
Rustコードのコンパイルが遅いことは誰でも知っています。しかし筆者は、世の中のほとんどのRustコードはコンパイルをもっと速くできると強く感じています。 例えば、つい最近の記事にこのように書かれていました。 一方、Rustでは、プロジェクトやCIサーバーの性能にもよりますが、 CIパイプラインの実行に15～45分かかります。 これは筆者には理解できません。GitHub Actions上にあるrust-analyzerのCIの所要時間は8分です。しかも、これは100万行の依存関係に加え、20万行の独自コードが記述されたとても大規模で複雑なプロジェクトでの話です。 確かに、Rustは根本的な部分で非常にコンパイルが遅いのは間違いありません。Rustはジェネリクスのジレンマにおいて「遅いコンパイラ」を選び、全体的な設計思想としてコンパイル時間よりもランタイムを優先しています（この点に関する優れ
Rust初心者殺しの文法10選 - Qiita
概要 この記事ではRust初心者が驚いたり混乱させられたりするようなRustの文法を10項目集めてみました。 これらの項目は知らないと理解できなかったりコンパイルエラーに悩まされたりする一見厄介なものたちなのですが、そのような直感的でない挙動を敢えてさせているところには重要な意味が込められていることが多いです。 そのため、これらの項目を通してRustが目指しているものや実現したい機能の一部を垣間見ることができると思います。 1. デフォルトの代入がムーブ Rustの最大の特徴が所有権の概念であることは有名ですが、それでもなお初心者殺しになるのがムーブです。 以下のコードがコンパイルエラーになるメジャーな言語は現状Rustくらいしか無いでしょう。 let mut a = vec![1, 2, 3]; let mut b = a; // ここでaの持つベクタの所有権がbにムーブされ、aは無効に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
me/007-My-Thoughts-on-OCaml-vs-Haskell-Rust-2023.md at master · sidkshatriya/me
Async Rust: The new billion-dollar mistake?
Rust for Linux
GitHub - yuk1ty/learning-systems-programming-in-rust: 「Rustでもわかるシステムプログラミング」
GitHub - rust-lang/async-book: Asynchronous Programming in Rust
