Unfortunately in my field (programming languages? I guess?) we just outright get ignored by the mainstream of our own field, even while they crow about how important we supposedly are.
Just last Thursday night I attended a talk in which an Esteemed Elderly Researcher complained, when asked for complaints, that computer scientists had not made enough progress in the verified construction of programs and in better programming languages since he was young, and remarked that everyone should have been listening to Alan Kay.
When I attempted to ask, “What about Simon Peyton Jones, Martin Odersky, and the formal PL community?”, he basically acknowledged their existence, ignored our entire research field, and went back to saying not enough progress had been made in programming languages.
Still not sure if I asked wrong (raising one’s hand and being called on is socially permissible, yes?), or if the mainstream CS research community (certainly including 100% of my own current department, much to my anguish and dismay on signing up as a grad-student under the naive impression we had a good three or so PL people here) is just davka bent on ignoring the formal study of programming languages and its massive advancements in recent years.
Expert consensus thus represents a concerted effort to ignore expert consensus.
Unfortunately in my field (programming languages? I guess?) we just outright get ignored by the mainstream of our own field, even while they crow about how important we supposedly are.
Just last Thursday night I attended a talk in which an Esteemed Elderly Researcher complained, when asked for complaints, that computer scientists had not made enough progress in the verified construction of programs and in better programming languages since he was young, and remarked that everyone should have been listening to Alan Kay.
When I attempted to ask, “What about Simon Peyton Jones, Martin Odersky, and the formal PL community?”, he basically acknowledged their existence, ignored our entire research field, and went back to saying not enough progress had been made in programming languages.
Still not sure if I asked wrong (raising one’s hand and being called on is socially permissible, yes?), or if the mainstream CS research community (certainly including 100% of my own current department, much to my anguish and dismay on signing up as a grad-student under the naive impression we had a good three or so PL people here) is just davka bent on ignoring the formal study of programming languages and its massive advancements in recent years.
Expert consensus thus represents a concerted effort to ignore expert consensus.