4 ms·
> In my experience, people often describe their first experience with expressive static type systems in terms of "fighting with the compiler" (or similar phrasi
by picozeta 4y ago
> In my experience, people often describe their first experience with expressive static type systems in terms of "fighting with the compiler" (or similar phrasing). I think this is due to a poor introduction to static type systems, often in university settings.
Maybe that was true 20 years ago, but most CS curricula offer mandatory (static) functional programming classes.
- DonaldPShimoda 4y agoDepends on the school culture, the professor teaching, the particular language being used... there are a lot of factors! I did both my undergraduate and MS in the past decade, worked in academic research for a few years, and am currently in a PhD program. At the schools I've been at and schools I know well due to friends/collaborators, I think what I said still tends to be true for mandatory ("core") classes. You are right, however, that students who choose to take an elective in a statically typed functional language are probably more likely to come away with a healthier relationship with their compilers, but this is only a portion of all students.
- sn9 4y agoI would be shocked if that were actually true. Maybe most top 10 programs do, but in general the variation in CS curricula is incredibly broad and includes tons of Java schools that only focus on imperative and OO paradigms with only passing mentions of functional programming in elective classes. I really have no idea if the data to support the claim even exists. One would probably have to manually comb through CS curricula to check. My suspicion is that it would not hold up.