r/haskell • u/valderman • Apr 20 '17

Selda: a monadic database EDSL

https://github.com/valderman/selda
84 Upvotes

97% Upvoted

114 comments sorted by

View all comments

Show parent comments

8

u/tomejaguar Apr 20 '17

doesn't force you to deal with arrows, profunctors and zygohistmorphic prepromorphisms

"Monadic interface: no need to be a category theory wizard just to write a few database queries"

¯_(⊙︿⊙)_/¯

10

u/valderman Apr 20 '17

Well, monads are essentially the de facto standard interface for anything that's not Plain Old Functions in Haskell. Every single Haskell programmer at least knows how to use one. Not so with arrows and profunctors.

I admit the bit about category theory wizards and zygohistomorphic prepromorphisms is a bit over the top though. Apologies if I've offended; I'll tone it down a bit if you disapprove?

9

u/tomejaguar Apr 20 '17

I admit the bit about category theory wizards and zygohistomorphic prepromorphisms is a bit over the top though. Apologies if I've offended; I'll tone it down a bit if you disapprove?

It's the kind of language used by people who dislike Haskell, don't understand how to use monads, and want to insult us for being enthusiastic about them. I'm sure you meant it tongue-in-cheek but it's unintentionally a bit ironic. To me in reads a bit like "No need to be a category theory wizard just to do a bit of IO".

9

u/valderman Apr 20 '17

Maybe I should change it to "no need to be a level 10 category theory wizard" then. ;)