Statically typed? As in Go? I invite you to work on Gorgonia (https://github.com/gorgonia/gorgonia https://github.com/gorgonia/gorgonia). It's written in Go, an

Statically typed? As in Go? I invite you to work on Gorgonia (https://github.com/gorgonia/gorgonia https://github.com/gorgonia/gorgonia). It's written in Go, and neural networks written with Gorgonia has a decent type system (https://github.com/chewxy/hm https://github.com/chewxy/hm) . It uses dual numbers for differentiation. On top of that, the meta language, Go is also statically typed. We need help on various things: compilation optimizations, more operators, etc. Well typed, as in Haskell? I invite you to work on Grenade.