Brief Description:
Shapesafe is one of the most capable static shape inference libraries available for production-grade compilers (Scala 2.13), Its speed however is capped by complex and uncached implicit search and type reasoning implementation. In this project, we intend to bring the library to use Scala 3, which systematically solved the caching problem and introduced language features (compile-time ops, extensible records, polymorphic eta-expansion) that can drastically simplify library design.
Expected Outcome:
Enable shapesafe support for programming in Scala 3, improve compilation speed of long computation graph by 2+ magnitudes.
Brief Description:
Shapesafe is one of the most capable static shape inference libraries available for production-grade compilers (Scala 2.13), Its speed however is capped by complex and uncached implicit search and type reasoning implementation. In this project, we intend to bring the library to use Scala 3, which systematically solved the caching problem and introduced language features (compile-time ops, extensible records, polymorphic eta-expansion) that can drastically simplify library design.
Expected Outcome:
Enable shapesafe support for programming in Scala 3, improve compilation speed of long computation graph by 2+ magnitudes.