Matt Bovel

icon indicating an email [email protected]

icon company EPFL icon location Lausanne, Switzerland icon location PhD student at @lampepfl, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle. CS MSc/BSc from EPFL.

Results 94 comments of Matt Bovel

Add support for SIMD

Since this issue was created, there has been progress on a Java Vector API: https://openjdk.org/jeps/338. Does it change something for the design of the SIMD API in Scala Native? Would...

security hardening

Running as a non-root user seems like good first step. Could the JVM's [SecurityManager](https://docs.oracle.com/javase/7/docs/api/java/lang/SecurityManager.html) be useful as well?

Fixed Missing warning for invalid recursive val

About the error message: - `Infinite loop in function body` does not seem appropriate for vals. - Why don't we refer to the precise place where the recursion happens instead...

Fixed Missing warning for invalid recursive val

Minor: should we rename this phase to `CheckInfiniteLoops` as it's not just about implicits?

Fixed Missing warning for invalid recursive val

@gagandeepkalra do you plan to further work on this PR? It would be great to have it merged! 😃

Track type variable dependencies to guide instantiation decisions

test performance please

Track type variable dependencies to guide instantiation decisions

test performance please

Track type variable dependencies to guide instantiation decisions

test performance please

Track type variable dependencies to guide instantiation decisions

test performance please

Type computed to `any`, works in Scala 2

Here is an attempt to minimize: ```scala object Test { class Box[T](val value: T) def f[T](l: List[Box[_