True, although I think they're working on support for generic effects

Function call always returns, and to one single caller, whereas effects can choose not to "return" at all, resume multiple times, etc

Right, though the former is just an exception. So what general effect systems provide above and beyond what we already have in most languages is "multiply-resumable" checked exceptions (also known as multi-shot continuations and often provided by "delimited continuations").

At the time I developed my Haskell effect system Bluefin there was a conventional wisdom that "you can't implement coroutines without delimited continuations". That's not true: you can implement coroutines simply as function calls, and that's what Bluefin does.

(The story is not quite as simple as that, because in order for coroutines to communicate you need to be able to pass control between threads with their own stack, but you still don't need multi-shot continuation.)

Good point! You might be interested in reading this article on the topic: https://without.boats/blog/coroutines-and-effects/

Thanks, I did find that interesting. I would say Bluefin is another entry in the static/lexical row, whereas its cousin effectful is in the static/dynamic row (although this may be a slightly different interpretation of the terms than is used in the article).

Koka, Effekt and 4 other research languages are mentioned earlier in the article though? This talks about practical languages, not research-only

Can confirm this is a good book -- I've been subscribed to the newsletter for a while

Good to hear

I’m usually entering contractor agreements (as a contractor) — guess I don’t need to generate one but might be good to have some kind of support when reading, like a way to compare different agreements and pick the best terms

Interesting - like a way to upload your contractor agreement and learn more about each clause or even learn more about other sample language from other contractor agreements?

This is good! I need NDA’s fairly often at work and here it’s quick to make one

Didn't know about all these headers. Is there a way you can check if a header is present in an email from a client? e.g from Gmail

Yes! You can look at the original source of the email.

Open the email in Gmail, click the three-dot menu in the top right, click "show original". A new tab will open with the raw email including all the headers.

Wow, thanks. Live and learn. Does the way some tools check whether the email was read by the recipient or not have something to do with this structure, too?

Actually no it's not, most read-trackers use invisible images in the email body. When you open the email the images all load from their remote server, and thus they know you opened the email, and when.

You can work against this by disabling images, or you can add a tracker list I made to your adblocker!

https://github.com/leavemealone-app/email-trackers

Oftentimes it makes more sense to think of the presence of competitors as just another means of validation -- confirming that someone needs this. If there's no need, there won't be anyone on the market

This is exact statement I made in the article: if there is a competition, that means the idea is already validated for you.

So there is at least some demand

It's already close! They lacked a lot of Project Management features, but this update gives the impression that's their priority now. Basically all Enterprise-first features are in it: gantt chart, customizable pages, clipping tables with lots of rows, advanced permissions

just updated!