Scalaで作る型安全性を保持する暗号化ライブラリ

Toshifumi Takahashi@_fhhmm2026年7月12日Track C10 分

暗号化でArray[Byte]になり型安全性が失われる問題を、Prismの考え方とEncrypted[T]型で解決するScalaライブラリの設計と応用を紹介する。

発表概要の全文は fortee の発表ページ で読めます。