日本語英語
asopi tech
asopi techIndie Developer

#Rustタグの記事

表示切り替え
WASMランタイムとフレームワークの地図(2026年) ― 「生API」を実装するのは誰か
DEV
開発メモ

WASMランタイムとフレームワークの地図(2026年) ― 「生API」を実装するのは誰か

Wasmtime・Wasmer・WasmEdge・wazero・WAMR などのWASMランタイムから、WASI・Component Model ツール(WIT/wit-bindgen/cargo-component/jco)、上位フレームワーク(Extism/Spin/wasmCloud/Proxy-Wasm)、GPU実装(Dawn/wgpu)までを層ごとに整理。WASMの「生API」を誰がどう実装しているのか、2026年時点の全体像と選定の指針を解説します。

#wasm#webgpu#rust
Alopex Chirps とは何か ― 分散システムのクラスタを組むためのライブラリと、採用したコンセンサス
DATA
データ・DB

Alopex Chirps とは何か ― 分散システムのクラスタを組むためのライブラリと、採用したコンセンサス

分散システムを作ると、本題の前にノード発見・生死判定・メッセージング・合意を毎回作ることになる。Alopex Chirps はその四つだけを引き受けるライブラリである。何を担い何を担わないのか、QUICを選んだ理由、合意にopenraftを採用した経緯までを解説する。

#data#distributed#rust
Rustは万能じゃない — 言語パーサーはNimかRocで書け
DEV
開発メモ

Rustは万能じゃない — 言語パーサーはNimかRocで書け

「Rustならなんでも書ける」は幻想。SQLパーサーのように再帰的な型を大量に扱う領域では、Rustの型システムはコンパイル時間と保守性の両面で破綻します。NimとRocで同等パーサーを試験実装した3言語ベンチマークで、Rustが構造的に不利な理由を実装コード付きで明らかにします。

#nim#roc#rust#sql

MoonBitとWASM系言語の現在地(2026年) ― Wasm GC時代の言語選び

WASMを前提に設計されたMoonBit・AssemblyScript・Grainから、WASMバックエンドを持つRust・C/C++・TinyGo・Kotlin/Wasm・Dart・C#・SwiftWasmまでを比較。線形メモリとWasm GCの違い、Component Model対応、バイナリサイズ、成熟度を軸に、2026年のWASM系言語の選び方を解説します。

WASMランタイムとフレームワークの地図(2026年) ― 「生API」を実装するのは誰か

Wasmtime・Wasmer・WasmEdge・wazero・WAMR などのWASMランタイムから、WASI・Component Model ツール(WIT/wit-bindgen/cargo-component/jco)、上位フレームワーク(Extism/Spin/wasmCloud/Proxy-Wasm)、GPU実装(Dawn/wgpu)までを層ごとに整理。WASMの「生API」を誰がどう実装しているのか、2026年時点の全体像と選定の指針を解説します。

Alopex Chirps とは何か ― 分散システムのクラスタを組むためのライブラリと、採用したコンセンサス

分散システムを作ると、本題の前にノード発見・生死判定・メッセージング・合意を毎回作ることになる。Alopex Chirps はその四つだけを引き受けるライブラリである。何を担い何を担わないのか、QUICを選んだ理由、合意にopenraftを採用した経緯までを解説する。

コンセンサスアルゴリズム・アンダーグラウンド【第3回】 ― 嘘をつくノード、PBFTからDAG-BFTへ

ノードが署名付きで矛盾した情報を送る世界を扱う。n=3f+1という定数の意味、PBFTの三段階投票、Tendermintのロック規則、HotStuffのQuorum Certificate、そしてNarwhal以降のDAG-BFTが何を分離し何を削ったかを整理する。全4回シリーズ第3回。

Nimを触り始めました：Tauriライクな Nimino と Zedライクな Nimculus

Nim という言語を簡単に紹介しつつ、Nim で始めた2つのデスクトップ製品——Tauriライクな軽量WebViewアプリ基盤 Nimino と、ZedライクなGPUネイティブコードエディタ Nimculus——の開発をお知らせします。

Rustは万能じゃない — 言語パーサーはNimかRocで書け

「Rustならなんでも書ける」は幻想。SQLパーサーのように再帰的な型を大量に扱う領域では、Rustの型システムはコンパイル時間と保守性の両面で破綻します。NimとRocで同等パーサーを試験実装した3言語ベンチマークで、Rustが構造的に不利な理由を実装コード付きで明らかにします。

「Roc」入門 — Elm譲りの純粋関数型言語がRustホストと組む未来

Richard Feldman氏が率いる純粋関数型言語Rocを、alpha4-rollingの現状、Perceus参照カウント、Platform/Hostモデル、Zigコンパイラ書き直しの背景まで、AlopexDBチームの調査とRocでのSQLパーサー試験実装をもとに解説します。

「Nim」入門 — Cにトランスパイルするマルチパラダイム言語の現在地

Rust/Zigと並ぶシステム系代替言語として注目されるNimを、2026年時点の最新版2.2系・次期3.0(Nimony)、ORCメモリ管理、C ABI連携、SQLパーサー実装での実性能まで、AlopexDBチームの調査を元に技術解説します。