https://racket-lang.org/

Just passing along what I heard though, I personally don't use types and think things like clojure spec do a much better job fitting the bill.

obviously this data has ways to manipulate the world, because an app that did nothing would be pointless. but it's no different than any other param.

what would be bad, which is pretty much the opposite of this situation, is if you had global resources that werent passed in as params and caused side affects and you had to access a global variable to get to it (because it wasn't passed in).

Basically, it seems to me like trying to fix something that isn't broken.

If the show is off-base they should accept the criticism and move the later episodes toward a more realistic satire.

If google has a 6 person circular bicycle they conduct meetings in, expect there to be a joke. Smart people are weird, own it.

But... Don't make up a strawman who is looking to get rich without actually building something amazing, while being a weirdo slob that is completely clueless. There are hundreds of start ups on AngelList that are making a difference in the world while being completely professional.

That being said, I'm assuming they only screened the first episode? I wouldn't rush to judgement.