4 ms·
So, if you can write research-level stuff, invent some new category-theoretical structures that warrant a scientific paper, know the exact language extension to
by atemerev 7y ago
So, if you can write research-level stuff, invent some new category-theoretical structures that warrant a scientific paper, know the exact language extension to enable from the multitude of exotic optimizations available in GHC, than yes, that’s perfectly simple and accessible to everyone!
- chii 7y agoIt's an unfair comparison - monads are relatively well known concept, and compiler options and libraries are just as baffling in C as it is in GHC. In all respects, the only "esotetic" thing is the WHNF (which, if you worked with haskell for any while, is quite understandable).
- atemerev 7y agoFlux monoids? You have to invent the new subclass of traversing monoids to achieve somewhat comparable performance to imperative code?
- chii 7y agoit is merely a monoid with some special property (which, is a logical property of concurrently counting words - "count the number of times a given invariant has changed from the start to the end of a sequence"). he wrote the monoid directly, rather than import the library - and it's a rather unimportant small detail. He didn't invent a new research topic that nobody has seen before. You would've implicitly done this same thing if you wrote a map/reduce algorithm to count words across different machines.