For you RISCniggers and Cudder haters

http://yosefk.com/blog/the-high-level-cpu-challenge.html
Stop bitching about your "having to bow down to the machine", learn some fucking computer architecture and stop being retards overall.

I'll just mention that static typing (irregardless of the type inference technique) characterizes lower-level languages, because now I have to think about types,

I've read some stupidity on that blog, but this obvious fallacy is a browsertab-closer.

Unityped languages can never save us from thinking about the types, they just lock us out of being able to express types.