Branded types for TypeScript

Post by rough-sea » Fri, May 17, 2024, 2:44 PM UTC

iainmerrick wrote: post #149

rough-sea wrote: post #136

Earlier quoted context omitted.

deno does type checking. https://docs.deno.com/runtime/manual/tools/check

Oh! I stand corrected. That's a wrapper for TSC, though, right? Edit to add: I see, Deno embeds TSC as a library and tries to straighten out the mess of tsconfig. That must be a leaky abstraction, which makes me wary, but maybe it works well in practice.

"embeds TSC as a library" understates the integration:

https://github.com/denoland/deno/blob/75efc74931c1021fdc41c9...

Deno makes certain tradeoffs that make it feel seamless

Post by iainmerrick » Fri, May 17, 2024, 6:01 PM UTC

rough-sea wrote: post #151

iainmerrick wrote: post #149

Earlier quoted context omitted.

Oh! I stand corrected. That's a wrapper for TSC, though, right? Edit to add: I see, Deno embeds TSC as a library and tries to straighten out the mess of tsconfig. That must be a leaky abstraction, which makes me wary, but maybe it works well in practice.

"embeds TSC as a library" understates the integration: https://github.com/denoland/deno/blob/75efc74931c1021fdc41c9... https://github.com/denoland/deno/blob/75efc74931c1021fdc41c9... Deno makes certain tradeoffs that make it feel seamless

I'm now intrigued and might try it out. I like TypeScript but dislike TSC.

Re: Branded types for TypeScript

Re: Branded types for TypeScript