PyPie

概要

PyPie は型安全な機械学習プログラムのための Python DSL です。依存型チェッカとランクポリモーフィズムを組み合わせてテンソル形状の不整合を静的に検出します。Python プログラムに埋め込み可能で、コンパイル時に型を検証するため長時間実行後の形状不一致によるクラッシュを回避します。並列化と最適化を自動化し、コードを簡潔かつ高レベルに保ちます。

主な特徴

• 任意の Python プログラムへ埋め込み可能な DSL
• 静的な型検査とテンソル形状検証
• コンパイル時検証でランタイム障害を削減
• 自動並列化と最適化でコードを簡潔に保つ