Maybe because that's how it's happened in the past? We don't use punch cards any more.https://twitter.com/skamille/status/1113541237431312384 …
-
Show this thread
-
I really don't get this tweet. Shame on functional programmers for believing things can be better, I guess?
1 reply 0 retweets 8 likesShow this thread -
I mean I don't think OOP is the end of history for computer science.
2 replies 0 retweets 7 likesShow this thread -
I actually think that an ergonomic dependently typed general-purpose programming language with good type inference will be the next paradigm shift. Maybe it'll be Idris, or the thing that comes after Idris.
2 replies 0 retweets 11 likesShow this thread
I vote for the thing that comes after Idris, or maybe the thing after that :). (I'm working on at least one of these). But for me, "functional programming" isn't really the point - it's about the types. Either way, usability is really important.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.