Re:Why GitHub used Haskell for Semantic
by merijnv on Thursday June 06, 2019 @02:53AM
(#20112183)
> How far can you go without monads and category theory?
Without monads? Not pretty far, but they're far simpler than the wide web would have you believe.
Without category theory? Sky's the limit. I say this as experienced Haskell programmer occasionally dabbling in category theory for funsies. The practical impact on "how easy is it to program Haskell" of category theory is basically zero.
Re:Why GitHub used Haskell for Semantic
by karmakaze on Thursday June 06, 2019 @08:43AM
(#20113971)
I didn't mean how far in Haskell without monads. I meant how far in something else like Clean that uses uniqueness typing to handle some of the same aspects where monads would be used with Haskell.
Without monads? Not pretty far, but they're far simpler than the wide web would have you believe.
Without category theory? Sky's the limit. I say this as experienced Haskell programmer occasionally dabbling in category theory for funsies. The practical impact on "how easy is it to program Haskell" of category theory is basically zero.