> On the other hand, in a statically typed language there is necessarily a distinction between code that is executed at runtime and (although we often don't talk about it this way) code that is executed at compile time.
Is the distinction or separation necessarily obvious? Statically typed languages which have a unified term- and type-level seem to get a bit subtle in this regard, since a type can be used as a value. And Idris passes proofs around, and has to use proof erasure in order to not let it infect the runtime: proofs can remain until run-time if you're not careful.
I am asking this as a question since I don't have enough experience with such languages to really know myself.
> Is the distinction or separation necessarily obvious?
I don't think so, but in practice it usually is obvious, in the programming languages that actually get used.
OTOH, the notion that the compile-time language and the run-time language could be very similar is an idea that might be slowly catching on. We'll see ....
> Humans assume that standing, walking or running (or even sitting!) is something that you just pick up along the way. It is not.
People are so presumptuous. What are they going to arrogantly assume next? That they can breathe properly without proper training; that they can socialize without a dating coach; that they can chew food properly without getting digestive problems; that they can listen to their own intuition without a consultation by a life coach?
> Because I'm already standing, I have an easier time walking away from my desk - to get a drink, go to the bathroom, confer with a colleague, go for a walk, etc. - and I've also been incorporating squats, calf raises and stretches into my daily movements.
But if you were sitting, you would get a half squat out of having to get up to get coffee etc. ;)
I second this. Don't be swayed by what you see and read in the media. Silicon Valley isn't a place for everyone and can be incredibly stressful. On the bright side, it's a very diverse place with tons of stuff to do, great weather, smart people and is easily one of the best places in the US (IMO anyway).
A friend wanted to become a lawyer in LA (he's not American). He travelled there once, and he changed his mind about that for some reason. That saved him some time from starting to study American law, I guess.
> Lets say I turn this into some kind of guard dog system (bear with me). Imagine someone wanders onto my property. I'd rather get a text/mms than an email which might get lost in my inbox.
You can't have push notifications for certain subjects or email addresses? If you're going to make home security part of this, you might as well set up your email to be accommodating to it as well. If you're gonna use email.
In other words "let me present my genuine opinion by wrapping it in a more presentable delivery".