Sounds snarky but completely correct. Parent should look for a more diverse set of examples for vector spaces. In fact sounds like a good linear algebra course would be a priority over group theory
No lol it's not possible to learn any math subject in depth in an afternoon, unless you mean "get a surface overview that you'll forget most things about in a couple of weeks". Proper foundations for non-Euclidean geometry are at least a one-semestre undergrad class level of work, which will take you at least several weeks if you do _only that_
No. You can write a compiler for any language in Scheme, but it's disingenuous to say that Scheme has that language's features. There are many languages with way more powerful features than Scheme if you're comparing type systems.
Can lisps place arbitrary code in types and formally verify complex properties of stateful systems--all in the same language? Doubt it. Lisp isn't the epitome of power.
Actually with dependent types you totally can encode proofs that your logic is correct. But I don't really see that trickling down into mainstream programming anytime soon.
This is a completely meaningless comparison. Even things that behave waaay more similar than cocaine and coffee in terms of brain chemistry can have even more disparate effects. And I was talking about the effects.
I'll let you figure out the difference between 'exceptional and prolific writer' and for example 'stressed out social/office worker who others depend on':)
Yeah absolutely not. You can certainly drink and work, just as it's possible to drive drunk without killing someone.
These isolated cases without incident don't really matter in the context of society-wide taboo, however.
Coffee and cocaine are worlds apart. Most people don't have jobs that would work with a coke addiction. Freud was exceptional and I think he did most of his influential work not under the influence anyway.
I don't see how you could actually come up with new stuff in PLT without a very heavy math background, specifically in logic. I mean it's not impossible just extremely unlikely.
I don't know man. I feel like there are places I know more than Rob Pike almost certainly. Like, I don't know, most of functional programming. I seriously doubt he knows what indexed monads are better than me.
So, at the point they were creating Go, I think it's perfectly reasonable they had even less exposure to fp, and didn't actually know about these better solutions.
> One big problem with the plan, which a lot of people don't realize, is that your typical university math degree isn't that much more challenging than doing well in high school math.
I think this is very US-specific. Here in Europe there's definitely a huge difference. You enroll in a pure math-only 5 year degree, and are talking about topology in your third semester already. That might be a specific thing only my analysis prof does, but quite a lot of time is devoted to neatly delineating different levels of structure you're equipping a space with, proving things with as less structure as possible or at least discussing it. You are expected to juggle tricks on a totally different level, which takes a lot more qualitatively different practice than in HS.
When I talk to people who take math classes in the US it's usually not on that level of engagement until the graduate courses. Maybe it depends on their university, in smaller European countries you often have just like one main math program that is then high-intensity.