TypeScriptのコードをRustで書き直した話
モニクル Advent Calendar 2024の12日目の記事です． はじめに モニクルの開発組織では，TypeScriptをプロダクトを作るときの最初の選択肢として採用しており，Node.jsをランタイムとした一般的なJSの技術スタックでの開発を行っています． そんな中でNode.jsのパフォーマンスに課題を感じ始め，一部のコードをRustで書き直すという作業を行いました． Node.jsに感じた課題 あらゆるサービスが稼働しているだけでお金を生み出してくれると良いのですが，残念ながら全てのサービスがお金を生み出すわけではありません．サービスを稼働させるコストがかかっているのであれば，そのコストをできる限り削減したいと思うのは組織としては一般的なことだと思います． そんな中，サービスの一部がインスタンスのメモリーリミットに引っ掛かるようになりました． 通常ウェブアプリケーションのサー
直和型の代わりにユニオン型を持つ静的型付け関数型言語 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年の夏頃から作
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - dudykr/stc: Speedy TypeScript type checker
GitHub - specta-rs/rspc: A framework for building typesafe web backends in Rust
GitHub - swc-project/swc: Make the web (development) faster
GitHub - ekzhang/composing.studio: Collaborative music composition for everyone.
