HaskellerとRustaceanが知恵をあわせてプロダクトを3日で1000倍高速化した話
数理最適化用ドメイン特化言語JijModeling 2において、大規模データ処理でのパフォーマンス悪化(267秒→数百ミリ秒)を解決した事例を紹介する。
Haskellerの知識を応用し、データ構造の無駄なクローン排除(167秒に短縮)に加え、遅延配列(Lazy Array)を導入して配列変換時の余計なメモリアロケーションを根本的に削減した。
その結果、旧バージョン同等の速度向上(約1000倍高速化)を達成した。
HaskellerとRustaceanが知恵をあわせてプロダクトを3日で1000倍高速化した話
数理最適化用ドメイン特化言語JijModeling 2において、大規模データ処理でのパフォーマンス悪化(267秒→数百ミリ秒)を解決した事例を紹介する。
Haskellerの知識を応用し、データ構造の無駄なクローン排除(167秒に短縮)に加え、遅延配列(Lazy Array)を導入して配列変換時の余計なメモリアロケーションを根本的に削減した。
その結果、旧バージョン同等の速度向上(約1000倍高速化)を達成した。
Haskellerの知識とRustaceanの知識を組み合わせて1000倍の速度向上を達成した事例を紹介する記事です。
数理最適化用ドメイン特化言語JijModelingの高速化について解説されています。
遅延配列による融合変換やArcの利用方法など、具体的な高速化手法が述べられています。#rustlang
Haskellerの知識とRustaceanの知識を組み合わせて1000倍の速度向上を達成した事例を紹介する記事です。
数理最適化用ドメイン特化言語JijModelingの高速化について解説されています。
遅延配列による融合変換やArcの利用方法など、具体的な高速化手法が述べられています。#rustlang
パッケージマネージャーで Ru...
https://zenn.dev/ryo_manba/articles/devengines-runtime-management
【TS】ユーザー定義型ガードを...
https://zenn.dev/yumemi_inc/articles/ts-avoid-hand-writing-type-guards
HaskellerとRusta...
https://zenn.dev/jij_inc/articles/2025-12-03-haskeller-and-rustacean-1000x-faster
パッケージマネージャーで Ru...
https://zenn.dev/ryo_manba/articles/devengines-runtime-management
【TS】ユーザー定義型ガードを...
https://zenn.dev/yumemi_inc/articles/ts-avoid-hand-writing-type-guards
HaskellerとRusta...
https://zenn.dev/jij_inc/articles/2025-12-03-haskeller-and-rustacean-1000x-faster
HaskellerとRustaceanが知恵をあわせてプロダクトを3日で1000倍高速化した話
数理最適化用ドメイン特化言語JijModeling 2において、大規模最適化問題のコンパイル速度が著しく低下した。
原因は、配列操作に伴う無駄なデータコピーとアロケーションにあった。
Haskellの知識(遅延評価の概念)とRustの機能(イテレータ)を組み合わせて遅延配列表現を導入した結果、ボトルネックを解消し、コンパイル速度を従来の数百ミリ秒程度にまで1000倍高速化することに成功した。
HaskellerとRustaceanが知恵をあわせてプロダクトを3日で1000倍高速化した話
数理最適化用ドメイン特化言語JijModeling 2において、大規模最適化問題のコンパイル速度が著しく低下した。
原因は、配列操作に伴う無駄なデータコピーとアロケーションにあった。
Haskellの知識(遅延評価の概念)とRustの機能(イテレータ)を組み合わせて遅延配列表現を導入した結果、ボトルネックを解消し、コンパイル速度を従来の数百ミリ秒程度にまで1000倍高速化することに成功した。
HaskellerとRustaceanが知恵をあわせてプロダクトを3日で1000倍高速化した話
HaskellerとRustaceanが協力し、大規模数理最適化用ドメイン特化言語JijModeling 2におけるパフォーマンス問題を解決した事例。
巨大配列の無駄なクローンやアロケーションが原因でコンパイル速度が267秒まで悪化していた。
関数型プログラミングで用いられる遅延評価の概念を応用し、データ構造を遅延評価配列(Lazy Array)に再設計することで、処理を3日で1000倍高速化し、性能を回復させた。
HaskellerとRustaceanが知恵をあわせてプロダクトを3日で1000倍高速化した話
HaskellerとRustaceanが協力し、大規模数理最適化用ドメイン特化言語JijModeling 2におけるパフォーマンス問題を解決した事例。
巨大配列の無駄なクローンやアロケーションが原因でコンパイル速度が267秒まで悪化していた。
関数型プログラミングで用いられる遅延評価の概念を応用し、データ構造を遅延評価配列(Lazy Array)に再設計することで、処理を3日で1000倍高速化し、性能を回復させた。
https://zenn.dev/jij_inc/articles/2025-12-03-haskeller-and-rustacean-1000x-faster
https://zenn.dev/jij_inc/articles/2025-12-03-haskeller-and-rustacean-1000x-faster
On the side, I've been developing #asciinema, the best tool to record and stream your terminal sessions. I talk about it in the context of Rust in this #RustaceanStation interview: rustacean-station.org/episode/marc...
On the side, I've been developing #asciinema, the best tool to record and stream your terminal sessions. I talk about it in the context of Rust in this #RustaceanStation interview: rustacean-station.org/episode/marc...
rustacean-station.org/episode/marc...
rustacean-station.org/episode/marc...
I really did not expect to enjoy it this much 😅
#rust #rustacean
I really did not expect to enjoy it this much 😅
#rust #rustacean
#page42sentence2
Next, we ned to implement From
Idiomatic Rust: Code like a Rustacean by Brenden Matthews
#page42sentence2
Next, we ned to implement From
Idiomatic Rust: Code like a Rustacean by Brenden Matthews
📍 e6Data, Bengaluru | 7 PM
🎟️ Free
🔗 hasgeek.com/rustbangalor...
#blr-events #rust #hasgeek #bengaluru #bangalore #CityEvents
📍 e6Data, Bengaluru | 7 PM
🎟️ Free
🔗 hasgeek.com/rustbangalor...
#blr-events #rust #hasgeek #bengaluru #bangalore #CityEvents
> Who owns this data?
> Who borrows it?
> When does it end?
It’s not just memory safety.
It’s mental clarity.
#rustacean #rustprogramming
> Who owns this data?
> Who borrows it?
> When does it end?
It’s not just memory safety.
It’s mental clarity.
#rustacean #rustprogramming
fosstodon.org/@slp/1154848...
fosstodon.org/@slp/1154848...
Use the beta access code UMOFTV to start learning today 🫡
#bitcoineducation #cryptoeducation #learnbitcoin #rustdevs #rustacean
Use the beta access code UMOFTV to start learning today 🫡
#bitcoineducation #cryptoeducation #learnbitcoin #rustdevs #rustacean
They were quite ugly at first, but now I'm confident enough to share this hobby with the world.
Yesterday I made Ferris the rustacean for my brother's birthday.
#amigurumi #crochet #plushie #rust
They were quite ugly at first, but now I'm confident enough to share this hobby with the world.
Yesterday I made Ferris the rustacean for my brother's birthday.
#amigurumi #crochet #plushie #rust
(nightly okay, but negative trait bounds ain't it)
(nightly okay, but negative trait bounds ain't it)
(nightly okay, but negative trait bounds ain't it)
(nightly okay, but negative trait bounds ain't it)