rayonはCPU-boundなデータ並列、tokioはI/O-boundなタスク並行のためのライブラリ。実行モデルが違うので速度比較ではなく仕事の性質で選び、混在する処理はtokio外皮 + spawn_blocking + rayonの入れ子で組む。

rayonとtokioの使い分け

こちらの記事では、Pyrightを用いた型の特定技術「type narrowing」を紹介しています。型チェッカーによる型の絞り込み、型ガードの利用方法などを取り上げています。これにより、プログラマはコードの安全性と効率を向上させることができます。

Pyrightの静的型付け：上級者向け解説

こちらの記事では、Pythonにおける型推論のプロセスについて紹介しています。シンボルとスコープの概念や型宣言の方法、型推論の機構などについて詳細に解説しています。

型推論についての理解

こちら記事では、MicrosoftのPython言語サーバー「Pylance」について解説しています。PylanceはVisual Studio Code内でPython開発をサポートするための高速で機能豊富なツールです。この記事は、PylanceがVS Code用Python言語サーバーの将来を担っていることを強調し、その利用を推奨しています。

Pylance: VS Codeにおいて最も優れたPython拡張機能

この記事では、Rust言語でのウェブ開発における主要なフレームワーク—Axum、Actix Web、Rocket—の比較を提供し、それぞれの長所と短所を詳細に掘り下げています。各フレームワークの特徴、コードサンプルを交えながら、プロジェクトに最適な選択肢を見極めるための解説をしています。また、まだ広く知られていなくとも注目に値するフレームワーク—Warp、Tide、Poem—にも焦点を当て、Rustでのウェブアプリケーション開発の新たな可能性を探ります。

Hypothesis: 適切なデータの生成

この記事では、Hypothesisを使用してコードの最適化をテストする方法を紹介し、ナップサック問題を例に説明しています。

Hypothesisを用いたテスト最適化の探求

こちらの記事では、Hypothesisを用いたテストパフォーマンスの最適化についての筆者の見解を紹介しています。

テストパフォーマンスの最適化

こちらの記事では、ソフトウェアテストで型に依存しない値の縮小手法について議論し、ライブラリ「theft」や「QuickTheories」を例に挙げています。このアプローチは、生成された値に依存しない縮小プロセスに焦点を当て、より柔軟で堅牢なテストケース生成を可能にすると説明しています。

合成に基づいた縮小処理

こちらの記事では、今後、Hypothesisに関する研究を深めようとする著者による、Hypothesisの解説が行われています。

Hypothesisについて（研究者向け）

この記事では、Hypothesisの仕組みが解説されています。従来のシステムとは異なり、テストケースを安全に変更・保存可能で、かつ縮小する能力を持つHypothesisは、生成されたデータを効率的に管理し、過去の失敗を記録して再現する機能を持ち合わせています。テストデータの生成と縮小を行うための複雑なメカニズムが詳細に説明されています。

Hypothesisの仕組み

この記事では、HypothesisとHaskellのQuickCheckとの間にある縮小処理方法の違いについて詳述しています。Hypothesisでは、縮小処理が値の生成過程の一部として統合され、生成時と同じ不変条件を満たすことが保証されます。これにより、テストの失敗がより理解しやすくなるとともに、テストに制約ロジックを導入する必要性が軽減されます。

統合された縮小処理

この記事では、著者が従来のPythonユニットテストから、段階的にプロパティベースドテストへ移行する過程を紹介しています。最初は基本的なテストから始めて、徐々にHypothesisを使ってより高度なテストへと進んでいったプロセスを通じて、開発者たちはテストの意図が明確になるとともに、より包括的なテスト戦略を構築することができました。

段階的なプロパティベースドテスト

この記事では、Hypothesisを使用してバイナリサーチの問題をテストする方法を紹介しています。問題が特定のシンプルな特性によって完全に定義される場合、Hypothesisはその特性を捉えるテストを簡単に作成できることが強調されています。しかし、テストが有限の例のセットに限られるため、すべてのバグを検出することはできないと指摘しています。そのため、追加のテストケースを検討することが重要であると結論づけています。

完全な仕様に基づいたテスト

こちらの記事では、テスト中に小さなエラーを発見する際の閾値の問題に焦点を当てています。Hypothesisは、特定の閾値をわずかに超える最小のエラーケースを特定しますが、これにより実際の問題が過小評価されることがあります。この問題の解決策として、テストの期限を調整する方法や、将来的な改善策としてスコアリング概念の導入が提案されています。