Moggi's social influence is everything as introductions can only happen in the social realm. It continues that all evidence I can find suggests that his work went unnoticed until Wadler pushed it into view. In other…
They're all gone completely, or gone as in moved to where they don't have to suffer ridiculous real estate costs? There are approximately 50 machine shops within a stone's throw of my place out in the middle of nowhere.…
And with full respect also given to Moggi, introductions are only introductions if they are heard. If we were talking about the first person to discover monads, Wadler clearly would not be he. Wadler was but a wee…
As you point out, monads come from category theory, not native to computer science. Thus there had to be someone to introduce approaches to applying monads in computer science. The paper usually credited with that is:…
What kind of modern C wizardry is that? qsort was: qsort(base, nel, width, compar) char *base; int (*compar)();
> - Why Redis over in-memory cache? - Why GraphQL for this one service but REST everywhere else? - Why that strange exception in the auth flow for enterprise users? These are all implementation details that shouldn't…
It could be an overestimate, it could be an underestimate, or for a specific family buying a specific home it may be spot on. It is kind of like saying that it costs $5,000 to build a software application. That…
Isn't that the general understanding? As I understand it, everyone was expecting the world to fall into a recession on the heels of the COVID situation and everything that came with that. Which much of the rest of the…
Moggi's social influence is everything as introductions can only happen in the social realm. It continues that all evidence I can find suggests that his work went unnoticed until Wadler pushed it into view. In other…
They're all gone completely, or gone as in moved to where they don't have to suffer ridiculous real estate costs? There are approximately 50 machine shops within a stone's throw of my place out in the middle of nowhere.…
And with full respect also given to Moggi, introductions are only introductions if they are heard. If we were talking about the first person to discover monads, Wadler clearly would not be he. Wadler was but a wee…
As you point out, monads come from category theory, not native to computer science. Thus there had to be someone to introduce approaches to applying monads in computer science. The paper usually credited with that is:…
What kind of modern C wizardry is that? qsort was: qsort(base, nel, width, compar) char *base; int (*compar)();
> - Why Redis over in-memory cache? - Why GraphQL for this one service but REST everywhere else? - Why that strange exception in the auth flow for enterprise users? These are all implementation details that shouldn't…
It could be an overestimate, it could be an underestimate, or for a specific family buying a specific home it may be spot on. It is kind of like saying that it costs $5,000 to build a software application. That…
Isn't that the general understanding? As I understand it, everyone was expecting the world to fall into a recession on the heels of the COVID situation and everything that came with that. Which much of the rest of the…