Recently, Ian Lance Taylor, one of the most productive contributors to Go and, IIRC, the original author of gccgo, has written a very interesting comment on his view of the language:

(…) Go intentionally has a weak type system, and there are many restrictions that can be expressed in other languages but cannot be expressed in Go. Go in general encourages programming by writing code rather than programming by writing types. (…)

I found this distinction, writing code vs. writing types, very insightful. In my experience, in a language like Rust or (modern fancy) C++ the programmer is constantly forced to think about types, while when I program in Go or C, I almost never think about them. Types are, in fact, almost always obvious. It is also interesting that languages like Haskell and Idris explicitly expect the programmer to program with types.

What do you think?

I had this game on my phone for awhile but only just started last night. So far I think it's neat what kinds of landmarks can be pokestops, like a little fountain by a restaurant or a very old building. It also reminds me of those pokewalker things from long ago, the ones that counted your steps. It also kills me when a church is a gym.

Now I'm not walking everywhere or buying plane tickets trying to do this but it's pretty pleasant so far. What are your thoughts, Tildes?

Edit: I took my first gym at a quaint little church and the Nidorino I left there came back about 6 hours later. There's more people playing this than I realized, also more churches lol.