プログラミング言語

insight - プログラミング言語

セッション型サブタイピングアルゴリズムの複雑性分析を行い、指数関数的な複雑性を持つ従来のアルゴリズムに対し、二次関数的な複雑性を持つ新しいアルゴリズムを提案する。

コンテキストモーダル型理論と線形ラムダ計算の統合により、コード生成サーバーを並行して実行し、型付きチャネルを介してオンデマンドでコードを提供することができる。

ストリームの型は複雑な時系列パターンと並列構造を表現できるべきであり、並列処理システムでも決定論的な動作を保証すべきである。

Rustプログラマーは、パフォーマンスの向上や利便性の向上、あるいは安全な代替手段がないと感じた場合に、アンセーフコードを使用する。開発者は一般的にアンセーフコードを最小限に抑え、カプセル化しようとするが、その正しさについては確信が持てない。

大規模言語モデルは構文的特徴に非常に敏感であるが、本手法の活性化ステアリングにより、意味的に関係のない構文的な要因に対してより頑健な型推論が可能になる。

関数型プログラムが状態を隠蔽するライブラリと相互作用する際に、表現不変量を自動的に検証する新しい手法を提案する。

jqは広く使用されるツールですが、その言語仕様は実装によって定義されているため、その動作を理解するのが難しい。本稿では、jq言語の大部分をカバーする正式な構文と変性意味論を提供し、特に更新操作の新しい解釈方法を示すことで、より予測可能で効率的な実行を可能にする。

本論文では、同期バイナリセッション型のサブタイピングを効率的に検査するための3つのアルゴリズムを提案し、それらの複雑性を分析する。

感度型システムを柔軟に使えるようにするため、静的型検査と動的型検査を組み合わせた漸進的な感度型付けを提案する。

セット論的型システムを使うことで、パターンマッチング、オカレンス型推論、関数オーバーロードなどの一般的なプログラミング機能を正確に型付けできる。

About

Products | Resources

Insights