Hacker News Reader

> 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.

once 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

I would trust any type system that doesn't require me to prove that my sorting algorithm maintains the length of the vector it sorts.