Those kikes can suck any ideas you can think of into their money swindling machine.
Name:
Anonymous2016-10-15 18:41
Haskell is the black hole because it's always expanding with myriads of new extensions that it would take lifetime to learn to use, and its type theory is getting ever and ever more complex without leading anywhere, it just sucks up the money that goes to these "type theorists". doesn't lead anywhere. It started with purity and monads, but now they're in batshit-crazy land with stuff like "A Strongly Normalizing Computation Rule for Univalence in Higher-Order Minimal Logic" and fucking "Cubical Higher Type Theory as a Programming Language". Nobody even knows what all this crap is for, but they're always researching more and more of it as long as they get money grants.