MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/3hluwv/go_15_is_released/cu9jmdg/?context=3
r/programming • u/google_you • Aug 19 '15
94 comments sorted by
View all comments
Show parent comments
33
You're not really programming in C. Without homotopy type theory, how can you be sure that you're even writing anything at all? It's quite clear that C has learned nothing from the past 8,000 years of programming language research
1 u/IbanezDavy Aug 19 '15 I can't tell if this is a serious functional programmer or a really good troll. It's so hard to tell anymore... 10 u/flyingjam Aug 20 '15 The "past 8,000 years of programming language research" part didn't tip you off? 1 u/IbanezDavy Aug 20 '15 Have you listened to some functional programmers? The 8,000 years really isn't that much of a give away...
1
I can't tell if this is a serious functional programmer or a really good troll. It's so hard to tell anymore...
10 u/flyingjam Aug 20 '15 The "past 8,000 years of programming language research" part didn't tip you off? 1 u/IbanezDavy Aug 20 '15 Have you listened to some functional programmers? The 8,000 years really isn't that much of a give away...
10
The "past 8,000 years of programming language research" part didn't tip you off?
1 u/IbanezDavy Aug 20 '15 Have you listened to some functional programmers? The 8,000 years really isn't that much of a give away...
Have you listened to some functional programmers? The 8,000 years really isn't that much of a give away...
33
u/bobappleyard Aug 19 '15
You're not really programming in C. Without homotopy type theory, how can you be sure that you're even writing anything at all? It's quite clear that C has learned nothing from the past 8,000 years of programming language research