In the special purpose for computation (like Numba) department, but more general: TorchScript from PyTorch https://pytorch.org/docs/stable/jit_language_referen

In the special purpose for computation (like Numba) department, but more general: TorchScript from PyTorch https://pytorch.org/docs/stable/jit_language_reference.html#torchscript-language-reference https://pytorch.org/docs/stable/jit_language_reference.html#... It doesn't compile to C but to an IR, but some ideas around typing might be similar.