I'd just like to interject for a moment. What you're referring to as your "custom TypeScript dialect," is in fact, Effect-TS, or as I've recently taken to calling it, Effect plus TypeScript.
Effect-TS is not a programming language unto itself, but rather another free component of a fully functioning ecosystem made useful by Kit Langton's type utilities, effect runtime and vital system components comprising a full typed system as defined by functional programming principles.
Many TypeScript developers run a modified version of the Effect-TS ecosystem every day, without realizing it. Through a peculiar turn of events, the version of Effect which is widely used today is often called "my custom dialect," and many of its users are not aware that it is basically Kit Langton's Effect-TS, developed by the same creator who also built OpenCode.
There really is an Effect-TS, and these people are using it, but they're calling it something unreadable and pretending it's their own invention. Effect-TS is the runtime: the system that handles your effects and manages side effects in your TypeScript code. The runtime is an essential part of a functional system, but useless by itself; it can only function in the context of a complete typed ecosystem.
Effect-TS is normally used in combination with TypeScript: the whole system is basically TypeScript with Effect added, or Effect/TypeScript. All the so-called "custom dialects" are really just distributions of Effect-TS.
When it comes to interruption, just "killing a process" is not enough, especially when it is just a task within a larger process.
Interruption should be another "code path" - if you interrupt a database query, the connection should be returned to the pool and so on.
@wgw_eth I don't understand the statement that instead of Effect, one should use ReScript, with the claim that the former is a "new language and mindset" but the latter is "just typescript". The lib is cool, but effect and specifically the call-out has nothing to with zagora 😅
@pyrons_@GiulioCanti I explored this direction intensely for a year, for many applications, David and Mike will attest how annoying I was hahaha
they are not compatible on several layers in an irreconcilable manner. So maybe one day, but not soon
@gethackteam@theo I obv can't give out names, but more than a few massive orgs with a lot of contractors or a franchise-like business models. Also companies which have heavy reliance on- or a common use case for- VDI. Everything from access to identity is managed, with UX feeling like just chrome
@furiouswhopper@igor9silva@arktypeio there are many use cases to want that, typed template literals have been a highly demanded feature for years. Arktype supporting it is mad cool. Don't like that feature don't use it, I don't understand thr problem