徐々に感度のある型付けについて

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