There are definitely a lot of hypotheticals here, but many of those goals are desired in their own right and aren't specific to web assembly. Interestingly, th

There are definitely a lot of hypotheticals here, but many of those goals are desired in their own right and aren't specific to web assembly. Interestingly, there's a slow-but-steady effort underway to implement a generic BLAS and LAPACK in Julia itself, since this allows for computations with custom datatypes that aren't supported by the Fortran libraries. For example, you can now do QR factorizations and solves with any numeric type, including Rationals and Quaterions: http://stackoverflow.com/questions/20985783/rational-matrix-division-in-julia http://stackoverflow.com/questions/20985783/rational-matrix-... Julia's dispatch system allows for these kinds of layered algorithms very nicely, and they could just as well live in separate external packages.