4 ms·
> you might think that you can only write applications in Rust and Go using K8s, no JavaScript but Typescript only Pff. Everyone knows Haskell, Idris and Elixi
by smorephism 6y ago
> you might think that you can only write applications in Rust and Go using K8s, no JavaScript but Typescript only
Pff. Everyone knows Haskell, Idris and Elixir are acceptable, too.
- alexanderdmitri 6y agoonce you've started on Idris you've crossed the line over from kinky to deviancy source: there are several people in my weekly support group for exactly this reason, it gets out of control
- Blikkentrekker 6y agoI would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.