traitのaliasを作る ～ associated typeを添えて - Pixel Pedals of Tomakomai
Rust には整数の primitive 型が多数あるが、どの型でもよしなに計算してくれる関数を書きたくなる。四則演算子を表す trait はあるのだが、細かく分かれているので指定するのが大変である。 use std::fmt::Display; use std::ops::{AddAssign, Mul, MulAssign}; fn execute<T>(mut x: T, y: T) where T: Display + Copy + MulAssign + Mul<Output = T> + AddAssign, { println!("x={}, y={}", x, y); x *= y; println!("x * y = {}", x); x += y * y; println!("x * y + y ^ 2 = {}", x); } fn main() { execute(
直和型の代わりにユニオン型を持つ静的型付け関数型言語 Cotton
// 割る2をする関数の引数が偶数であることを型によって強制する例（実用性はない） data O // 数字の0を表すデータ型 data S(A) forall { A } // +1を表すデータ型 // 型エイリアス type Nat = O | S[Nat] // 非効率すぎる他倍長整数 type Even = O | S[Odd] type Odd = S[Even] // 偶数を引数にとって2で割った結果を言語組込みの整数として返す関数 div2 : Even -> I64 = // 網羅性チェックつきのパターンマッチ | O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型は直和型の上位互換である（追記あり）。関数型言語を作るときは直和型の代わりにユニオン型を採用するのもあり。 はじめに Cottonというプログラミング言語を2021年の夏頃から作
Cycloneのソースリポジトリを蘇生してみる (前編)
Cycloneとは CycloneはRustのリージョン推論の原型のひとつになった実験的なプログラミング言語です。 現在はメンテナンスされていませんが、歴史的な意義があることからCycloneのビルド環境を整備してみました。 (完結するかは未定) ソースの取得 CycloneのWebサイトは生きているので、ソースはCycloneのDownloadページから取得できます。しかしここに不穏な文言があります。 If you use gcc 4, you must get the latest version of Cyclone from SVN (see below). 最新安定版よりも新しい版があること、またgccのバージョンに依存して壊れることが読み取れます。そしてSubversionと書いてあることから嫌な予感がした人もいると思いますが、このリポジトリは既に動いていません。 というわけで
C++の後継言語「Carbon」がRustと“決定的に違う点”はこれだ
関連キーワード Google | プログラミング 広く使われているプログラミング言語「C++」。その後継としてGoogleが開発しているオープンソースプログラミング言語が「Carbon」だ。本連載は、ソースコード品質管理ベンダーSonarSourceで開発者を支援する立場にあるフィル・ナッシュ氏が、Carbonについて英Computer Weeklyに寄稿したものだ。 Rustと「Go」の根本的な違い 世間の見方とは異なり、CarbonはC++に取って代わるものではない。同社はむしろ、後継のプログラミング言語としてCarbonを設計している。同じように聞こえると感じる読者もいるだろう。重要な違いは、GoogleがCarbonとC++を 一緒に使うことを想定している 点だ。 併せて読みたいお薦め記事 Carbonとは何か Googleのプログラミング言語「Carbon」がC++の後継になれな
GitHub - seanchas116/wasm-text-rendering: Get glyph data and render text to a canvas using Rust wasm
Rust使いは要注目! WebAssemblyのコンポーネントモデルを知る by chikoski@
ここ1、2年の間で話題になることが多かったWebAssemblyのコンポーネントモデルについて、その背景やWasmとの関係、コンポーネントの作り方などについて紹介していきます。 本記事は、TechFeed Experts Night#9 〜 Rust/WebAssemblyの「いま」を探る のセッション書き起こし記事になります。 イベントページのタイムテーブルから、その他のセッションに関する記事もお読み頂けますので、一度アクセスしてみてください。 本セッションの登壇者 セッション動画 よろしくお願いします。今ご紹介いただきましたchikoski@です。 Rustにはコミュニティ的な関わり方が多くて、Rust.Tokyoというカンファレンスの運営をやっています。WebAssemblyは出たときからずっと仕様を追っていて、コロナの始まる前はWebイベントもやっていたのですが、最近はできていませ
Threads and messages with Rust and WebAssembly
On most systems, you can implement concurrency using either threads or processes, where the main difference between the two is that threads share memory and processes don’t. Modern web browsers support concurrency through the Web Workers API. Although Web Workers are by default closer to a multi-process model, when used with WebAssembly you can opt-in to a more thread-like experience. Just like in
Parolというパーサ生成ツールがすごい
parolというLL(k)パーサを生成するcrateがあるのですが、とにかくすごいので紹介します。 parolを知って、Rustでパーサをつくることに関して新しい時代が始まったなと思いました。 パーサコンビネータ Rustでパーサといえばnomやchumskyといったパーサコンビネータが主流の印象です。 これはjsonのように既に文法が定義されている場合やプログラミング言語のプロトタイピングに向いていると思います。 nomのREADMEにも後者について以下のように言及されています。 While programming language parsers are usually written manually for more flexibility and performance, nom can be (and has been successfully) used as a proto
GitHub - maciejhirsz/logos: Create ridiculously fast Lexers
Create ridiculously fast Lexers. Logos has two goals: To make it easy to create a Lexer, so you can focus on more complex problems. To make the generated Lexer faster than anything you'd write by hand. To achieve those, Logos: Combines all token definitions into a single deterministic state machine. Optimizes branches into lookup tables or jump tables. Prevents backtracking inside token definition
軽量RustフレームワークTauriでデスクトップアプリ開発をはじめよう | gihyo.jp
TauriはRustで書かれた軽量なGUIフレームワークで、Windows、macOS、Linux向けのデスクトップアプリを開発できます。2022年6月に最初の安定版であるバージョン1.0がリリースされました。 Tauriでは、メインプロセスはRustで記述しますが、UI（User Interface）にはWeb技術を利用します。ReactやVue.jsのようなJavaScriptフレームワークがそのまま使えるので、インタラクティブで見栄えの良いUIを簡単に構築できます。同種のフレームワークにElectronがありますが、後発であるTauriにはインストーラのサイズを小さくできるなどの強みがあります。 Tauriのロゴは、おうし座の二重星であるシータタウリ（θ Tauri）をモチーフ[1]にしており、Webとネイティブアプリの相互作用を意味しています。 図1 Tauriロゴ 本稿では、Ta
Turbopack: High-performance bundler for React & TypeScript - Vercel – Vercel
Vercel's mission is to provide the speed and reliability innovators need to create at the moment of inspiration. Last year, we focused on speeding up the way Next.js bundles your apps. Each time we moved from a JavaScript-based tool to a Rust-based one, we saw enormous improvements. We migrated away from Babel, which resulted in 17x faster transpilation. We replaced Terser, which resulted in 6x fa
100日後にRustをちょっと知ってる人になる: [Day 52]Wasm Workers Server と KVS
Day 52 のテーマ Day 50 そして Day 51 と Wasm Workers Server の最もシンプルな基本動作をするアプリケーションについて眺めてみました。 とは言え、基本動作の中でもまだふれていない機能が Wasm Workers Server にはあります。標準機能として、キー/バリューのインメモリストアを提供しています。 今日は、その キー/バリューストアについて見てみたいと思います。 キー/バリューストア キー/バリューストアとは、文字通りキーとそのキーに対する値からなるデータ構造を保管するためのストレージです。ハッシュテーブルとしてよく知られているデータ構造ですよね。Redis, Memcached や MongoDB などが有名ですね。 さて、Wasm Workers Serverで提供しているキー/バリューストアは、Wasm Wokers Server がま
![100日後にRustをちょっと知ってる人になる: [Day 52]Wasm Workers Server と KVS](https://cdn-ak-scissors.b.st-hatena.com/image/square/ac9599aa427803bb38e7ca3926e231f4006309b7/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--IWPNr5Mi--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A100%2525E6%252597%2525A5%2525E5%2525BE%25258C%2525E3%252581%2525ABRust%2525E3%252582%252592%2525E3%252581%2525A1%2525E3%252582%252587%2525E3%252581%2525A3%2525E3%252581%2525A8%2525E7%25259F%2525A5%2525E3%252581%2525A3%2525E3%252581%2525A6%2525E3%252582%25258B%2525E4%2525BA%2525BA%2525E3%252581%2525AB%2525E3%252581%2525AA%2525E3%252582%25258B%25253A%252520%25255BDay%25252052%25255DWasm%252520Workers%252520Server%252520%2525E3%252581%2525A8%252520KVS%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3Ashinyay%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzI3YzVmM2E1OTYuanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png%3F_a%3DBACAGSGT)
100日後にRustをちょっと知ってる人になる: [Day 51]Wasm Workers Server の動作
というわけで、昨日は Rust でのハンドラモジュールを作成してみました。 Wasm Workers Server の動作 ハンドラは次のように動作します: 👉 リクエストの受付けとレスポンスの返却 👉 WASI Standard Input / Output を介したデータの送受信 STDIN と STDOUT を使用したデータ送受信を行うインターフェースにすることにより、この Wasm Workers Server 以外の WASI ランタイム環境でも動作する互換性のあるハンドラを作成することができます。 サーバーは次のように動作します: 1️⃣ 指定したフォルダにある .wasm モジュールの識別 2️⃣ 各モジュールへの HTTP ルートの関連付け 3️⃣ (必要に応じて) Key / Value インメモリストア の作成 4️⃣ Wasmtime ランタイムの初期化 5️⃣
![100日後にRustをちょっと知ってる人になる: [Day 51]Wasm Workers Server の動作](https://cdn-ak-scissors.b.st-hatena.com/image/square/587e24692925516d71fd76fdd46f6f058c88fee9/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--rJExMy8r--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A100%2525E6%252597%2525A5%2525E5%2525BE%25258C%2525E3%252581%2525ABRust%2525E3%252582%252592%2525E3%252581%2525A1%2525E3%252582%252587%2525E3%252581%2525A3%2525E3%252581%2525A8%2525E7%25259F%2525A5%2525E3%252581%2525A3%2525E3%252581%2525A6%2525E3%252582%25258B%2525E4%2525BA%2525BA%2525E3%252581%2525AB%2525E3%252581%2525AA%2525E3%252582%25258B%25253A%252520%25255BDay%25252051%25255DWasm%252520Workers%252520Server%252520%2525E3%252581%2525AE%2525E5%25258B%252595%2525E4%2525BD%25259C%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3Ashinyay%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzI3YzVmM2E1OTYuanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png%3F_a%3DBACAGSGT)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - tantaraio/voy: 🕸️🦀 A WASM vector similarity search written in Rust
Ambient
GitHub - chc4/lineiform: A meta-JIT library for Rust interpreters
GitHub - dudykr/stc: Speedy TypeScript type checker
WLSとwindowsで実行した時に2倍も速度に差が出る | teratail
GitHub - specta-rs/rspc: A framework for building typesafe web backends in Rust
GitHub - tafia/calamine: A pure Rust Excel/OpenDocument SpreadSheets file reader: rust on metal sheets
