I really hope there will be a point where we don't have these two worlds anymore, hope that when types in the language ship and become good the projects merge, also I hope that the language get's an official bundler which is extensible, a native bundler which is part of the language has the benefit that projects like Vite have less to do, Vite or similar projects themselves can then be just plugins and focus on stuff they want to extend/provide.
not related to effect, but typescript would also be better for AI research. In typescript using arithmetic type magic you can achieve type safety on a tensor shape level. For example, you can define a function multiplyTensors which accepts tensor of shape M*N and tensor of shape N*P, and returns a tensor of shape M*P. Potentially you can even infer the entire model architecture on the type level. Afaik you can't achieve this in Python, and even Mojo can't do this (not sure about Mojo though, maybe they added more features since the last time i checked). But the big downside of TS (for ML research) is it doesn't support operator overloading which is widely used in ML.
I really hope there will be a point where we don't have these two worlds anymore, hope that when types in the language ship and become good the projects merge, also I hope that the language get's an official bundler which is extensible, a native bundler which is part of the language has the benefit that projects like Vite have less to do, Vite or similar projects themselves can then be just plugins and focus on stuff they want to extend/provide.
generative ui is super cool.
not related to effect, but typescript would also be better for AI research. In typescript using arithmetic type magic you can achieve type safety on a tensor shape level. For example, you can define a function multiplyTensors which accepts tensor of shape M*N and tensor of shape N*P, and returns a tensor of shape M*P. Potentially you can even infer the entire model architecture on the type level. Afaik you can't achieve this in Python, and even Mojo can't do this (not sure about Mojo though, maybe they added more features since the last time i checked).
But the big downside of TS (for ML research) is it doesn't support operator overloading which is widely used in ML.