3 ms·
No apologies needed, I thought your comment about learning formal type theory and your book recommendation were valuable. My comment was based on the premise of
by osipov 17y ago
No apologies needed, I thought your comment about learning formal type theory and your book recommendation were valuable. My comment was based on the premise of this thread (per the title) and the premise of the article.
- joe_the_user 17y agoAn interesting thing about this article is it makes me think about just how natural the english-fragments within mainstream (c-like) languages are. Loosely speaking, a c-like English would be: "For each tree in the grove, paint on the stem" But what would a Scala-like sentence be??? "trees in the grove - paint circles on their stems"???
- rincewind 17y agoThat might show that idioms from C got into your english, not the other way round: "For every cookie in the jar; I ate that cookie" vs. "I ate all the cookies from the cookie jar" vs. "The cookie jar is empty" (the last one assumes that the cookie jar was type-safe and contained nothing but cookies)